Fubini-Study forms on punctured Riemann surfaces

Lei Wang; Razvan Apredoaei; Xiaonan Ma

REVIEW 1 major objections 4 minor 18 references

Fubini-Study forms on punctured Riemann surfaces

T0 review · 1 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The quotient of Kodaira-induced Fubini–Study forms by the Poincaré form on punctured Riemann surfaces is O(p^3) as p tends to infinity.

desk verdict A useful O(p^3) bound for Fubini-Study forms near punctures, but the self-contained proof of Lemma 2.2 has a load-bearing gap: (2.35) is too weak by e^{p^2/2} to yield exponential decay for I2, I3, I4. read the letter →

arxiv 2506.05863 v2 pith:CY6XPQAO submitted 2025-06-06 math.CV math.DG

Razvan Apredoaei , Xiaonan Ma , Lei Wang This is my paper

classification math.CVmath.DG MSC 32A2532L1032Q1530F35

keywords Fubini-StudyformKodairamappuncturedRiemannsurfaceBergmankernelPoincarémetriccuspformsasymptoticexpansion

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that, on a punctured Riemann surface whose Hermitian metric coincides with the Poincaré metric near the punctures, the Fubini–Study forms induced by Kodaira maps of high tensor powers of a polarizing line bundle grow at most polynomially compared with the Poincaré form. Concretely, Theorem 1.2 states that the sup-norm of the quotient is O($p^{3}$) uniformly on a neighborhood of the punctures as the tensor power p tends to infinity. This matters because it controls the geometry of the induced metrics near the cusp-like singularities, where the Bergman kernel vanishes and naive lower bounds fail. As a direct application, the paper bounds the Bergman metric built from cusp forms on a finite-volume hyperbolic Riemann surface by O($p^{3}$) times the hyperbolic metric.

What carries the argument

The load-bearing object is the explicit Bergman kernel of the Poincaré model on the punctured unit disc, $B_p^{{D*}}$(z) = |log(|z|^2)|^p $beta_p^{{D*}}$(z), where $beta_p^{{D*}}$(z) = sum_{l>=1} ($c_l^{{(p)}}$)^2 |z|^{2l} and $c_l^{{(p)}}$ = ($l^{{p-1}}$/(2 pi (p-2)!))^{1/2}. The argument writes the Fubini–Study quotient as (log|z|^2)^2/(2 pi p) times I/($beta_p^{{D*}}$(z))^2, where I is a double sum over indices l, m, and splits I = I_1 + I_2 + I_3 + I_4 according to whether the indices lie below or above the cutoff delta_p = floor((p-2)/(2|log r|)). The work of the machinery is to show I_2, I_3, I_4 are O($p^{{-infty}}$) and that I_1 is O($p^{{-infty}}$) very close to the puncture and O($p^{4}$) on the annulus $e^{{-p}}$ < |z| < b $e^{{-p gamma}}$, which after division by p gives the stated O($p^{3}$).

What would settle it

Evaluate the explicit model expression (2.12) with $c_l^{{(p)}}$ = ($l^{{p-1}}$/(2 pi (p-2)!))^{1/2} at points such as z = $e^{{-p}}$ and z = b $e^{{-p gamma}}$ for increasing p; if the sup over 0 < |z| < b $e^{{-p gamma}}$ of the quotient exceeds C $p^{{3+epsilon}}$ for any epsilon > 0, then the claimed O($p^{3}$) bound is false. A second check is to test directly whether the remainder in the imported expansion (1.7) is genuinely O($p^{{-infty}}$) uniformly on the neighborhood of the puncture, since that is the premise on which the reduction to the model depends.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: if the Hermitian line bundle (L, h) satisfies the two conditions that h is locally |log(|z|^2)| in a trivialization near each puncture and the curvature iR_L equals the Poincaré form there, then sup_{z in V_1 cup ... cup V_N} |J*_{p,(2)} omega_FS,p(z) / (p omega_D*(z))| = O($p^{3}$) as p -> +infty. The proof works on the punctured unit disc model and starts from the known expansion (1.7), which identifies the pulled-back Fubini–Study form with the Poincaré form plus a logarithmic derivative of the model Bergman kernel, up to O($p^{{-infty}}$). The main difficulty is that the model Bergman kernel $B_p^{{D*}}$(z) vanishes at z=0, so the quotient has a delicate cancellation; the paper resolves this by writing the model kernel explicitly as a power series and splitting the resulting double sum into low-degree and high-degree parts, showing that only the low-degree part contributes, and that it contributes at most O($p^{4}$) before the division by p, yielding O($p^{3}$).

Load-bearing premise

