Bergman Kernel Function in Complex Geometry

• Bergman kernel function is the diagonal restriction of the reproducing kernel for L² holomorphic sections, serving as a density of states and geometric invariant.
• It reproduces holomorphic sections on Kähler manifolds and weighted domains, with formulations that connect curvature, topology, and boundary behavior.
• The function underpins asymptotic expansions, off-diagonal decay, and zero set analysis, linking analytic techniques with global geometric structures.

The Bergman kernel function is the diagonal restriction of the Bergman reproducing kernel, and in complex geometry it is the canonical density attached to an $L^2$-space of holomorphic objects. In a line-bundle formulation, if $(M,\omega)$ is a Kähler manifold, $L\to M$ is a holomorphic line bundle with Hermitian metric $h$, and $H_k$ is the $L^2$-space of holomorphic sections of $L^k$, then the Bergman kernel $K_k(x,y)$ is the reproducing kernel of $H_k$, while the Bergman kernel function is the diagonal density $B_k(x)=|K_k(x,x)|_{h^k}$, denoted $(M,\omega)$0 in some of the recent literature (Sun, 24 Nov 2025). On compact polarized manifolds this agrees with the basis-free quantity $(M,\omega)$1 for any $(M,\omega)$2-orthonormal basis $(M,\omega)$3, and it can equally be characterized as the supremum of the pointwise norm over unit $(M,\omega)$4-norm holomorphic sections (Wang et al., 2023). In weighted planar settings one encounters the normalized density $(M,\omega)$5 (Hedenmalm et al., 2018). Across these formulations, the Bergman kernel function serves simultaneously as a reproducing-theoretic object, a density of states, and a geometric invariant encoding curvature, global topology, and boundary or singular behavior.

1. Reproducing structure and basic formulations

For a Kähler manifold $(M,\omega)$6 of complex dimension $(M,\omega)$7, with $(M,\omega)$8 a holomorphic line bundle equipped with a Hermitian metric $(M,\omega)$9 whose Chern curvature equals $L\to M$0, the relevant Hilbert space is

$L\to M$1

The evaluation map $L\to M$2 is bounded on $L\to M$3, so there is a unique $L\to M$4-integrable holomorphic section $L\to M$5 with $L\to M$6. The off-diagonal kernel is $L\to M$7, and if $L\to M$8 is an orthonormal basis then

$L\to M$9

Its diagonal trace is the Bergman kernel function,

$h$0

which is also called the diagonal density (Sun, 24 Nov 2025).

On a compact complex manifold or smooth projective variety $h$1 with ample line bundle $h$2, the same object is often written

$h$3

for an $h$4-orthonormal basis of $h$5. Equivalently,

$h$6

The two-point kernel is the integral kernel of the orthogonal projection onto holomorphic sections, and its diagonal enters the Fubini–Study potential

$h$7

hence the associated Fubini–Study form $h$8 (Wang et al., 2023).

The same reproducing paradigm extends beyond line bundles on compact manifolds. For weighted entire functions on $h$9, the weighted Bergman space

$H_k$0

has reproducing kernel $H_k$1, normalized kernel $H_k$2, and density

$H_k$3

This planar normalization is tailored to large-$H_k$4 asymptotics and to the distinction between spectral and off-spectral regions (Hedenmalm et al., 2018).

2. Variants across complex-analytic and geometric settings

The classical Bergman kernel of a domain $H_k$5 reproduces the Hilbert space $H_k$6 of square-integrable holomorphic functions. For bounded Reinhardt domains, and in particular for monomial polyhedra or elementary Reinhardt domains, the kernel admits monomial series expansions in the torus-invariant variables $H_k$7, and in many cases those series can be summed to explicit rational functions (Chakrabarti et al., 2023). This behavior is especially transparent on Hartogs-type and monomial domains, where proper holomorphic maps and Bell’s transformation formula transport kernels from product model domains such as $H_k$8 (Almughrabi, 2023).

A different generalization replaces the ambient complex domain by a totally real support. If $H_k$9 is a compact nondegenerate $L^2$0 piecewise-smooth maximally totally real submanifold, $L^2$1 is the space of polynomial restrictions of total degree $L^2$2, and $L^2$3 is a measure on $L^2$4, then

$L^2$5

Here the Bergman kernel function governs extremal polynomial growth rather than holomorphic $L^2$6-functions on a complex domain. In the smooth maximally totally real case one has the sharp upper bound $L^2$7, whereas the general piecewise-smooth case gives a polynomial growth exponent depending on the Hölder exponent of the weight and integrability properties of the measure (Marinescu et al., 2022).

The notion also survives degeneration. For a proper surjective holomorphic map $L^2$8 from a normal complex space to a Riemann surface, with possibly non-reduced central fiber $L^2$9, Wang–Zhou define a fiberwise Bergman kernel on the graded space

$L^k$0

using a filtration induced by normalized vanishing orders and a Hermitian form $L^k$1 obtained from rescaled fiberwise metrics. The resulting fiberwise Bergman kernel

$L^k$2

extends the classical reduced-fiber kernel and characterizes constancy of $L^k$3 by continuity in families (Wang et al., 2023).

