2025-11-22T12:19:15.280199

On integral rigidity in Seiberg-Witten theory

Lin, Eismeier
We introduce a framework to prove integral rigidity results for the Seiberg-Witten invariants of a closed $4$-manifold $X$ containing a non-separating hypersurface $Y$ satisfying suitable (chain-level) Floer theoretic conditions. As a concrete application, we show that if $X$ has the homology of a four-torus, and it contains a non-separating three-torus, then the sum of all Seiberg-Witten invariants of $X$ is determined in purely cohomological terms. Our results can be interpreted as $(3+1)$-dimensional versions of Donaldson's TQFT approach to the formula of Meng-Taubes, and build upon a subtle interplay between irreducible solutions to the Seiberg-Witten equations on $X$ and reducible ones on $Y$ and its complement. Along the way, we provide a concrete description of the associated graded map (for a suitable filtration) of the map on $\overline{HM}_*$ induced by a negative cobordism between three-manifolds, which might be of independent interest.
academic

On integral rigidity in Seiberg-Witten theory

Basic Information

  • Paper ID: 2409.17884
  • Title: On integral rigidity in Seiberg-Witten theory
  • Authors: Francesco Lin, Mike Miller Eismeier
  • Classification: math.GT (Geometric Topology)
  • Publication Date: September 2024
  • Paper Link: https://arxiv.org/abs/2409.17884

Abstract

This paper introduces a framework for proving integral rigidity results for Seiberg-Witten invariants of closed 4-manifolds XX containing non-separating hypersurfaces YY satisfying appropriate chain-level Floer theory conditions. As a concrete application, the authors prove that if XX has the homology of a 4-torus and contains a non-separating 3-torus, then the sum of all Seiberg-Witten invariants of XX is completely determined by cohomological terms. These results can be interpreted as a (3+1)(3+1)-dimensional version of the Donaldson TQFT approach to the Meng-Taubes formula, based on subtle interactions between irreducible solutions of the Seiberg-Witten equations on XX and reducible solutions on YY and its complement.

Research Background and Motivation

  1. Core Problem: Seiberg-Witten invariants are fundamental tools in 4-dimensional topology, yet there currently lacks a framework for computing these invariants in general cases, and it remains unclear what constraints these invariants must satisfy.
  2. Significance: Understanding the constraints on Seiberg-Witten invariants is crucial for the classification and understanding of 4-manifolds. Previous work has primarily focused on "mod 2 rigidity results," while this paper pursues stronger integral rigidity results.
  3. Limitations of Existing Methods:
    • Previous rigidity results have been primarily mod 2 results, relying on Pin(2) symmetry of spin manifolds
    • Lack of effective frameworks for computing Seiberg-Witten invariants of general 4-manifolds
    • Results in the separating hypersurface case are relatively straightforward; the non-separating case is more challenging
  4. Research Motivation: The authors aim to establish a unified framework for handling Seiberg-Witten invariants of 4-manifolds containing non-separating hypersurfaces, particularly to obtain rigidity results at the integral level.

Core Contributions

  1. Established a new theoretical framework: Introduced the concept of RSF-spaces (Reducible Strictly Filtered spaces), providing chain-level Floer theory tools for handling non-separating hypersurfaces.
  2. Proved integral rigidity theorems:
    • Theorem A: For homology 4-tori containing non-separating 3-tori, there is an explicit cohomological formula for the sum of Seiberg-Witten invariants
    • Theorem B: More general rigidity results for 4-manifolds containing non-separating 3-tori
    • Theorem C: General rigidity results for 4-manifolds containing RSF-spaces as non-separating hypersurfaces
  3. Provided explicit computational formulas: Gave explicit formulas for the homology 4-torus case: m(X)=±det⁡(X)⋅#∣H2(T3)/Im(H2(X)→H2(T3))∣m(X) = \pm \det(X) \cdot \#|H^2(T^3)/\text{Im}(H^2(X) \to H^2(T^3))|
  4. Established connections with Donaldson TQFT: Interpreted the results as an extension of Donaldson's (2+1)(2+1)-dimensional TQFT approach to (3+1)(3+1) dimensions.

Detailed Methodology

Core Concept Definitions

RSF-space Definition: A twisted spin^c 3-manifold (Y,sY)(Y,s_Y) is called an RSF-space if there exist regular metrics and perturbations such that:

  1. Only reducible Seiberg-Witten solutions exist
  2. The map BusB_u^s is strictly filtered with respect to UU-filtration
  3. The complex C‾∗(Y,s)\overline{C}_*(Y,s) coincides with the corresponding Morse complex

