Monopole Floer homology and Legendrian knots (Q422839): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(12 intermediate revisions by 8 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.2140/gt.2012.16.751 / rank | |||
Property / review text | |||
The author uses Monopole Floer Homology for sutured manifolds to construct invariants of unoriented Legendrian knots in a contact 3-manifold. These invariants assign to a Legendrian knot \(\mathcal{K}\subset Y\) elements of the Monopole Knot Homology \(KHM(-Y,K)\). Recall that a knot \(\mathcal{K}\) in a contact manifold \((Y,\xi)\) is said to be \textit{Legendrian} if the tangent vectors to \(\mathcal{K}\) lie in the contact planes \(\xi\). In [J. Eur. Math. Soc. (JEMS) 11, No. 6, 1307--1363 (2009; Zbl 1232.57017)], \textit{P. Lisca}, et al., constructed an invariant using open book decompositions. In [\textit{T. S. Mrowka} and \textit{Y. Rollin}, ``Contact Invariants and Monopole Floer Homology'', in preparation], Kronheimer-Mrowka defined a knot invariant from Monopole Floer Homology, they used a version of \textit{A. Juhász}'s sutured Floer homology [Algebr. Geom. Topol. 6, 1429--1457 (2006; Zbl 1129.57039)] in order to define the Monopole Knot Homology \(KHM(Y,K)\) as the sutured invariant of the complement of \(K\). The purpose of the author is to define an analogue to the invariant defined in [\textit{P. Lisca}, et al., op. cit.] without making use of Heegard diagrams or open books but instead he proceeds by embedding the knot complement in a closed 3-manifold. In this way he defines to an unoriented Legendrian knot \(\mathcal{K}\subset (Y<\xi)\) \(l_{g}\in KHM(-Y,K)\), where (i) the isotopy class of \(\mathcal{K}\) in \(Y\) is denoted \(K\), (ii) \(KHM(-Y,K)\) is defined using local coefficients [\textit{P. Kronheimer} and \textit{T. S. Mrowka}, Monopoles and three-manifolds. New Mathematical Monographs 10. Cambridge: Cambridge University Press. (2007; Zbl 1158.57002)] and (iii) \(g\geq 2\) is an integer. These elements are obtained by choosing a particular contact structure \(\bar{\xi}\) on the closed manifold \(\bar{Y}\), so that \((Y-\mathcal{K},\xi\mid_{Y-\mathcal{K}})\) is a contact submanifold of \((\bar{Y},\bar{\xi})\), and letting \(l_{g}(\mathcal{K})\) be the monopole contact invariant of \(\bar{\xi}\). The author stresses that \(l_{g}\) presents some advantages and disavantages over the invariant defined in [\textit{P. Lisca}, et al., op. cit.]. It is hard to compute, does not distinguish between different orientations of \(\mathcal{K}\) and it does not come with a natural bigrading the way elements of Knot Floer Homology do. However, some vanishing and nonvanishing results have very simple proofs. The following theorems are proved in the context of Monopole Floer Homology, they are known to be true for the invariant in [\textit{P. Lisca}, et al., op. cit.]. {Theorem 1:} If the complement of \(\mathcal{K}\) is overtwisted, then \(l_{g}(\mathcal{K})=0\), for all \(g\). {Theorem 2:} Let \(S_{+}(\mathcal{K})\) and \(S_{-}(\mathcal{K})\) denote the positive and negative stabilizations of a Legendrian knot \(\mathcal{K}\). Then \(l_{g}(S_{+}S_{-}(\mathcal{K}))=0\) for all \(\mathcal{K}\), for all \(g\). {Theorem 3:} Let \(\mathcal{K},\mathcal{S}\subset (Y,\xi)\) be disjoint Legendrian knots, and le \(\mathcal{K}_{\mathcal{S}}\subset Y_{\mathcal{S}}\) denote the image of \(\mathcal{K}\) in the contact manifold \(Y_{\mathcal{S}}\) obtained by performing a contact \((+1)\)-surgery on \(\mathcal{S}\). Then there is a map \(KHM(-Y,K)\to KHM(-Y_{\mathcal{S}},K_{\mathcal{S}})\) sending \(l_{g}(\mathcal{K})\) to \(l_{g}(\mathcal{K}_{\mathcal{S}})\). By using results of \textit{T. S. Mrowka} and \textit{Y. Rollin} [Algebr. Geom. Topol. 6, 1--69 (2006; Zbl 1207.57015), ``Contact Invariants and Monopole Floer Homology'', in preparation] on the monopole contact invariant, not known to be true in Heegard Floer Homology, the author proves an entirely new property of \(l_{g}(\mathcal{K})\); {Theorem 4:} Let \(\mathcal{K}_{0},\mathcal{K}_{1}\subset (Y,\xi)\) be Legendrian knots, with \(Y\) a homology \(3\)-sphere, and suppose that \(\mathcal{K}_{0}\) is a Lagrangian concordant (defined in [\textit{B. Chantraine}, Dokl. Math. 81, No. 1, 63--65 (2010); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 430, No. 4, 444--447 (2010; Zbl 1208.15013)]) to \(\mathcal{K}_{1}\). Then, there is a map \[ KHM(-Y,K_{1})\to KHM(-Y,K_{0}) \] \noindent such that \(l_{g}(\mathcal{K}_{1})\to l_{g}(\mathcal{K}_{0})\). | |||
Property / review text: The author uses Monopole Floer Homology for sutured manifolds to construct invariants of unoriented Legendrian knots in a contact 3-manifold. These invariants assign to a Legendrian knot \(\mathcal{K}\subset Y\) elements of the Monopole Knot Homology \(KHM(-Y,K)\). Recall that a knot \(\mathcal{K}\) in a contact manifold \((Y,\xi)\) is said to be \textit{Legendrian} if the tangent vectors to \(\mathcal{K}\) lie in the contact planes \(\xi\). In [J. Eur. Math. Soc. (JEMS) 11, No. 6, 1307--1363 (2009; Zbl 1232.57017)], \textit{P. Lisca}, et al., constructed an invariant using open book decompositions. In [\textit{T. S. Mrowka} and \textit{Y. Rollin}, ``Contact Invariants and Monopole Floer Homology'', in preparation], Kronheimer-Mrowka defined a knot invariant from Monopole Floer Homology, they used a version of \textit{A. Juhász}'s sutured Floer homology [Algebr. Geom. Topol. 6, 1429--1457 (2006; Zbl 1129.57039)] in order to define the Monopole Knot Homology \(KHM(Y,K)\) as the sutured invariant of the complement of \(K\). The purpose of the author is to define an analogue to the invariant defined in [\textit{P. Lisca}, et al., op. cit.] without making use of Heegard diagrams or open books but instead he proceeds by embedding the knot complement in a closed 3-manifold. In this way he defines to an unoriented Legendrian knot \(\mathcal{K}\subset (Y<\xi)\) \(l_{g}\in KHM(-Y,K)\), where (i) the isotopy class of \(\mathcal{K}\) in \(Y\) is denoted \(K\), (ii) \(KHM(-Y,K)\) is defined using local coefficients [\textit{P. Kronheimer} and \textit{T. S. Mrowka}, Monopoles and three-manifolds. New Mathematical Monographs 10. Cambridge: Cambridge University Press. (2007; Zbl 1158.57002)] and (iii) \(g\geq 2\) is an integer. These elements are obtained by choosing a particular contact structure \(\bar{\xi}\) on the closed manifold \(\bar{Y}\), so that \((Y-\mathcal{K},\xi\mid_{Y-\mathcal{K}})\) is a contact submanifold of \((\bar{Y},\bar{\xi})\), and letting \(l_{g}(\mathcal{K})\) be the monopole contact invariant of \(\bar{\xi}\). The author stresses that \(l_{g}\) presents some advantages and disavantages over the invariant defined in [\textit{P. Lisca}, et al., op. cit.]. It is hard to compute, does not distinguish between different orientations of \(\mathcal{K}\) and it does not come with a natural bigrading the way elements of Knot Floer Homology do. However, some vanishing and nonvanishing results have very simple proofs. The following theorems are proved in the context of Monopole Floer Homology, they are known to be true for the invariant in [\textit{P. Lisca}, et al., op. cit.]. {Theorem 1:} If the complement of \(\mathcal{K}\) is overtwisted, then \(l_{g}(\mathcal{K})=0\), for all \(g\). {Theorem 2:} Let \(S_{+}(\mathcal{K})\) and \(S_{-}(\mathcal{K})\) denote the positive and negative stabilizations of a Legendrian knot \(\mathcal{K}\). Then \(l_{g}(S_{+}S_{-}(\mathcal{K}))=0\) for all \(\mathcal{K}\), for all \(g\). {Theorem 3:} Let \(\mathcal{K},\mathcal{S}\subset (Y,\xi)\) be disjoint Legendrian knots, and le \(\mathcal{K}_{\mathcal{S}}\subset Y_{\mathcal{S}}\) denote the image of \(\mathcal{K}\) in the contact manifold \(Y_{\mathcal{S}}\) obtained by performing a contact \((+1)\)-surgery on \(\mathcal{S}\). Then there is a map \(KHM(-Y,K)\to KHM(-Y_{\mathcal{S}},K_{\mathcal{S}})\) sending \(l_{g}(\mathcal{K})\) to \(l_{g}(\mathcal{K}_{\mathcal{S}})\). By using results of \textit{T. S. Mrowka} and \textit{Y. Rollin} [Algebr. Geom. Topol. 6, 1--69 (2006; Zbl 1207.57015), ``Contact Invariants and Monopole Floer Homology'', in preparation] on the monopole contact invariant, not known to be true in Heegard Floer Homology, the author proves an entirely new property of \(l_{g}(\mathcal{K})\); {Theorem 4:} Let \(\mathcal{K}_{0},\mathcal{K}_{1}\subset (Y,\xi)\) be Legendrian knots, with \(Y\) a homology \(3\)-sphere, and suppose that \(\mathcal{K}_{0}\) is a Lagrangian concordant (defined in [\textit{B. Chantraine}, Dokl. Math. 81, No. 1, 63--65 (2010); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 430, No. 4, 444--447 (2010; Zbl 1208.15013)]) to \(\mathcal{K}_{1}\). Then, there is a map \[ KHM(-Y,K_{1})\to KHM(-Y,K_{0}) \] \noindent such that \(l_{g}(\mathcal{K}_{1})\to l_{g}(\mathcal{K}_{0})\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57M27 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57R58 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57R17 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6035993 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Legendrian Knot | |||
Property / zbMATH Keywords: Legendrian Knot / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Monopole Floer Homology | |||
Property / zbMATH Keywords: Monopole Floer Homology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Contact manifold | |||
Property / zbMATH Keywords: Contact manifold / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Celso Melchiades Doria / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: KnotInfo / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Gridlink / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2135815802 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1107.6028 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Conway potential functions for links in ℚ-homology 3-spheres / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lagrangian concordance of Legendrian knots / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differential algebra of Legendrian links / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Atlas of Legendrian Knots / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic fillability of tight contact structures on torus bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Handle moves in contact surgery diagrams / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4821921 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariants in contact topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topologically trivial Legendrian knots / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On contact surgery / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Knots and contact geometry. I: Torus knots and the figure eight knot. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the nonexistence of tight contact structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Torsion and Open Book Decompositions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Chekanov--Eliashberg invariant of Legendrian knots: Existence of augmentations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Knot Floer homology detects genus-one fibred knots / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convexité en topologie de contact. (Convexity in contact topology) / 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: Tight contact structures on fibered hyperbolic 3-manifolds. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Holomorphic discs and sutured manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Contact homology and one parameter families of Legendrian knots / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Thurston-Bennequin invariant of Legendrian knots and non exactness of Bennequin's inequality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monopoles and contact structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5433081 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Knots, sutures, and excision / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monopoles and lens space surgeries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heegaard-Floer homology of broken fibrations over the circle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heegard Floer invariants of Legendrian knots in contact three-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ozsváth-Szabó invariants and tight contact three-manifolds; I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Legendrian knots and monopoles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weak symplectic fillings and holomorphic curves / 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: Legendrian knots, transverse knots and combinatorial Floer homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dehn twists in Heegaard Floer homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On invariants for Legendrian knots / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Embedded contact homology and Seiberg-Witten Floer cohomology. V. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A hierarchy of local symplectic filling obstructions for contact 3-manifolds / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.2140/GT.2012.16.751 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:04, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Monopole Floer homology and Legendrian knots |
scientific article |
Statements
Monopole Floer homology and Legendrian knots (English)
0 references
18 May 2012
0 references
The author uses Monopole Floer Homology for sutured manifolds to construct invariants of unoriented Legendrian knots in a contact 3-manifold. These invariants assign to a Legendrian knot \(\mathcal{K}\subset Y\) elements of the Monopole Knot Homology \(KHM(-Y,K)\). Recall that a knot \(\mathcal{K}\) in a contact manifold \((Y,\xi)\) is said to be \textit{Legendrian} if the tangent vectors to \(\mathcal{K}\) lie in the contact planes \(\xi\). In [J. Eur. Math. Soc. (JEMS) 11, No. 6, 1307--1363 (2009; Zbl 1232.57017)], \textit{P. Lisca}, et al., constructed an invariant using open book decompositions. In [\textit{T. S. Mrowka} and \textit{Y. Rollin}, ``Contact Invariants and Monopole Floer Homology'', in preparation], Kronheimer-Mrowka defined a knot invariant from Monopole Floer Homology, they used a version of \textit{A. Juhász}'s sutured Floer homology [Algebr. Geom. Topol. 6, 1429--1457 (2006; Zbl 1129.57039)] in order to define the Monopole Knot Homology \(KHM(Y,K)\) as the sutured invariant of the complement of \(K\). The purpose of the author is to define an analogue to the invariant defined in [\textit{P. Lisca}, et al., op. cit.] without making use of Heegard diagrams or open books but instead he proceeds by embedding the knot complement in a closed 3-manifold. In this way he defines to an unoriented Legendrian knot \(\mathcal{K}\subset (Y<\xi)\) \(l_{g}\in KHM(-Y,K)\), where (i) the isotopy class of \(\mathcal{K}\) in \(Y\) is denoted \(K\), (ii) \(KHM(-Y,K)\) is defined using local coefficients [\textit{P. Kronheimer} and \textit{T. S. Mrowka}, Monopoles and three-manifolds. New Mathematical Monographs 10. Cambridge: Cambridge University Press. (2007; Zbl 1158.57002)] and (iii) \(g\geq 2\) is an integer. These elements are obtained by choosing a particular contact structure \(\bar{\xi}\) on the closed manifold \(\bar{Y}\), so that \((Y-\mathcal{K},\xi\mid_{Y-\mathcal{K}})\) is a contact submanifold of \((\bar{Y},\bar{\xi})\), and letting \(l_{g}(\mathcal{K})\) be the monopole contact invariant of \(\bar{\xi}\). The author stresses that \(l_{g}\) presents some advantages and disavantages over the invariant defined in [\textit{P. Lisca}, et al., op. cit.]. It is hard to compute, does not distinguish between different orientations of \(\mathcal{K}\) and it does not come with a natural bigrading the way elements of Knot Floer Homology do. However, some vanishing and nonvanishing results have very simple proofs. The following theorems are proved in the context of Monopole Floer Homology, they are known to be true for the invariant in [\textit{P. Lisca}, et al., op. cit.]. {Theorem 1:} If the complement of \(\mathcal{K}\) is overtwisted, then \(l_{g}(\mathcal{K})=0\), for all \(g\). {Theorem 2:} Let \(S_{+}(\mathcal{K})\) and \(S_{-}(\mathcal{K})\) denote the positive and negative stabilizations of a Legendrian knot \(\mathcal{K}\). Then \(l_{g}(S_{+}S_{-}(\mathcal{K}))=0\) for all \(\mathcal{K}\), for all \(g\). {Theorem 3:} Let \(\mathcal{K},\mathcal{S}\subset (Y,\xi)\) be disjoint Legendrian knots, and le \(\mathcal{K}_{\mathcal{S}}\subset Y_{\mathcal{S}}\) denote the image of \(\mathcal{K}\) in the contact manifold \(Y_{\mathcal{S}}\) obtained by performing a contact \((+1)\)-surgery on \(\mathcal{S}\). Then there is a map \(KHM(-Y,K)\to KHM(-Y_{\mathcal{S}},K_{\mathcal{S}})\) sending \(l_{g}(\mathcal{K})\) to \(l_{g}(\mathcal{K}_{\mathcal{S}})\). By using results of \textit{T. S. Mrowka} and \textit{Y. Rollin} [Algebr. Geom. Topol. 6, 1--69 (2006; Zbl 1207.57015), ``Contact Invariants and Monopole Floer Homology'', in preparation] on the monopole contact invariant, not known to be true in Heegard Floer Homology, the author proves an entirely new property of \(l_{g}(\mathcal{K})\); {Theorem 4:} Let \(\mathcal{K}_{0},\mathcal{K}_{1}\subset (Y,\xi)\) be Legendrian knots, with \(Y\) a homology \(3\)-sphere, and suppose that \(\mathcal{K}_{0}\) is a Lagrangian concordant (defined in [\textit{B. Chantraine}, Dokl. Math. 81, No. 1, 63--65 (2010); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 430, No. 4, 444--447 (2010; Zbl 1208.15013)]) to \(\mathcal{K}_{1}\). Then, there is a map \[ KHM(-Y,K_{1})\to KHM(-Y,K_{0}) \] \noindent such that \(l_{g}(\mathcal{K}_{1})\to l_{g}(\mathcal{K}_{0})\).
0 references
Legendrian Knot
0 references
Monopole Floer Homology
0 references
Contact manifold
0 references
0 references