The proof rests on the imported uniform expansion (1.7), which says the pulled-back Fubini–Study form equals the Poincaré model plus (i/(2 pi p)) partial partial-bar log $B_p^{{D*}}$ with an O($p^{{-infty}}$) remainder uniformly up to the puncture; if that localization loses logarithmic or weak polynomial factors near the puncture, the O($p^{3}$) conclusion would need reworking.

Editorial extensions

If this is right

If the central claim is correct, the Fubini–Study metrics induced by Kodaira maps at level p grow at most polynomially, with exponent three, relative to the Poincaré metric in a full neighborhood of every puncture.
Corollary 1.3 follows: for a geometrically finite Fuchsian group of the first kind without elliptic elements, the Bergman metric built from weight-2p cusp forms satisfies sup_{Sigma} |omega^{Ber,p}_Sigma / (p omega_Sigma)| = O(p^3).
On the compact part of the surface, the same quotient is actually close to 1/(2 pi) up to O(p^{-infty}), so the polynomial growth is a purely cusp-local phenomenon concentrated in the annulus e^{-p} < |z| < b e^{-p gamma}.
The paper's Remark 1.4 extends the cusp-form corollary to Fuchsian groups with elliptic elements, where the orbifold points admit the stronger bound O(1) near those points by known Bergman-kernel results.
The result also confirms that the Kodaira maps embed the punctured surface for large p, since the Bergman kernel expansion and the Fubini–Study quotient remain under uniform control.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Beyond the paper: the exponent 3 likely is not optimal; the proof's crude bound |log|z|^2| <= 2 sqrt(p) on the annulus is what turns a p^2 estimate into p^4, so sharper estimates of the low-degree sum I_1 could lower the exponent, and the explicit model formula makes this testable numerically.
Beyond the paper: because the obstruction is the vanishing of the model Bergman kernel at the puncture, the same mechanism should appear for ball quotients and higher-dimensional cusp singularities whenever an explicit model kernel with flat-metric-type coefficients is available, so the strategy may transfer to the incomplete higher-dimensional claims mentioned in the introduction.
Beyond the paper: the O(p^{-infty}) decay of the high-degree sums I_2, I_3, I_4 means the asymptotics are governed entirely by modes with index l of order p; choosing a different cutoff delta_p ~ c p^alpha could trade exponents between the remainder estimates and the low-degree term, offering a concrete route toward a sharper bound.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Dear colleague,

The headline: the paper proves a new O(p^3) quotient bound for induced Fubini-Study forms over the Poincaré form near punctures, with an application to cusp-form Bergman metrics. This is a genuine extension of the Bergman kernel program of Auvray–Ma–Marinescu, and the paper is honest that O(p^3) is weak compared with the conjectured O(1) bounds. Lemma 2.1, the new estimate in the oscillatory annulus near |z| = e^{-p}, is a real technical contribution; the reduction to the model punctured disc is clean.

The soft spot is serious. The proof of Lemma 2.2, which is supposed to make the tail terms I2, I3, I4 exponentially small, is invalid as written. Equation (2.35) bounds the key bracket by 2^{-2alpha'} e^p. Raising to the power p/2 gives e^{p^2/2}, and no factor in (2.37) can absorb that: beta_p^{1/2} contributes at most e^{O(p log p)}, Stirling contributes e^{O(p)}, and the remaining constants are irrelevant. The claimed 2^{-alpha' p} decay does not follow. Since Lemma 2.2 is the step that kills I2, I3, I4, the proof of Theorem 1.2 is incomplete in the printed form. The lemma itself is quoted from [5, (3.60)], so the theorem may well be true, but the self-contained proof is broken.

The rest of the proof, including the I1 estimate and the gluing step, checks out. The paper is clearly written, the citations are appropriate, and the remarks about incomplete proofs in [1] and [2] appear fair. Using [5] is fine, including the fact that a co-author is involved, because [5] is published and independent.

Who this is for: people working on Bergman kernel asymptotics on singular spaces, sup-norm estimates for automorphic forms, and the stability program for complete Kähler metrics. They will get use out of the main result once the gap is fixed.

Recommendation: send it to a serious referee. The core result is likely correct, the algebra is explicit and reproducible, and the flaw is reparable. But the referee should be told to look hard at (2.32)–(2.37).

Referee Report

1 major / 4 minor

