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.

The decoupling of moduli about the standard embedding

The moduli of the universal geometry of heterotic moduli

Local descriptions of the heterotic SU(3) moduli space

Recent Developments in Heterotic Moduli

The physical moduli of heterotic G_2 string compactifications

Heterotic Quantum Cohomology

The Elliptic curves in gauge theory, string theory, and cohomology

Loop-Corrected Compactifications of the Heterotic String with Line Bundles

Chen--Ruan cohomology and orbifold Euler characteristic of moduli spaces of parabolic bundles

All-orders moduli for type II flux backgrounds

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

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

Quantum aspects of heterotic $G_2$ systems

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

The moduli space of multi-scale differentials

The moduli space of vacua of 𝒩=2 class 𝒮 theories

Cohomology of Moduli Space of Multiscale Differentials in Genus 0

On some topological equivalences for moduli spaces of $G$-bundles

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

Exact moduli spaces for = 2, D = 5 freely acting orbifolds

Moduli stacks of Higgs bundles on stable curves