Floer theoretic invariants for 3- and 4-manifolds

Yi-Jen Lee
DOI: https://doi.org/10.48550/arXiv.1709.02551
2017-09-08
Abstract:Seiberg-Witten (Floer) theory, Ozsvath-Szabo's Heegaard Floer theory, Hutchings's embedded contact homology, in different stages of development, define (or are expected to define) packages of invariants for 3- and 4-manifolds (including manifolds with boundary and manifolds with certain types of corners). We describe what are known about their relationship, what are expected, and raise some questions along the way.
Geometric Topology
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore and establish the relationships between different types of Floer homology theories, especially the equivalence among Seiberg - Witten (Floer) theory, Ozsváth - Szabó's Heegaard Floer theory and Hutchings' Embedded Contact Homology (ECH). Specifically: 1. **Define and understand invariants**: The paper aims to define or is expected to define a series of Floer - theory invariants for 3 - and 4 - dimensional manifolds (including manifolds with boundaries and specific types of corners). 2. **Prove equivalence**: - **Equivalence between Seiberg - Witten - Floer homology (\(\hat{HM}\)) and Embedded Contact Homology (ECH)**: Taubes has proven that for a closed 3 - dimensional manifold \(M\) and a spin - c structure \(s\), \(\hat{HM}(M,s)\cong ECH(-M,[\xi,s])\). - **Equivalence between Seiberg - Witten - Floer homology (\(\hat{HM}\)) and Heegaard Floer homology (HF+)**: Kutluhan - Lee - Taubes have proven that \(\hat{HM}(M,s)\cong HF^+(M,s)\). - **Equivalence between Heegaard Floer homology (HF+) and Embedded Contact Homology (ECH)**: Colin - Ghiggini - Honda have proven that \(HF^+(M,s)\cong ECH(-M,[\xi,s])\). 3. **Explore algebraic structures**: These invariants have rich algebraic structures. They are cyclic graded modules over the ring \(A^\dagger(M):=\mathbb{Z}[U]\otimes\bigwedge^*H_1(M;\mathbb{Z})/\text{Tor}\), where the degree of \(U\) is \(- 2\) and the elements in \(H_1(M;\mathbb{Z})/\text{Tor}\) have a degree of \(-1\). 4. **Raise questions and look ahead**: The paper also raises some open questions, such as whether there exists an ECH version similar to the pre - completion versions \(\hat{HM}^*\) or \(HF^-\), and whether the HM = ECH theorem can be generalized to 3 - dimensional manifolds under more general stable Hamiltonian structures, etc. In summary, the core objective of this paper is to reveal their deep geometric and topological connections by proving the equivalence among these different Floer homology theories and to provide new tools and perspectives for further research.