On the Bergman Kernel of complex hyperbolic manifolds

Jingzhou Sun

arxiv: 2511.16240 · v3 · submitted 2025-11-20 · 🧮 math.DG · math.AG· math.CV

On the Bergman Kernel of complex hyperbolic manifolds

Jingzhou Sun This is my paper

Pith reviewed 2026-05-17 20:54 UTC · model grok-4.3

classification 🧮 math.DG math.AGmath.CV

keywords Bergman kernelcomplex hyperbolic manifoldsgeodesic loopspolarized manifoldsoff-diagonal estimateskernel function bounds

0 comments

The pith

The Bergman kernel of polarized complex hyperbolic manifolds equals a sum over geodesic loops.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper derives a formula for the Bergman kernel on polarized complex hyperbolic manifolds by writing it as a sum over the manifold's geodesic loops. If correct, this gives a geometric way to understand and compute the kernel without solving the full partial differential equation directly. The authors use it to find the maximum and minimum values of the kernel function and to estimate how the kernel behaves when the two points are not close. Readers interested in complex geometry would see this as a bridge between analysis and the dynamics of geodesics.

Core claim

We prove a formula for the Bergman kernel of polarized complex hyperbolic manifolds. The formula expresses the Bergman kernel as a sum over the geodesic loops in the manifold. As an application, we prove a result about the maximum and minimum of the Bergman kernel function. We also prove an estimate of the off-diagonal Bergman kernel.

What carries the argument

The summation formula over geodesic loops that represents the Bergman kernel.

If this is right

The maximum and minimum values of the Bergman kernel function are determined by the contributions from geodesic loops.
An explicit estimate holds for the off-diagonal Bergman kernel.
The kernel is completely determined by the geometric data of closed geodesics on the manifold.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The summation technique could extend to other Kähler manifolds with negative curvature where closed geodesics are countable.
It opens a path to asymptotic analysis of the kernel when the manifold varies in a family of polarizations.
Numerical checks on explicit ball quotients would provide a direct test of whether the sum reproduces the kernel values.

Load-bearing premise

The manifolds are polarized complex hyperbolic spaces on which geodesic loops are well-defined and the Bergman kernel admits a summation representation that converges to the kernel.

What would settle it

Direct computation of the Bergman kernel on a concrete example such as a quotient of complex hyperbolic space by a cocompact discrete group, followed by numerical comparison to the proposed sum over its geodesic loops.

Figures

Figures reproduced from arXiv: 2511.16240 by Jingzhou Sun.

**Figure 1.** Figure 1: Quadrilateral used in the discussion of the twisted hyperbolic cylinder. cos ϕ = sinh a sinh b = tanh α tanh β, cosh a = tanh β coth b. Hence sinh2 a sinh2 b = tanh2 α tanh2 β. It follows that tanh2 α tanh2 β = [PITH_FULL_IMAGE:figures/full_fig_p018_1.png] view at source ↗

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a loop-sum formula for the Bergman kernel on polarized complex hyperbolic manifolds, with applications to its extrema and off-diagonal behavior, but the sum's convergence needs clearer hypotheses.

read the letter

The main point is that Sun writes the Bergman kernel of polarized complex hyperbolic manifolds as an explicit sum over geodesic loops and then derives bounds on its maximum and minimum values plus an off-diagonal estimate from that expression. This is the concrete advance the abstract advertises. If the derivation is direct and does not rely on hidden fitting, the formula could serve as a practical tool for estimates in Kähler geometry on these spaces, linking the kernel to the orbit structure of the fundamental group in a way that earlier integral representations do not make as visible. The applications themselves are straightforward once the sum is in hand, but they still give explicit control that might be useful for embedding questions or metric comparisons. The soft spot is convergence. The number of geodesic loops grows exponentially with length in the hyperbolic setting, so the series requires either compactness, a positive lower bound on injectivity radius, or sufficient decay along each term to converge pointwise. The abstract states no such condition, and the stress-test concern is on target: non-compact quotients with cusps introduce parabolic elements that can produce infinitely many loops whose contributions may diverge or fail to recover the kernel. I would check the precise statement of the main theorem for the geometric hypotheses that make the equality hold. The rest of the paper appears to stay within standard complex hyperbolic geometry, so the citation pattern is unlikely to be the issue. This work is for people who already work with Bergman kernels or holomorphic sections on locally symmetric Kähler manifolds and want an orbit-sum expression rather than a general existence result. A reader who needs concrete formulas for estimates would get direct value. It deserves peer review so that referees can verify the derivation of the sum and confirm that the convergence is properly controlled under the stated assumptions.