Technical Architecture

  1. Self-gluing formula: Established gluing formulas for the non-separating case, relating Seiberg-Witten invariants on 4-manifolds to traces of maps induced by complements: m(X,sW,[νˉ])=Tr(HM‾∙(W,sW;Γν))m(X,s_W,[\bar{\nu}]) = \text{Tr}(\overline{HM}_\bullet(W,s_W;\Gamma_\nu))
  2. Description of negative definite cobordism maps: Provided explicit descriptions of associated graded maps induced by negative definite cobordisms WW: mˉ∗=mW,νUd+m2Ud−1+m4Ud−2+⋯\bar{m}_* = m_{W,\nu}U^d + m_2U^{d-1} + m_4U^{d-2} + \cdots
  3. Filtration analysis: Utilized spectral sequence analysis of UU-filtration to reduce complex gauge theory computations to Morse theory calculations.

Technical Innovations

  1. Chain-level conditions: Unlike previous methods relying on homological conditions, this paper introduces finer chain-level conditions (RSF-spaces) capable of capturing more topological information.
  2. Reducible-irreducible solution interactions: Cleverly exploited interactions between irreducible solutions on 4-manifolds and reducible solutions on 3-manifold boundaries, which is the core technical insight of this approach.
  3. Filtration methods: Through appropriate filtration analysis, transformed complex gauge theory problems into relatively simple algebraic topology computations.

Main Results

Theorem A (Homology 4-torus case)

For a homology 4-torus XX containing a non-separating 3-torus, if XX admits a spin^c structure restricting to the unique torsion structure on T3T^3, then: m(X)=±det⁡(X)⋅#∣H2(T3)/Im(H2(X)→H2(T3))∣m(X) = \pm \det(X) \cdot \#|H^2(T^3)/\text{Im}(H^2(X) \to H^2(T^3))|

Theorem B (General 3-torus case)

Let XX be a closed oriented connected 4-manifold containing a non-separating 3-torus T3T^3 with b+(X)≥2b^+(X) \geq 2. Then the sum of all Seiberg-Witten invariants satisfies:

\text{disc}(W)D(W) & \text{if } b^+(W) = 0 \text{ and } b_1(W) = 3 \\ 0 & \text{otherwise} \end{cases}$$ where $\text{disc}(W) = |\det(i_*)|$ and $D(W)$ counts spin^c structures satisfying specific conditions. ### Theorem C (General RSF-space case) For 4-manifolds $X$ containing RSF-spaces $(Y,s_Y)$ as non-separating hypersurfaces, the corresponding Seiberg-Witten invariants satisfy rigidity formulas, where coefficients $c(W,Y,s_Y)$ depend only on the correspondence and spin^c structures. ## Concrete Examples ### Example 1: $S^1 \times M$ type manifolds For $X = S^1 \times M$, where $M$ is a homology 3-torus containing a non-separating 2-torus: $$\pm m(X) = \det(M)^2 t_1(M)$$ This is consistent with Meng-Taubes results. ### Example 2: Newly constructed homology 4-tori Through specific handle attachment constructions, the authors provide examples of homology 4-tori where: $$\pm m(X) = \det(X)$$ rather than $\det(X)^2$, demonstrating the non-triviality of the formula. ## Related Work 1. **Morgan-Szabó**: Earliest mod 2 rigidity results 2. **Ruberman-Strle**: Mod 2 rigidity for homology tori 3. **Meng-Taubes formula**: $(2+1)$-dimensional version of these results 4. **Donaldson's TQFT approach**: Theoretical framework foundation 5. **Kronheimer-Mrowka's monopole Floer homology**: Primary technical tools used ## Conclusions and Discussion ### Main Conclusions 1. Established a complete theoretical framework for handling non-separating hypersurfaces 2. Provided explicit formulas for Seiberg-Witten invariants of homology 4-tori 3. Proved integral rigidity of these invariants, surpassing previous mod 2 results ### Limitations 1. RSF-space conditions are difficult to verify in practice 2. Current examples primarily focus on special geometric cases 3. Relationships with Ozsváth-Szabó mixed invariants remain unclear ### Future Directions 1. **Problem D**: Seek more general homological conditions than RSF-spaces 2. **Problem E**: Reproduce these results in Heegaard Floer theory 3. Explore more concrete examples and applications ## In-Depth Evaluation ### Strengths 1. **Theoretical depth**: Established profound connections between gauge theory and algebraic topology 2. **Technical innovation**: The RSF-space concept and filtration methods are original 3. **Result significance**: First integral rigidity results for Seiberg-Witten invariants 4. **Method uniformity**: Provided a unified framework for handling non-separating hypersurfaces ### Weaknesses 1. **Condition restrictions**: RSF-space conditions are quite technical with difficult practical verification 2. **Limited examples**: Relatively few concrete non-trivial examples 3. **Computational complexity**: Actual computations involve considerable technical details ### Impact This work has significant importance in 4-dimensional topology, providing new perspectives for understanding Seiberg-Witten invariants and potentially inspiring further research on 4-manifold classification. ### Applicable Scenarios Primarily applicable to research on 4-manifolds containing special types of non-separating hypersurfaces, particularly with important applications in the classification of homology 4-tori and related geometric structures.