---
title: Einstein Metrics
url: https://www.emergentmind.com/topics/einstein-metrics
type: topic
---

# Einstein Metrics

Einstein metrics are Riemannian or pseudo-Riemannian metrics whose Ricci tensor is proportional to the metric,
\[
\operatorname{Ric}(g)=\lambda g,
\]
where \(\lambda\) is the Einstein constant; in dimension \(n\geq 3\), \(\lambda\) is constant under the usual hypotheses. In the presence of a cosmological constant, the vacuum Einstein equation is equivalently \(R_{\mu\nu}-\lambda g_{\mu\nu}=0\). The theory encompasses constant-curvature spaces, Kähler–Einstein and conformally Kähler metrics, homogeneous and cohomogeneity-one metrics, gravitational instantons, pseudo-Riemannian and Finsler analogues, and Einstein structures formulated through projective, conformal, supergeometric, asymptotic, variational, and computational frameworks.

## 1. Definition, curvature, and fundamental geometric structures

For an \(n\)-dimensional metric \(g\), the Einstein equation is
\[
\operatorname{Ric}_{ab}=\lambda g_{ab}.
\]
The scalar curvature is therefore
\[
\operatorname{Scal}=n\lambda.
\]
In dimension \(n\geq 3\), the contracted Bianchi identity implies that \(\lambda\) is constant. In dimension two, the Einstein condition is interpreted as constant Gaussian curvature in the projective formulation of the equation [1207.0128].

Einstein metrics include Ricci-flat metrics (\(\lambda=0\)), positive-Einstein metrics (\(\lambda>0\)), and negative-Einstein metrics (\(\lambda<0\)). Constant sectional-curvature metrics form the maximally symmetric subclass. The simply connected models include the round sphere, Euclidean space, and hyperbolic space, with normalized Einstein constants determined by the chosen scale.

In four dimensions, the curvature operator decomposes according to
\[
\Lambda^2=\Lambda^+\oplus\Lambda^-,
\]
and has block form
\[
\mathcal R=
\begin{pmatrix}
W^++\dfrac{s}{12}I & \mathring{\operatorname{Ric}}\\
\mathring{\operatorname{Ric}} & W^-+\dfrac{s}{12}I
\end{pmatrix}.
\]
For an Einstein metric, \(\mathring{\operatorname{Ric}}=0\), so the curvature operator is block diagonal. The tensors \(W^+\) and \(W^-\) are the self-dual and anti-self-dual Weyl curvature operators; their sum is the Weyl tensor, which is conformally invariant [2007.01180].

The Einstein condition is second-order in the metric. Its nonlinear character produces substantial rigidity, while its invariance under diffeomorphisms requires gauge fixing in deformation and moduli problems. The transverse-traceless space
\[
\mathcal{TT}(M,g)=
\{h:\delta h=0,\ \operatorname{tr}(h)=0\}
\]
is the standard space on which the linearized Einstein operator is studied. For an Einstein metric with constant \(E\), the Einstein operator is
\[
\Delta_E=\nabla^\ast\nabla-2\mathring R,
\]
and is related to the Lichnerowicz Laplacian by
\[
\Delta_E=\Delta_L-2E
\]
[2603.09028].

## 2. Explicit families and standard limits

A broad class of anisotropic Einstein metrics is obtained by conformally deforming static de Sitter, Minkowski, and anti-de Sitter metrics. For \(n>2\), let
\[
\omega(r,\theta)=\frac{1}{1-\alpha r\cos\theta}.
\]
Multiplication by \(\omega^2\) gives three axially symmetric metrics:
\[
ds_1^2=\omega^2 ds_{\mathrm{dS}}^2,\qquad
ds_2^2=\omega^2 ds_{\mathrm M}^2,\qquad
ds_3^2=\omega^2 ds_{\mathrm{AdS}}^2.
\]
The angular dependence is only through the polar angle, so the metrics preserve axial symmetry while losing isotropy about the origin. At \(\alpha=0\), they reduce to the ordinary de Sitter, Minkowski, and anti-de Sitter metrics. The Minkowski metric occurs as the limit \(\ell\to\infty\), while the anti-de Sitter expression is obtained formally from the de Sitter expression by \(\ell\mapsto i\ell\) [1106.5027].

