Infinitely many universally tight torsion free contact structures with vanishing Ozsváth-Szabó contact invariants (Q443938): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
For the classification of contact structures on \(3\)-manifolds, \textit{Y. Eliashberg} [Invent. Math. 98, No. 3, 623--637 (1989; Zbl 0684.57012)] introduced a dichotomy between tight and overtwisted contact structures, and gave a complete classification of overtwisted contact structures on \(3\)-manifolds in terms of homotopy theory. A contact structure \(\xi\) on a \(3\)-manifold \(M\) is said to be overtwisted if there is an embedded disk \(D\) which is everywhere tangent to \(\xi\) along \(\partial D\). Non-overtwisted contact structures are called tight. The latter notion was further divided into universally tight and virtually overtwisted. Two algebraic objects play an important role in studying the classification of tight contact structures. The first one is \textit{E. Giroux}'s torsion introduced in [Invent. Math. 141, No. 3, 615--689 (2000; Zbl 1186.53097)]. The \(k\pi\)-torsion of a contact manifold \((M, \xi)\) was defined to be the supremum of all integers \(n\geq 1\) such that there exist a contact embedding of \[ (T^2 \times [0,1], {\text{ ker}}(\cos(nk\pi z z) dx -\sin(nk\pi z)dy)),\quad (x,y,z)\in T^2\times[0, 1] \] into the interior of \((M, \xi)\) or zero if no such integer \(n\) exists. It is invariant under isomorphisms, and always infinite for the overtwisted structures. Another object is \textit{P. Ozsváth} and \textit{Z. Szabó}'s contact invariant in Heegaard Floer homology of the ambient manifold introduced in [Duke Math. J. 129, No. 1, 39-61 (2005; Zbl 1083.57042)]. This invariant vanishes for the overtwisted contact structures. Hence these two invariants are a powerful tool to detect tightness of contact structures on \(3\)-manifolds. \textit{P. Ghiggini, K. Honda} and \textit{J. Van Horn-Morris} [``The vanishing of the contact invariant in the presence of torsion'', preprint', \url{arXiv:0706.1602}] proved that the Ozsváth-Szabó contact invariant over \(\mathbb{Z}\)-coefficients vanishes whenever Giroux torsion is non zero. The main result of the paper under review shows that the converse does not hold. More precisely, Massot proves that every Seifert manifold whose base has genus at least three supports infinitely many (explicit) isotopy classes of universally tight torsion free contact structures whose Ozsváth-Szabó invariant over \(\mathbb{Z}\) coefficients vanishes. In addition there are two interesting results in this article. The first one states that there exists a specific example of overtwisted contact manifold containing a null-homologous strongly non loose Legendrian knot whose sutured invariant vanishes. This shows that the converse of Corollary 1.2 of \textit{A. I. Stipsicz} and \textit{V. Vértesi} [Pac. J. Math. 239, No. 1, 157--177 (2009; Zbl 1149.57031)] does not hold. The second one claims that there is a unique up to sign \(H_1(T^3)\)-equivariant isomorphism between \(\widehat{HF}(T^3)\) and \(H^1(T^3)\oplus H^1(T^3)\), under which the Ozsváth-Szabó invariant of a torsion free contact structure on \(T^3\) is sent to the Poincaré dual of its Giroux invariant. This proves Conjecture 7.13 in [\textit{K. Honda, W. H. Kazez} and \textit{G. Matić}, ``Contact structures, sutured Floer homology and TQFT'', preprint, \url{arXiv:0807.2431}]. Shortly after the first version of the paper under review, closely related results were obtained by \textit{C. Wendl} [``Holomorphic curves in blown up open books'', preprint, \url{arXiv:1001.4109}] using contact fiber sums of open book decompositions. He defined an infinite hierarchy of filling obstructions for contact \(3\)-manifolds, called planar \(k\)-torsion for integers \(k\geq 0\), showed that planar \(0\)-torsion is equivalent to overtwistedness and that every contact manifold with Giroux torsion also has planar \(1\)-torsion, and also constructed examples of contact manifolds that have planar \(k\)-torsion for any \(k\geq 2\) but no Giroux torsion. | |||
Property / review text: For the classification of contact structures on \(3\)-manifolds, \textit{Y. Eliashberg} [Invent. Math. 98, No. 3, 623--637 (1989; Zbl 0684.57012)] introduced a dichotomy between tight and overtwisted contact structures, and gave a complete classification of overtwisted contact structures on \(3\)-manifolds in terms of homotopy theory. A contact structure \(\xi\) on a \(3\)-manifold \(M\) is said to be overtwisted if there is an embedded disk \(D\) which is everywhere tangent to \(\xi\) along \(\partial D\). Non-overtwisted contact structures are called tight. The latter notion was further divided into universally tight and virtually overtwisted. Two algebraic objects play an important role in studying the classification of tight contact structures. The first one is \textit{E. Giroux}'s torsion introduced in [Invent. Math. 141, No. 3, 615--689 (2000; Zbl 1186.53097)]. The \(k\pi\)-torsion of a contact manifold \((M, \xi)\) was defined to be the supremum of all integers \(n\geq 1\) such that there exist a contact embedding of \[ (T^2 \times [0,1], {\text{ ker}}(\cos(nk\pi z z) dx -\sin(nk\pi z)dy)),\quad (x,y,z)\in T^2\times[0, 1] \] into the interior of \((M, \xi)\) or zero if no such integer \(n\) exists. It is invariant under isomorphisms, and always infinite for the overtwisted structures. Another object is \textit{P. Ozsváth} and \textit{Z. Szabó}'s contact invariant in Heegaard Floer homology of the ambient manifold introduced in [Duke Math. J. 129, No. 1, 39-61 (2005; Zbl 1083.57042)]. This invariant vanishes for the overtwisted contact structures. Hence these two invariants are a powerful tool to detect tightness of contact structures on \(3\)-manifolds. \textit{P. Ghiggini, K. Honda} and \textit{J. Van Horn-Morris} [``The vanishing of the contact invariant in the presence of torsion'', preprint', \url{arXiv:0706.1602}] proved that the Ozsváth-Szabó contact invariant over \(\mathbb{Z}\)-coefficients vanishes whenever Giroux torsion is non zero. The main result of the paper under review shows that the converse does not hold. More precisely, Massot proves that every Seifert manifold whose base has genus at least three supports infinitely many (explicit) isotopy classes of universally tight torsion free contact structures whose Ozsváth-Szabó invariant over \(\mathbb{Z}\) coefficients vanishes. In addition there are two interesting results in this article. The first one states that there exists a specific example of overtwisted contact manifold containing a null-homologous strongly non loose Legendrian knot whose sutured invariant vanishes. This shows that the converse of Corollary 1.2 of \textit{A. I. Stipsicz} and \textit{V. Vértesi} [Pac. J. Math. 239, No. 1, 157--177 (2009; Zbl 1149.57031)] does not hold. The second one claims that there is a unique up to sign \(H_1(T^3)\)-equivariant isomorphism between \(\widehat{HF}(T^3)\) and \(H^1(T^3)\oplus H^1(T^3)\), under which the Ozsváth-Szabó invariant of a torsion free contact structure on \(T^3\) is sent to the Poincaré dual of its Giroux invariant. This proves Conjecture 7.13 in [\textit{K. Honda, W. H. Kazez} and \textit{G. Matić}, ``Contact structures, sutured Floer homology and TQFT'', preprint, \url{arXiv:0807.2431}]. Shortly after the first version of the paper under review, closely related results were obtained by \textit{C. Wendl} [``Holomorphic curves in blown up open books'', preprint, \url{arXiv:1001.4109}] using contact fiber sums of open book decompositions. He defined an infinite hierarchy of filling obstructions for contact \(3\)-manifolds, called planar \(k\)-torsion for integers \(k\geq 0\), showed that planar \(0\)-torsion is equivalent to overtwistedness and that every contact manifold with Giroux torsion also has planar \(1\)-torsion, and also constructed examples of contact manifolds that have planar \(k\)-torsion for any \(k\geq 2\) but no Giroux torsion. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57M50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57R17 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57M27 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6065230 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Heegaard Floer homology | |||
Property / zbMATH Keywords: Heegaard Floer homology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Ozsváth-Szabó contact invariants | |||
Property / zbMATH Keywords: Ozsváth-Szabó contact invariants / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
tight contact structure | |||
Property / zbMATH Keywords: tight contact structure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
overtwisted contact structure | |||
Property / zbMATH Keywords: overtwisted contact structure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Giroux invariant | |||
Property / zbMATH Keywords: Giroux invariant / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Guang-Cun Lu / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2043072768 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0912.5107 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy and isotopy finiteness of tight contact structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The decategorification of sutured Floer homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ozsváth-Szabó invariants and fillability of contact structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Three-dimensional contact structures and bifurcations of foliations of surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Contact structures on manifolds fibered by circles above a surface / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4549294 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The contact invariant in sutured Floer homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the classification of tight contact structures. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the classification of tight contact structures. II. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4304742 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Holomorphic discs and sutured manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Floer homology and surface decompositions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CR-structures on Seifert manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transverse contact structures on Seifert 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the existence of tight contact structures on Seifert fibered 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structures de contact sur les fibrés principaux en cercles de dimension trois / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geodesible contact structures on 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexity theory of three-dimensional manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2931082 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Contact surgeries and the transverse invariant in knot Floer homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Absolutely graded Floer homologies and intersection forms for four-manifolds with boundary / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Holomorphic disks and genus bounds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Holomorphic disks and topological invariants for closed three-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heegaard Floer homology and contact structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Holomorphic triangles and invariants for smooth four-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On invariants for Legendrian knots / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the geometry and dynamics of diffeomorphisms of surfaces / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:57, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Infinitely many universally tight torsion free contact structures with vanishing Ozsváth-Szabó contact invariants |
scientific article |
Statements
Infinitely many universally tight torsion free contact structures with vanishing Ozsváth-Szabó contact invariants (English)
0 references
13 August 2012
0 references
For the classification of contact structures on \(3\)-manifolds, \textit{Y. Eliashberg} [Invent. Math. 98, No. 3, 623--637 (1989; Zbl 0684.57012)] introduced a dichotomy between tight and overtwisted contact structures, and gave a complete classification of overtwisted contact structures on \(3\)-manifolds in terms of homotopy theory. A contact structure \(\xi\) on a \(3\)-manifold \(M\) is said to be overtwisted if there is an embedded disk \(D\) which is everywhere tangent to \(\xi\) along \(\partial D\). Non-overtwisted contact structures are called tight. The latter notion was further divided into universally tight and virtually overtwisted. Two algebraic objects play an important role in studying the classification of tight contact structures. The first one is \textit{E. Giroux}'s torsion introduced in [Invent. Math. 141, No. 3, 615--689 (2000; Zbl 1186.53097)]. The \(k\pi\)-torsion of a contact manifold \((M, \xi)\) was defined to be the supremum of all integers \(n\geq 1\) such that there exist a contact embedding of \[ (T^2 \times [0,1], {\text{ ker}}(\cos(nk\pi z z) dx -\sin(nk\pi z)dy)),\quad (x,y,z)\in T^2\times[0, 1] \] into the interior of \((M, \xi)\) or zero if no such integer \(n\) exists. It is invariant under isomorphisms, and always infinite for the overtwisted structures. Another object is \textit{P. Ozsváth} and \textit{Z. Szabó}'s contact invariant in Heegaard Floer homology of the ambient manifold introduced in [Duke Math. J. 129, No. 1, 39-61 (2005; Zbl 1083.57042)]. This invariant vanishes for the overtwisted contact structures. Hence these two invariants are a powerful tool to detect tightness of contact structures on \(3\)-manifolds. \textit{P. Ghiggini, K. Honda} and \textit{J. Van Horn-Morris} [``The vanishing of the contact invariant in the presence of torsion'', preprint', \url{arXiv:0706.1602}] proved that the Ozsváth-Szabó contact invariant over \(\mathbb{Z}\)-coefficients vanishes whenever Giroux torsion is non zero. The main result of the paper under review shows that the converse does not hold. More precisely, Massot proves that every Seifert manifold whose base has genus at least three supports infinitely many (explicit) isotopy classes of universally tight torsion free contact structures whose Ozsváth-Szabó invariant over \(\mathbb{Z}\) coefficients vanishes. In addition there are two interesting results in this article. The first one states that there exists a specific example of overtwisted contact manifold containing a null-homologous strongly non loose Legendrian knot whose sutured invariant vanishes. This shows that the converse of Corollary 1.2 of \textit{A. I. Stipsicz} and \textit{V. Vértesi} [Pac. J. Math. 239, No. 1, 157--177 (2009; Zbl 1149.57031)] does not hold. The second one claims that there is a unique up to sign \(H_1(T^3)\)-equivariant isomorphism between \(\widehat{HF}(T^3)\) and \(H^1(T^3)\oplus H^1(T^3)\), under which the Ozsváth-Szabó invariant of a torsion free contact structure on \(T^3\) is sent to the Poincaré dual of its Giroux invariant. This proves Conjecture 7.13 in [\textit{K. Honda, W. H. Kazez} and \textit{G. Matić}, ``Contact structures, sutured Floer homology and TQFT'', preprint, \url{arXiv:0807.2431}]. Shortly after the first version of the paper under review, closely related results were obtained by \textit{C. Wendl} [``Holomorphic curves in blown up open books'', preprint, \url{arXiv:1001.4109}] using contact fiber sums of open book decompositions. He defined an infinite hierarchy of filling obstructions for contact \(3\)-manifolds, called planar \(k\)-torsion for integers \(k\geq 0\), showed that planar \(0\)-torsion is equivalent to overtwistedness and that every contact manifold with Giroux torsion also has planar \(1\)-torsion, and also constructed examples of contact manifolds that have planar \(k\)-torsion for any \(k\geq 2\) but no Giroux torsion.
0 references
Heegaard Floer homology
0 references
Ozsváth-Szabó contact invariants
0 references
tight contact structure
0 references
overtwisted contact structure
0 references
Giroux invariant
0 references
0 references