Heegaard Floer homology

Heegaard Floer homology
Public domain · source
Name	Heegaard Floer homology
Introduced	2001
Creators	Peter Ozsváth; Zoltán Szabó
Field	Geometric topology; Low-dimensional topology

Heegaard Floer homology is an invariant theory for three-dimensional manifolds and four-dimensional cobordisms developed by Peter Ozsváth and Zoltán Szabó in 2001 that builds on techniques from symplectic geometry, gauge theory, and knot theory. The theory assigns graded abelian groups and modules to closed 3-manifolds and to knots, links, and contact structures, providing powerful tools for detecting properties studied in the contexts of the Poincaré conjecture, Thurston geometrization conjecture, and the classification of lens spaces. Developed contemporaneously with and inspired by work on the Seiberg–Witten invariants and the Donaldson invariants, the theory rapidly influenced research connected to the Smith conjecture, Property P conjecture, and questions addressed at institutions such as the Institute for Advanced Study and the Clay Mathematics Institute.

Introduction

Heegaard Floer homology was introduced by Peter Ozsváth and Zoltán Szabó during collaborations influenced by developments at the Princeton University mathematics department, the Rutgers University topology group, and seminars at the Mathematical Sciences Research Institute. The construction uses a Heegaard splitting of a closed 3-manifold into two handlebodies, relates to classical work of Poul Heegaard, and draws on analytic foundations from the Atiyah–Singer index theorem and techniques from the Gromov compactness theorem in symplectic field theory. Early applications connected the theory to classical results of William Thurston, clarified conjectures related to André Weil-type dualities, and established bridges to invariants studied by Clifford Taubes and Edward Witten.

Construction and Definitions

The basic construction begins with a Heegaard diagram (a Heegaard surface and attaching curves) and considers the symmetric product of the Heegaard surface; Ozsváth and Szabó define chain complexes by counting pseudo-holomorphic disks in a symplectic manifold, using analytic techniques related to work of Mikhail Gromov, Simon Donaldson, and Kenji Fukaya. Generators correspond to intersection points between Lagrangian tori in the symmetric product, and differentials are defined by moduli spaces of holomorphic disks whose compactness and transversality rely on tools developed by Richard Hamilton, S. S. Chern, and others in geometric analysis. Gradings and filtration structures come from spin^c structures and Alexander-type gradings linked to classical results of John Milnor and René Thom, while algebraic structures such as exact triangles echo constructions used by Michael Atiyah and Isadore Singer.

Computations and Invariants

Computations in Heegaard Floer homology yield invariants such as HF^+, HF^-, HF^\infty, and the hat variant \widehat{HF}, with knot versions denoted HFK and link invariants adapted for multi-component links; these computations often mirror techniques from John Morgan and Richard Fintushel in gauge theory. Calculations for specific families—such as lens spaces, Seifert fibered 3-manifolds, and surgeries on knots like the Trefoil knot and Figure-eight knot—have been carried out using combinatorial descriptions inspired by work at the University of California, Berkeley and the University of Texas at Austin. The invariants detect classical properties: for example, the correction terms (d-invariants) distinguish between homology spheres studied in the context of the Poincaré homology sphere and the Brieskorn spheres investigated by Michel Brion and others. Algorithmic approaches to computation build on input from computational topology groups at institutions such as the American Mathematical Society meetings and software projects influenced by collaborations with researchers at the Max Planck Institute.

Applications in Low-Dimensional Topology

Heegaard Floer homology has been applied to problems including unknot detection, knot genus detection, and the study of tight versus overtwisted contact structures; these results have connections to classical theorems of Alexander Graham Bell-era mathematics curiosities and modern breakthroughs by researchers at the University of California, Los Angeles and the University of Michigan. The theory gave new proofs and perspectives on results related to the Property R conjecture, constraints on slice genus relevant to the Four-dimensional smooth Poincaré conjecture, and concordance invariants that interact with studies by Casson and contemporaries at the Courant Institute. Applications also include detecting fibred knots in the spirit of work by John Stallings and obstructing symplectic fillings of contact manifolds with links to research undertaken at the National Academy of Sciences and the Royal Society.

Relations to Other Theories

Heegaard Floer homology is closely related to Seiberg–Witten Floer homology, monopole Floer homology, and embedded contact homology (ECH); analytic and structural correspondences have been established through efforts by researchers at the Perimeter Institute, MIT, and collaborations including authors such as Clifford Taubes and Ciprian Manolescu. Conjectured equivalences and partial proofs relate HF to the monopole invariants developed by Peter Kronheimer and Tomasz Mrowka, while spectral sequence constructions connect knot Floer homology to Khovanov homology studied by Mikhail Khovanov and further algebraic frameworks associated with the Jones polynomial and work of Vaughan Jones. These relations tie into broader programs across institutions including the Institute for Advanced Study and the Fields Institute.

Variants and Extensions

Variants include bordered Heegaard Floer homology developed by researchers at the University of California, Irvine and elsewhere, sutured Floer homology inspired by work at the University of Oxford, and involutive Heegaard Floer homology introduced in collaboration with authors connected to seminars at the California Institute of Technology and the University of Cambridge. Extensions have produced combinatorial formulations, algorithmic packages, and equivariant versions influenced by researchers from the University of Chicago, Princeton University, and the École Normale Supérieure, enabling applications to knot concordance, contact topology, and four-manifold invariants studied in the context of the Millennium Prize Problems and major conferences organized by the International Mathematical Union.

Category:Topology