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.

The pre-symplectic geometry of opers and the holonomy map

Meromorphic Projective Structures, Opers and Monodromy

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

Bogoliubov theory of the Hawking effect in Bose-Einstein condensates

Moduli spaces of vector bundles on a curve and opers

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

A Moduli Space of Marked Hyperbolic Structures for Big Surfaces

The analytic moduli space of holomorphic submersions

On operadic open-closed maps in characteristic $p$

The Holonomy Inverse Problem

Coarsely Holomorphic Curves and Symplectic Topology

Holomorphic projective connections on surfaces and osculating spaces

Holomorphic symplectic manifolds from semistable Higgs bundles

Locally homogeneous structures on Hopf surfaces

Real moduli space of stable rational curves revised

Holomorphic Curves in Moduli Spaces Are Quasi-Isometrically Immersed

Holomorphic geometric structures on Oeljeklaus-Toma manifolds

The topology of spaces of holomorphic maps to projective space

Holomorphic geometric structures on Oeljeklaus–Toma manifolds