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

# Bergman-Einstein Metrics

Bergman-Einstein metrics are Bergman metrics that satisfy the Kähler-Einstein equation on a complex manifold, bounded domain, or the regular part of a singular complex space. If \(K_M\) denotes the Bergman kernel on the diagonal, then the Bergman metric is obtained from the Kähler potential \(\log K_M(z,z)\); the basic problem is to determine when the Ricci form of this canonical metric is a constant multiple of the metric itself. In several complex variables this condition is a uniformization criterion of exceptional rigidity: in the smoothly bounded strongly pseudoconvex setting it characterizes the unit ball, and analogous ball-characterization theorems now exist for finite ball quotients, two-dimensional finite-type pseudoconvex domains, Stein spaces with isolated singularities, and Hartogs domains over bounded homogeneous domains [1604.07065] [2009.07416] [2309.10595] [2604.15880].

## 1. Definitions and analytic formulations

For a complex manifold \(M\), the Bergman kernel form may be written locally as
\[
K_M(z,\bar w)=k_M(z,\bar w)\,dz_1\wedge\cdots\wedge dz_n\wedge d\bar w_1\wedge\cdots\wedge d\bar w_n,
\]
and the associated Bergman metric is the Kähler form
\[
\omega=\partial\bar\partial \log k_M(z,\bar z).
\]
In local coordinates, one also writes
\[
g_{\alpha\bar\beta}(z)=\partial_\alpha\partial_{\bar\beta}\log K_D(z,z).
\]
The metric is Kähler-Einstein when its Ricci tensor is a constant multiple of the metric, equivalently when a Monge–Ampère-type identity holds for the Bergman potential or the diagonal kernel [2210.12323] [2309.10595].

Several equivalent formulations are central in the literature. On bounded pseudoconvex domains, if \(G(z)=\det(g_{\alpha\bar\beta}(z))\), the Bergman metric is Kähler-Einstein if and only if the Bergman invariant function
\[
B(z):=\frac{G(z)}{K_D(z,z)}
\]
is constant; in dimension \(n\), this is equivalent to
\[
J(K_D)=(-1)^n \frac{(n+1)^n \pi^n n!}{ }\, K_D^{n+2},
\]
with \(J(\cdot)\) the Fefferman complex Monge–Ampère operator [2309.10595]. For ball quotients and Stein-space formulations, the same condition is encoded by
\[
J(\varphi)=(n+1)^n\varphi^{n+2},
\]
where \(\varphi\) is the diagonal kernel function obtained after lifting to the ball [2009.07416].

A structurally important special case is the bounded homogeneous domain. There the Bergman metric is already Kähler-Einstein with Einstein constant \(-1\), and one has
\[
\det g_\Omega(z)=C_1\,K_\Omega(z,\bar z)
\]
for a positive constant \(C_1\). This identity is one of the starting points for rigidity arguments on Hartogs fibrations over homogeneous bases [2604.15880].

## 2. Cheng rigidity and the strongly pseudoconvex case

The modern rigidity theory begins with Cheng’s 1979 conjecture: for a smoothly bounded strongly pseudoconvex domain in \(\mathbb C^n\), \(n\ge 2\), the Bergman metric is Kähler-Einstein if and only if the domain is biholomorphic to the unit ball. This was proved in full generality in 2016. The theorem states precisely that the Bergman metric of a smoothly bounded strongly pseudoconvex domain in \(\mathbb C^n\) is Kähler-Einstein if and only if the domain is biholomorphic to the ball [1604.07065].

The proof is governed by Fefferman’s boundary expansion of the Bergman kernel. If \(\Omega=\{p>0\}\) is smoothly bounded and strictly pseudoconvex, then
\[
K(z)=p(z)^{-(n+1)}\phi(z)+\psi(z)\log p(z),
\]
with \(\phi,\psi\in C^\infty(\overline{\Omega})\). A key input of Fu–Wong is that if the Bergman metric is Kähler-Einstein, then the logarithmic coefficient satisfies
\[
\psi = O(p^k)\qquad\text{for every }k>0.
\]
This promotes
\[
r_0:=K^{-1/(n+1)}
\]
to a Fefferman defining function, allowing comparison with the Chern–Moser boundary invariants [1604.07065].

