Paul M. N. Feehan,Thomas G. Leness
Abstract:This work is a sequel to our previous monograph <a class="link-https" data-arxiv-id="2010.15789" href="https://arxiv.org/abs/2010.15789">arXiv:2010.15789</a> (to appear in AMS Memoirs), where we initiated our program to prove that the Bogomolov-Miyaoka-Yau inequality holds for closed, symplectic four-manifolds and, more generally, for closed, smooth four-manifolds with a Seiberg-Witten basic class. This inequality was first proved for compact, complex surfaces of general type by Miyaoka (1977) and Yau (1978). Our approach uses a version of Morse theory for a natural Hamiltonian, the square of the $L^2$ norm of the coupled spinors, for the circle action on the moduli space of non-Abelian monopoles over a closed four-manifold. It has the aim of proving the existence of a projectively anti-self-dual connection on a rank-two Hermitian vector bundle over a blow-up of the four-manifold, where the first Pontrjagin number of the vector bundle is negative and greater than or equal to minus the Euler characteristic of the blown-up four-manifold. Our Morse theory argument relies on positivity of virtual Morse-Bott indices for critical points of Hamiltonians for circle actions on complex analytic spaces (or real analytic spaces that, locally, are sufficiently well-approximated by complex analytic model spaces), as developed by the first author in <a class="link-https" data-arxiv-id="2206.14710" href="https://arxiv.org/abs/2206.14710">arXiv:2206.14710</a>. In our application to the moduli space of non-Abelian monopoles, the critical points are fixed points of the circle action and thus represented by Seiberg-Witten monopoles.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to prove the **Bogomolov–Miyaoka–Yau inequality on symplectic 4 - manifolds**. Specifically, the authors aim to prove that for a closed smooth 4 - manifold with Seiberg - Witten basic classes, the Bogomolov–Miyaoka–Yau inequality holds by studying the almost Hermitian structures on the non - Abelian monopole moduli space and using tools such as Morse theory and Seiberg - Witten invariants:
\[ c_1(X)^2 \leq 3c_2(X) \]
where \( c_1(X) \) and \( c_2(X) \) are the first and second Chern numbers of the 4 - manifold \( X \), respectively. This inequality was originally proved by Miyaoka (in 1977) and Yau (in 1978) on compact complex surfaces, and the goal of this paper is to generalize it to a broader class of 4 - manifolds, especially symplectic 4 - manifolds.
### Main methods and steps
1. **Application of Morse theory**:
- The authors use Morse theory to study a natural Hamiltonian function, that is, the square of the \( L^2 \) norm of the coupled spinors, for the circle action on the non - Abelian monopole moduli space.
- By analyzing the properties of the critical points, especially these critical points as representations of Seiberg - Witten monopoles, the authors prove the existence of a projectively anti - self - dual connection.
2. **Virtual Morse - Bott index**:
- A new Morse - Bott - type index, called the virtual Morse - Bott index, is introduced, which is applicable to the critical points of the Hamiltonian function of the circle action on complex analytic spaces.
- The positivity of this index ensures that the critical points cannot be the local minima of the Hamiltonian function, thus deducing that the gradient flow will eventually converge to the desired projectively anti - self - dual connection.
3. **Perturbation of non - Abelian monopole equations**:
- A set of perturbed non - Abelian monopole equations are defined, which are studied on almost Hermitian 4 - manifolds to support the proof of the above inequality.
4. **Combination of symplectic geometry and Kähler geometry**:
- When the 4 - manifold is complex Kähler, the non - Abelian monopole moduli space inherits the structure of a complex Kähler manifold, and there are loop - equivariant virtual neighborhoods near the singular points.
- Using Frankel's theorem, it is proved that the points in the moduli space with non - zero coupled spinors are critical points of the Hamiltonian function and also fixed points of the loop action, thus further verifying the existence of Seiberg - Witten monopoles.
### Significance and applications
- **Topology**: This result helps to understand the topological properties of 4 - manifolds, especially those related to Seiberg - Witten invariants.
- **Geometry**: By studying almost Hermitian structures, this paper provides a new perspective on the connection between symplectic geometry and complex geometry.
- **Mathematical physics**: Seiberg - Witten theory has wide applications in mathematical physics, and the results of this paper may have an impact on fields such as string theory and quantum field theory.
In conclusion, this paper provides a new method and idea for proving the Bogomolov–Miyaoka–Yau inequality on symplectic 4 - manifolds by in - depth study of the almost Hermitian structures on the non - Abelian monopole moduli space.