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.

Constructions of symplectic forms on 4-manifolds

Hodge theory and Lagrangian fibrations on holomorphic symplectic manifolds

On non-elliptic symplectic manifolds

Construction of symplectic solvmanifolds satisfying the hard-Lefschetz condition

On symplectic geometry of tangent bundles of Hermitian symmetric spaces

Stability of the symplectomorphism group of rational surfaces

Symplectic spinors and Hodge theory

On the symplectic structure over the moduli space of projective structures on a surface

Conjugation spaces and 4-manifolds

The symplectic form associated to a singular Poisson algebra

Almost Hermitian structures on moduli spaces of non-Abelian monopoles and applications to the topology of symplectic four-manifolds

Convergence of the hypersymplectic flow on $T^4$ with $T^3$-symmetry

Symplectic double groupoids and the generalized Kähler potential

Some Kähler Structures on Products of 2-Spheres

Symplectomorphisms of some Weinstein 4-manifolds

Holomorphic symplectic manifolds from semistable Higgs bundles

Algebraic criteria for stable diffeomorphism of spin 4-manifolds

Cohomology and Hodge Theory on Symplectic Manifolds: III

On the moduli spaces of parabolic symplectic orthogonal bundles on curves

Lantern substitution and new symplectic 4-manifolds with ${b_{2}}^{+} = 3$

Symplectomorphisms and spherical objects in the conifold smoothing