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.

Local descriptions of the heterotic SU(3) moduli space

Recent Developments in Heterotic Moduli

The physical moduli of heterotic G_2 string compactifications

Moduli spaces as ball quotients I, local theory

Heterotic Quantum Cohomology

The moduli of the universal geometry of heterotic moduli

A new vista on the heterotic moduli space from six and three dimensions

The decoupling of moduli about the standard embedding

Local Heterotic Torsional Models

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

Quantum aspects of heterotic $G_2$ systems

Moduli Space of Torsional Manifolds

A Heterotic Kähler Gravity and the Distance Conjecture

A Quantization of Moduli Spaces of 3-Dimensional Gravity

T-duality for non-critical heterotic strings

On the Cohomology Groups of Local Systems over Hilbert Modular Varieties Via Higgs Bundles

Modular forms and hierarchical Yukawa couplings in heterotic Calabi-Yau compactifications

Generalising G$_\text{2}$ geometry: involutivity, moment maps and moduli

Eight-dimensional non-geometric heterotic strings and enhanced gauge groups