The decisive boundary invariant is \(P_2\). In Moser normal form, for a Fefferman defining function \(r\), one has
\[
P_2=C_n\,|A|^2
\]
for \(n\ge 3\), where \(A\) is the Chern–Moser-Weyl tensor. Since the Kähler-Einstein hypothesis forces \(P_2=0\), every boundary point is CR umbilical; by the Chern–Moser theorem, the boundary is spherical. From spherical boundary one obtains a hyperbolic metric on the regular part, and a Lu-type uniformization argument then forces the domain to be biholomorphic to the ball. The same paper also extends classical continuation and uniformization statements to Stein spaces with isolated singularities, constructs hyperbolic metrics on Stein spaces with spherical boundary, and proves a Q. K. Lu type uniformization theorem in that singular setting [1604.07065].

## 3. Finite-type domains, Stein spaces, and finite ball quotients

The rigidity phenomenon persists well beyond the smooth strongly pseudoconvex category. In dimension two, a smoothly bounded pseudoconvex domain of finite type with Kähler-Einstein Bergman metric is biholomorphic to the unit ball. The proof relies on asymptotics of derivatives of the Bergman kernel along critically tangent paths whose tangency order equals the type of the boundary point. The Kähler-Einstein condition forces the vanishing of a model coefficient \(b_3\); algebraic divisibility arguments then imply radiality of the model polynomial, and a gamma-function identity shows that the boundary type must be \(2\), so the domain is strongly pseudoconvex and therefore a ball [2309.10595].

For normal Stein spaces with isolated singularities, the two-dimensional case is especially sharp. If \(\Gamma\subset Aut(\mathbb B^2)\) is finite and fixed point free, then the regular part of \(\mathbb B^2/\Gamma\) has Kähler-Einstein Bergman metric if and only if \(\Gamma=\{id\}\). This yields an algebraic version of Cheng’s conjecture for two-dimensional Stein spaces with isolated normal singularities, compact smooth strongly pseudoconvex boundary, and boundary CR equivalent to an algebraic CR manifold: the Bergman metric on the regular part is Kähler-Einstein if and only if the space is biholomorphic to \(\mathbb B^2\) [2210.12323].

The quotient calculation is explicit. After lifting to the ball, the kernel is written as
\[
\phi(z,\bar w)=\sum_{\gamma\in\Gamma}\frac{\overline{\det\gamma}}{(1-\langle z,\overline{\gamma w}\rangle)^{n+1}},
\]
and in dimension two the Kähler-Einstein equation yields a necessary coefficient condition
\[
C(\Gamma)=0.
\]
Using Milnor’s classification of fixed-point-free finite subgroups of \(U(2)\), one shows \(C(\Gamma)\neq 0\) for every nontrivial case [2210.12323].

In higher dimensions, a corresponding theorem holds for finite fixed-point-free abelian quotients. If \(\Gamma\subseteq \mathrm{Aut}(\mathbb B^n)\) is finite, abelian, and fixed-point free, \(n\ge 2\), then the Bergman metric of \(\mathbb B^n/\Gamma\) is Kähler-Einstein if and only if \(\Gamma=\{id\}\). The proof reduces the Monge–Ampère identity to a one-variable functional equation after diagonalizing the cyclic quotient and restricting to points of the form \((z_1,0,\dots,0)\). Taylor-expansion contradictions then exclude every nontrivial quotient. As a consequence, the existence of a Bergman-Einstein metric characterizes the ball among certain normal Stein spaces with isolated singularities and abelian fundamental group [2009.07416].

These results also delimit the role of dimension. In dimension one, finite disk quotients behave differently: every finite quotient of the disk has Kähler-Einstein Bergman metric, so the higher-dimensional rigidity is genuinely multidimensional [2210.12323] [2009.07416].

## 4. Hartogs domains over bounded homogeneous domains

A 2026 rigidity theorem places Bergman-Einstein metrics in a natural Hartogs family over bounded homogeneous bases. Let \(\Omega\subset\mathbb C^n\) be a bounded homogeneous domain with Bergman kernel \(K_\Omega\), and define
\[
\Omega_{m,s}:=\{(z,\zeta)\in \Omega\times \mathbb C^m:\ \|\zeta\|^2<K_\Omega(z,\bar z)^{-s}\},\qquad m\ge 1,\ s>-C_\Omega.
\]
The parameter \(s\) controls the warping of the fiber radius by the base geometry; the case \(s=0\) is degenerate in the sense that
\[
\Omega_{m,0}=\Omega\times \mathbb B^m.
\]
The invariant \(C_\Omega>0\) is determined from the standard classification data of \(\Omega\) as a homogeneous Siegel domain, and the range \(s>-C_\Omega\) is exactly the range in which the explicit kernel formula is valid [2604.15880].