Referee Report

1 major / 2 minor

Summary. The manuscript proves a formula for the Bergman kernel on polarized complex hyperbolic manifolds, expressing the kernel as an explicit sum over geodesic loops. Applications include results on the maximum and minimum values of the Bergman kernel function and an estimate for the off-diagonal Bergman kernel.

Significance. If the formula is established under appropriate geometric hypotheses, the representation could provide a new tool for studying the Bergman kernel on these manifolds and deriving extremal properties or decay estimates. The approach of summing over geodesic loops is potentially novel in this setting and could lead to falsifiable predictions or explicit computations.

major comments (1)

[Main theorem statement] The main theorem (likely stated in the introduction or §2) asserts that the Bergman kernel equals a sum over geodesic loops without providing hypotheses ensuring convergence of the series. In the complex hyperbolic setting, control on the growth of closed geodesics (exponential in length) and decay along each loop is required; without a lower bound on injectivity radius or compactness, parabolic elements in non-compact or cusped cases may cause divergence, so the pointwise equality does not follow from the stated assumptions. This is load-bearing for the central claim.

minor comments (2)

[Abstract] The abstract and introduction should explicitly list the curvature normalization (e.g., holomorphic sectional curvature -1) and polarization conditions under which the sum is claimed to converge.
[Introduction] Notation for the geodesic loop sum (e.g., indexing set, contribution of each loop) should be defined before the main formula to improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting this important point about the hypotheses needed for convergence of the series in the main theorem. We address the comment in detail below and will incorporate the necessary clarifications.

read point-by-point responses

Referee: The main theorem (likely stated in the introduction or §2) asserts that the Bergman kernel equals a sum over geodesic loops without providing hypotheses ensuring convergence of the series. In the complex hyperbolic setting, control on the growth of closed geodesics (exponential in length) and decay along each loop is required; without a lower bound on injectivity radius or compactness, parabolic elements in non-compact or cusped cases may cause divergence, so the pointwise equality does not follow from the stated assumptions. This is load-bearing for the central claim.

Authors: We appreciate the referee's observation on the need for explicit hypotheses to guarantee convergence. The manuscript works throughout with compact polarized complex hyperbolic manifolds; compactness supplies a uniform positive lower bound on the injectivity radius, which in turn bounds the number of geodesic loops of length at most L by an exponential function of L. Combined with the exponential decay estimates for the kernel contributions along each loop (proved in §3), this yields absolute and uniform convergence of the series on compact subsets. Nevertheless, we agree that the current statement of the main theorem does not make the compactness assumption and the convergence argument fully explicit. We will therefore revise the introduction and the theorem statement to record these hypotheses and to include a short paragraph verifying convergence under them. This change will eliminate any ambiguity regarding non-compact or cusped quotients. revision: yes

Circularity Check

0 steps flagged

No circularity: formula presented as derived result without reduction to inputs

full rationale

The manuscript proves a summation formula for the Bergman kernel over geodesic loops on polarized complex hyperbolic manifolds and derives applications such as extremal values and off-diagonal estimates. No equations or steps in the provided abstract or description reduce the claimed equality to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The representation is asserted as a proved identity under the stated geometric hypotheses rather than constructed tautologically from the kernel itself. Absent explicit derivation text exhibiting Eq. (kernel) = f(kernel) by construction, the chain is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed on abstract alone; the ledger is therefore minimal and provisional.

axioms (1)

domain assumption The manifold is a polarized complex hyperbolic manifold
Explicitly stated in the abstract as the setting for the formula.

pith-pipeline@v0.9.0 · 5327 in / 1245 out tokens · 41324 ms · 2026-05-17T20:54:08.605827+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Theorem 1.1: ρ_k(p) = k^{-1/2}/(2π) (1 + ∑_{γ∈G_p} cosh^{-2k}(ℓ(γ)/2) cos(2πk α_γ))
IndisputableMonolith/Foundation/AlphaCoordinateFixation.lean costAlphaLog_fourth_deriv_at_zero echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Hyperbolic cylinder model and Fourier transform F(b) = (k+1/2) cosh^{-2(k+1)}(π b)
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Summation over Fuchsian group Γ and primitive elements

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · 1 internal anchor

[1]

Off-diagonal estimates of the bergman kernel on hyperbolic riemann surfaces of finite volume.Proceedings of the American Mathe- matical Society, 146(9):4009–4020, 2018

