Floer homology

Floer homology
Name	Floer homology
Field	Mathematics
Subfields	Symplectic geometry, Low-dimensional topology
Year	1988
Named after	Andreas Floer
Related concepts	Morse theory, Gauge theory, Quantum cohomology, Homological mirror symmetry

Floer homology. It is a powerful collection of homological invariants in mathematics, originating from the work of Andreas Floer in the late 1980s. These theories provide a sophisticated bridge between infinite-dimensional dynamical systems and finite-dimensional algebraic data, revolutionizing fields like symplectic geometry and low-dimensional topology. By counting solutions to certain partial differential equations, they construct chain complexes whose homology groups yield deep information about the underlying geometric or topological structure.

Definition and basic concepts

The foundational construction often begins with a symplectic manifold and a choice of Hamiltonian function, leading to the study of the Hamiltonian flow it generates. The chain complex is generated by the critical points of an action functional defined on a loop space, or by the intersection points of Lagrangian submanifolds. The differential counts finite-energy solutions to a perturbed Cauchy-Riemann equation, known as Floer equations, which are interpreted as gradient flow lines in an infinite-dimensional setting. This framework generalizes the finite-dimensional Morse theory of Marston Morse to settings with closed orbits and boundary conditions, requiring sophisticated analytic techniques from nonlinear functional analysis. Key technical hurdles involve establishing transversality for moduli spaces of solutions and proving compactness up to bubble formation, often utilizing Sard's theorem and Gromov compactness theorem.

Variants and generalizations

Numerous specialized theories have been developed, each tailored to different geometric structures. Symplectic Floer homology is defined for automorphisms of symplectic manifolds, while Lagrangian Floer homology studies pairs of Lagrangian submanifolds. In topology, instanton Floer homology and Heegaard Floer homology, introduced by Peter Ozsváth and Zoltán Szabó, are invariants for three-manifolds and knots. Seiberg-Witten Floer homology, developed by Kronheimer and Mrowka, arises from Seiberg-Witten equations. Further generalizations include equivariant Floer homology for spaces with group actions, persistent Floer homology for applied topology, and theories over Novikov rings to handle issues of finiteness. The Atiyah-Floer conjecture proposes a deep equivalence between some of these seemingly disparate constructions.

Applications in symplectic geometry

These theories provided the crucial tool for proving the Arnold conjecture, a seminal problem concerning the number of fixed points of Hamiltonian diffeomorphisms, as formulated by Vladimir Arnold. They are central to the development of Fukaya category, a cornerstone of homological mirror symmetry proposed by Maxim Kontsevich. Floer homology also offers insights into Lagrangian intersection theory, displacement energy, and the non-squeezing theorem of Mikhail Gromov. It plays a key role in defining and computing quantum cohomology rings and Gromov-Witten invariants, linking symplectic topology to algebraic geometry and string theory.

Applications in low-dimensional topology

In the realm of three-manifolds and four-manifolds, these invariants have led to major breakthroughs. They were used by Clifford Taubes to establish the equivalence between Seiberg-Witten invariants and Gromov invariants. Heegaard Floer homology has been instrumental in classifying lens spaces, detecting fibered knots, and studying the knot concordance group. It provided the first proof that the Thurston norm of a three-manifold is determined by its homology. These tools also give powerful obstructions to the existence of smooth structures on four-manifolds and to Lagrangian embeddings, solving problems that resisted classical techniques.

Historical development

The theory was initiated by Andreas Floer in his seminal 1988 proof of a special case of the Arnold conjecture for aspherical manifolds. His work synthesized ideas from Mikhail Gromov's theory of pseudoholomorphic curves, Edward Witten's interpretation of Morse theory, and Vladimir Arnold's conjectures in classical mechanics. Following Floer's untimely death, the theory was vastly extended by mathematicians including Helmut Hofer, Dusa McDuff, Yakov Eliashberg, and Simon Donaldson. The subsequent decades saw an explosion of variants, with landmark contributions from Peter Ozsváth, Zoltán Szabó, Kronheimer, Mrowka, and Kenji Fukaya, transforming it into a central pillar of modern geometric analysis.

Relation to other theories

Floer homology exhibits profound connections across mathematics and theoretical physics. It is an infinite-dimensional analogue of Morse theory, with the Floer equation replacing the gradient flow. It is intimately related to gauge theory, as instanton Floer homology arises from the Yang-Mills equation on three-manifolds. Through homological mirror symmetry, it bridges symplectic geometry with derived categories in algebraic geometry. Its structures are echoed in topological quantum field theory, particularly in the Atiyah-Segal axioms. Furthermore, techniques from Floer theory have influenced the study of mean curvature flow and contact homology, showcasing its unifying role in geometric analysis.

Category:Homology theory Category:Symplectic geometry Category:Low-dimensional topology Category:Mathematical theories