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.

On the geography of symplectic 4-manifolds with divisible canonical class

Geography of symplectic 4- and 6-manifolds

Geography of symplectic 4-manifolds with Kodaira dimension one

The Geometry of Three-Forms on Symplectic Six-Manifolds

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

On the geography and botany of irreducible nonspin 4-manifolds with abelian fundamental group

Constructions of symplectic forms on 4-manifolds

On non-elliptic symplectic manifolds

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

On a symplectic generalization of a Hirzebruch problem

Symplectic structures preserved by geodesic symmetries

Special Hamiltonian $S^1$-actions on symplectic 4-manifolds

Invariants of real symplectic 4-manifolds out of reducible and cuspidal curves

On Euler number of symplectic hyperbolic manifold

Symplectomorphisms of some Weinstein 4-manifolds

On the large-scale geometry of domains in an exact symplectic 4-manifold

On symplectic geometry of tangent bundles of Hermitian symmetric spaces

On the classification of multiplicity-free Hamiltonian actions by regular proper symplectic groupoids

Dynamical Systems and Differential Forms. Low Dimensional Hamiltonian Systems

Four-manifolds and Symmetry Categories of 2d CFTs

A note on a nontrivial connected component of the space of symplectic structures