Paul M. N. Feehan,Thomas G. Leness
Abstract:We prove Witten's formula relating the Donaldson and Seiberg-Witten series modulo powers of degree $c+2$, with $c=-{1/4}(7\chi+11\sigma)$, for four-manifolds obeying some mild conditions, where $\chi$ and $\sigma$ are their Euler characteristic and signature. We use the moduli space of SO(3) monopoles as a cobordism between a link of the Donaldson moduli space of anti-self-dual SO(3) connections and links of the moduli spaces of Seiberg-Witten monopoles. Gluing techniques allow us to compute contributions from Seiberg-Witten moduli spaces lying in the first (or `one-bubble') level of the Uhlenbeck compactification of the moduli space of SO(3) monopoles.
Differential Geometry,High Energy Physics - Theory,Mathematical Physics,Geometric Topology
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that Witten's conjecture regarding the relationship between Donaldson invariants and Seiberg - Witten invariants holds for a large class of four - dimensional manifolds in "low degrees". Specifically, the authors Paul M. N. Feehan and Thomas G. Leness prove that these two series are equivalent under specific conditions by using the SO(3) monopole moduli space as a cobordism connecting the anti - self - dual SO(3) connection chains in the Donaldson moduli space and the Seiberg - Witten monopole moduli space chains.
### Main contributions of the paper
1. **Proving Witten's conjecture**: The paper proves that for four - dimensional manifolds satisfying certain mild conditions, Witten's conjecture regarding the Donaldson series and the Seiberg - Witten series holds in "low degrees". Here, "low degrees" refers to terms with degree less than or equal to \( c(X) \), where \( c(X)=-\frac{1}{4}(7\chi + 11\sigma) \), and \( \chi \) and \( \sigma \) are the Euler characteristic and signature of the manifold respectively.
2. **Using the SO(3) monopole moduli space**: The authors use the SO(3) monopole moduli space as a cobordism to connect the Donaldson moduli space and the Seiberg - Witten moduli space. Through this method, they are able to calculate the contribution of the first layer (or "one - bubble" layer) of the Seiberg - Witten moduli space in the Uhlenbeck compactification.
3. **Extending previous results**: The paper extends the authors' previous work and proves that these two series are equivalent in a wider range of degrees, not just the previous degree range.
### Main results
The main result of the paper is Theorem 1.1, which states that:
- For a closed, connected, smooth four - dimensional manifold \( X \), if \( b_1(X) = 0 \) and \( b_2^+(X)\geq3 \), and \( X \) is ample, SW - simple type and effective, then there exist \( \Lambda\in B^{\perp} \) and \( w\in H^2(X;\mathbb{Z}) \) such that \( \Lambda^2 = 4-(\chi+\sigma) \) and \( w-\Lambda\equiv w_2(X)\pmod{2} \).
- For any such \( \Lambda \) and \( w \), and for any \( h\in H^2(X;\mathbb{R}) \), we have:
\[
D_w^X(h)\equiv0\equiv\text{SW}_w^X(h)\pmod{h^{c(X)-2}},
\]
\[
D_w^X(h)\equiv2^{2 - c(X)}e^{\frac{1}{2}h\cdot h}\text{SW}_w^X(h)\pmod{h^{c(X)+2}}.
\]
### Applications
- **General type of minimal surfaces**: Theorem 1.1 can be used to calculate previously unknown Donaldson invariants, especially for the general type of minimal surfaces. These applications provide non - trivial results, especially in the case where \( c_1^2(X)\leq6 \).
### Technical details
- **Assumptions**: Some of the assumptions in the paper ensure the effectiveness of the cobordism method, such as \( b_1(X) = 0 \) and \( b_2^+(X)\geq1 \).
- **Calculation methods**: The authors derive the main results in detail by calculating the pairings of the Seiberg - Witten chains, using techniques such as virtual links and Künneth - type formulas.
In conclusion, this paper further verifies the correctness of Witten's conjecture under specific conditions by introducing new techniques and methods, and provides a basis for future research.