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.

$\mathbb Z_2$-Harmonic Spinors and 1-forms on Connected sums and Torus sums of 3-manifolds

Gluing $\mathbb Z_2$-Harmonic Spinors and Seiberg-Witten Monopoles on 3-Manifolds

Spin(7)-Manifolds as Generalized Connected Sums and 3d N=1 Theories

Z/2 harmonic 1-forms, R-trees, and the Morgan-Shalen compactification

Harmonic Forms and Spinors on the Taub-bolt Space

Cubic Forms, Anomaly Cancellation and Modularity

Construction of $\mathbb{Z}_2$-harmonic 1-forms on closed 3-manifolds with long cylindrical necks

Intersection Forms of Spin 4-Manifolds and the Pin(2)-Equivariant Mahowald Invariant

Moduli Spaces of Higher Spin Curves and Integrable Hierarchies

$L^2$-harmonic forms and spinors on stable minimal hypersurfaces

Discrete Torsion in Singular G_2-Manifolds and Real LG

Topology of the Dirac equation on spectrally large three-manifolds

The Geometry of Three-Forms on Symplectic Six-Manifolds

Fully extended $\boldsymbol{r}$-spin TQFTs

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

Multi-toric geometries with larger compact symmetry

The Dehn twist on a connected sum of two homology tori

Parallel spinors for $\mathrm{G}_2^*$ and isotropic structures

Seiberg-Witten Floer K-theory and cyclic group actions on spin four-manifolds with boundary

Complete non-compact $\operatorname{Spin}(7)$-manifolds from $T^2$-bundles over AC Calabi Yau manifolds

The mod 2 Seiberg-Witten invariants of spin structures and spin families