--- title: Bergman Metric in Complex Geometry url: https://www.emergentmind.com/topics/bergman-metric type: topic --- # Bergman Metric in Complex Geometry The Bergman metric is the canonical Kähler metric attached to the Bergman kernel of a complex domain or, more generally, of a complex manifold whose \(L^2\)-holomorphic theory is sufficiently rich. On a bounded domain \(D\subset \mathbb C^n\), if \(K_D(z,\bar z)\) denotes the Bergman kernel on the diagonal, the metric is defined by the Kähler potential \(\log K_D(z,\bar z)\), so that \[ \omega_D=\frac{i}{2}\partial\bar\partial\log K_D \quad\text{or, in another common normalization,}\quad \omega_D=\sqrt{-1}\,\partial\bar\partial\log K_D, \] with normalization depending on the source. In coordinates, \[ (g_D)_{i\bar j}=\frac{\partial^2}{\partial z_i\partial \bar z_j}\log K_D(z,\bar z). \] This metric is biholomorphically invariant and has become a central object in several complex variables, Kähler geometry, uniformization theory, and, more recently, information geometry and projective-immersion theory [2601.15020] [1604.07065] [2305.10207]. ## 1. Kernel-theoretic definition and general framework For a bounded domain \(\Omega\subset \mathbb C^n\), the Bergman space is \[ A^2(\Omega)=\mathcal O(\Omega)\cap L^2(\Omega), \] or, in the top-form formulation used on general complex manifolds, \[ A^2(\Omega)=\left\{\alpha\in A^n(\operatorname{Reg}(\Omega)):\sqrt{-1}^{\,n^2}\int \alpha\wedge \overline\alpha<\infty\right\}. \] If \(\{\phi_\alpha\}\) is a complete orthonormal system, then the Bergman kernel is \[ K_\Omega(z,\xi)=\sum_\alpha \phi_\alpha(z)\overline{\phi_\alpha(\xi)}, \] with the reproducing property \[ \varphi(\xi)=\langle \varphi,K_\Omega(\cdot,\xi)\rangle_{A^2(\Omega)}. \] Its diagonal value \(K_\Omega(z,z)\) is strictly plurisubharmonic when the Bergman metric is defined, and \(\log K_\Omega(z,z)\) is then a Kähler potential [2601.15020] [1604.07065]. On general complex manifolds, the relevant intrinsic hypotheses are that the Bergman kernel be nowhere vanishing and that the Bergman space separate holomorphic directions. In the language used for complex manifolds beyond bounded domains, the Bergman form defines a biholomorphically invariant Kähler metric exactly under base-point freeness and separation of holomorphic directions [2302.13456]. A basic model is the unit ball \(\mathbb B^n\), whose Bergman kernel is \[ K_{\mathbb B^n}(z,\bar z)=\frac{n!}{\pi^n}\frac{1}{(1-\|z\|^2)^{n+1}}. \] Its Bergman metric is a scalar multiple of the complex hyperbolic metric. Depending on normalization, the holomorphic sectional curvature is written either as \(-\frac{4}{n+1}\) or \(-\frac{2}{n+1}\); the literature cited here explicitly notes this normalization dependence [2601.15020] [2502.15089]. ## 2. Projective, diastatic, and statistical realizations The Bergman metric admits a natural projective realization. Given an orthonormal basis \(\mathcal S=\{\phi_j\}_{j\ge 1}\) of \(A^2(\Omega)\), the Bergman–Bochner map \[ \mathcal B^{\mathcal S}:\Omega\to \mathbb{CP}^\infty,\qquad z\mapsto [\phi_1(z):\phi_2(z):\cdots] \] is a full Kähler immersion, and the Bergman metric is the pullback of the Fubini–Study metric. In the same spirit, for complex manifolds with Bergman metric, the Bergman–Bochner map realizes \[ \omega_\Omega=B^*(\omega_{FS}), \] making projective geometry a basic tool in Bergman-metric rigidity problems [2601.15020] [2302.13456]. A second canonical object is Calabi’s diastasis. For the Bergman metric it has the explicit form \[ D^\Omega(z,w)=\log\left(\frac{K_\Omega(z,z)K_\Omega(w,w)}{|K_\Omega(z,w)|^2}\right). \] This formula is central in rigidity arguments based on Calabi’s criterion, finite-dimensional projective inducedness, and Kähler immersions into complex space forms [2510.17618]. A further development is the Bergman dual. For a bounded domain \(D\) centered at the origin, one sets \[ K_D^*(z,\bar z)=K_D(z,-\bar z), \] defines \(D^*\) to be the maximal domain on which \(K_D^*>0\) and \(\log K_D^*\) is defined, and then defines \[ \omega_D^*=-\frac{i}{2}\partial\bar\partial\log K_D^*. \] For the ball, \[ K_{\mathbb B^n}^*(z,\bar z)=\frac{n!}{\pi^n}\frac{1}{(1+\|z\|^2)^{n+1}}, \] and \(\omega_{\mathbb B^n}^*\) is the Fubini–Study form on the affine chart of \(\mathbb{CP}^n\), up to scaling. This construction was introduced as a generalization of the bounded-symmetric-domain/compact-dual correspondence [2510.06405]. More recently, the Bergman metric has been recast in information-geometric terms. For a bounded domain \(\Omega\), the embedding \[ \Phi(z)=\frac{|B(z,\xi)|^2}{B(z,z)}\,dV(\xi) \] maps \(\Omega\) into a space of probability measures on \(\Omega\), and the pullback of the Fisher information metric satisfies \[ \Phi^*g_F=g_B. \] In the same framework, Calabi’s diastasis becomes the pullback of Kullback divergence: \[ D(z,w)=\log\frac{B(z,z)B(w,w)}{|B(z,w)|^2}. \] This identifies the Bergman metric as an information metric and the diastasis as a statistical divergence [2305.10207]. ## 3. Curvature, Einsteinity, and explicit geometric behavior The Bergman metric is Kähler by construction, but its curvature behavior varies sharply with the domain. On bounded homogeneous domains, the Bergman metric is Kähler–Einstein with Einstein constant \(-1\), and this fact is used as a structural input in several Hartogs-domain rigidity theorems [2604.15880]. At the opposite end, constant-curvature phenomena are highly constrained. For bounded domains or complex manifolds with sufficiently rich Bergman space, the negative constant-holomorphic-sectional-curvature case is rigid: the only possible value is that of the ball, and the geometry is forced to be ball-like up to a negligible exceptional set [2502.15089] [2302.13456]. The zero-curvature case is excluded in the classification of Bergman metrics with constant holomorphic sectional curvature under the standard nondegeneracy assumptions [2302.13456]. Positive constant curvature is more subtle. For every pair of positive integers \((m,n)\) with \(n\ge 2\), there exists an \(\mathbb R\)-parameter family of Reinhardt domains in \(\mathbb C^n\) whose Bergman metrics are locally isometric to \(m\) times the Fubini–Study metric, with Bergman kernel \[ K_\Omega(z,z)=C(1+\|z\|^2)^m. \] With the normalization used there, the Fubini–Study metric has constant holomorphic sectional curvature \(2\), so \(m\,g_{FS}\) has curvature \(2/m\). These examples show that positive-curvature Bergman metrics are abundant in the noncomplete setting [2605.17105]. Explicit nonhomogeneous examples also reveal finer curvature phenomena. On the symmetrized bidisc \[ G_2=\{(z_1+z_2,z_1z_2):z_1,z_2\in\mathbb D\}, \] the Bergman metric has holomorphic sectional curvature negatively pinched, with global bounds \[ -10\le H_{\mathrm{hol.sec.}}\le -\frac1{18}, \] but its holomorphic bisectional curvature is not negatively pinched and is positive at some points. Thus a complete Bergman metric can have uniformly negative holomorphic sectional curvature while still exhibiting positive holomorphic bisectional curvature somewhere [2004.04637]. In the information-geometric formulation, the holomorphic sectional curvature admits a statistical expression. In holomorphic normal coordinates, \[ R_{\alpha\bar\alpha\alpha\bar\alpha} = 2- E\left[\frac{|\partial_\alpha\partial_\alpha P|^2}{P^2}\right], \] which immediately yields the upper bound \(R_{\alpha\bar\alpha\alpha\bar\alpha}\le 2\) in that normalization [2305.10207]. ## 4. Rigidity and uniformization theorems One of the main themes in the modern theory is that special curvature conditions on the Bergman metric force strong geometric uniformization. For smoothly bounded strongly pseudoconvex domains in \(\mathbb C^n\), Cheng’s conjecture is solved affirmatively: the Bergman metric is Kähler–Einstein if and only if the domain is biholomorphic to the unit ball [1604.07065]. In dimension \(2\), an algebraic version for Stein spaces with isolated normal singularities states that the Bergman metric on the regular part is Kähler–Einstein if and only if the space is biholomorphic to \(\mathbb B^2\); equivalently, for finite fixed-point-free ball quotients \(\mathbb B^2/\Gamma\), the Bergman metric is Kähler–Einstein only when \(\Gamma\) is trivial [2210.12323]. Constant negative holomorphic sectional curvature leads to a sharp uniformization theorem. If a bounded domain \(D\subset \mathbb C^n\) has Bergman metric of constant holomorphic sectional curvature \(\tau\), then \(D\) is biholomorphic to a domain \(\Omega\subset\mathbb B^n\) such that \(\mathbb B^n\setminus\Omega\) is relatively closed of measure zero, every \(L^2\)-holomorphic function on \(\Omega\) extends to one on \(\mathbb B^n\), and \[ \tau=-\frac{2}{n+1}. \] Moreover, \[ K_\Omega(z,w)=K_{\mathbb B^n}(z,w) \quad\text{on }\Omega\times\Omega. \] This generalizes Lu’s classical complete-case theorem [2502.15089]. Local symmetry yields a higher-rank analogue. If \(\Omega\subset\mathbb C^n\) is bounded and the Bergman metric is locally symmetric, meaning \(\nabla R^\Omega=0\), then completeness forces \(\Omega\) to be a bounded symmetric domain. If one assumes only pseudoconvexity, then \[ \Omega\cong \widetilde\Omega\setminus E, \] where \(\widetilde\Omega\) is a bounded symmetric domain and \(E\) is relatively closed and pluripolar [2601.15020]. The same rigidity persists in explicit Hartogs families. For Hartogs domains over bounded homogeneous bases, \[ \Omega_{m,s}=\{(z,\zeta)\in \Omega\times\mathbb C^m:\|\zeta\|^20}\) and sufficiently large scaling, again in sharp contrast with the Bergman metric [2510.06405]. There is also a distinct rigidity problem for Bergman metrics induced by finite-dimensional balls. If \((\Omega,\lambda g_\Omega)\) admits a holomorphic isometric immersion into \((\mathbb B^N,g_{\mathbb B^N})\), then in several broad families the only possibility is again the ball. This is proved for strictly pseudoconvex domains in \(\mathbb C^2\) under a smooth transversality hypothesis, and also for Hartogs domains over bounded homogeneous bases and egg domains over irreducible symmetric bases [2510.17618]. Boundary singularities can obstruct Einsteinity even more forcefully. If a pseudoconvex domain in \(\mathbb C^n\), \(n>1\), has a strongly pseudoconvex polyhedral boundary point, then its Bergman metric is well-defined on a nonempty open set but cannot be Einstein on any open subset. The argument identifies the Einstein condition with constancy of the Bergman invariant \[ J_\Omega(z)=\frac{\det G_\Omega(z)}{K_\Omega(z,\bar z)}, \] then shows that anisotropic blow-up at such a corner converges to a product model \(\mathbb B^{n-m+1}\times \Delta^{m-1}\), whose invariant differs from the ball value forced by Einsteinity [2512.08275]. A different comparison principle appears on complete noncompact Kähler manifolds with complete Bergman metric of bounded curvature. If the ratio \[ \frac{B}{\omega_B^n} \] is bounded on a fundamental domain, then the Bergman metric is uniformly equivalent to a complete Kähler–Einstein metric of negative scalar curvature. This method applies, for example, to the explicit domains \[ E_{p,\lambda}=\{(x,y,z)\in \mathbb C^3:\ (|x|^{2p}+|y|^2)^{1/\lambda}+|z|^2<1\}, \] where boundary limits of Bergman holomorphic sectional curvature are not well-defined and older curvature-limit methods fail [2109.14473]. ## 6. Related constructions, completeness theory, and broader extensions The Bergman metric has inspired several closely related structures. One is the curvature-modified metric \[ \widetilde T=(n+1)T-\mathrm{Ric}(T), \] where \(T\) is the Bergman metric tensor. This metric is positive definite because the Ricci curvature of the Bergman metric is bounded above by \(n+1\), and it admits its own Kobayashi-type completeness criterion. In particular, bounded hyperconvex domains are complete with respect to \(\widetilde T\), paralleling classical Bergman completeness theory [1210.2372]. Another comparative direction concerns bounded symmetric domains and invariant metrics other than the Bergman metric. A projectively defined Hilbert-type metric on the four classical Cartan families has infinitesimal norm of \(L^1\)-type in the singular values, whereas the Bergman metric is \(L^2\)-type. Except in rank one, the two metrics differ, even up to scale [2403.18634]. There are also nonclassical extensions of the Bergman-metric philosophy outside complex analysis in the usual sense. A Riemannian analogue replaces holomorphic sections by low-frequency Laplace eigenfunctions of a fixed reference metric, producing “Riemannian Bergman metrics of degree \(N\)” as pullbacks of Euclidean metrics under eigenfunction embeddings. These finite-dimensional symmetric-space approximations are designed as analogues of Bergman approximations in Kähler geometry [1310.4878]. This suggests a broader “Bergman” paradigm in which canonical metrics arise from kernel or spectral projectors rather than from curvature ansätze alone. The current literature therefore presents the Bergman metric as more than a canonical Kähler metric attached to \(A^2\)-holomorphic data. It is a biholomorphic invariant, a projectively induced metric, a carrier of diastatic and statistical structures, a sensitive detector of boundary and singularity geometry, and a source of rigidity results that characterize balls and bounded symmetric domains across a wide range of complex-analytic settings [2601.15020] [2305.10207]. Source: https://www.emergentmind.com/topics/bergman-metric