Floer homology

Floer homology
Name	Floer homology
Field	Mathematics
Introduced	1980s
Founder	Andreas Floer

Floer homology is a collection of mathematical invariants arising from the study of infinite-dimensional Morse theory on spaces of paths, loops, or connections. Developed to extract algebraic information from analytical problems, it connects concepts from Andreas Floer, Morse theory, Symplectic geometry, Gauge theory, and Differential geometry. Floer homology has become central to interactions between Edward Witten-inspired quantum field ideas, the Atiyah–Singer index theorem, and deep conjectures linking low-dimensional topology to symplectic and gauge-theoretic invariants.

Introduction

Floer homology assigns graded abelian groups or vector spaces to geometric objects by counting solutions of elliptic partial differential equations; key analytic tools include the Cauchy–Riemann equations, the Atiyah–Bott fixed-point theorem, the Fredholm theory, and compactness results related to the Gromov compactness theorem. Early constructions produced invariants for periodic orbits in Hamiltonian dynamics and instanton spaces in Yang–Mills theory, weaving together ideas from Arnold conjecture, the Seiberg–Witten equations, and work of Simon Donaldson.

Historical background and motivation

Andreas Floer introduced the first incarnations of Floer homology in the mid-1980s to tackle the Arnold conjecture on fixed points of Hamiltonian diffeomorphisms and to define invariants in low-dimensional topology influenced by Michael Atiyah's proposals relating gauge theory to topology. Subsequent developments involved contributions by Yongbin Ruan, Paul Seidel, Helmut Hofer, Dusa McDuff, and Mikhail Gromov, linking Floer ideas to Gromov–Witten invariants and prompting analogies with Donaldson invariants and the Seiberg–Witten invariant program. Interdisciplinary impetus came from interactions with Edward Witten's topological field theories and conjectures of Maxim Kontsevich relating to homological mirror symmetry.

Analytical foundations and construction

The analytic core uses moduli spaces of solutions to elliptic PDEs (e.g., pseudoholomorphic curves, anti-self-dual connections) together with transversality achieved via perturbations such as Donaldson–Uhlenbeck compactness techniques or virtual perturbation frameworks like Kuranishi structures and polyfold theory. Chain complexes are formed from critical points of action functionals related to Hamiltonian action or Chern–Simons functionals; differentials count isolated flow lines modulo symmetries, relying on index computations from the Atiyah–Patodi–Singer index theorem and orientability arguments linked to determinant line bundles used by Jean-Michel Bismut. Foundational regularity, compactness, and gluing results drew on methods of Karen Uhlenbeck, Richard S. Hamilton, and Simon Donaldson.

Variants and generalizations

Major variants include Hamiltonian Floer homology, Lagrangian Floer homology, symplectic Floer homology, instanton Floer homology, monopole Floer homology, and embedded contact homology; these relate to constructions by Paul Seidel, Yasha Eliashberg, Clifford Taubes, Peter Kronheimer, and Tomasz Mrowka. Algebraic enhancements produce filtered, equivariant, and wrapped versions relevant to Fukaya categories and the Homological Mirror Symmetry framework of Maxim Kontsevich. Relative and sutured generalizations connect to work of András Juhász and Yajing Liu, while algebraic formalisms leverage A∞-categories and techniques used by Bernard Keller.

Applications in topology and geometry

Floer homology has led to breakthroughs in three- and four-dimensional topology, including proofs and partial resolutions of conjectures associated with Thurston geometrization, applications to knot theory via Heegaard Floer homology (developed by Peter Ozsváth and Zoltán Szabó), constraints on symplectic embeddings inspired by Gromov non-squeezing theorem, and relations to contact topology through invariants of Legendrian and transverse knots studied by Tom Mrowka and Chris Wendl. Results impacting smooth structures on four-manifolds used interactions with Donaldson theory and the Seiberg–Witten invariant, informing classification efforts linked to work of Freedman and Michael Freedman-adjacent research communities.

Computational methods and examples

Concrete computations exploit combinatorial models such as grid diagrams in knot theory used for Heegaard Floer computations by Ozsváth and Szabó, algebraic techniques from Morse–Bott theory adapted by Bourgeois and Oancea, and spectral sequence tools stemming from Serre spectral sequence-type arguments. Computational success stories include calculations for lens spaces, torus knots, and mapping tori associated to pseudo-Anosov maps studied by William Thurston and John Franks. Software implementations and algorithmic frameworks draw on ideas used in computational topology communities around SnapPea-style programs and researchers such as Jeff Weeks.

Open problems and current research directions

Active research addresses rigorous foundations via polyfold theory by Helmut Hofer and collaborators, equivalences between variants (e.g., comparing instanton, monopole, and Heegaard theories connected to conjectures by Peter Kronheimer and Tomasz Mrowka), extensions of homological mirror symmetry conjectures posited by Maxim Kontsevich, and categorified structures relating to Khovanov homology and knot concordance studied by Jacob Rasmussen and Mikhail Khovanov. Other directions include computational complexity of invariants pursued by researchers around Dylan Thurston and analytic improvements in transversality and compactness techniques influenced by Karen Uhlenbeck and Richard S. Hamilton.

Category:Mathematical theories