The corresponding cosmological constants are
\[
\Lambda_1=\frac12(n-1)(n-2)\frac{1}{\ell^2-\alpha^2},
\]
\[
\Lambda_2=-\frac12(n-1)(n-2)\alpha^2,
\]
and
\[
\Lambda_3=-\frac12(n-1)(n-2)\frac{1}{\ell^2+\alpha^2}.
\]
For the first family, the sign of \(\Lambda\) changes according to \(\alpha\ell\): it is positive for \(\alpha\ell<1\), zero for \(\alpha\ell=1\), and negative for \(\alpha\ell>1\).

The conformal factor diverges on
\[
1-\alpha r\cos\theta=0.
\]
This locus is interpreted as conformal infinity or as the boundary of the coordinate patch rather than automatically as a curvature singularity. Although conformal multiplication preserves null directions, it changes the global region covered by the coordinates. At the origin, the proper acceleration of a static observer has magnitude
\[
|a|=\alpha.
\]
The same acceleration produces the angular deformation of the horizon. When \(r=\ell\) is accessible, its induced metric is
\[
ds_H^2=\omega(\ell,\theta)^2\ell^2d\Omega_{n-2}^2.
\]
In four dimensions this surface is described as an ellipsoid with rotational symmetry about the preferred axis, although its intrinsic geometry is specified by the conformal metric rather than by standard Euclidean ellipsoid coordinates [1106.5027].

The horizon interpretation depends on \(\alpha\ell\). For \(\alpha\ell<1\), the surface \(r=\ell\) is complete in the static coordinate description. At \(\alpha\ell=1\), it meets conformal infinity in some direction. For \(\alpha\ell>1\), conformal infinity is encountered before \(r=\ell\) in part of the angular domain, so the static coordinates do not determine the global horizon structure.

## 3. Classification through symmetry and homogeneous geometry

A major source of Einstein metrics is the cohomogeneity-one ansatz. For metrics on \(I\times S^3\) adapted to the Hopf fibration
\[
S^1\longrightarrow S^3\longrightarrow S^2,
\]
one considers
\[
g=dt^2+f^2(t)(\omega^1)^2+
h^2(t)\bigl((\omega^2)^2+(\omega^3)^2\bigr),
\]
where \(f\) is the radius of the Hopf fiber and \(h\) is the radius of the horizontal directions. The Einstein equations reduce to an ODE system. An integration constant \(a\) leads, after rescaling, to the three cases
\[
a=0,\qquad a=1,\qquad a=-1,
\]
with
\[
h(r)=e^r,\qquad h(r)=\operatorname{sech}r,\qquad h(r)=\operatorname{csch}r,
\]
respectively [1111.2153].

Smoothness and completeness are governed by the behavior of \(f\) and \(h\) at interval endpoints. Full \(S^3\)-collapse requires
\[
f(0)=h(0)=0,\qquad f'(0)=1,\qquad h'(0)=1\ \text{or}\ 0.
\]
Collapse of the Hopf fiber requires
\[
f(\ell)=0,\qquad f'(\ell)=-1.
\]
Integer slopes of absolute value greater than one produce cyclic orbifold singularities modeled on \(\mathbb R^4/\mathbb Z_n\). A zero of \(h\) without the corresponding simultaneous orbit collapse does not yield a smooth four-manifold.

The classification recovers numerous standard and nonstandard geometries:

