---
title: Moduli Space of Einstein Metrics
url: https://www.emergentmind.com/topics/moduli-space-of-einstein-metrics
type: topic
---

# Moduli Space of Einstein Metrics

The moduli space of Einstein metrics on a compact manifold \(M\) is obtained by quotienting Einstein metrics by diffeomorphisms and, depending on the normalization, by homothetic rescaling or by fixing the volume. In the unit-volume normalization one writes
\[
\mathcal E(M)=\{\,g\in\mathcal M_1\mid \Ric_g=\lambda\,g\text{ for some }\lambda\}/\Diff(M),
\]
where \(\mathcal M\) is the Fréchet manifold of all Riemannian metrics on \(M\) and \(\mathcal M_1\subset\mathcal M\) is the codimension-\(1\) submanifold of unit-volume metrics. The local structure of \(\mathcal E(M)\) is governed by the Lichnerowicz Laplacian on transverse-traceless tensors, while its global behavior ranges from smooth orbifold moduli in special-holonomy settings to isolated rigid points, connected components cut out by curvature positivity in dimension four, and Gromov–Hausdorff/algebro-geometric compactifications in the Kähler–Einstein Fano case [2507.18463] [2007.01180] [1502.06532].

## 1. Definition, gauge fixing, and local analytic structure

For a compact smooth \(n\)-manifold \(M\), \(n\ge 3\), the Einstein equation is
\[
\Ric_g=\lambda g.
\]
An equivalent normalization, used frequently in dimension four, is
\[
\mathcal E(M)=\{\,h\in \operatorname{Met}(M)\mid \Ric_h=\lambda h\,\}/(\Diff(M)\times \mathbb R^+),
\]
with the quotient topology induced by \(C^\infty\)-convergence or by Gromov–Hausdorff distance on unit-volume metrics. The action of \(\Diff(M)\) accounts for gauge, while the passage to \(\mathcal M_1\) removes homothetic scalings [2507.18463] [1408.1078].

At an Einstein metric \(g\) with \(\Ric_g=\lambda g\), the relevant linear operator is the Lichnerowicz Laplacian on symmetric \(2\)-tensors,
\[
\Delta_Lh_{ij}=-\nabla^k\nabla_kh_{ij}-2\,R_{ikjl}\,h^{kl}+2\,\lambda\,h_{ij}.
\]
The transverse-traceless sector
\[
(TT)=\{\,h\mid \delta h=0,\;\operatorname{tr}h=0\}
\]
is the essential deformation space after gauge fixing. In that sector the linearization of the Einstein equation becomes
\[
\Delta_L h = 2\lambda\, h,
\]
so the Zariski and analytic tangent space to the pre-moduli inside a slice is
\[
T_{[g]}\mathcal E(M)\cong \ker(\Delta_L-2\lambda)\big|_{(TT)}.
\]
This identifies infinitesimal Einstein deformations with eigentensors of \(\Delta_L\) at eigenvalue \(2\lambda\) [2507.18463].

The nonlinear problem is encoded by the Einstein operator
\[
E(g)=\Ric_g-\tfrac{\Scal_g}{n}\,g.
\]
Its linearization at an Einstein metric is not onto, because its cokernel is isomorphic to its kernel. Accordingly, the strict implicit function theorem does not directly apply. Instead one obtains a finite-dimensional Kuranishi model: there is a real-analytic submanifold \(Z\subset S_g\subset \mathcal M_1\) with
\[
T_gZ=\ker E'_g,
\]
and the true pre-moduli is a real-analytic subset of \(Z\). If \(\ker(\Delta_L-2\lambda)=0\), then \(g\) is rigid; more generally, \(\mathcal E(M)\) is locally a real-analytic space and, when \(\Isom^0(g)\) acts trivially on it, locally an orbifold [2507.18463].

## 2. Infinitesimal deformations, second-order obstructions, and stability

