Lagrangian matching invariants for fibred four-manifolds: II

Tim Perutz
DOI: https://doi.org/10.2140/gt.2008.12.1461
2007-12-20
Abstract:In the second of a pair of papers, we complete the construction of Seiberg-Witten-like invariants for smooth four-manifolds equipped with broken fibrations, prove an index formula, and compute some examples.
Symplectic Geometry,Geometric Topology
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to understand and construct the Seiberg - Witten invariants of 4 - manifolds with "broken fibrations". Specifically, the author aims to directly reflect the geometric properties of fibrations through the geometric structures in symplectic topology, to construct the so - called "Lagrangian matching invariants", and to prove that these invariants match the Seiberg - Witten invariants of 4 - manifolds and are independent of the specific broken fibrations. ### Main Objectives 1. **Understand Seiberg - Witten Invariants**: For 4 - manifolds with broken fibrations, use the methods of symplectic topology to understand their Seiberg - Witten invariants. 2. **Construct Lagrangian Matching Invariants**: Through specific geometric constructions, define and study Lagrangian matching invariants. 3. **Prove Similarity**: Demonstrate the similarity between these Lagrangian matching invariants and Seiberg - Witten invariants, and propose the conjecture that they may be equal. ### Key Concepts and Methods - **Broken Fibrations**: A special kind of singular Lefschetz fibration. - **Lagrangian Matching Invariants**: Invariants constructed based on broken fibrations. - **Symplectic Topology Tools**: Such as Lagrangian correspondences, relative Hilbert schemes, etc. - **Index Formulas and Vanishing Theorems**: Used to support the conjecture that Lagrangian matching invariants are equal to Seiberg - Witten invariants. ### Research Significance If it can be proven that Lagrangian matching invariants are indeed equal to Seiberg - Witten invariants and are independent of the specific form of broken fibrations, this will provide new perspectives and tools for the topology of 4 - manifolds. In addition, this result will also deepen our understanding of the relationship between symplectic geometry and the topology of 4 - manifolds. ### Formula Summary The mathematical formulas involved in the article mainly include: - Representation of symplectic forms: \[ [ω] = η + λθ \] - Expressions of certain homology classes: \[ 1+\frac{\lambda n}{\langle W, \text{fibre} \rangle}W[1]-\frac{\lambda}{2}1[2] \] - Calculation of Maslov indices: \[ \mu_Q(u) = 2c_{\text{rel}}^1(u^*TvE)+\sum_i l_i \] These formulas are used in the article to describe symplectic structures, the definitions of invariants, and the proofs of key theorems.