Seiberg–Witten-Floer homology
Generated by GPT-5-miniExpansion Funnel Raw 37 → Dedup 0 → NER 0 → Enqueued 0
| Seiberg–Witten-Floer homology | |
|---|---|
| Name | Seiberg–Witten–Floer homology |
| Field | Mathematical physics, Differential geometry, Topology |
| Introduced | 1990s |
| Key figures | Michael Freedman, Clifford Taubes, Edward Witten, Nathan Seiberg, Peter Kronheimer, Tomasz Mrowka, Simon Donaldson, Andrei Floer, Karen Uhlenbeck, Clifford Taubes, Shing-Tung Yau |
| Related | Seiberg–Witten theory, Floer homology, Heegaard Floer homology, Donaldson invariants |
Seiberg–Witten–Floer homology is an invariant associated to three-dimensional manifolds derived from gauge-theoretic methods inspired by Edward Witten, Nathan Seiberg, and Andrei Floer. It combines the analytic framework of Seiberg–Witten theory with the infinite-dimensional Morse theory of Floer homology and has been developed by researchers including Peter Kronheimer, Tomasz Mrowka, and Clifford Taubes. The theory produces graded abelian groups or modules that capture subtle smooth and contact topology information of closed three-manifolds, linking to invariants studied by Simon Donaldson, Shing-Tung Yau, and others.
Introduction
Seiberg–Witten–Floer homology arises from the study of solutions to the Seiberg–Witten equations on four-manifolds and cylinder-end manifolds, and extends Andrei Floer's insights into infinite-dimensional Morse theory as used in the study of the Arnold conjecture, Atiyah–Bott frameworks, and instanton theories initiated by Simon Donaldson. Important contributors include Edward Witten for physical motivation, Nathan Seiberg for supersymmetric context, and mathematicians such as Peter Kronheimer, Tomasz Mrowka, Clifford Taubes, Dusa McDuff, and Yakov Eliashberg who established mathematical foundations linking to contact topology and symplectic field theory by Helmut Hofer and Klaus Mohnke.
Background: Seiberg–Witten theory and Floer homology
The analytic core rests on the Seiberg–Witten equations introduced in work motivated by Edward Witten's dualities and Nathan Seiberg's studies in supersymmetric gauge theory, which produced the Seiberg–Witten invariants for smooth four-manifolds, complementing the Donaldson invariants developed by Simon Donaldson. Floer homology, pioneered by Andrei Floer in the context of the Arnold conjecture and later adapted by researchers like Michael Floer and Raoul Bott in Morse-theoretic settings, provides the procedural template: analyze the Chern–Simons–Dirac functional on the configuration space of a closed three-manifold studied by Peter Kronheimer and Tomasz Mrowka. Foundational analytic tools draw on elliptic theory from Karen Uhlenbeck and index theory contributions associated with Atiyah–Singer index theorem work by Michael Atiyah and Isadore Singer.
Construction of Seiberg–Witten–Floer homology
Construction begins by fixing a spin^c structure on a closed oriented three-manifold, following formalisms influenced by Clifford Taubes and Edward Witten. One studies the configuration space of spinors and U(1)-connections modulo gauge transformations, using the Chern–Simons–Dirac functional analogous to setups by Andrei Floer and analytic compactness techniques akin to those in work by Karen Uhlenbeck and Taubes. Transversality and perturbation schemes trace lineage to methods in the work of Dusa McDuff, Yakov Eliashberg, and Helmut Hofer in symplectic geometry and Richard Melrose in analysis on manifolds with cylindrical ends. Chain complexes are generated by critical points corresponding to solutions studied by Peter Kronheimer and Tomasz Mrowka, with differentials defined by counting flow lines modeled on gluing theorems reminiscent of results by Simon Donaldson and gluing analyses by Clifford Taubes.
Properties and invariants
Seiberg–Witten–Floer homology yields graded modules with structures sensitive to orientation, spin^c structure, and torsion, connecting to invariants such as the four-dimensional Seiberg–Witten invariant introduced by Edward Witten and computations by Peter Kronheimer and Tomasz Mrowka. It satisfies functoriality under cobordism in analog to results in Floer homology literature developed by Andrei Floer and refined by researchers like Francesco Gabai and Clifford Taubes, and interacts with contact invariants studied by Yakov Eliashberg and Ko Honda. Spectral flow and index-theoretic phenomena reflect contributions from Michael Atiyah and Isadore Singer, while compactness and energy bounds echo analytic estimates associated with Karen Uhlenbeck and Richard Melrose.
Applications in low-dimensional topology
Seiberg–Witten–Floer homology has been applied to problems in three- and four-dimensional topology including detection of exotic smooth structures highlighted in work by Simon Donaldson, obstruction results related to the Thom conjecture via techniques of Clifford Taubes, and studies of taut foliations and contact structures influenced by Yakov Eliashberg and David Gabai. It also plays a role in classification problems addressed by Peter Kronheimer and Tomasz Mrowka, and in constraints on symplectic fillings studied by Helmut Hofer and Ko Honda. Intersections with gauge-theoretic results from Edward Witten and duality insights from Nathan Seiberg connect the homology to broader frameworks in geometric topology championed by Shing-Tung Yau and Mikhail Gromov.
Computations and examples
Explicit computations appear for classical three-manifolds such as lens spaces analyzed by researchers like Peter Kronheimer and Tomasz Mrowka, mapping tori examined in contexts related to Andrei Floer and Dusa McDuff, and surgeries on knots building on techniques from Simon Donaldson and Francesco Gabai. Computational bridges to combinatorial invariants such as Heegaard Floer homology developed by Peter Ozsváth and Zoltán Szabó provide calculational strategies, while comparative computations with instanton Floer homology link back to work by Simon Donaldson and analytical advances by Karen Uhlenbeck.
Relations to other homology theories and conjectures
Seiberg–Witten–Floer homology relates to Heegaard Floer homology by Peter Ozsváth and Zoltán Szabó, to instanton Floer homology developed by Simon Donaldson and adapted by Andrei Floer, and to monopole Floer homology frameworks studied by Clifford Taubes, Peter Kronheimer, and Tomasz Mrowka. Conjectural correspondences draw on dualities proposed by Edward Witten and Nathan Seiberg and on comparisons to symplectic field theory advanced by Helmut Hofer and Klaus Mohnke, with expectations of equivalences influenced by perspectives from Shing-Tung Yau and Mikhail Gromov.