Anilatmaja Aryasomayajula and Priyanka Majumder. Off-diagonal estimates of the bergman kernel on hyperbolic riemann surfaces of finite volume.Proceedings of the American Mathe- matical Society, 146(9):4009–4020, 2018

work page 2018
[2]

Estimates of the bergman kernel on a hyperbolic riemann surface of finite volume-ii

Anilatmaja Aryasomayajula and Priyanka Majumder. Estimates of the bergman kernel on a hyperbolic riemann surface of finite volume-ii. InAnnales de la Faculté des sciences de Toulouse: Mathématiques, volume 29, pages 795–804, 2020

work page 2020
[3]

Bergman kernels on punctured riemann surfaces.Mathematische Annalen, 379(3):951–1002, April 2021

Hugues Auvray, Xiaonan Ma, and George Marinescu. Bergman kernels on punctured riemann surfaces.Mathematische Annalen, 379(3):951–1002, April 2021

work page 2021
[4]

Sharp asymptotics for toeplitz determinants and convergence towards the gaussian free field on riemann surfaces.International Mathematics Research Notices, 2012(22):5031–5062, 2012

Robert J Berman. Sharp asymptotics for toeplitz determinants and convergence towards the gaussian free field on riemann surfaces.International Mathematics Research Notices, 2012(22):5031–5062, 2012

work page 2012
[5]

The Bergman kernel and a theorem of Tian

David Catlin. The Bergman kernel and a theorem of Tian. InAnalysis and geometry in several complex variables (Katata, 1997), Trends Math., pages 1–23. Birkhäuser Boston, Boston, MA, 1999

work page 1997
[6]

Berezin-toeplitz operators, a semi-classical approach.Communications in Mathematical Physics, 239(1):1–28, Aug 2003

Laurent Charles. Berezin-toeplitz operators, a semi-classical approach.Communications in Mathematical Physics, 239(1):1–28, Aug 2003

work page 2003
[7]

Toeplitz operators with analytic symbols.The Journal of Geometric Analysis, 31(4):3915–3967, Apr 2021

Alix Deleporte. Toeplitz operators with analytic symbols.The Journal of Geometric Analysis, 31(4):3915–3967, Apr 2021

work page 2021
[8]

Université de Grenoble I Grenoble, 1997

Jean-Pierre Demailly.Complex analytic and differential geometry. Université de Grenoble I Grenoble, 1997

work page 1997
[9]

On a property of bergman kernels when the kähler potential is analytic.Pacific Journal of Mathematics, 313(2):413–432, 2021

Hamid Hezari and Hang Xu. On a property of bergman kernels when the kähler potential is analytic.Pacific Journal of Mathematics, 313(2):413–432, 2021

work page 2021
[10]

Springer Science & Business Media, 2002

Steven G Krantz and Harold R Parks.A primer of real analytic functions. Springer Science & Business Media, 2002

work page 2002
[11]

On the lower order terms of the asymptotic expansion of Tian-Yau-Zelditch

Zhiqin Lu. On the lower order terms of the asymptotic expansion of Tian-Yau-Zelditch. Amer.J.math, 122(2):235–273, 2000

work page 2000
[12]

Birkhäuser Verlag, Basel, 2007

Xiaonan Ma and George Marinescu.Holomorphic Morse inequalities and Bergman kernels, volume 254 ofProgress in Mathematics. Birkhäuser Verlag, Basel, 2007

work page 2007
[13]

Hejhal, The Selberg trace formula forP SL(2, R), Volume I.Springer Berlin, Heidelberg, 1978

SJPatterson.Dennis A. Hejhal, The Selberg trace formula forP SL(2, R), Volume I.Springer Berlin, Heidelberg, 1978

work page 1978
[14]

Analytic Bergman operators in the semiclassical limit.Duke Mathematical Journal, 169(16):3033 – 3097, 2020

Ophélie Rouby, Johannes Sjöstrand, and San Vu Ngoc. Analytic Bergman operators in the semiclassical limit.Duke Mathematical Journal, 169(16):3033 – 3097, 2020

work page 2020
[15]

Convergence of random zeros on complex manifolds.Science in China Series A: Mathematics, 51(4):707–720, Apr 2008

Bernard Shiffman. Convergence of random zeros on complex manifolds.Science in China Series A: Mathematics, 51(4):707–720, Apr 2008

work page 2008
[16]

Asymptotics of almost holomorphic sections of ample line bundles on symplectic manifolds.J