The same operator that governs deformations also governs variational stability. The Einstein–Hilbert action
\[
S(g)=\int_M \Scal_g\,\mathrm{vol}_g
\]
has as its critical points on \(\mathcal M_1\) exactly the Einstein metrics. On transverse-traceless tensors one has
\[
\delta^2S_g(h,h)
=
-\tfrac12\!\int_M\langle\Delta_Lh-2\lambda h,\;h\rangle\,\mathrm{vol}_g.
\]
Thus the spectrum of \(\Delta_L\) on \((TT)\) determines linear stability. “Strictly stable” means
\[
\operatorname{spec}(\Delta_L|_{(TT)})\subset (2\lambda,\infty),
\]
“semistable” means no eigenvalue below \(2\lambda\), and instability is signalled by an eigenvector with \(\Delta_Lh<2\lambda h\). In particular, \(g\) is a local maximum of \(S|_{\mathcal M_1}\) if and only if it is strictly stable in this sense [2507.18463].

A persistent misconception is that a nonzero space of infinitesimal Einstein deformations automatically yields a smooth local family of Einstein metrics. The obstruction theory shows that this is false. For the bi-invariant Einstein metric on \(SU_{2n+1}\), one has
\[
\varepsilon(g)=\{h\in \Gamma(s^2T^*G): \operatorname{tr}_g h=0,\ \operatorname{div}_g h=0,\ (\Delta+2\,Rm)h=0\},
\]
with
\[
\dim \varepsilon(g)=2((2n+1)^2-1)\neq 0,
\]
but every \(h\in \varepsilon(g)\) is obstructed at second order, and there are no other Einstein metrics in a neighborhood of \(g\). Equivalently, the metric is isolated in its Einstein moduli space despite the presence of essential infinitesimal Einstein deformations [2102.07168].

The obstruction is packaged by a quadratic Kuranishi map
\[
\kappa:\mathfrak E^1\to \mathfrak E^2,\qquad \kappa(h)=P_{\mathfrak E^2}[E''(h,h)],
\]
where \(\mathfrak E^1=\ker\Delta_L\) on TT-tensors and \(\mathfrak E^2\) is the obstruction space. In the \(SU_{2n+1}\) case, \(\dim \mathfrak E^2=1\), \(\kappa(h)=C\Psi(h,h)\), and \(\Psi(h,h)=0\iff h=0\). The local moduli therefore has dimension zero even though the Zariski tangent is large. This is the same formal phenomenon as Koiso’s example on \(\mathbb{CP}^{2n}\times \mathbb{CP}^1\), but in a non-Kähler, non-product setting [2102.07168].

## 3. Rigidity, unobstructedness, and model examples

The round metric on \(S^4\) is the basic rigid example. Let \((S^4,g_0)\) be the unit-radius round sphere, so that \(\Ric(g_0)=3g_0\). Any one-parameter family of Einstein metrics \(g(t)\) on \(S^4\) with \(g(0)=g_0\) and \(\Ric(g(t))=\lambda(t)g(t)\) must be trivial up to diffeomorphism and homothety. Equivalently, in a smooth neighborhood of \(g_0\) the only Einstein metrics are of the form
\[
g(t)=c(t)\,\phi_t^*g_0,
\]
with \(\phi_t\in \Diff(S^4)\) and \(c(t)>0\). In the volume-unfixed normalization the local moduli is one-dimensional, generated by scaling; after quotienting by homothety, the round sphere is isolated [2309.05335].

The rigidity proof is spectral. On \(S^4\), in de Donder gauge, the linearized Einstein equation on TT-tensors reduces to
\[
\Bigl(\tfrac12\Delta_L-3\Bigr)h=0.
\]
Using the \(SO(5)\)-harmonic analysis of TT-eigentensors, the Lichnerowicz eigenvalues are
\[
\Delta_L h = [k(k+3)+4]h,\qquad k=2,3,4,\dots,
\]
so \(\tfrac12\Delta_L-3\) has strictly positive spectrum on TT-tensors. There is therefore no TT zero-mode; the only infinitesimal Einstein deformations are constant rescalings and pure gauge [2309.05335].

At the opposite extreme lie unobstructed moduli spaces. For Calabi–Yau manifolds, where \(\lambda=0\), the tangent space to moduli is
\[
\ker\Delta_L\big|_{(TT)}\cong H^{1,1}_\perp\oplus H^{m-1,1},
\]
of dimension
\[
h^{1,1}-1+2\,h^{m-1,1}.
\]
All these infinitesimal deformations are unobstructed by Bogomolov–Tian–Todorov, and the moduli is a smooth orbifold of the expected dimension. For \(G_2\)- and \(\Spin(7)\)-holonomy metrics, again \(\lambda=0\), the moduli has dimension \(b^3\) or \(b^4_-\), and all deformations are integrable, so the moduli is a smooth manifold. These examples show that the Einstein moduli space can be genuinely finite-dimensional and smooth when the holonomy enforces strong integrability properties [2507.18463].