3. Exact formulas in highly structured geometries

Recent work has produced exact global formulas for Bergman kernel functions in geometries where the global topology can be summed explicitly. For a polarized abelian variety $L^k$4 with polarization induced by a positive definite Hermitian form $L^k$5, the Bergman density of $L^k$6 is

$L^k$7

where $L^k$8 is the holonomy of the Chern connection along the geodesic loop determined by $L^k$9. The formula is exact for every $K_k(x,y)$0. It displays $K_k(x,y)$1 as the constant Bargmann–Fock value $K_k(x,y)$2 plus a Gaussian theta-series over the lattice, with all point dependence entering through holonomy angles (Sun, 24 Nov 2025).

An analogous phenomenon occurs on hyperbolic Riemann surfaces. If $K_k(x,y)$3 is complete hyperbolic and $K_k(x,y)$4 has curvature $K_k(x,y)$5, then under the hypotheses that $K_k(x,y)$6 has finite topology or positive injectivity radius one has, for $K_k(x,y)$7,

$K_k(x,y)$8

where $K_k(x,y)$9 is the set of geodesic loops based at $H_k$0, $H_k$1 is the loop length, and $H_k$2 is the holonomy. The constant term $H_k$3 is the hyperbolic model density, while the remainder is a global sum over geodesic loops, a structure the authors explicitly compare to the Selberg trace formula (Sun, 20 Nov 2025).

These formulas clarify a general principle: in flat or homogeneous local models the Bergman density is constant, whereas on the quotient the deviation from constancy is a global summation over topological or geometric data. In the abelian case the summation runs over lattice vectors with Gaussian weights; in the hyperbolic case it runs over geodesic loops with $H_k$4-weights. A plausible implication is that exact Bergman-density formulas are most accessible when the universal cover carries a model kernel and the quotient geometry can be encoded by a discrete group action.

4. Asymptotics, off-diagonal decay, and localization of extrema

On compact polarized manifolds, the Tian–Catlin–Zelditch expansion gives

$H_k$5

with coefficients given by universal polynomials in curvature and its covariant derivatives (Sun, 24 Nov 2025). In flat abelian geometry these local coefficients vanish, and the exact formula shows that the true remainder is beyond all algebraic orders: $H_k$6 uniformly in $H_k$7, where $H_k$8 is the length of the shortest nonzero lattice vector. Thus the Bergman kernel function is asymptotically constant to any finite order in $H_k$9, with only exponentially small global corrections (Sun, 24 Nov 2025).

The off-diagonal kernel exhibits equally explicit global decay. On polarized abelian varieties,

$B_k(x)=|K_k(x,x)|_{h^k}$0

where $B_k(x)=|K_k(x,x)|_{h^k}$1 is the set of geodesic segments joining $B_k(x)=|K_k(x,x)|_{h^k}$2 to $B_k(x)=|K_k(x,x)|_{h^k}$3. On hyperbolic Riemann surfaces one has

$B_k(x)=|K_k(x,x)|_{h^k}$4

and if the minimizing geodesic is unique the leading term is $B_k(x)=|K_k(x,x)|_{h^k}$5, with an exponentially smaller correction governed by the gap to the second-shortest segment (Sun, 24 Nov 2025, Sun, 20 Nov 2025).

The diagonal formulas also localize maxima and minima. On polarized abelian varieties the global extrema are controlled by the shortest lattice vectors $B_k(x)=|K_k(x,x)|_{h^k}$6. Under parity assumptions on the polarization form, maxima occur precisely where the holonomies along relevant shortest loops are $B_k(x)=|K_k(x,x)|_{h^k}$7, and, for large $B_k(x)=|K_k(x,x)|_{h^k}$8, maxima and minima lie in exponentially small neighborhoods of points where $B_k(x)=|K_k(x,x)|_{h^k}$9 for $(M,\omega)$00; the localization scale is governed by $(M,\omega)$01 through the Gaussian weights $(M,\omega)$02 (Sun, 24 Nov 2025). On hyperbolic surfaces of finite topology without cusps and with disjoint systoles, maxima and minima concentrate near systoles when the holonomies of $(M,\omega)$03 around systoles are $(M,\omega)$04 or $(M,\omega)$05, respectively, in regions of radius $(M,\omega)$06 (Sun, 20 Nov 2025).

Weighted planar kernels exhibit a different asymptotic regime. In the off-spectral setting, Hedenmalm–Wennman prove uniform asymptotic expansions of normalized kernels and root functions throughout an entire off-spectral component, together with an interface scaling limit in which the density transitions to the bulk by an error function: $(M,\omega)$07 This transition occurs in a boundary layer of width $(M,\omega)$08, and is a non-local phenomenon rather than a bulk-local TYZ-type expansion (Hedenmalm et al., 2018).

5. Singular, weighted, and nonclassical Bergman kernel functions

