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 $X$ containing non-separating hypersurfaces $Y$ satisfying appropriate chain-level Floer theory conditions. As a concrete application, the authors prove that if $X$ has the homology of a 4-torus and contains a non-separating 3-torus, then the sum of all Seiberg-Witten invariants of $X$ is completely determined by cohomological terms. These results can be interpreted as a $(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 $X$ and reducible solutions on $Y$ 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) = \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)$-dimensional TQFT approach to $(3+1)$ dimensions.

Detailed Methodology

Core Concept Definitions

RSF-space Definition: A twisted spin^c 3-manifold $(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 $B_u^s$ is strictly filtered with respect to $U$-filtration
3. The complex $\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,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 $W$: $\bar{m}_* = m_{W,\nu}U^d + m_2U^{d-1} + m_4U^{d-2} + \cdots$
3. Filtration analysis: Utilized spectral sequence analysis of $U$-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 $X$ containing a non-separating 3-torus, if $X$ admits a spin^c structure restricting to the unique torsion structure on $T^3$, then: $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 $X$ be a closed oriented connected 4-manifold containing a non-separating 3-torus $T^3$ with $b^+(X) \geq 2$. Then the sum of all Seiberg-Witten invariants satisfies: $\pm m(X) = \begin{cases} \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.