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 Euler number of symplectic hyperbolic manifold

On non-elliptic symplectic manifolds

Factorization and Symplectic Uniton Numbers for Harmonic Maps into Symplectic Groups

ON HARMONIC MAPS INTO SYMPLECTIC GROUPS Sp（N）

The group of Symplectomorphisms of $\mathbb{R}^{2n}$ and the Euler equations

On the symplectic geometry of $A_k$ singularities

On compact hyperbolic manifolds of Euler characteristic two

Perverse sheaves on varieties with large fundamental groups

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

Holomorphic symplectic manifolds from semistable Higgs bundles

On a symplectic generalization of a Hirzebruch problem

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

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

On symplectic birational self-maps of projective hyperkähler manifolds of K3$^{[n]}$-type

The Geometry of Three-Forms on Symplectic Six-Manifolds

Local Euler characteristics of $A_n$-singularities and their application to hyperbolicity

On geography of symplectic fillings of contact branched covers

Symplectic Critical Surfaces in Kähler Surfaces

On the Euler class one conjecture for fillable contact structures

Hyperbolic Manifolds, Harmonic Forms, and Seiberg-Witten Invariants

On Euler Characteristic and Fundamental Groups of Compact Manifolds