A recurrent theme in recent work is that Bergman kernel functions remain meaningful under singular weights, singular supports, and singular fibers, provided the Hilbert-space structure is adjusted appropriately. In degenerating families, the fiberwise Bergman kernel on a non-reduced central fiber is defined not on the raw space $(M,\omega)$09 but on a graded quotient determined by valuations along irreducible components, with the $(M,\omega)$10-inner product computed using multiplicities. The resulting kernel satisfies the same supremum characterization as in the reduced case and is continuous on the total space precisely when $(M,\omega)$11 is constant (Wang et al., 2023).

For weights given by the modulus square of a holomorphic function with finitely many zeros, one can compute the weighted planar Bergman kernel by finite-rank correction. If $(M,\omega)$12 is holomorphic on $(M,\omega)$13 with zero divisor $(M,\omega)$14, then multiplication by $(M,\omega)$15 identifies $(M,\omega)$16 with the closed subspace of $(M,\omega)$17 consisting of functions whose jets vanish up to order $(M,\omega)$18 at each $(M,\omega)$19. The weighted kernel can therefore be written as

$(M,\omega)$20

where $(M,\omega)$21 is assembled from the jet kernels $(M,\omega)$22 and $(M,\omega)$23 is the corresponding Gram matrix of mixed derivatives. This turns the weighted Bergman kernel function into a finite-codimensional modification of the unweighted one (Jacobson, 2013).

For measures supported on maximally totally real submanifolds, the Bergman kernel function no longer measures holomorphic sections on a complex manifold but extremal growth of polynomial restrictions. The sharp smooth-case estimate

$(M,\omega)$24

shows that the diagonal growth is polynomial rather than of TYZ type, and reflects the dimension of the totally real support rather than complex curvature data (Marinescu et al., 2022).

Explicit weighted kernels on non-smooth domains often become rational. Monomial polyhedra are a class of bounded pseudoconvex Reinhardt domains whose Bergman kernels are explicitly computable rational functions in the variables $(M,\omega)$25, with denominators determined by the defining Laurent monomials and numerators given by finite sums governed by the generating function $(M,\omega)$26 (Chakrabarti et al., 2023). Similar quotient constructions yield explicit kernels for two-dimensional monomial polyhedra and generalized Hartogs triangles (Almughrabi, 2023).

6. Rigidity, metrics, zeros, and related problems

Because the Bergman kernel function is both a reproducing invariant and a geometric density, it can detect structure beyond local curvature. On polarized abelian varieties, if two positive line bundles $(M,\omega)$27 and $(M,\omega)$28 have the same curvature form and satisfy $(M,\omega)$29 for some $(M,\omega)$30, then

$(M,\omega)$31

The proof uses the explicit lattice-sum formula to recover holonomy data from averages of $(M,\omega)$32, and then applies a holonomy rigidity lemma. Equality of Bergman densities for one tensor power thus forces isomorphism of the corresponding powers of the line bundles (Sun, 24 Nov 2025).

In degenerating families, Bergman kernel functions control Fubini–Study currents. For line bundles $(M,\omega)$33 with continuous metrics and positive fiberwise curvature assumptions, the fiberwise averaged Bergman potentials

$(M,\omega)$34

converge uniformly to $(M,\omega)$35 on compact subsets, and the fiberwise Fubini–Study currents converge uniformly, in the testing topology, to the limiting curvature $(M,\omega)$36. This applies in particular to test configurations, including cases with non-reduced central fiber (Wang et al., 2023).

The diagonal kernel also underlies intrinsic metrics. For bounded pseudoconvex domains in $(M,\omega)$37, Chen proves that if $(M,\omega)$38 has $(M,\omega)$39 boundary then

$(M,\omega)$40

where $(M,\omega)$41. The estimate is obtained from logarithmic capacity on complex lines together with Ohsawa–Takegoshi extension, and yields lower bounds for the Bergman distance in planar domains under capacity-density assumptions (Chen, 2021).

Explicit formulas make it possible to study zero sets of Bergman kernels, i.e. the Lu Qi-Keng problem. For the Hartogs domain

$(M,\omega)$42

the Bergman kernel is expressed through derivatives of $(M,\omega)$43, the polylogarithm of negative integer order, and the zero-free property depends on $(M,\omega)$44: the kernel is zero-free if $(M,\omega)$45 and $(M,\omega)$46, while for $(M,\omega)$47 and $(M,\omega)$48 it has zeros (Yamamori, 2010). In a different direction, for the intersection

$(M,\omega)$49

the Bergman kernel is Lu Qi-Keng if and only if $(M,\omega)$50 (Beberok, 2016). These examples show that the zero set of the Bergman kernel function is highly sensitive to global domain geometry and to finite-rank or weighted deformations.

In aggregate, the modern theory presents the Bergman kernel function not as a single formula but as a family of closely related diagonal densities adapted to complex manifolds, line bundles, weighted spaces, degenerations, and nonclassical supports. Exact formulas on abelian and hyperbolic quotients, weighted and singular variants, and kernel-based rigidity and Lu Qi-Keng results all point to the same conclusion: the diagonal of the reproducing kernel is a fine global invariant whose local asymptotics reflect curvature, while its exact deviations from model behavior register topology, holonomy, lattice geometry, boundary structure, and singularity data.