Summary. This paper studies the asymptotic behaviour of the Fubini–Study forms induced by Kodaira maps for high tensor powers of a singular Hermitian line bundle over a punctured Riemann surface, under the assumption that the metric is Poincaré near the punctures. The main result, Theorem 1.2, asserts that the quotient of the pulled-back Fubini–Study form by p times the Poincaré form is O(p^3) uniformly on a neighbourhood of the punctures. The proof uses the localization (1.7) from [5], then reduces the problem to a model calculation on the punctured disc. The model Bergman kernel is written as |log|z|^2|^p β_p^{D*}(z), and the proof splits the resulting double sum into I_1,...,I_4; the tail terms I_2,I_3,I_4 are claimed to be O(p^{-∞}) and the main term I_1 is bounded by O(p^4) before the division by p. Corollary 1.3 transfers the bound to the Bergman metric of cusp forms on Γ\H.

Significance. If the proof is completed, Theorem 1.2 gives a clean uniform polynomial bound for the growth of Fubini–Study metrics near Poincaré-type singularities, and Corollary 1.3 gives an O(p^3) bound for cusp-form Bergman metrics that the authors compare with incomplete arguments in [1,2]. The paper is transparent about its reliance on the deep estimates of [4,5] and about the source of the difficulty, namely the vanishing of the model Bergman kernel at the puncture. The model calculation in Section 2.2 is elementary and explicit, which is a strength. The main weakness is the flawed proof of Lemma 2.2, which is nevertheless a quoted result from [5]; hence the central claim is defensible.

major comments (1)

[§2.2, Lemma 2.2 (proof of (2.35)–(2.37))] The proof of Lemma 2.2 is not valid as written. In (2.35) the bracket is bounded by 2^{-2α'} e^p; raising this to the power p/2 in (2.37) produces a factor e^{p^2/2}, which cannot be absorbed by the remaining factors. More seriously, even replacing (2.35) by the natural bound O(2^{-2α'} p^{-1}) does not suffice: it gives bracket^{p/2} ≤ 2^{-α'p} e^{-(p/2)\log p + O(p)}, and using |z| ≤ β^{1/2}/c_1^{(p)} with c_1^{(p)-1} ≈ e^{O(p\log p)} leaves a factor e^{O(p)}, not p^{-1/2}. The actual reason Lemma 2.2 holds is that δ_p-τ is approximately 2α'p, so the exponent in the bracket is approximately 4α', yielding a factor p^{-p} after raising to p/2. The manuscript records only the much weaker inequality α'p ≤ δ_p-τ in (2.34). Consequently (2.37), and hence the estimates (2.41), (2.48), and (2.54) for I_2, I_3, I_4, are not justified by the displayed proof. Since Lemma 2.2 is quoted from [5, (3.60)], the authors can repair this by either supplying a correct proof using the sharp asymptotic δ_p-τ ≈ 2α'p, or by removing the attempted proof and relying explicitly on the published lemma.

minor comments (4)

[§1, equation (1.7)] Please state explicitly the norm in which the O(p^{-∞}) remainder in (1.7) is measured. The transition to (2.4) divides by ω_D* on the punctured neighborhood, so the remainder must be controlled relative to the Poincaré form; otherwise the quotient could pick up a logarithmic blow-up near the puncture.
[§2.1, proof of (2.14a)] The inclusion ]0,2e^{-p}[ ⊂ ]0,e^{-2}[ used to bound the functions f and g holds only for p sufficiently large; the argument should explicitly say that it is applied for p large enough.
[§2.2, equation (2.31)] The constant C in (2.31) depends on the radius r from (1.3), and it would be clearer to write C_r; the same remark applies to the constants C', C'', C''' in (2.41)–(2.56).
[§1, Remark 1.5] The comparison with [1,2] is interesting, but since the paper asserts that their proofs are incomplete, it would be more useful to pinpoint the specific step that fails, rather than only referring to [4, Corollary 3.6].

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 1.2 rests on external Bergman-kernel estimates and explicit model calculations, not on a self-defined prediction.

full rationale

The paper's derivation chain is not circular. The starting identity (1.7), describing the pulled-back Fubini-Study form as the Poincare form plus a log-Bergman-kernel correction, is imported from the published paper [5, Theorem 4.1] by Auvray-Ma-Marinescu. Although the present paper shares authors with [5], that cited theorem is an external, falsifiable estimate with explicit hypotheses (alpha) and (beta); it does not assume or encode the target bound O(p^3). The main new content, Lemma 2.1, is a direct estimate on the explicit model Bergman kernel (2.1)-(2.2); its proof uses series manipulations and does not fit parameters or define the desired quotient in terms of the conclusion. Lemma 2.2 is quoted from [5, (3.60)] and a self-contained proof is attempted. The printed proof of Lemma 2.2 appears to contain a gap: (2.35) gives a factor 2^{-2 alpha'} e^p inside a bracket, and raising it to the power p/2 yields 2^{-alpha' p} e^{p^2/2}, which the surrounding factors in (2.37) do not absorb. This is a correctness concern about the self-contained argument, not a circularity: the estimate is still cited from a published external source, and the circularity definitions require the reduction of a result to its own inputs. Similarly, the self-citations to [4] and [5] are load-bearing but are not circular, because they are prior published theorems with stated assumptions that do not include Theorem 1.2. No fitted input is renamed as a prediction, no uniqueness claim is imported, and Corollary 1.3 follows from Theorem 1.2 through the standard identification (2.60). Therefore the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no new entities or fitted parameters. Its conclusion rests on the exact local model conditions (alpha),(beta) and on published Bergman kernel expansion and tail estimates from [4,5].

assumptions (5)

domain assumption Conditions (alpha) and (beta): near each puncture the Hermitian metric h satisfies |1|_h^2 = |log|z|^2| and the curvature iR_L equals omega_Sigma, with omega_Sigma = omega_{D*} in local coordinates.
This is the geometric setting introduced after (alpha),(beta) in Section 1; it makes the data near the puncture exactly the Poincaré model used in the proof.
domain assumption Uniform O(p^{-infty}) localization (1.7) and (1.4) from [5, Theorems 1.2, 1.3 and 4.1]: the pulled-back Fubini-Study form differs from the model plus (i/2 pi p) partial partial bar log B_p^{D*} by O(p^{-infty}) uniformly near singularities.
The proof starts from (1.7); without this uniform estimate the reduction to the punctured disc fails.
domain assumption Explicit Bergman kernel formula (2.1)-(2.2) for the Poincaré model: B_p^{D*} = |log|z|^2|^p beta_p with beta_p = sum_l (c_l^{(p)})^2 |z|^{2l} and c_l^{(p)} = (l^{p-1}/(2 pi (p-2)!))^{1/2}, from [5, (2.6),(2.7)].
Used in (2.8) and throughout Lemma 2.1; accepted from [5].
domain assumption Approximation of B_p^{D*} away from the exponentially small annulus, (2.3) from [4, Proposition 3.3]: on {b e^{-p gamma} <= |z| < 1}, B_p^{D*} = (p-1)/(2 pi) + O(e^{-epsilon p^{1-2 gamma}}) in C^m norm.
Used to control the region away from the puncture and to obtain the O(p^{-infty}) bound in (2.6).
standard math Standard analytic facts: Stirling formula, geometric series tail estimates, and boundedness of x^k (log x^2)^2 near 0.
Used in Section 2.2; no special geometric assumption is involved.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Fubini-Study forms on punctured Riemann surfaces." pith.science (2026). https://pith.science/paper/CY6XPQAO

@misc{pith2026250605863,
  author       = {Pith},
  title        = {Pith review of: Fubini-Study forms on punctured Riemann surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CY6XPQAO}},
  note         = {Machine review of arXiv:2506.05863}
}