Positive Einstein examples exhibit both rigidity and stability phenomena. The Fubini–Study metric on \((\mathbb{CP}^m,g_{FS})\) is Einstein with \(\lambda=2m+2\), and
\[
\operatorname{spec}(\Delta_L)\ge 2\lambda
\]
on \((TT)\); it is therefore strictly stable under the Einstein–Hilbert functional. This contrasts with the round sphere, which is locally unique up to scaling but is not a strict maximum of \(S\) on all of \(\mathcal M_1\) [2507.18463].

## 4. Four-dimensional components: Del Pezzo manifolds, Weyl positivity, and connectedness

In dimension four, the global topology of Einstein moduli spaces can be described under explicit curvature positivity hypotheses. Let \(M\) be the underlying smooth oriented \(4\)-manifold of a Del Pezzo surface. Since \(b^+(M)=1\), for any \(h\in \operatorname{Met}(M)\) there is a unique, up to nonzero scale, harmonic self-dual \(2\)-form \(\omega_h\). One defines the open “positive symplectic” region
\[
R=\{\,h\in \operatorname{Met}(M)\mid W_h^+(\omega_h,\omega_h)>0\ \text{everywhere on }M\,\}.
\]
The inequality forces \(\omega\) to be everywhere nonzero and hence symplectic, and it shows that the conformal class is of positive symplectic type. If \((M,h)\) is compact, oriented, Einstein, \(b^+(M)=1\), and \(W_h^+(\omega_h,\omega_h)>0\) on all of \(M\), then \(M\) is diffeomorphic to one of the ten Del Pezzo \(4\)-manifolds
\[
S^2\times S^2,\qquad \mathbb{CP}^2\# m(-\mathbb{CP}^2),\quad m=0,\dots,8,
\]
and, up to an overall constant rescaling, \(h\) is exactly one of the known positive-scalar-curvature Einstein metrics: a Kähler–Einstein metric when the complex structure admits one, the Page metric on \(\mathbb{CP}^2\#\mathbb{CP}^2\), or the Chen–LeBrun–Weber metric on \(\mathbb{CP}^2\#2\,\mathbb{CP}^2\). Conversely, each of these metrics satisfies \(W^+(\omega,\omega)>0\) everywhere [1408.1078].

The proof combines conformal geometry and almost-Kähler geometry. One rescales \(h=f^2g\) so that \((g,\omega)\) is almost-Kähler with \(|\omega|_g^2=2\). Since \(h\) is Einstein, \(\nabla\!\cdot W_h^+=0\), and this becomes a Weitzenböck-type equation for \(fW_g^+\). Paired with algebraic identities for an almost-Kähler metric and integrated by parts, the argument shows that either \(W_g^+\equiv 0\) or \(g\) is Kähler; the positivity hypothesis forces the Kähler alternative. The classification of conformally Kähler Einstein \(4\)-manifolds then identifies the metric [1408.1078].

The corresponding moduli component is explicit. If
\[
\mathcal E^+(M)=\{\, [h]\in \mathcal E(M)\mid W^+(\omega,\omega)>0\,\},
\]
then \(\mathcal E^+(M)\) is connected, and if \(b_2(M)\le 5\), equivalently \(m\le 4\) blow-ups of \(\mathbb{CP}^2\), then \(\mathcal E^+(M)\) is a single point. The connectedness comes from the connectedness of the moduli of Del Pezzo complex structures; for \(m\le 4\) this moduli is a single point because the blow-up points can be moved by \(PGL(3)\) into standard position [1408.1078].

A broader four-dimensional classification arises from the stronger condition \(\det W^+>0\). Up to oriented diffeomorphism there are exactly fifteen compact \(4\)-manifolds admitting an Einstein metric with \(\det W^+>0\) everywhere. Besides the ten simply connected Del Pezzo manifolds, there are five non-simply-connected quotients: if \(a\) is the antipodal involution and \(t\) the “mirror” involution on \(S^2\), define
\[
P=(S^2\times S^2)/(a\times t),\qquad Q=(S^2\times S^2)/(a\times a),
\]
and then \(Q\#k\,\mathbb{CP}^2\) for \(k=0,1,2,3\). On each of these fifteen diffeotypes, the Einstein metrics satisfying \(\det W^+>0\) fill out exactly one connected component of the full Einstein-metric moduli space. In the simply connected cases, the real dimensions are \(4,8,12,16\) for \(m=5,6,7,8\), while \(m=0,1,2,3,4\) and \(S^2\times S^2\) give a single point; among the non-simply-connected cases, \(Q\#2\,\mathbb{CP}^2\) has real moduli dimension \(2\) and \(Q\#3\,\mathbb{CP}^2\) has real moduli dimension \(6\) [2007.01180].

## 5. Kähler–Einstein Fano moduli, Gromov–Hausdorff compactification, and the CM line bundle

For smooth Del Pezzo surfaces of degree \(d\), the Kähler–Einstein moduli
\[
M_d=\{\,X\mid X\text{ smooth Del Pezzo of degree }d\text{ admits a KE metric}\}/\cong
\]
admits both a metric compactification and an algebro-geometric one. The Gromov–Hausdorff compactification \(\overline{M_d}^{GH}\) is compact Hausdorff, and in degrees \(d=1,2,3,4\) there is a homeomorphism
\[
\Phi:\overline{M_d}^{GH}\longrightarrow \overline{M_d}^{alg}
\]
to an explicit algebraic compactification parametrizing \(\mathbb Q\)-Gorenstein smoothable log Del Pezzo surfaces. In each degree the algebraic compactification is described by GIT on an anticanonical embedding or by a global K-moduli construction. The complex dimensions are
\[
\dim_\mathbb C M_d=
\begin{cases}
0,& d\ge 5,\\
2,& d=4,\\
4,& d=3,\\
6,& d=2,\\
8,& d=1.
\end{cases}
\]
This realizes, in dimension two, the identification of the Gromov–Hausdorff compactification with the natural algebraic compactification [1210.0858].

The broader smoothable Fano setting is formulated in terms of K-polystable \(\mathbb Q\)-Fano varieties and \(\mathbb Q\)-Gorenstein smoothings. Fixing the anticanonical Hilbert polynomial \(h(k)\), the differential-geometric KE moduli
\[
\mathcal E_h
=
\{\, (X,\omega)\mid \omega\text{ KE on }X,\ \chi(X,-kK_X)=h(k)\}/\!\sim
\]
is pre-compact and Hausdorff in the Gromov–Hausdorff topology, while the algebraic side is
\[
\mathcal K_h=\{\, [X]\mid X\text{ Q-smoothable, K-polystable Q-Fano with }\chi(-kK_X)=h(k)\}.
\]
The Q-smoothable condition ensures that every boundary point under Gromov–Hausdorff limits corresponds to a singular \(\mathbb Q\)-Fano admitting a weak Kähler–Einstein metric, so the Gromov–Hausdorff compactification of \(\mathcal E_h\) is identified with the algebraic compactification \(\mathcal K_h\) [1705.00374].

The CM line bundle supplies the polarization on moduli. Over the proper moduli space of smoothable Kähler–Einstein Fano varieties, Li–Wang–Xu prove that the CM line bundle descends to a \(\mathbb Q\)-line bundle and carries a canonically defined continuous Hermitian metric whose Chern curvature current equals the Weil–Petersson current on all of the moduli space. The CM line bundle is nef and big on the compactified moduli space, and its restriction to the smooth locus is ample. Consequently, for \(m\gg 1\), the linear system \(|m\,A_{CM}|\) defines a birational embedding of the moduli space into projective space; in particular, the moduli space of smooth Kähler–Einstein Fano manifolds is quasi-projective. The proof uses Deligne pairings, Bergman/Fubini–Study metrics, partial \(C^0\)-estimates, pluripotential theory, and descent from Luna-slice charts on the Hilbert scheme [1502.06532].

These results show that, in the Fano case, Einstein moduli can be studied simultaneously as a differential-geometric Gromov–Hausdorff space, as a real-analytic quotient near a fixed metric, and as an algebraic moduli space polarized by the CM line bundle. This suggests a higher-dimensional analogue of the Deligne–Mumford picture for curves, but with K-stability and weak Kähler–Einstein metrics replacing stable curves [1210.0858] [1705.00374].

## 6. Homogeneous, Sasaki–Einstein, and noncompact variants

Homogeneous Einstein moduli admit an algebraic compactification by a Newton polytope. Let \(M=G/H\) be a compact simply connected homogeneous space whose isotropy representation is multiplicity-free. The space \(\mathcal M_1\) of invariant unit-volume metrics is identified by a moment map with the interior of a compact convex polytope \(N(G,H)\),
\[
\mu_\theta:\mathcal M_1\xrightarrow{\sim}\operatorname{Int}(N(G,H)).
\]
The Einstein equation becomes a system of Laurent-polynomial equations whose Newton polytope is again \(N(G,H)\). Boundary points of \(N(G,H)\) correspond to contracted homogeneous geometries, and any Einstein solution on the boundary is Ricci-flat, hence locally Euclidean, by the Alekseevsky–Kimel’fel'd theorem. The subset \(T\subset \partial N\) of flat limits is a union of faces of the standard simplex, with a natural simplicial structure given by quasi-toral subalgebras. Using this compactification, one gets an algebraic proof that the set \(\mathcal E_1\subset \mathcal M_1\) of invariant Einstein metrics is bounded, hence compact [1207.3034].

Sasaki–Einstein moduli provide a related but not identical picture. For a quasi-smooth Fano hypersurface \(Z_f\subset \mathbb P(\mathbf w)\) of degree \(d\), Theorem 2.2.1 of Boyer–Galicki–Nakamaye gives
\[
\dim_\mathbb C\{\text{Kuranishi parameters of }Z_f\}
=
h^0(\mathbb P(\mathbf w),\mathcal O(d))
-\sum_{i=0}^n h^0(\mathbb P(\mathbf w),\mathcal O(w_i))
+\dim\Aut(Z_f),
\]
and when \(Z_f\) admits a Kähler–Einstein metric this yields a real \(2\)-times-that-many-parameters family of orbifold Kähler–Einstein metrics. Pulling back to the link \(L_f\) gives the local moduli of quasi-regular Sasaki–Einstein structures. For the rational homology \(7\)-sphere links arising from invertible polynomials in the Johnson–Kollár list, all cycle-type links have no nontrivial local Sasaki–Einstein deformations, whereas chain–cycle links have
\[
\dim_\mathbb C H^1(Z_f,\Theta)
=
\frac{m_2}{v_0v_1}-\frac1{v_0}-\frac1{v_1}-1,
\]
and therefore real dimension twice that [2503.18650].

Noncompact Einstein moduli can be genuinely one-dimensional after quotienting by homothety. For each \(m\ge 1\), the \(U(2)\)-invariant Einstein metrics on the interior of \(\mathcal O(-m)\to \mathbb{CP}^1\) obtained from Calabi’s ansatz and Derdziński duality depend only on the scale-invariant parameter
\[
t=a\,s_0\in \mathbb R,
\]
so the quotient by overall scale is a real \(1\)-dimensional moduli line
\[
M_m\cong \mathbb R.
\]
The distinguished values \(t=0\) and \(t=-4(m-2)\) divide the line into three regions corresponding to Poincaré–Einstein fillings, cone-angle Einstein metrics compactifying on the Hirzebruch surface \(\mathcal H_m\), and incomplete Einstein metrics on \(\mathcal O(-m)\). The moduli line is connected, and at \(t=0\) the family meets scalar-flat ALE or ALF limits such as Eguchi–Hanson for \(m=2\) and Taub–bolt for \(m=1\) [2306.17328].

Taken together, these variants show that “moduli space of Einstein metrics” does not refer to a single universal geometric behavior. On compact manifolds it is locally a real-analytic quotient and may be rigid, obstructed, orbifold-smooth, or globally compactified by algebro-geometric or polyhedral constructions; in Sasaki–Einstein and noncompact settings, closely related deformation theories yield explicit local dimensions or connected one-parameter families [2507.18463] [1207.3034]

Source: https://www.emergentmind.com/topics/moduli-space-of-einstein-metrics