Abstract
We survey the different versions of Floer homology that can be associated to three-manifolds. We also discuss their applications, particularly to questions about surgery, homology cobordism, and four-manifolds with boundary. We then describe Floer stable homotopy types, the related Pin(2)-equivariant Seiberg–Witten Floer homology, and its application to the triangulation conjecture.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
S. Akbulut and J.D. McCarthy, Casson’s Invariant for Oriented Homology Three-Spheres: An Exposition, Mathematical Notes, 36, Princeton Univ. Press, Princeton, NJ, 1990.
M. Atiyah, New invariants of 3- and 4-dimensional manifolds, In: The Mathematical Heritage of Hermann Weyl, Durham, NC, 1987, Proc. Sympos. Pure Math., 48, Amer. Math. Soc., Providence, RI, 1988, pp. 285–299.
J.A. Baldwin and S. Sivek, Instanton Floer homology and contact structures, preprint, arXiv:1405.3278.
Bott R.: Morse theory indomitable. Inst. Hautes Études Sci. Publ. Math., 68, 99–114 (1988)
Cairns S.S.: Triangulation of the manifold of class one. Bull. Amer. Math. Soc., 41, 549–552 (1935)
Cohen M.M.: Homeomorphisms between homotopy manifolds and their resolutions. Invent. Math., 10, 239–250 (1970)
R.L. Cohen, J.D.S. Jones and G.B. Segal, Floer’s infinite-dimensional Morse theory and homotopy theory, In: The Floer Memorial Volume, Progr. Math., 133, Birkhäuser, Basel, 1995, pp. 297–325.
V. Colin, P. Ghiggini and K. Honda, The equivalence of Heegaard Floer homology and embedded contact homology III: from hat to plus, preprint, arXiv:1208.1526.
V. Colin, P. Ghiggini and K. Honda, The equivalence of Heegaard Floer homology and embedded contact homology via open book decompositions I, preprint, arXiv:1208.1074.
V. Colin, P. Ghiggini and K. Honda, The equivalence of Heegaard Floer homology and embedded contact homology via open book decompositions II, preprint, arXiv:1208.1077.
C. Conley, Isolated Invariant Sets and the Morse Index, CBMS Regional Conf. Ser. in Math., 38, Amer. Math. Soc., Providence, RI, 1978.
M. Culler, C.McA. Gordon, J. Luecke and P.B. Shalen, Dehn surgery on knots, Ann. of Math. (2), 125 (1987), 237–300.
Donaldson S.K.: An application of gauge theory to four-dimensional topology. J. Differential Geom., 18, 279–315 (1983)
Donaldson S.K.: Polynomial invariants for smooth four-manifolds. Topology, 29, 257–315 (1990)
S.K. Donaldson, Floer Homology Groups in Yang–Mills Theory. With the Assistance of M. Furuta and D. Kotschick, Cambridge Tracts in Math., 147, Cambridge Univ. Press, Cambridge, 2002.
Dostoglou S., Salamon D.A.: Self-dual instantons and holomorphic curves. Ann. of Math. 139(2), 581–640 (1994)
C.L. Douglas, R. Lipshitz and C. Manolescu, Cornered Heegaard Floer homology, preprint, arXiv:1309.0155.
Douglas C.L., Manolescu C.: On the algebra of cornered Floer homology. J. Topol., 7, 1–68 (2014)
D.L. Duncan, Higher-rank instanton cohomology and the quilted Atiyah–Floer conjecture, preprint, arXiv:1311.5609.
R.D. Edwards, Suspensions of homology spheres, preprint, arXiv:math/0610573.
J. Eells, Jr. and N.H. Kuiper, An invariant for certain smooth manifolds, Ann. Mat. Pura Appl. (4), 60 (1962), 93–110.
R. Fintushel and R.J. Stern, Instanton homology of Seifert fibred homology three spheres, Proc. London Math. Soc. (3), 61 (1990), 109–137.
Floer A.: Morse theory for fixed points of symplectic diffeomorphisms. Bull. Amer. Math. Soc. (N.S.), 16, 279–281 (1987)
Floer A.: An instanton-invariant for 3-manifolds. Comm. Math. Phys., 118, 215–240 (1988)
Floer A.: Morse theory for Lagrangian intersections. J. Differential Geom., 28,513–547 (1988)
Floer A.: A relative Morse index for the symplectic action. Comm. Pure Appl. Math., 41, 393–407 (1988)
Floer A.: The unregularized gradient flow of the symplectic action. Comm. Pure Appl. Math., 41, 775–813 (1988)
Floer A.: Symplectic fixed points and holomorphic spheres. Comm. Math. Phys., 120, 575–611 (1989)
Floer A.: Witten’s complex and infinite-dimensional Morse theory. J. Differential Geom., 30, 207–221 (1989)
Freedman M.H.: The topology of four-dimensional manifolds. J. Differential Geom., 17, 357–453 (1982)
Frøyshov K.A.: Equivariant aspects of Yang–Mills Floer theory. Topology, 41, 525–552 (2002)
Frøyshov K.A.: Monopole Floer homology for rational homology 3-spheres. Duke Math. J., 155, 519–576 (2010)
Fukaya K., Ono K.: Arnold conjecture and Gromov–Witten invariant. Topology, 38, 933–1048 (1999)
K. Fukaya, Y.-G. Oh, H. Ohta and K. Ono, Lagrangian Intersection Floer Theory: Anomaly and Obstruction. Part I, AMS/IP Stud. Adv. Math., 46.1, Amer. Math. Soc., Providence, RI; International Press, Somerville, MA, 2009.
K. Fukaya, Y.-G. Oh, H. Ohta and K. Ono, Lagrangian Intersection Floer Theory: Anomaly and Obstruction. Part II, AMS/IP Stud. Adv. Math., 46.2, Amer. Math. Soc., Providence, RI; International Press, Somerville, MA, 2009.
Furuta M.: Homology cobordism group of homology 3-spheres. Invent. Math., 100, 339–355 (1990)
Furuta M.: Monopole equation and the \({\frac{11}{8}}\) -conjecture. Math. Res. Lett., 8, 279–291 (2001)
M. Furuta and T.-J. Li, in preparation.
D.E. Galewski and R.J. Stern, Classification of simplicial triangulations of topological manifolds, Ann. of Math. (2), 111 (1980), 1–34.
Ghiggini P.: Knot Floer homology detects genus-one fibred knots. Amer. J. Math., 130, 1151–1169 (2008)
C.McA. Gordon and J. Luecke, Knots are determined by their complements, J. Amer. Math. Soc., 2 (1989), 371–415.
J.E. Greene, The lens space realization problem, Ann. of Math. (2), 177 (2013), 449–511.
J. Hanselman, Bordered Heegaard Floer homology and graph manifolds, preprint, arXiv:1310.6696.
H. Hofer and D.A. Salamon, Floer homology and Novikov rings, In: The Floer Memorial Volume, Progr. Math., 133, Birkhäuser, Basel, 1995, pp. 483–524.
J. Hom, C. Karakurt and T. Lidman, Surgery obstructions and Heegaard Floer homology, preprint, arXiv:1408.1508.
Juhász A.: Holomorphic discs and sutured manifolds. Algebr. Geom. Topol., 6, 1429–1457 (2006)
Juhász A.: Floer homology and surface decompositions. Geom. Topol., 12, 299–350 (2008)
Kervaire M.A.: Smooth homology spheres and their fundamental groups. Trans. Amer. Math. Soc., 144, 67–72 (1969)
Khovanov M.: A categorification of the Jones polynomial. Duke Math. J., 101, 359–426 (2000)
Khovanov M.: Patterns in knot cohomology. I. Experiment. Math., 12, 365–374 (2003)
R.C. Kirby and L.C. Siebenmann, Foundational Essays on Topological Manifolds, Smoothings, and Triangulations. With Notes by John Milnor and Michael Atiyah, Ann. of Math. Stud., 88, Princeton Univ. Press, Princeton, NJ, 1977.
Kneser H.: Die Topologie der Mannigfaltigkeiten. Jahresber. Dtsch. Math.-Ver., 34, 1–13 (1926)
Kronheimer P.B., Mrowka T.S.: Monopoles and contact structures. Invent. Math., 130, 209–255 (1997)
P.B. Kronheimer and T.S. Mrowka, Witten’s conjecture and property P, Geom. Topol., 8 (2004), 295–310 (electronic).
P.B. Kronheimer and T.S. Mrowka, Monopoles and Three-Manifolds, New Math. Monogr., 10, Cambridge Univ. Press, Cambridge, 2007.
Kronheimer P.B., Mrowka T.S.: Knots, sutures, and excision. J. Differential Geom., 84, 301–364 (2010)
P.B. Kronheimer and T.S. Mrowka, Khovanov homology is an unknot-detector, Publ. Math. Inst. Hautes Études Sci., 113 (2011), 97–208.
Kronheimer P.B., Mrowka T.S.: Knot homology groups from instantons. J. Topol., 4, 835–918 (2011)
P.B. Kronheimer, T.S. Mrowka, P.S. Ozsváth and Z. Szabó, Monopoles and lens space surgeries, Ann. of Math. (2), 165 (2007), 457–546.
C. Kutluhan, Y.-J. Lee and C.H. Taubes, HF=HM I: Heegaard Floer homology and Seiberg–Witten Floer homology, preprint, arXiv:1007.1979.
C. Kutluhan, Y.-J. Lee and C.H. Taubes, HF=HM II: Reeb orbits and holomorphic curves for the ech/Heegaard–Floer correspondence, preprint, arXiv:1008.1595.
C. Kutluhan, Y.-J. Lee and C.H. Taubes, HF=HM III: Holomorphic curves and the differential for the ech/Heegaard Floer correspondence, preprint, arXiv:1010.3456.
C. Kutluhan, Y.-J. Lee and C.H. Taubes, HF=HM IV: The Seiberg–Witten Floer homology and ech correspondence, preprint, arXiv:1107.2297.
C. Kutluhan, Y.-J. Lee and C.H. Taubes, HF=HM V: Seiberg–Witten–Floer homology and handle additions, preprint, arXiv:1204.0115.
W.B.R. Lickorish, A representation of orientable combinatorial 3-manifolds, Ann. of Math. (2), 76 (1962), 531–540.
F. Lin, Morse–Bott singularities in monopole Floer homology and the Triangulation conjecture, preprint, arXiv:1404.4561.
J. Lin, Pin(2)-equivariant KO-theory and intersection forms of spin four-manifolds, preprint, arXiv:1401.3264.
R. Lipshitz, P.S. Ozsváth and D.P. Thurston, Bordered Heegaard Floer homology: Invariance and pairing, preprint, arXiv:0810.0687.
R. Lipshitz, P.S. Ozsváth and D.P. Thurston, Computing \({\widehat{HF}}\) by factoring mapping classes, preprint, arXiv:1010.2550.
M. Lipyanskiy, Gromov–Uhlenbeck compactness, preprint, arXiv:1409.1129.
Lisca P., Stipsicz A.I.: Ozsváth–Szabó invariants and tight contact three-manifolds. II. J. Differential Geom., 75, 109–141 (2007)
Lisca P., Stipsicz A.I.: On the existence of tight contact structures on Seifert fibered 3-manifolds. Duke Math. J., 148, 175–209 (2009)
Liu G., Tian G.: Floer homology and Arnold conjecture. J. Differential Geom., 49, 1–74 (1998)
C. Manolescu, Seiberg–Witten–Floer stable homotopy type of three-manifolds with b 1 = 0, Geom. Topol., 7 (2003), 889–932.
C. Manolescu, Pin(2)-equivariant Seiberg–Witten Floer homology and the Triangulation conjecture, preprint, arXiv:1303.2354v2.
Manolescu C.: On the intersection forms of spin four-manifolds with boundary. Math. Ann., 359, 695–728 (2014)
C. Manolescu, An introduction to knot Floer homology, preprint, arXiv:1401.7107.
C. Manolescu and P.S. Ozsváth, Heegaard Floer homology and integer surgeries on links, preprint, arXiv:1011.1317.
C. Manolescu, P.S. Ozsváth and S. Sarkar, A combinatorial description of knot Floer homology, Ann. of Math. (2), 169 (2009), 633–660.
C. Manolescu, P.S. Ozsváth and D.P. Thurston, Grid diagrams and Heegaard Floer invariants, preprint, arXiv:0910.0078.
C. Manolescu and C. Woodward, Floer homology on the extended moduli space, In: Perspectives in Analysis, Geometry, and Topology, Progr. Math., 296, Birkhäuser/Springer, New York, 2012, pp. 283–329.
Marcolli M., Wang B.-L.: Equivariant Seiberg–Witten Floer homology. Comm. Anal. Geom., 9, 451–639 (2001)
T. Matumoto, Triangulation of manifolds, In: Algebraic and Geometric Topology, Proc. Sympos. Pure Math., Stanford Univ., Stanford, CA, 1976, Part 2, Proc. Sympos. Pure Math., 32, Amer. Math. Soc., Providence, RI, 1978, pp. 3–6.
Matsumoto Y.: On the bounding genus of homology 3-spheres. J. Fac. Sci. Univ. Tokyo Sect. IA Math., 29, 287–318 (1982)
E.E. Moise, Affine structures in 3-manifolds. V. The triangulation theorem and Hauptvermutung, Ann. of Math. (2), 56 (1952), 96–114.
Némethi A.: On the Ozsváth–Szabó invariant of negative definite plumbed 3-manifolds. Geom. Topol., 9, 991–1042 (2005)
Ni Y.: Knot Floer homology detects fibred knots. Invent. Math., 170, 577–608 (2007)
Ni Y.: Heegaard Floer homology and fibred 3-manifolds. Amer. J. Math., 131, 1047–1063 (2009)
Y. Ni and Z. Wu, Cosmetic surgeries on knots in S 3, preprint, arXiv:1009.4720.
Y.-G. Oh, Symplectic topology and Floer homology, preprint, available online at http://people.math.umass.edu/~ullivan/797SG/oh-floer.pdf.
Ono K.: On the Arnol’d conjecture for weakly monotone symplectic manifolds. Invent. Math., 119, 519–537 (1995)
P.S. Ozsváth and Z. Szabó, Absolutely graded Floer homologies and intersection forms for four-manifolds with boundary, Adv. Math., 173 (2003), 179–261.
Ozsváth P.S., Szabó Z.: On the Floer homology of plumbed three-manifolds. Geom. Topol., 7, 185–224 (2003)
P.S. Ozsváth and Z. Szabó, Holomorphic disks and genus bounds, Geom. Topol., 8 (2004), 311–334.
Ozsváth P.S., Szabó Z.: Holomorphic disks and knot invariants. Adv. Math., 186, 58–116 (2004)
P.S. Ozsváth and Z. Szabó, Holomorphic disks and three-manifold invariants: properties and applications, Ann. of Math. (2), 159 (2004), 1159–1245.
Ozsváth P.S., Szabó Z.: Holomorphic disks and topological invariants for closed three-manifolds. Ann. of Math. 159(2), 1027–1158 (2004)
P.S. Ozsváth and Z. Szabó, Heegaard Floer homology and contact structures, Duke Math. J., 129 (2005), 39–61.
Ozsváth P.S., Szabó Z.: On knot Floer homology and lens space surgeries. Topology, 44, 1281–1300 (2005)
P.S. Ozsváth and Z. Szabó, On the Heegaard Floer homology of branched double-covers, Adv. Math., 194 (2005), 1–33.
Ozsváth P.S., Szabó Z.: Holomorphic triangles and invariants for smooth four-manifolds. Adv. Math., 202, 326–400 (2006)
P.S. Ozsváth and Z. Szabó, The Dehn surgery characterization of the trefoil and the figure eight knot, preprint, arXiv:math/0604079.
Ozsváth P.S., Szabó Z.: Knot Floer homology and integer surgeries. Algebr. Geom. Topol., 8, 101–153 (2008)
Ozsváth P.S., Szabó Z.: Knot Floer homology and rational surgeries. Algebr. Geom. Topol., 11, 1–68 (2011)
G. Perelman, The entropy formula for the Ricci flow and its geometric applications, preprint, arXiv:math/0211159.
G. Perelman, Finite extinction time for the solutions to the Ricci flow on certain three-manifolds, preprint, arXiv:math/0307245.
G. Perelman, Ricci flow with surgery on three-manifolds, preprint, arXiv:math/0303109.
Radó T.: Über den Begriff der Riemannschen Fläche. Acta Sci. Math. (Szeged), 2, 101–121 (1925)
J.A. Rasmussen, Floer homology and knot complements, Ph.D. thesis, Harvard Univ.; preprint, arXiv:math.GT/0306378.
Rasmussen J.A.: Lens space surgeries and a conjecture of Goda and Teragaito. Geom. Topol., 8, 1013–1031 (2004)
Rokhlin V.A.: New results in the theory of four-dimensional manifolds. Doklady Akad. Nauk SSSR (N.S.), 84, 221–224 (1952)
Y. Ruan, Virtual neighborhoods and pseudo-holomorphic curves, In: Proceedings of 6th Gökova Geometry-Topology Conference, Turkish J. Math., 23, Scientific and Technical Research Council of Turkey, 1999, pp. 161–231.
Salamon D., Wehrheim K.: Instanton Floer homology with Lagrangian boundary conditions. Geom. Topol., 12, 747–918 (2008)
S. Sarkar and J. Wang, An algorithm for computing some Heegaard Floer homologies, Ann. of Math. (2), 171 (2010), 1213–1236.
H. Sato, Constructing manifolds by homotopy equivalences. I. An obstruction to constructing PL-manifolds from homology manifolds, Ann. Inst. Fourier (Grenoble), 22 (1972), 271–286.
N. Seiberg and E. Witten, Electric-magnetic duality, monopole condensation, and confinement in N = 2 supersymmetric Yang–Mills theory, Nuclear Phys. B, 426 (1994), 19–52.
P. Seidel, Fukaya Categories and Picard–Lefschetz Theory, Zur. Lect. Adv. Math., Eur. Math. Soc., EMS Publ. House, Zürich, 2008.
D.P. Sullivan, Triangulating and smoothing homotopy equivalences and homeomorphisms. Geometric topology seminar notes, In: The Hauptvermutung Book, K-Monogr. Math., 1, Kluwer Acad. Publ., Dordrecht, 1996, pp. 69–103.
Taubes C.H.: The Seiberg–Witten equations and the Weinstein conjecture. Geom. Topol., 11, 2117–2202 (2007)
Wallace A.H.: Modifications and cobounding manifolds. Canad. J. Math., 12, 503–528 (1960)
K. Wehrheim and C. Woodward, Floer field theory for coprime rank and degree, preprint, http://www.math.rutgers.edu/~tw/fielda.pdf.
Whitehead J.H.C.: On C 1-complexes. Ann. of Math. 41(2), 809–824 (1940)
Witten E.: Supersymmetry and Morse theory. J. Differential Geom., 17, 661–692 (1982)
Witten E.: Monopoles and four-manifolds. Math. Res. Lett., 1, 769–796 (1994)
Wu Z.: Cosmetic surgery in L-space homology spheres. Geom. Topol., 15, 1157–1168 (2011)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by: Kaoru Ono
This article is based on the 14th Takagi Lectures that the author delivered at the University of Tokyo on November 15 and 16, 2014.
About this article
Cite this article
Manolescu, C. Floer theory and its topological applications. Jpn. J. Math. 10, 105–133 (2015). https://doi.org/10.1007/s11537-015-1487-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11537-015-1487-8