read the original abstract

In this paper we consider a punctured Riemann surface endowed with a Hermitian metric that equals the Poincar\'e metric near the punctures, and a holomorphic line bundle that polarizes the metric. We show that the quotient of the induced Fubini-Study forms by Kodaira maps of high tensor powers of the line bundle and the Poincar\'e form near the singularity grows polynomially uniformly on a neighborhood of the singularity as the tensor power tends to infinity, as an application of the method in [5].

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

18 extracted references · 17 canonical work pages

[1]

Estimates of automorphic forms on $\mathrm{SU}(n,1)$

A. Aryasomayajula, and B. Balasubramanyam,Estimates of automorphic forms on SU(n,1), arXiv:2406.07639

work page Pith review arXiv
[2]

Aryasomayajula and A

A. Aryasomayajula and A. Mukherjee,Estimates of Kähler metrics on noncompact finite volume hyperbolic Riemann surfaces, and their symmetric products, Ann. Global Anal. Geom.66(2024), no.3, Paper No.11, 16pp. 13

work page 2024
[5]

Auvray, X

H. Auvray, X. Ma, and G. Marinescu,Quotient of Bergman kernels on punctured Riemann surfaces, Math. Z.301(2022), 2339-2367

work page 2022
[3]

Auvray, X

H. Auvray, X. Ma and G. Marinescu,Bergman kernels on punctured Riemann surfaces. C.R.Math.Acad.Sci.Paris354(2016), no. 10, 1018-1022

work page 2016
[4]

Auvray, X

H. Auvray, X. Ma and G. Marinescu,Bergman kernels on punctured Riemann surfaces, Math. Ann.379(2021), no.3-4, 951-1002

work page 2021
[6]

