Skip to main content
Log in

Instanton homology and knot detection on thickened surfaces

  • Published:
Selecta Mathematica Aims and scope Submit manuscript

Abstract

Suppose \(\Sigma \) is a compact oriented surface (possibly with boundary) that has genus zero, and L is a link in the interior of \((-1,1)\times \Sigma \). We prove that the Asaeda–Przytycki–Sikora (APS) homology of L has rank 2 if and only if L is isotopic to an embedded knot in \(\{0\}\times \Sigma \). As a consequence, the APS homology detects the unknot in \((-1,1)\times \Sigma \). This is the first detection result for generalized Khovanov homology that is valid on an infinite family of manifolds, and it partially solves a conjecture in Xie and Zhang (Instantons and Khovanov skein homology on \(I\times T^2\), 2020. arXiv:2005.12863). Our proof is different from the previous detection results obtained by instanton homology because in this case, the second page of Kronheimer–Mrowka’s spectral sequence is not isomorphic to the APS homology. We also characterize all links in product manifolds that have minimal sutured instanton homology, which may be of independent interest.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8

Similar content being viewed by others

Notes

  1. When \(\Sigma \) is non-orientable, there is a unique \((-1,1)\)–bundle over \(\Sigma \) such that the total manifold is orientable, and the APS homology can be defined for links in this bundle. We will only consider the case when \(\Sigma \) is oriented in this paper.

  2. This is achieved by specifying a canonical reducible connection on the bundle. For details, the reader may refer to [14], see the paragraph containing Equation (12) and the discussion after Definition 3.7.

References

  1. Asaeda, M.M., Przytycki, J.H., Sikora, A.S.: Categorification of the Kauffman bracket skein module of \(I\)-bundles over surfaces. Algebr. Geom. Topol. 4, 1177–1210 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  2. Baldwin, J.A., Sivek, S.: Naturality in sutured monopole and instanton homology. J. Differ. Geom. 100(3), 395–480 (2015)

    MathSciNet  MATH  Google Scholar 

  3. Donaldson, S.K.: Polynomial invariants for smooth four-manifolds. Topology 29(3), 257–315 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  4. Donaldson, S.K.: Floer Homology groups in Yang–Mills Theory, vol. 147, Cambridge Tracts in Mathematics, Cambridge University Press, Cambridge (2002) With the assistance of M. Furuta and D, Kotschick

  5. Farb, B., Margalit, D.: A Primer on Mapping Class Groups (pms-49). Princeton University Press, Princeton (2011)

    Book  MATH  Google Scholar 

  6. Gabai, D.: Foliations and the topology of \(3\)-manifolds. II. J. Differ. Geom. 26(3), 461–478 (1987)

    MathSciNet  MATH  Google Scholar 

  7. Ghosh, S., Li, Z.: Decomposing sutured monopole and instanton Floer homologies, Selecta Math. (N.S.) 29(3), Paper No. 40 (2023)

  8. Elisenda Grigsby, J., Wehrli, S.M.: On the colored Jones polynomial, sutured Floer homology, and knot Floer homology. Adv. Math. 223(6), 2114–2165 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  9. Hedden, M.: Khovanov homology of the 2-cable detects the unknot. Math. Res. Lett. 16(6), 991–994 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  10. Juhász, A.: The sutured Floer homology polytope. Geom. Topol. 14(3), 1303–1354 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  11. Khovanov, M.: A categorification of the Jones polynomial. Duke Math. J. 101(3), 359–426 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  12. Kronheimer, P.B., Mrowka, T.S.: Instanton Floer homology and the Alexander polynomial. Algebr. Geom. Topol. 10(3), 1715–1738 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  13. Kronheimer, P.B., Mrowka, T.S.: Knots, sutures, and excision. J. Differ. Geom. 84(2), 301–364 (2010)

    MathSciNet  MATH  Google Scholar 

  14. Kronheimer, P.B., Mrowka, T.S.: Khovanov homology is an unknot-detector. Publ. Math. Inst. Hautes Études Sci. 113, 97–208 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  15. Kronheimer, P.B., Mrowka, T.S.: Knot homology groups from instantons. J. Topol. 4(4), 835–918 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  16. Li, Z., Xie, Y., Zhang, B.: On Floer minimal knots in sutured manifolds. Trans. Am. Math. Soc. Ser. B 9, 499–516 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  17. Li, Z., Ye, F.: Instanton Floer homology, sutures, and Heegaard diagrams. J. Topol. 15(1), 39–107 (2022)

  18. Li, Z., Ye, F.: Instanton Floer homology, sutures, and Euler characteristics (2021) arXiv:2101.05169

  19. Scharlemann, M.: Sutured manifolds and generalized Thurston norms. J. Differ. Geom. 29(3), 557–614 (1989)

    MathSciNet  MATH  Google Scholar 

  20. Street, E.J.: Towards an Instanton Floer Homology for Tangles. ProQuest LLC, Ann Arbor (2012); Thesis (Ph.D.)–Harvard University

  21. Winkeler, Z.: Khovanov homology for links in thickened multipunctured disks. Michigan Math. J. Advance Publication, 1–31 (2023)

  22. Xie, Y.: Earrings, sutures, and pointed links. Int. Math. Res. Not. 17, 13570–13601 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  23. Xie, Y.: Instantons and annular Khovanov homology. Adv. Math. 388, Paper No. 107864 (2021)

  24. Xie, Y., Zhang, B.: Classification of links with Khovanov homology of minimal rank (2019) arXiv:1909.10032

  25. Xie, Y., Zhang, B.: Instanton Floer homology for sutured manifolds with tangles (2019) arXiv:1907.00547

  26. Xie, Y., Zhang, B.: Instantons and Khovanov skein homology on \(I\times T^2\) (2020) arXiv preprint arXiv:2005.12863

  27. Xie, Y., Zhang, B.: On meridian-traceless \({\rm SU}(2)\)-representations of link groups. Adv. Math. 418, Paper No. 108947 (2023)

Download references

Acknowledgements

We would like to thank Ciprian Manolescu for helpful comments, and thank Lvzhou Chen for helpful discussions.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Boyu Zhang.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

The second author was supported by National Key R &D Program of China 2020YFA0712800 and NSFC 12071005.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, Z., Xie, Y. & Zhang, B. Instanton homology and knot detection on thickened surfaces. Sel. Math. New Ser. 29, 84 (2023). https://doi.org/10.1007/s00029-023-00884-5

Download citation

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00029-023-00884-5

Mathematics Subject Classification

Navigation