Comultiplicativity of the Ozsvath-Szabo contact invariant
John A. Baldwin
备注：
15 pages, 4 figures. This updated version contains a generalization of the main theorem from before, with consequences relating to the planarity of open books, and Heegaard Floer L-spaces
Suppose that S is a surface with boundary and that g and h are diffeomorphisms of S which restrict to the identity on the boundary. Let Y_g, Y_h, and Y_{hg} be the three-manifolds with open book decompositions given by (S,g), (S,h), and (S,hg), respectively. We show that the Ozsvath-Szabo contact invariant is natural under a comultiplication map on Heegaard Floer homology. It follows that if the contact invariants associated to the open books (S, g) and (S, h) are non-zero then the contact invariant associated to the open book (S, hg) is also non-zero. We extend this comultiplication to a map on HF^+, and as a result we obtain obstructions to the three-manifold Y_{hg} being an L-space. We also use this to find restrictions on contact structures which are compatible with planar open books.
We prove various results on contact structures obtained by contact surgery on a single Legendrian knot in the standard contact three--sphere. Our main tool are the contact Ozsvath--Szabo invariants.
We study the invariants of surfaces in 4-manifolds extracted from the Seiberg-Witten and the Ozsvath-Szabo invariants of their fiber sums with auxiliary Lefschetz fibrations. Such invariants involve relative Spin_c structures and can be treated as refinements of the usual Seiberg-Witten and Ozsvath-Szabo invariants. We prove for instance the adjunction inequality for membranes, which estimates their genus.
In this article we present infinitely many 3-manifolds admitting infinitely many universally tight contact structures each with trivial Ozsvath-Szabo contact invariants. By known properties of these invariants the contact structures constructed here are non weakly symplectically fillable.
We discuss functoriality properties of the Ozsvath-Szabo contact invariant, and expose a number of results which seemed destined for folklore. We clarify the (in)dependence of the invariant on the basepoint, prove that it is functorial with respect to contactomorphisms, and show that it is strongly functorial under Stein cobordisms.
In this article we provide an infinite family of weakly symplectically fillable contact structures with trivial Ozsvath-Szabo contact invariants over Z/2Z. As a consequence of this fact, we show how Heegaard-Floer theory can distinguish between weakly and strongly fillable contact structures.
Thanks to a result of Lisca and Matic and a refinement by Plamenevskaya, it is known that on a 4-manifold with boundary Stein structures with non-isomorphic Spinc structures induce contact structures with distinct Ozsvath-Szabo invariants. Here we give an infinite family of examples showing that converse of Lisca-Matic-Plamenevskaya theorem does not hold in general. Our examples arise from Mazur type corks.
Sarkar and Wang proved that the hat version of Heegaard Floer homology group of a closed oriented 3-manifold is combinatorial starting from an arbitrary nice Heegaard diagram and in fact every closed oriented 3-manifold admits such a Heegaard diagram. Plamenevskaya showed that the contact Ozsvath-Szabo invariant is combinatorial once we are given an open book decomposition compatible with a contact structure. The idea is to combine the algorithm of Sarkar and Wang with the recent description of the contact Ozsvath-Szabo invariant due to Honda, Kazez and Matic. Here we simply observe that the h…
Ozsvath-Szabo contact invariants are a powerful way to prove tightness of contact structures but they are known to vanish in the presence of Giroux torsion. In this paper we construct, on infinitely many manifolds, infinitely many isotopy classes of universally tight torsion free contact structures whose Ozsvath-Szabo invariant vanishes. We also discuss the relation between these invariants and an invariant on T^3 and construct other examples of new phenomena in Heegaard--Floer theory. Along the way, we prove two conjectures of K Honda, W Kazez and G Matic about their contact topological quant…
We characterize L-spaces which are Seifert fibered over the 2-sphere in terms of taut foliations, transverse foliations and transverse contact structures. We give a sufficient condition for certain contact Seifert fibered 3-manifolds with e_0=-1 to have nonzero contact Ozsvath--Szabo invariants. This yields an algorithm for deciding whether a given small Seifert fibered L-space carries a contact structure with nonvanishing contact Ozsvath--Szabo invariant. As an application, we prove the existence of tight contact structures on some 3-manifolds obtained by integral surgery along a positive tor…
Using the knot Floer homology filtration, we define invariants associated to a knot in a three-manifold possessing non-vanishing Floer co(homology) classes. In the case of the Ozsvath-Szabo contact invariant we obtain an invariant of knots in a contact three-manifold. This invariant provides an upper bound for the Thurston-Bennequin plus rotation number of any Legendrian realization of the knot. We use it to demonstrate the first systematic construction of prime knots in contact manifolds other than the three-sphere with negative maximal Thurston-Bennequin invariant. Perhaps more interesting, …
In this paper we prove a vanishing theorem for the contact Ozsvath--Szabo invariants of certain contact 3--manifolds having positive Giroux torsion. We use this result to establish similar vanishing results for contact structures with underlying 3--manifolds admitting either a torus fibration over the circle or a Seifert fibration over an orientable base. We also show -- using standard techniques from contact topology -- that if a contact 3--manifold (Y,ξ) has positive Giroux torsion then there exists a Stein cobordism from (Y,ξ) to a contact 3--manifold (Y,ξ') such that (Y,ξ) is obtained from…
In this paper we examine the relationship between various types of positivity for knots and the concodance invariant tau discovered by Ozsvath and Szabo and independently by Rasmussen. The main result shows that, for fibered knots, tau characterizes strong quasipositivity. This is quantified by the statement that for K fibered, tau(K)=g(K) if and only if K is strongly quasipositive. In addition, we survey existing results regarding tau and forms of positivity and highlight several consequences concerning the types of knots which are (strongly) (quasi) positive. For instance, we show that any k…
Let p and n be positive integers with p>1, and let E(p,n) be the oriented 3-manifold obtained by performing pn(p-1)-1 surgery on a positive torus knot of type (p, pn+1). We prove that E(2,n) does not carry tight contact structures for any n, while E(p,n) carries tight contact structures for any n and any odd p. In particular, we exhibit the first infinite family of closed, oriented, irreducible 3-manifolds which do not support tight contact structures. We obtain the nonexistence results via standard methods of contact topology, and the existence results by using a quite delicate computation of…
Let S^3_r(K) be the oriented 3--manifold obtained by rational r-surgery on a knot K in S^3. Using the contact Ozsvath-Szabo invariants we prove, for a class of knots K containing all the algebraic knots, that S^3_r(K) carries positive, tight contact structures for every r not= 2g_s(K)-1, where g_s(K) is the slice genus of K. This implies, in particular, that the Brieskorn spheres -Sigma(2,3,4) and -Sigma(2,3,3) carry tight, positive contact structures. As an application of our main result we show that for each m in N there exists a Seifert fibered rational homology 3-sphere M_m carrying at lea…
In 2001, Khovanov and Seidel constructed a faithful action of the (m+1)-strand braid group on the derived category of left modules over a quiver algebra, A_m. We interpret the Hochschild homology of the Khovanov-Seidel braid invariant as a direct summand of the sutured Khovanov homology of the annular braid closure.
If (S,h) is an open book with disconnected binding then we can form a new open book (S',h') by capping off one of the boundary components of S with a disk. We define a U-equivariant map on Heegaard Floer homology which sends c^+(S',h') to c^+(S,h), and we discuss various applications. In particular, we determine the support genera of almost all contact structures compatible with genus one, one boundary component open books. In addition, we compute the 3-dimensional invariant associated to any contact structure with non-vanishing contact invariant which is compatible with a genus one open book …
We introduce a refinement of the Ozsvath-Szabo complex associated to a balanced sutured manifold $(X,τ)$ by Juhasz. An algebra $A_τ$ is associated to the boundary of a sutured manifold and a filtration of its generators by $H^2(X,\partial X;\Z)$ is defined. For a fixed Spin^c structure $s$ over the manifold $X'$, which is obtained from $X$ by filling out the sutures, the Ozsvath-Szabo chain complex $CF(X,τ,s)$ is then defined as a chain complex with coefficients in $A_τ$ and filtered by $\SpinC(X,τ)$. The filtered chain homotopy type of this chain complex is an invariant of $(X,τ)$ and the Spi…
In this paper, we show that the Ozsváth-Szabó contact invariant $c^+(ξ)\in HF^+(-Y)$ of a contact 3-manifold $(Y,ξ)$ can be calculated combinatorially if $Y$ is the boundary of a certain type of plumbing $X$, and $ξ$ is induced by a Stein structure on $X$. Our technique uses an algorithm of Ozsváth and Szabó to determine the Heegaard-Floer homology of such 3-manifolds. We discuss two important applications of this technique in contact topology. First, we show that it simplifies the calculation of the Ozsváth-Stipsicz-Szabó obstruction to admitting a planar open book. Then we define a numerical…
Using the grid diagram formulation of knot Floer homology, Ozsvath, Szabo and Thurston defined an invariant of transverse knots in the tight contact 3-sphere. Shortly afterwards, Lisca, Ozsvath, Stipsicz and Szabo defined an invariant of transverse knots in arbitrary contact 3-manifolds using open book decompositions. It has been conjectured that these invariants agree where they are both defined. We prove this fact by defining yet another invariant of transverse knots, showing that this third invariant agrees with the two mentioned above.
Heegaard Floer homology, first introduced by P. Ozsvath and Z. Szabo, associates to a 3-manifold Y a family of relatively graded Abelian groups HF(Y,t), indexed by Spin^c structures t on Y. In the case that Y is a rational homology sphere, Ozsvath and Szabo lift the relative Z-grading to an absolute Q-grading. This induces a relative Q-grading on \bigoplus_{t\in Spin^c(Y)} HF(Y,t). In this paper we describe an alternate construction of this relative Q-grading by studying the Heegaard Floer homology of covering spaces.
The Ozsvath-Szabo contact invariant is a complete classification invariant for tight contact structures on small Seifert fibered 3-manifolds which are L-spaces.
We determine the closed, oriented Seifert fibered 3-manifolds which carry positive tight contact structures. Our main tool is a new non-vanishing criterion for the contact Ozsvath-Szabo invariant.
In this note, we observe that the hat version of the Heegaard Floer invariant of Legendrian knots in contact three-manifolds defined by Lisca-Ozsvath-Stipsicz-Szabo can be combinatorially computed. We rely on Plamenevskaya's combinatorial description of the Heegaard Floer contact invariant.
Lipshitz, Ozsváth and Thurston defined a bordered Heegaard Floer invariant CFDA for 3-manifolds with two boundary components, including mapping cylinders for surface diffeomorphisms. We define a related invariant for certain 4-dimensional cobordisms with corners, by associating a morphism F from CFDA(f) to CFDA(g) to each such cobordism between two mapping cylinders f and g. Like the Ozsváth-Szabó invariants of cobordisms between closed 3-manifolds, this morphism arises from counting holomorphic triangles on Heegaard triples. We demonstrate that the homotopy class of the morphism F only depend…
We show that a certain involution on the well known homology sphere (the boundary of the Mazur manifold) induces a nontrivial homomorphism on its Heegard-Floer homology groups (recently defined by Ozsvath and Szabo). We discuss a possible application of this to constructing exotic smooth structures on 4-manifolds.
Using a knot concordance invariant from the Heegaard Floer theory of Ozsvath and Szabo, we obtain new bounds for the Thurston-Bennequin and rotation numbers of Legendrian knots in S^3. We also apply these bounds to calculate the knot concordance invariant for certain knots.
In this paper we extend the results of \cite{Plumbing} to calculate Ozsváth-Szabó Floer homology group HF+ for a class of negative-semidefinite plumbings with b_1 = 1.
In this paper, we introduce a rational $τ$ invariant for rationally null-homologous knots in contact 3-manifolds with nontrivial Ozsváth-Szabó contact invariants. Such an invariant is an upper bound for the sum of rational Thurston-Bennequin invariant and the rational rotation number of the Legendrian representatives of the knot. In the special case of Floer simple knots in L-spaces, we can compute the rational $τ$ invariants by correction terms.
Suppose that L is a null--homologous Legendrian knot in a contact 3--manifold. We determine the connection between the sutured invariant of the complement of L and the Legendrian invariant defined by Lisca, Ozsvath, Stipsicz and Szabo. In particular, we derive a vanishing theorem for the Legendrian invariant in the presence of Giroux torsion in the complement of the knot, and reprove several known properties of the Legendrian invariant from this perspective.
We use the Ozsváth-Szabó contact invariants to distinguish between tight contact structures obtained by Legendrian surgeries on stabilized Legendrian links in tight contact 3-manifolds. We also discuss the implication of our result on the tight contact structures on the Brieskon homology spheres $-Σ(2,3,6n-1)$.
We give combinatorial descriptions of the Heegaard Floer homology groups for arbitrary three-manifolds (with coefficients in Z/2). The descriptions are based on presenting the three-manifold as an integer surgery on a link in the three-sphere, and then using a grid diagram for the link. We also give combinatorial descriptions of the mod 2 Ozsvath-Szabo mixed invariants of closed four-manifolds, in terms of grid diagrams.
We classify tight contact structures on the small Seifert fibered 3--manifold M(-1; r_1, r_2, r_3) with r_i in (0,1) and r_1, r_2 \geq 1/2. The result is obtained by combining convex surface theory with computations of contact Ozsvath--Szabo invariants. We also show that some of the tight contact structures on the manifolds considered are nonfillable, justifying the use of Heegaard Floer theory.
L-spaces were introduced by Ozsvath and Szabo using the Heegaard Floer Homology. In the quest for L-spaces we consider links of isolated complete intersection surface singularities. We show that if such a manifold is an L-space, then it is a link of a rational singularity. We also prove that if it is not an L-space then it admits a symplectic filling with $b_2^+>0$. Based on these results we pin down all integral homology sphere L-spaces in this realm.
Lawrence Roberts, extending the work of Ozsvath-Szabo, showed how to associate to a link, L, in the complement of a fixed unknot, B, in S^3, a spectral sequence from the Khovanov homology of a link in a thickened annulus to the knot Floer homology of the preimage of B inside the double-branched cover of L. In a previous paper, we extended Ozsvath-Szabo's spectral sequence in a different direction, constructing for each knot K in S^3 and each positive integer n, a spectral sequence from Khovanov's categorification of the reduced, n-colored Jones polynomial to the sutured Floer homology of a red…
Ozsvath and Szabo proved that knot Floer homology determines the genera of knots in S^3. We will generalize this deep result to links in homology 3-spheres, by adapting their method. Our proof relies on a result of Gabai and some constructions related to foliations. We also interpret a theorem of Kauffman in the world of knot Floer homology, hence we can compute the top filtration term of the knot Floer homology for alternative links.
We discuss generalizations of Ozsvath-Szabo's spectral sequence relating Khovanov homology and Heegaard Floer homology, focusing attention on an explicit relationship between natural Z (resp., 1/2 Z) gradings appearing in the two theories. These two gradings have simple representation-theoretic (resp., geometric) interpretations, which we also review.
We use monopole Floer homology for sutured manifolds to construct invariants of Legendrian knots in a contact 3-manifold. These invariants assign to a knot K in Y elements of the monopole knot homology KHM(-Y,K), and they strongly resemble the knot Floer homology invariants of Lisca, Ozsváth, Stipsicz, and Szabó. We prove several vanishing results, investigate their behavior under contact surgeries, and use this to construct many examples of non-loose knots in overtwisted 3-manifolds. We also show that these invariants are functorial with respect to Lagrangian concordance.
We extend Perutz's Lagrangian matching invariants to 3-manifolds which are not necessarily fibred using the technology of holomorphic quilts. We prove an isomorphism of these invariants with Ozsvath-Szabo's Heegaard Floer invariants for certain extremal spin^c structures. As applications, we give new calculations of Heegaard Floer homology of certain classes of 3-manifolds, and a characterization of Juhasz's sutured Floer homology.
Consider a transverse knot which is the binding of an open book for the ambient contact manifold. In this paper, we show that the transverse invariants defined by Lisca, Ozsvath, Stipsicz, and Szabo (LOSS) are nonvanishing for such transverse knots. This is true regardless of whether or not the ambient contact structure is tight. We also prove a vanishing theorem for LOSS's Legendrian and transverse invariants. As a corollary, we show that if (T,π) is an open book with connected binding, then the complement of T has no Giroux torsion.
Ozsvath and Szabo defined an analog of the Froyshov invariant in the form of a correction term for the grading in Heegaard Floer homology. Applying this to the double cover of the 3-sphere branched over a knot K, we obtain an invariant delta of knot concordance. We show that delta is determined by the signature for alternating knots and knots with up to nine crossings, and conjecture a similar relation for all H-thin knots. We also use delta to prove that for all knots K with tau(K)>0, the positive untwisted double of K is not smoothly slice.
We show that an infinite family of contractible 4-manifolds have the same boundary as a special type of plumbing. Consequently their Ozsvath--Szabo invariants can be calculated algorithmically. We run this algorithm for the first few members of the family and list the resulting Heegaard--Floer homologies. We also show that the rank of the Heegaard--Floer homology can get arbitrary large values in this family by using its relation with the Casson invariant. For comparison, we list the ranks of Floer homologies of all the examples of Briekorn spheres that are known to bound contractible manifold…
The embedded contact homology (ECH) of a 3-manifold with a contact form is a variant of Eliashberg-Givental-Hofer's symplectic field theory, which counts certain embedded J-holomorphic curves in the symplectization. We show that the ECH of T^3 is computed by a combinatorial chain complex which is generated by labeled convex polygons in the plane with vertices at lattice points, and whose differential involves `rounding corners'. We compute the homology of this combinatorial chain complex. The answer agrees with the Ozsvath--Szabo Floer homology HF^+(T^3).
We show that any compact symplectic manifold (W,ω) with boundary embeds as a domain into a closed symplectic manifold, provided that there exists a contact plane ξon dW which is weakly compatible with omega, i.e. the restriction ω|ξdoes not vanish and the contact orientation of dW and its orientation as the boundary of the symplectic manifold W coincide. This result provides a useful tool for new applications by Ozsvath-Szabo of Seiberg-Witten Floer homology theories in three-dimensional topology and has helped complete the Kronheimer-Mrowka proof of Property P for knots.