Catlin,The Bergman kernel and a theorem of Tian

D. Catlin,The Bergman kernel and a theorem of Tian. In: Analysis and Geometry in Several Complex Variables (Katata, 1997), Trends in Mathematics, pp. 1-23. Birkhäuser, Boston (1999)

work page 1999
[7]

X. Dai, K. Liu, X. Ma,On the asymptotic expansion of Bergman kernel, J. Differ. Geom. 72(2006), 1-41

work page 2006
[8]

S. K. Donaldson,Scalar curvature and projective embeddings. I, J. Differ. Geom.59(2001), 479-522

work page 2001

Show all 18 references

[9]

Finski,Semiclassical Ohsawa-Takegoshi extension theorem and asymptotics of the or- thogonal Bergman kernel

S. Finski,Semiclassical Ohsawa-Takegoshi extension theorem and asymptotics of the or- thogonal Bergman kernel. J. Differential Geom.128(2024), 639-721

2024
[10]

J. S. Friedman, J. Jorgenson and J. Kramer,Uniform sup-norm bounds on average for cusp forms of higher weights, Arbeitstagung Bonn 2013, 127–154, Progr. Math., 319, Birkhäuser/Springer, 2016

2013
[11]

Jorgenson and J

J. Jorgenson and J. Kramer,Bounding the sup-norm of automorphic forms, Geom. Funct. Anal.14(2004), 1267–1277

2004
[12]

Li and X

J. Li and X. Wang,Hilbert-Mumford criterion for nodal curves, Compo. Math.,151(2015), 2076-2130

2015
[13]

Ma and G

X. Ma and G. Marinescu,Holomorphic Morse Inequalities and Bergman Kernels, Progress in Mathematics, 254. Birkhäuser Verlag, Basel (2007), 420pp

2007
[14]

Ma and G

X. Ma and G. Marinescu,Generalized Bergman kernels on symplectic manifolds, Adv. Math.217(2008), no. 4, 1756-1815

2008
[15]

Michel and E

P. Michel and E. Ullmo,Points de petite hauteur sur les courbes modulairesX0(N), Invent. Math.131(1998), 645–674

1998
[16]

Székelyhidi,Extremal metrics and K-stability(PhD thesis)

G. Székelyhidi,Extremal metrics and K-stability(PhD thesis). arXiv:math/0611002

arXiv
[17]

Tian,On a set of polarized Kähler metrics on algebraic manifolds, J

G. Tian,On a set of polarized Kähler metrics on algebraic manifolds, J. Differ. Geom.32 (1990), 99-130

1990
[18]

Zelditch,Szegö kernels and a theorem of Tian, Int

S. Zelditch,Szegö kernels and a theorem of Tian, Int. Math. Res. Not.6(1998), 317-331. 14

1998

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Estimates of automorphic forms on $\mathrm{SU}(n,1)$

A. Aryasomayajula, and B. Balasubramanyam,Estimates of automorphic forms on SU(n,1), arXiv:2406.07639

work page Pith review arXiv

[2] [2]

Aryasomayajula and A

A. Aryasomayajula and A. Mukherjee,Estimates of Kähler metrics on noncompact finite volume hyperbolic Riemann surfaces, and their symmetric products, Ann. Global Anal. Geom.66(2024), no.3, Paper No.11, 16pp. 13

work page 2024

[3] [5]

Auvray, X

H. Auvray, X. Ma, and G. Marinescu,Quotient of Bergman kernels on punctured Riemann surfaces, Math. Z.301(2022), 2339-2367

work page 2022

[4] [3]

Auvray, X

H. Auvray, X. Ma and G. Marinescu,Bergman kernels on punctured Riemann surfaces. C.R.Math.Acad.Sci.Paris354(2016), no. 10, 1018-1022

work page 2016

[5] [4]

Auvray, X

H. Auvray, X. Ma and G. Marinescu,Bergman kernels on punctured Riemann surfaces, Math. Ann.379(2021), no.3-4, 951-1002

work page 2021

[6] [6]

Catlin,The Bergman kernel and a theorem of Tian

D. Catlin,The Bergman kernel and a theorem of Tian. In: Analysis and Geometry in Several Complex Variables (Katata, 1997), Trends in Mathematics, pp. 1-23. Birkhäuser, Boston (1999)

work page 1999

[7] [7]

X. Dai, K. Liu, X. Ma,On the asymptotic expansion of Bergman kernel, J. Differ. Geom. 72(2006), 1-41

work page 2006

[8] [8]

S. K. Donaldson,Scalar curvature and projective embeddings. I, J. Differ. Geom.59(2001), 479-522

work page 2001