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.

Deformation Quantization of Lagrangian Fiber Bundles

Deformation quantization and perverse sheaves

Sections of Lagrangian fibrations on holomorphic symplectic manifolds

Symmetry in Deformation quantization and Geometric quantization

Deformation Quantization of Endomorphism Bundles

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

A Formal Equivalence of Deformation Quantization and Geometric Quantization (of Higher Groupoids) and Non-Perturbative Sigma Models

On deformation quantization of the space of connections on a two manifold and Chern Simons Gauge Theory

Deformation quantization and K\"ahler geometry with moment map

Deformation Quantization of Certain Non-linear Poisson Structures

Deformation of product of complex Fano manifolds

Q A ] 2 7 Ju n 20 07 Rankin-Cohen brackets and formal quantization

Deformation Quantization of Kahler Manifolds

Quantization of symplectic fibrations and canonical metrics

Deformations of Lagrangian $NQ$-submanifolds

Rankin-Cohen Brackets and Formal Quantization

A Canonical Quantization of Poisson Manifolds: a 2-Groupoid Scheme

Adiabatic Limit, Theta Function, and Geometric Quantization

Deformation Quantization via Categorical Factorization Homology

On the deformation quantization description of matrix compactifications

Kähler metrics and toric Lagrangian fibrations