Bernard Shiffman and Steve Zelditch. Asymptotics of almost holomorphic sections of ample line bundles on symplectic manifolds.J. Reine Angew. Math., 544:181–222, 2002

work page 2002
[17]

The density at infinity of a discrete group of hyperbolic motions.Publications Mathématiques de l’Institut des Hautes Études Scientifiques, 50(1):171–202, Dec 1979

Dennis Sullivan. The density at infinity of a discrete group of hyperbolic motions.Publications Mathématiques de l’Institut des Hautes Études Scientifiques, 50(1):171–202, Dec 1979

work page 1979
[18]

Estimations of the Bergman kernel of the punctured disk

Jingzhou Sun. Estimations of the bergman kernel of the punctured disk.arXiv preprint arXiv:1706.01018, 2017

work page internal anchor Pith review Pith/arXiv arXiv 2017
[19]

Bergman kernels of the Cheng-Yau metrics on quasi-projective manifolds

Jingzhou Sun. Bergman kernels of the Cheng-Yau metrics on quasi-projective manifolds. arxiv, arXiv:2407.07483, 2024

work page arXiv 2024
[20]

Projective embedding of stably degenerating sequences of hyperbolic Riemann surfaces.Analysis & PDE, 17(6):1871–1886, 2024

Jingzhou Sun. Projective embedding of stably degenerating sequences of hyperbolic Riemann surfaces.Analysis & PDE, 17(6):1871–1886, 2024

work page 2024
[21]

On a set of polarized Kähler metrics on algebraic manifolds.Journal of Differ- ential Geometry, 32(1990):99–130, 1990

Gang Tian. On a set of polarized Kähler metrics on algebraic manifolds.Journal of Differ- ential Geometry, 32(1990):99–130, 1990

work page 1990
[22]

Szego kernels and a theorem of Tian.International Mathematics Research Notices, 6(6):317–331, 2000

Steve Zelditch. Szego kernels and a theorem of Tian.International Mathematics Research Notices, 6(6):317–331, 2000. Department of Mathematics, Shantou University, Shantou City, Guangdong Province 515063, China Email address:jzsun@stu.edu.cn

work page 2000

[1] [1]

Off-diagonal estimates of the bergman kernel on hyperbolic riemann surfaces of finite volume.Proceedings of the American Mathe- matical Society, 146(9):4009–4020, 2018

Anilatmaja Aryasomayajula and Priyanka Majumder. Off-diagonal estimates of the bergman kernel on hyperbolic riemann surfaces of finite volume.Proceedings of the American Mathe- matical Society, 146(9):4009–4020, 2018

work page 2018

[2] [2]

Estimates of the bergman kernel on a hyperbolic riemann surface of finite volume-ii

Anilatmaja Aryasomayajula and Priyanka Majumder. Estimates of the bergman kernel on a hyperbolic riemann surface of finite volume-ii. InAnnales de la Faculté des sciences de Toulouse: Mathématiques, volume 29, pages 795–804, 2020

work page 2020

[3] [3]

Bergman kernels on punctured riemann surfaces.Mathematische Annalen, 379(3):951–1002, April 2021

Hugues Auvray, Xiaonan Ma, and George Marinescu. Bergman kernels on punctured riemann surfaces.Mathematische Annalen, 379(3):951–1002, April 2021

work page 2021

[4] [4]

Sharp asymptotics for toeplitz determinants and convergence towards the gaussian free field on riemann surfaces.International Mathematics Research Notices, 2012(22):5031–5062, 2012

Robert J Berman. Sharp asymptotics for toeplitz determinants and convergence towards the gaussian free field on riemann surfaces.International Mathematics Research Notices, 2012(22):5031–5062, 2012

work page 2012

[5] [5]

The Bergman kernel and a theorem of Tian

David Catlin. The Bergman kernel and a theorem of Tian. InAnalysis and geometry in several complex variables (Katata, 1997), Trends Math., pages 1–23. Birkhäuser Boston, Boston, MA, 1999

work page 1997

[6] [6]

Berezin-toeplitz operators, a semi-classical approach.Communications in Mathematical Physics, 239(1):1–28, Aug 2003

Laurent Charles. Berezin-toeplitz operators, a semi-classical approach.Communications in Mathematical Physics, 239(1):1–28, Aug 2003

work page 2003

[7] [7]

Toeplitz operators with analytic symbols.The Journal of Geometric Analysis, 31(4):3915–3967, Apr 2021

Alix Deleporte. Toeplitz operators with analytic symbols.The Journal of Geometric Analysis, 31(4):3915–3967, Apr 2021

