Subtopic Deep Dive
Floer Homology
Research Guide
What is Floer Homology?
Floer homology is a Morse-theoretic cohomology theory for infinite-dimensional manifolds arising from Lagrangian intersections in symplectic geometry and Heegaard splittings in 3-manifold topology.
Introduced by Andreas Floer in 1988 for Lagrangian intersections, it extends to Hamiltonian Floer homology and Heegaard Floer homology developed by Ozsváth and Szabó around 2003-2004. These theories produce invariants distinguishing symplectic manifolds and 3-manifolds undetectable by classical invariants. Over 700 citations each for seminal papers by Floer (1988, 716 citations) and Ozsváth-Szabó (2004, 713 citations).
Why It Matters
Floer homology provides invariants separating manifolds like lens spaces distinguished in Ozsváth-Szabó (2004, Annals of Mathematics, 713 citations). It categorifies knot polynomials as in Khovanov (2000, 941 citations) and links symplectic topology to low-dimensional topology via J-holomorphic curves (McDuff-Salamon, 2012, 896 citations). Applications include knot invariants from holomorphic disks (Ozsváth-Szabó, 2003, 739 citations) and computations for 3-manifold classifications.
Key Research Challenges
Transversality Issues
Achieving transversality for J-holomorphic curves in Floer chains requires virtual techniques due to non-compactness. Floer (1988, 716 citations) used Morse theory for Lagrangian intersections, but higher-dimensional cases need perturbations (McDuff-Salamon, 2012, 896 citations). Obstructions persist in non-exact settings (Fukaya et al., 2009, 678 citations).
Obstruction Theories
A-infinity structures resolve anomalies in Lagrangian Floer cohomology (Fukaya et al., 2009, 678 citations). Homotopy equivalences between A-infinity algebras complicate invariant definitions. Spectral sequences track these obstructions in computations.
Computational Complexity
Heegaard Floer homology demands enumerating holomorphic disks in Heegaard splittings (Ozsváth-Szabó, 2004, 713 citations). Chain complex sizes grow rapidly for complex 3-manifolds. Properties like surgery formulas aid but require extensive calculations (Ozsváth-Szabó, 2004, 524 citations).
Essential Papers
Introduction to symplectic topology
Dusa McDuff · 2006 · IAS/Park City mathematics series · 1.4K citations
Over the past number of years powerful new methods in analysis and topology have led to the development of the modern global theory of symplectic topology, including several striking and important ...
A categorification of the Jones polynomial
Mikhail Khovanov · 2000 · Duke Mathematical Journal · 941 citations
Author(s): Khovanov, Mikhail | Abstract: We construct a bigraded cohomology theory of links whose Euler characteristic is the Jones polynomial.
J-holomorphic curves and symplectic topology
Dusa McDuff, Dietmar Salamon · 2012 · 896 citations
The theory of J-holomorphic curves has been of great importance since its introduction by Gromov in 1985. In mathematics, its applications include many key results in symplectic topology. It was al...
Holomorphic disks and knot invariants
Peter Ozsváth, Zoltán Szabó · 2003 · Advances in Mathematics · 739 citations
Morse theory for Lagrangian intersections
Andreas Floer · 1988 · Journal of Differential Geometry · 716 citations
Let P be a compact symplectic manifold and let L C P be a Lagrangian submanifold with π2{P,L) = 0.For any exact diffeomorphism φ of P with the property that φ(L) intersects L transverally, we prove...
Holomorphic disks and topological invariants for closed three-manifolds
Peter Ozsváth, Zoltán Szabó · 2004 · Annals of Mathematics · 713 citations
The aim of this article is to introduce certain topological invariants for closed, oriented three-manifolds Y , equipped with a Spin c structure.Given a Heegaard splitting of Y = U 0 ∪ Σ U 1 , thes...
Lagrangian Intersection Floer Theory: Anomaly and Obstruction
賢治 深谷, Yong‐Geun Oh, Hiroshi Ohta et al. · 2009 · 678 citations
Part I Introduction Review: Floer cohomology The $A_\infty$ algebra associated to a Lagrangian submanifold Homotopy equivalence of $A_\infty$ algebras Homotopy equivalence of $A_\infty$ bimodules S...
Reading Guide
Foundational Papers
Start with Floer (1988, 716 citations) for Lagrangian Morse theory, then Ozsváth-Szabó (2003, 739 citations) for knot invariants via disks; McDuff (2006, 1367 citations) surveys symplectic foundations.
Recent Advances
Ozsváth-Szabó (2004, Annals, 713 and 524 citations) for Heegaard Floer properties; Fukaya et al. (2009, 678 citations) for A-infinity Lagrangian theory; Khovanov-Rozansky (2008, 531 citations) for matrix factorizations.
Core Methods
Core techniques: J-holomorphic curves (McDuff-Salamon, 2012), Heegaard splittings with disk holonomies (Ozsváth-Szabó, 2004), A-infinity enhancements (Fukaya et al., 2009), categorification via graded complexes (Khovanov, 2000).
How PapersFlow Helps You Research Floer Homology
Discover & Search
Research Agent uses searchPapers('Floer homology Heegaard') to find Ozsváth-Szabó (2004, Annals of Mathematics, 713 citations), then citationGraph to map influences from Floer (1988) to modern works, and findSimilarPapers for related knot invariants. exaSearch uncovers niche applications in symplectic invariants.
Analyze & Verify
Analysis Agent applies readPaperContent on Ozsváth-Szabó (2003) to extract holomorphic disk counts, verifyResponse with CoVe against Floer chain definitions, and runPythonAnalysis to compute graded Euler characteristics via NumPy. GRADE grading scores evidence strength for invariant computations.
Synthesize & Write
Synthesis Agent detects gaps in Heegaard Floer computations for specific manifolds and flags contradictions between Lagrangian and Hamiltonian variants. Writing Agent uses latexEditText for theorem proofs, latexSyncCitations linking Floer (1988), and latexCompile for full papers; exportMermaid diagrams A-infinity relations.
Use Cases
"Compute Heegaard Floer homology of lens space L(5,1) using Ozsváth-Szabó methods."
Research Agent → searchPapers → Analysis Agent → runPythonAnalysis (NumPy matrix ranks for chain complexes) → researcher gets graded dimensions and invariant ranks.
"Write LaTeX proof of Floer inequality for Lagrangian intersections."
Synthesis Agent → gap detection → Writing Agent → latexEditText + latexSyncCitations (Floer 1988) + latexCompile → researcher gets compiled PDF with cited theorems.
"Find GitHub code for Khovanov homology computations related to Floer categorification."
Research Agent → paperExtractUrls (Khovanov 2000) → paperFindGithubRepo → githubRepoInspect → researcher gets runnable Python for link homology Euler characteristics.
Automated Workflows
Deep Research workflow scans 50+ Floer papers via searchPapers → citationGraph → structured report on invariant properties. DeepScan's 7-step chain verifies Ozsváth-Szabó computations with CoVe checkpoints and runPythonAnalysis. Theorizer generates conjectures on A-infinity obstructions from Fukaya et al. (2009).
Frequently Asked Questions
What is the definition of Floer homology?
Floer homology is a Morse cohomology for critical points of the symplectic action functional on loops, yielding invariants from Lagrangian intersections (Floer, 1988).
What are main methods in Floer homology?
Methods include J-holomorphic curve moduli spaces (McDuff-Salamon, 2012), Heegaard diagrams with holomorphic disks (Ozsváth-Szabó, 2004), and A-infinity algebras for obstructions (Fukaya et al., 2009).
What are key papers in Floer homology?
Foundational: Floer (1988, Morse theory, 716 citations), Ozsváth-Szabó (2004, Heegaard, 713 citations); categorification: Khovanov (2000, 941 citations).
What are open problems in Floer homology?
Full transversality without virtual techniques, explicit computations for fibered 3-manifolds, and rim torus conjectures in Heegaard Floer (Ozsváth-Szabó, 2004).
Research Geometric and Algebraic Topology with AI
PapersFlow provides specialized AI tools for Mathematics researchers. Here are the most relevant for this topic:
AI Literature Review
Automate paper discovery and synthesis across 474M+ papers
Paper Summarizer
Get structured summaries of any paper in seconds
AI Academic Writing
Write research papers with AI assistance and LaTeX support
See how researchers in Physics & Mathematics use PapersFlow
Field-specific workflows, example queries, and use cases.
Start Researching Floer Homology with AI
Search 474M+ papers, run AI-powered literature reviews, and write with integrated citations — all in one workspace.
See how PapersFlow works for Mathematics researchers
Part of the Geometric and Algebraic Topology Research Guide