Abstract:We study the deformation theory of the Einstein-Yang-Mills system on a principal bundle with a compact structure group over a compact manifold. We first construct, as an application of the general slice theorem of Diez and Rudolph, a smooth slice in the tame Fréchet category for the coupled action of bundle automorphisms on metrics and connections. Using this result, together with a careful analysis of the linearization of the Einstein-Yang-Mills system, we realize the moduli space of Einstein-Yang-Mills pairs modulo automorphism as an analytic set in a finite-dimensional tame Fréchet manifold, extending classical results of Koiso for Einstein metrics and Yang-Mills connections to the Einstein-Yang-Mills system. Furthermore, we introduce the notion of \emph{essential deformation} of an Einstein-Yang-Mills pair, which we characterize in full generality and explore in more detail in the four-dimensional case, proving a decoupling result for trace deformations when the underlying Einstein-Yang-Mills pair is a Ricci-flat metric coupled to an anti-self-dual instanton. In particular, we find a novel obstruction that does not occur in the separate Einstein or Yang-Mills moduli problems. Finally, we prove that every essential deformation of the four-dimensional Einstein-Yang-Mills system based on a Calabi-Yau metric coupled to an instanton is of restricted type. Notable examples of Einstein-Yang-Mills pairs include $\mathrm{G}_2$ or $\mathrm{Spin}(7)$ holonomy metrics coupled to $\mathrm{G}_2$ or $\mathrm{Spin}(7)$ instantons, respectively, or zero-slope polystable holomorphic vector bundles on Calabi-Yau manifolds.

ASD moduli spaces over four-manifolds with tree-like ends

GEOMETRY MODULI SPACES

Recent Results on the Moduli Spaces of Riemann Surfaces

Applications of Affine Structures to Calabi–Yau Moduli Spaces

Moduli spaces as ball quotients I, local theory

Moduli spaces of toric manifolds

Moduli spaces of critical Riemannian metrics in dimension four

Moduli Space of Torsional Manifolds

Higher dimensional moduli spaces on Kuznetsov components of Fano threefolds

1 . 4 Topologies and metrics

K-moduli of Fano threefolds and genus four curves

Local mean dimension of ASD moduli spaces over the cylinder

On the Kodaira dimension of moduli spaces of Abelian differentials

Moduli spaces on Kuznetsov components are Irreducible Symplectic Varieties

Ricci Flat Metrics, Flat Connections and $G_{2}$-Manifolds

On the Donaldson-Scaduto conjecture

Moduli of elliptic surfaces of Kodaira dimension one fibered over rational curves

The local moduli space of the Einstein-Yang-Mills system

O'Grady tenfolds as moduli spaces of sheaves

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

Moduli of K3 families over $\mathbb{P}^1$, cycle spaces of IHS period domains, and deformations of complex-hyperkähler metrics