work page 2021

[8] [8]

Université de Grenoble I Grenoble, 1997

Jean-Pierre Demailly.Complex analytic and differential geometry. Université de Grenoble I Grenoble, 1997

work page 1997

[9] [9]

On a property of bergman kernels when the kähler potential is analytic.Pacific Journal of Mathematics, 313(2):413–432, 2021

Hamid Hezari and Hang Xu. On a property of bergman kernels when the kähler potential is analytic.Pacific Journal of Mathematics, 313(2):413–432, 2021

work page 2021

[10] [10]

Springer Science & Business Media, 2002

Steven G Krantz and Harold R Parks.A primer of real analytic functions. Springer Science & Business Media, 2002

work page 2002

[11] [11]

On the lower order terms of the asymptotic expansion of Tian-Yau-Zelditch

Zhiqin Lu. On the lower order terms of the asymptotic expansion of Tian-Yau-Zelditch. Amer.J.math, 122(2):235–273, 2000

work page 2000

[12] [12]

Birkhäuser Verlag, Basel, 2007

Xiaonan Ma and George Marinescu.Holomorphic Morse inequalities and Bergman kernels, volume 254 ofProgress in Mathematics. Birkhäuser Verlag, Basel, 2007

work page 2007

[13] [13]

Hejhal, The Selberg trace formula forP SL(2, R), Volume I.Springer Berlin, Heidelberg, 1978

SJPatterson.Dennis A. Hejhal, The Selberg trace formula forP SL(2, R), Volume I.Springer Berlin, Heidelberg, 1978

work page 1978

[14] [14]

Analytic Bergman operators in the semiclassical limit.Duke Mathematical Journal, 169(16):3033 – 3097, 2020

Ophélie Rouby, Johannes Sjöstrand, and San Vu Ngoc. Analytic Bergman operators in the semiclassical limit.Duke Mathematical Journal, 169(16):3033 – 3097, 2020

work page 2020

[15] [15]

Convergence of random zeros on complex manifolds.Science in China Series A: Mathematics, 51(4):707–720, Apr 2008

Bernard Shiffman. Convergence of random zeros on complex manifolds.Science in China Series A: Mathematics, 51(4):707–720, Apr 2008

work page 2008

[16] [16]

Asymptotics of almost holomorphic sections of ample line bundles on symplectic manifolds.J

Bernard Shiffman and Steve Zelditch. Asymptotics of almost holomorphic sections of ample line bundles on symplectic manifolds.J. Reine Angew. Math., 544:181–222, 2002

work page 2002

[17] [17]

The density at infinity of a discrete group of hyperbolic motions.Publications Mathématiques de l’Institut des Hautes Études Scientifiques, 50(1):171–202, Dec 1979

Dennis Sullivan. The density at infinity of a discrete group of hyperbolic motions.Publications Mathématiques de l’Institut des Hautes Études Scientifiques, 50(1):171–202, Dec 1979

work page 1979

[18] [18]

Estimations of the Bergman kernel of the punctured disk

Jingzhou Sun. Estimations of the bergman kernel of the punctured disk.arXiv preprint arXiv:1706.01018, 2017

work page internal anchor Pith review Pith/arXiv arXiv 2017

[19] [19]

Bergman kernels of the Cheng-Yau metrics on quasi-projective manifolds

Jingzhou Sun. Bergman kernels of the Cheng-Yau metrics on quasi-projective manifolds. arxiv, arXiv:2407.07483, 2024

work page arXiv 2024

[20] [20]

Projective embedding of stably degenerating sequences of hyperbolic Riemann surfaces.Analysis & PDE, 17(6):1871–1886, 2024

Jingzhou Sun. Projective embedding of stably degenerating sequences of hyperbolic Riemann surfaces.Analysis & PDE, 17(6):1871–1886, 2024

work page 2024

[21] [21]

On a set of polarized Kähler metrics on algebraic manifolds.Journal of Differ- ential Geometry, 32(1990):99–130, 1990

Gang Tian. On a set of polarized Kähler metrics on algebraic manifolds.Journal of Differ- ential Geometry, 32(1990):99–130, 1990

work page 1990

[22] [22]

Szego kernels and a theorem of Tian.International Mathematics Research Notices, 6(6):317–331, 2000

Steve Zelditch. Szego kernels and a theorem of Tian.International Mathematics Research Notices, 6(6):317–331, 2000. Department of Mathematics, Shantou University, Shantou City, Guangdong Province 515063, China Email address:jzsun@stu.edu.cn

work page 2000