The main theorem is a Cheng-type rigidity statement beyond the smoothly bounded strictly pseudoconvex setting: if \(s\neq 0\) and the Bergman metric of \(\Omega_{m,s}\) is Kähler-Einstein, then
\[
\Omega_{m,s}\cong \mathbb B^{n+m}.
\]
The proof uses the explicit Ishi–Park–Yamamori formula
\[
K_{\Omega_{m,s}}(z,\zeta)=\frac{K_\Omega(z,\bar z)^A}{\pi^m}R(t),\qquad A=ms+1,\quad t=K_\Omega(z,\bar z)^s\|\zeta\|^2,
\]
where
\[
R(t)=\sum_{j=0}^n \frac{A_j}{(1-t)^{j+m+1}}.
\]
Thus the Einstein condition becomes a scalar identity in one complex variable [2604.15880].

Restricting first to the zero section shows that the Einstein constant must be
\[
\lambda=-1.
\]
After a Calabi diastasis normalization, the full determinant computation yields
\[
\bigl(A+s\,t\,p(t)\bigr)^n p(t)^{m-1}\bigl(p(t)+t\,p'(t)\bigr) = C_6R(t),
\qquad p(t):=\frac{R'(t)}{R(t)}.
\]
The decisive argument shows that, for \(s\neq 0\), this forces a pure pole
\[
R(t)=c(1-t)^{-(n+m+1)} \qquad (c>0).
\]
Comparing coefficients in the Pochhammer expansion then gives
\[
F_\Omega(sx)=\frac{1}{n!}(x+1)_n,\qquad s=\frac{1}{n+1},
\]
and the structural multiset
\[
\{a_{k,i}\}=\left\{\frac{1}{n+1},\frac{2}{n+1},\dots,\frac{n}{n+1}\right\}
\]
with multiplicity. By the rank-one criterion for homogeneous Siegel domains, \(\Omega\cong \mathbb B^n\), and a holomorphic change of coordinates converts the defining inequality to the standard ball inequality in \(\mathbb C^{n+m}\) [2604.15880].

## 5. Curvature variants, comparison theorems, and non-rigidity

Bergman-Einstein rigidity sits inside a broader landscape of curvature conditions for Bergman metrics, but those conditions are not interchangeable. A basic structural device is the Bergman-Bochner map
\[
B=[\phi_1,\phi_2,\dots]:M\to \mathbf P^\infty,
\]
defined from an orthonormal basis of the Bergman space. Under base-point freeness and separation of holomorphic directions, the Bergman metric is the pull-back of the Fubini–Study metric:
\[
\omega_M=B^*(\omega_{\mathrm{FS}}).
\]
This gives a classification of constant holomorphic sectional curvature cases: positive constant curvature forces finite-dimensional Bergman space and biholomorphy to a domain in projective space; negative constant curvature on a Stein manifold forces \(M\simeq \mathbf B^n\setminus E\) for a closed pluripolar set \(E\); and the flat case is ruled out under the same hypotheses [2302.13456].

The positive-curvature regime is markedly non-rigid. For every pair \((m,n)\) with \(n\ge 2\), there exists an \(\mathbb R\)-parameter family of mutually Bergman-inequivalent Reinhardt domains in \(\mathbb C^n\) whose Bergman metrics are locally isometric to \(m\,g_{FS}\). The Bergman kernel on these domains is
\[
K_{Q_C}(z,z)=C(1+|z|^2)^m,
\]
so their Bergman metrics have constant positive holomorphic sectional curvature. This suggests that a reasonable classification of such positive-curvature geometries is infeasible. The same paper also states that such examples cannot exist in dimension one [2605.17105].

A recurrent misconception is that strong negative curvature of the Bergman metric should itself imply the Einstein condition. The symmetrized bidisc \(G_2\) shows otherwise. Its Bergman metric has holomorphic sectional curvature pinched between two negative constants, but holomorphic bisectional curvature is positive somewhere; moreover, the Bergman metric is not Kähler-Einstein, even though
\[
g^B_{G_2}\sim g^K_{G_2}\sim g^{KE}_{G_2}.
\]
Thus negative sectional behavior and quasi-isometry to the Kähler-Einstein metric do not imply that the Bergman metric itself is Einstein [2004.04637].

The same distinction appears in comparison results on complete noncompact Kähler manifolds. If \((M,\omega_B)\) has complete Bergman metric of bounded curvature and the ratio
\[
\frac{B}{\omega_B^n}
\]
is bounded on a fundamental domain, then there exists a complete Kähler-Einstein metric \(\omega_{KE}\) of negative scalar curvature such that
\[
\frac{1}{C_1}\,\omega_{KE}(v,v)\le \omega_B(v,v)\le C_1\,\omega_{KE}(v,v).
\]
This is an equivalence theorem, not a Bergman-Einstein theorem. In the explicit family
\[
E_{p,\lambda}=\{(x,y,z)\in \mathbb C^3 ; (|x|^{2p}+|y|^2)^{1/\lambda}+|z|^2<1 \},
\]
one has \(g_B\sim g_{KE}\), while \(g_B\) is Kähler-Einstein if and only if \(p=\lambda=1\) [2109.14473].

Weighted Bergman metrics sharpen the boundary asymptotic picture. For the Kähler-Einstein weight
\[
\mu^{\rm KE}_{\Omega,m} := e^{-(m-1)\varphi^{\rm KE}_{\Omega}}
= \frac{1}{\det\left(g^{\rm KE}_{\Omega}\right)^{(m-1)}},
\]
the weighted bisectional curvature admits explicit minimum-integral formulas and squeezing-function bounds. At strongly pseudoconvex boundary points, the weighted bisectional curvature asymptotically coincides with that of the unit ball; letting \(m\to\infty\) yields a streamlined proof of the known asymptotic bisectional curvature behavior of the Kähler-Einstein metric itself [2605.17702].

## 6. Quantization and the broader Bergman-Einstein program

A second major theme is approximation of Einstein-type metrics by finite-dimensional Bergman data. For coupled Kähler-Einstein metrics on a compact Kähler manifold with a rational decomposition
\[
2\pi c_1(X)=\sum_{i=1}^N 2\pi c_1(L^{[i]}),
\]
an \(N\)-tuple \(\boldsymbol\omega=(\omega^{[1]},\dots,\omega^{[N]})\) is coupled Kähler-Einstein when
\[
\mathrm{Ric}(\omega^{[i]})=\sum_{j=1}^N \omega^{[j]},\qquad i=1,\dots,N.
\]
The quantized objects are balanced metrics defined by the fixed-point equation
\[
T^{(k)}(\boldsymbol H)=\boldsymbol H.
\]
They are critical points of a quantized Ding functional and serve as Bergman approximations to the coupled Einstein equations. For negative first Chern class, existence and weak convergence of balanced metrics hold for all sufficiently large \(k\); for positive first Chern class, existence and weak convergence hold under vanishing of a higher-order coupled Futaki obstruction. When the automorphism group is discrete, almost balanced metrics and a balancing flow yield smooth convergence [1904.12812].

This approximation picture is supported by quantitative Bergman convergence results. On polarized pointed Kähler manifolds \((M,L,g,x_0)\) with
\[
\mathrm{Vol}(B_1(x_0))>v,\qquad |\sec|\le K,
\]
the Bergman metrics \(g_m\) satisfy the uniform estimate
\[
\sqrt{m}\,|\nabla g_m(x_0)| + m\,|g_m(x_0)-g(x_0)| \le C,
\]
and more generally
\[
|g_{ij,m}-g_{ij}|_{C^{1,\alpha}} \le C\,m^{-1/2+\alpha}|\log m|^\alpha.
\]
These results are proved by Tian’s peak section method and show that Bergman metrics approximate the underlying Kähler metric with explicit uniform rate on a geometrically controlled class [2112.08883].

A broader “Bergman-Einstein” philosophy also appears in the Riemannian analogue of Bergman metrics. There one replaces holomorphic sections by low Laplace eigenfunctions, obtaining finite-dimensional symmetric-space approximations
\[
\mathrm{O}(\mathcal H_{\le N})\backslash \mathrm{GL}(\mathcal H_{\le N})
\]
to the infinite-dimensional manifold of Riemannian metrics. That paper explicitly states that it does not develop a literal notion of “Bergman–Einstein metrics,” but it does suggest an Einstein-like canonical-metric program in which Bergman spaces provide the finite-dimensional approximation machinery [1310.4878].

Taken together, these developments give the subject its present shape. In the strict several-complex-variables sense, Bergman-Einstein metrics are usually rigid and often force ball uniformization. In curvature-comparison theory, they must be distinguished from weaker phenomena such as negative pinching or equivalence to a Kähler-Einstein metric. In quantization theory, they motivate a finite-dimensional approximation program in which balanced Bergman data converge to canonical Einstein-type structures.

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