| Setting | Geometry | Main properties |
|---|---|---|
| \(a=0,\lambda=0,C=0\) | Euclidean \(\mathbb R^4\) | Flat and Ricci-flat |
| \(a=1,\lambda=3,C=0\) | Round \(S^4\) | Constant sectional curvature \(+1\) |
| \(a=0,\lambda=6,C=0\) | Fubini–Study metric | Einstein, homogeneous, Kähler on \(\mathbb{CP}^2\) |
| \(a=0,\lambda=-6,C=0\) | Complex hyperbolic metric | Complete, homogeneous, Kähler |
| \(a=-1,\lambda=-3,C=0\) | Hyperbolic \(4\)-space | Constant sectional curvature \(-1\) |
| \(a=0,\lambda=0,C<0\) | Eguchi–Hanson metric | Complete, Ricci-flat, hyperkähler, ALE |
| \(a=1,C=0\), special parameter | Page metric | Compact, positive Einstein, inhomogeneous |

The Eguchi–Hanson family is diffeomorphic to \(TS^2\), becomes smooth only after the standard \(\mathbb Z_2\) identification, and has special holonomy \(\operatorname{Sp}(1)=SU(2)\). The Page metric occurs on the nontrivial \(S^2\)-bundle over \(S^2\), identified in the supplied classification with \(\mathbb{CP}^2\#\mathbb{CP}^2\) in its orientation convention.

Homogeneous Einstein metrics also arise from invariant metrics on compact Lie groups and homogeneous spaces. For generalized Wallach decompositions, one scales irreducible summands independently,
\[
\langle\ ,\ \rangle
=x_0B|_{\mathfrak k_0}+\cdots+x_{p+q}B|_{\mathfrak k_{p+q}},
\]
computes the diagonal Ricci components, and solves the polynomial equations
\[
r_0=r_1=\cdots=r_{p+q}.
\]
Using Gröbner bases, several non-naturally reductive Einstein metrics were obtained on \(F_4,E_6,E_7\), and \(E_8\). The reported numbers of such metrics in the listed cases are \(3\) for \(F_4\)-II, \(4\) for \(E_6\)-III, \(7\) for \(E_7\)-I, \(6\) for \(E_7\)-II, \(7\) for \(E_6\)-II, \(11\) for \(E_8\)-I, and \(2\) for \(E_8\)-II [1612.09373].

For spaces \(H\times H/\Delta K\), diagonal invariant metrics are controlled by the Casimir operator, proportionality of Killing forms, and a discriminant condition. In the semisimple case, the two diagonal Einstein metrics are determined by
\[
x_\pm=
\frac{2\kappa+1\pm
\sqrt{(2\kappa+1)^2-8a(1-a+\kappa)}}{4a}.
\]
No normal metric on \(H\times H/\Delta K\) is Einstein, although the standard metric is the unique global minimum of scalar curvature on the unit-volume normal-metric space. The diagonal Einstein metrics are all unstable in the invariant variational problem [2402.13407].

For aligned homogeneous spaces \(G_1\times G_2/K\) with three pairwise inequivalent isotropy summands, the Einstein equations reduce to a quartic polynomial. In the principal class considered, consisting of \(12\) infinite families and \(70\) sporadic examples, existence is equivalent to the quartic having a real root. The classification reports \(9\) existence families and \(3\) nonexistence families, together with \(52\) existence and \(18\) nonexistence sporadic examples. Every existence case has exactly two invariant Einstein metrics up to scaling, while the abelian-isotropy case has exactly one [2408.00456].

## 4. Projective, conformal, and special-geometric formulations

Projective geometry reformulates the Einstein problem using unparametrized geodesics. Two torsion-free connections are projectively equivalent if they have the same unparametrized geodesics, equivalently if their difference is determined by a one-form \(\Upsilon_a\):
\[
\widehat\nabla_a v^b
=
\nabla_a v^b+\Upsilon_a v^b+\delta_a{}^b\Upsilon_cv^c.
\]
A projective structure is an equivalence class of such connections.

The projectively invariant metrizability equation is
\[
\nabla_a\sigma^{bc}
=
\delta_a{}^b\mu^c+\delta_a{}^c\mu^b.
\]
A non-degenerate solution \(\sigma^{ab}\) determines a pseudo-Riemannian metric. The equation is the first Bernstein–Gelfand–Gelfand operator associated with the symmetric square of the standard projective representation. Its BGG lift \(L(\sigma)\) is called normal when it is parallel for the projective tractor connection:
\[
\nabla L(\sigma)=0.
\]
The principal theorem is
\[
\boxed{
\text{non-degenerate normal solutions}
\Longleftrightarrow
\text{Einstein metrics in the projective class}.
}
\]
For \(n\geq3\), normality is equivalent to the vanishing of the trace-free Ricci tensor and constancy of scalar curvature [1207.0128].

A related tractor formulation states that parallel sub-metrics on the projective cotractor bundle correspond exactly to Einstein metrics whose Levi–Civita connections lie in the projective class. Under weak genericity assumptions, explicit projective invariants \(G_{ij}\) and \(E_{ijk}\) give necessary-and-sufficient criteria for projective equivalence to an Einstein metric with nonzero Einstein constant. Odd Chern-type forms provide projectively invariant obstructions to metrizability. If an odd form \(\mathcal P_k\) is nonzero, no Levi–Civita connection lies in the projective class [1212.6286].

Projective geometry also controls the degree of mobility: the dimension of the space of metrics sharing the same unparametrized geodesics. For simply connected Riemannian and Lorentzian Einstein metrics with a non-affinely projectively equivalent metric, the possible degrees are constrained to
\[
D(g)=\frac{k(k+1)}2+l.
\]
Constant-sectional-curvature metrics have maximal degree
\[
D(g)=\frac{(n+1)(n+2)}2.
\]
In dimensions three and four, any Einstein metric admitting a non-affinely projectively equivalent metric has constant sectional curvature. Lorentzian geometry admits additional mobility values arising from Ricci-flat cones with parallel null directions; in dimension five, a Lorentzian Einstein metric with degree of mobility \(4\) exists, whereas no nonconstant-curvature Riemannian example with that degree exists [1503.00968].

Special geometric structures impose further classifications. For compact oriented Einstein four-manifolds with \(b^+=1\), the condition
\[
W^+(\omega,\omega)>0
\]
for the nontrivial self-dual harmonic two-form forces the metric to be conformally Kähler. The resulting manifolds are Del Pezzo surfaces, and the relevant Einstein metrics are Kähler–Einstein metrics, the Page metric, and the Chen–LeBrun–Weber metric [1408.1078].

The stronger pointwise condition
\[
\det(W^+)>0
\]
leads to exactly fifteen oriented diffeomorphism types supporting such metrics. Ten are simply connected:
\[
S^2\times S^2,\qquad
\mathbb{CP}^2\#m\,\overline{\mathbb{CP}}^{\,2},
\quad 0\leq m\leq8.
\]
Five are non-simply connected quotients involving the manifolds \(P\) and \(Q\), including
\[
P,\quad Q,\quad
Q\#\overline{\mathbb{CP}}^{\,2},\quad
Q\#2\overline{\mathbb{CP}}^{\,2},\quad
Q\#3\overline{\mathbb{CP}}^{\,2}.
\]
On each such manifold, the metrics satisfying \(\det(W^+)>0\) form exactly one connected component of the Einstein moduli space [2007.01180].

## 5. Stability, deformation, and global geometry

The normalized total scalar curvature functional has second variation at an Einstein metric governed by
\[
\nabla^\ast\nabla-2\mathring R
=
-(\Delta_L+2E\,I)
\]
under the stated convention. Linear stability means nonnegativity of the corresponding quadratic form on transverse-traceless tensors; linear instability means that the form is negative on some nonzero TT tensor. Nullity is the dimension of the kernel, and coindex is the dimension of a maximal negative subspace [1808.05679].

For Einstein metrics arising from Riemannian submersions with totally geodesic fibers, the vertical-horizontal tensor
\[
h=\frac1r g-\frac{n+r}{nr}\pi^\ast\check g
\]
is transverse-traceless. Its quadratic form is
\[
\left\langle
(\nabla^\ast\nabla-2\mathring R)
\left(g-\frac{n+r}{n}\pi^\ast\check g\right),
g-\frac{n+r}{n}\pi^\ast\check g
\right\rangle_{L^2}
=
\operatorname{Vol}(M,g)
\frac{2(n+r)}{n^2}
(r\check s-2n\hat s).
\]
Therefore
\[
r\check s<2n\hat s
\]
implies linear instability. Product decompositions of the base generate additional TT tensors and yield coindex estimates. The Wang–Ziller torus-bundle metrics have coindex at least \(m-r\), while the quaternionic-Kähler bundle metrics have coindex at least \(m-1\). Stable Einstein circle bundles with harmonic-curvature base must have Fano Kähler–Einstein bases with \(b_2=1\) [1808.05679].

For compact negative Kähler–Einstein metrics, infinitesimal Einstein deformations are entirely \(J\)-anti-invariant:
\[
\mathscr E(M,g)
=
\{h\in\Gamma(\operatorname{Sym}^{2,-}TM):
\bar\partial h=0,\ \delta h=0\}.
\]
After volume-preserving gauge fixing, the second Taylor coefficient of an Einstein deformation satisfies
\[
h_2^+=h_1^2.
\]
The anti-invariant component is governed by
\[
\Delta_E\mathbf h_2
=
-2\delta[h_1,h_1]^c,
\]
where \([h_1,h_1]^c\) is the Kodaira–Spencer bracket. Consequently, every infinitesimal Einstein deformation of a compact negative Kähler–Einstein metric is unobstructed to second order, although the corresponding complex deformation can remain obstructed [2603.09028].

A different deformation framework applies to compact cohomogeneity-one Einstein metrics. For
\[
M/G\cong[0,T],\qquad g=dt^2+g_t,
\]
the mean curvature \(H=\operatorname{Tr}(L_t)\) satisfies
\[
H'=-\lambda-\operatorname{Tr}(L_t^2)
\]
when \(\lambda>0\), so \(H\) is strictly decreasing. The level set \(H=0\) supplies an intrinsic matching hypersurface. Smooth Einstein germs from the two singular orbits propagate to this hypersurface, and a global Einstein metric is obtained when their matching data coincide. This converts the local two-ended boundary-value problem into a finite-dimensional matching map \(\mathcal M\). Transversality gives
\[
\dim\mathfrak M
=
\dim G_-+\dim G_+-\dim\Sigma
\]
[2608.04952].

The same framework associates equivariant harmonic-map probes to nearby Einstein metrics. If the normalized Jacobi operator \(J_g\) is invertible, the harmonic map \(f_g\) depends smoothly and uniquely on \(g\), with response equation
\[
D\Pi_g=-J_g^{-1}K_g.
\]
The auxiliary harmonic theory introduces no new Einstein degrees of freedom. Its response operators can detect infinitesimal Einstein deformations only if the universal response differential is injective. Under that condition, the core analytical package locally embeds the Einstein stratum and finitely many scalar observations can provide local coordinates. The result is a local detection and reconstruction framework rather than a global existence or classification theorem [2608.04952].

## 6. Broader generalizations, asymptotics, and computational approaches

Einstein metrics occur beyond ordinary Riemannian and pseudo-Riemannian geometry. For a square Finsler metric
\[
F=\frac{(\alpha+\beta)^2}{\alpha},
\]
the Finsler Einstein condition
\[
\operatorname{Ric}_F=(n-1)c(x)F^2
\]
forces the metric to be Finsler Ricci-flat:
\[
\operatorname{Ric}_F=0.
\]
The defining one-form \(\beta\) is automatically closed. After suitable transformations, the classification is equivalent either to a negative-Einstein Riemannian metric carrying a conformal one-form or to a Ricci-flat Riemannian metric \(\overline\alpha\) carrying a homothetic one-form \(\overline\beta\):
\[
\overline{\operatorname{Ric}}=0,\qquad
\overline b_{i|j}=c\,\overline a_{ij}.
\]
Thus Einstein square metrics reduce to Riemannian Einstein and Ricci-flat classification problems [1209.3876].

Homogeneous superspaces exhibit substantially different behavior. Their graded Einstein equation is
\[
\operatorname{Ric}(g)=c\,g,
\]
with Ricci contraction defined using supertraces and superdimensions. For invariant diagonal metrics on multiplicity-free isotropy decompositions,
\[
g=\sum_i x_iQ|_{\mathfrak m_i},
\]
the parameters \(x_i\) need not be positive, and structure constants can be negative or zero. Homogeneous superspaces constructed from \(\operatorname{SU}(m|n)\) and \(\operatorname{SOSp}(2|2n)\) display no-solution cases, discrete families of Einstein metrics, and continuous families of Ricci-flat metrics. This violates the finiteness behavior expected in classical homogeneous geometry [2411.13864].

For four-dimensional vacuum Einstein metrics with nonzero cosmological constant, smooth conformal compactification at future infinity is described by Bondi–Sachs expansions. If
\[
\widetilde g=\Omega^{-2}g,\qquad
\Omega=0\ \text{on }\mathscr I^+,
\]
then the conformal boundary is spacelike for \(\Lambda>0\) and timelike for \(\Lambda<0\). The free asymptotic data include the boundary metric \(\widehat g_{AB}\), a traceless tensor \(N_{AB}\), gauge data, and initial data for the Bondi mass and angular-momentum aspects \(M\) and \(L_A\). All other coefficients are determined recursively. Unlike the \(\Lambda=0\) case, the free data are located on the whole of scri, and the mass and angular-momentum aspects satisfy coupled differential constraints [2110.07688].

Numerical methods provide a further approach. The AInstein method represents a global metric by neural subnetworks associated with coordinate patches. Each subnetwork predicts a local vielbein-like factor or metric, while the loss contains the Einstein residual
\[
R_{ij}-\lambda g_{ij}=0
\]
and an overlap term enforcing the tensorial transition law
\[
g'=J^TgJ.
\]
A finiteness loss prevents collapse toward a zero metric. The method recovered approximate positive-Einstein metrics on \(S^2,S^3,S^4\), and \(S^5\). It produced substantially larger losses for \(\lambda=0\) on \(S^4\) and \(S^5\), providing numerical evidence against Ricci-flat metrics on those spheres without constituting a mathematical nonexistence proof [2502.13043].

Homogeneous Einstein metrics on Euclidean spaces satisfy a strong structural theorem: every homogeneous Einstein metric on a manifold diffeomorphic to \(\mathbb R^n\) is isometric to an Einstein solvmanifold. The proof uses periodic integrally minimal cohomogeneity-one foliations, a real-GIT \(\beta\)-endomorphism, a monotone Lyapunov function, and standardness of the homogeneous orbits. It does not classify all Einstein solvmanifolds or prove the full Alekseevskii conjecture, but it shows that the Euclidean topology forces a solvable metric realization [1811.12594].

Recent results also establish rigidity for Einstein metrics on conformal products. If a compact conformal product admits an Einstein metric and the Lee form satisfies the stated parallelness condition, then the conformal product contains an ordinary product metric. The Einstein metric is consequently conformal to a warped product. The result reduces the specified conformal-product problem to warped-product geometry but does not provide a complete classification of compact Einstein warped products [2311.03744].

Taken together, these developments show that Einstein metrics are governed simultaneously by curvature identities, elliptic operators, holonomy, projective and conformal invariants, Lie-theoretic algebra, topology, stability theory, asymptotic analysis, and numerical approximation. Their classification is complete only in restricted settings: constant curvature, selected homogeneous and cohomogeneity-one families, certain four-dimensional curvature regions, and particular projective or Kähler deformation problems. In general, existence, rigidity, stability, and global moduli remain distinct problems whose interaction depends strongly on dimension, signature, topology, symmetry, and the geometric category under consideration.

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