{"id":"b13eeccb-d720-48dd-8165-e855f8989ded","arxiv_id":"2506.05863","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The quotient of the Kodaira pullback Fubini-Study form by the Poincaré form near the punctures is O(p^3) as the tensor power p tends to infinity.","lead":"This paper proves a uniform bound on how fast the Fubini-Study metrics coming from Kodaira embeddings of high tensor powers can blow up near the punctures of a Riemann surface compared with the Poincaré metric: the quotient grows at most like p^3. The same bound applies to the Bergman metrics built from cusp forms on Fuchsian group quotients.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2.2's proof is invalid as written: (2.35) is far too weak, so the exponential smallness of I2, I3, I4 on which Theorem 1.2 rests is not established.","rationale":"The reader's identified weakest point, the imported localization (1.7), is a legitimate caveat but it concerns a theorem cited from [5], not a step the manuscript purports to prove in detail. The more concrete and load-bearing issue is the proof of Lemma 2.2, which the manuscript includes for completeness and which is used directly to make I2, I3, I4 exponentially small. Equations (2.41), (2.48), and (2.54) are the only mechanism for discarding these terms; if Lemma 2.2's proof is not repaired, the reduction to the I1 term in (2.12) is unsupported. I do not believe the main theorem is false: Lemma 2.2 is quoted from the published [5], and the rest of the argument is coherent. However, the version under review presents a proof that cannot be verified as written, so the appropriate disposition is conditional acceptance: the authors should either correct the derivation of (2.37) or explicitly state that Lemma 2.2 is imported from [5] and omit the defective proof. This is why I partially agree with the reader: we both flag the reliance on imported Bergman-kernel estimates, but the sharpest place where the current text breaks down is the internal proof of Lemma 2.2, not the original localization (1.7).","tokens_in":13237,"tokens_out":24227,"duration_ms":230505,"concrete_test":"Re-derive Lemma 2.2 directly from the explicit coefficients (2.2), without using (2.35): for |z| ≤ c' p^{-A'}, estimate the sums in (2.39)-(2.40) and the analogous l-side, and check whether the claimed bound C p^{-1/2} 2^{-α'p} β_p^{D*}(z)^{1/2} holds with a uniform constant. If the corrected derivation produces only a weaker decay rate (for example e^{-εp} instead of 2^{-α'p}), recompute (2.13) for j=2,3,4; if the exponential decay of these tail contributions is lost, then the O(p³) conclusion in Theorem 1.2 is not supported. This single check isolates whether the gap in (2.35)→(2.37) is merely typographical or substantive.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof of Theorem 1.2 requires the tail terms I2, I3, I4 in (2.12) to be O(p^{-∞}); this is obtained through Lemma 2.2 (quoted as [5, (3.60)]) in (2.41), (2.48), and (2.54). The paper attempts a self-contained proof of Lemma 2.2, but that proof has a gap. The displayed equality writes the left side of (2.32) as (|z|/2r) times the bracket [ (|z|/2r)^{2(δ_p-τ)/p} / |log(|2r|²)| ]^{p/2}. Equation (2.35) bounds that bracket by 2^{-2α'} e^p. Raising to the power p/2 gives a factor 2^{-α'p} e^{p²/2}. The remaining factors cannot absorb this: Stirling contributes at most e^{O(p)}, and in the region |z| ≤ c' p^{-A'}, β_p^{D*}(z)^{1/2} is bounded by e^{O(p log p)}, certainly not e^{p²/2}. Thus the claimed bound (2.37), with its C p^{-1/2} 2^{-α'p} β^{1/2} factor, does not follow from (2.35) as written. Since j=2,3,4 estimates are essential to reduce (2.12) to the I1 term and obtain O(p³), the proof of Theorem 1.2 is incomplete in the printed form. The underlying lemma is cited from the published [5], so the theorem may well be true; but the argument as presented needs a corrected proof or an explicit reliance on [5] without the faulty derivation.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":13574,"tokens_out":29129,"duration_ms":271360,"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":[{"comment":"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.","section":"§2.2, Lemma 2.2 (proof of (2.35)–(2.37))"}],"minor_comments":[{"comment":"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.","section":"§1, equation (1.7)"},{"comment":"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.","section":"§2.1, proof of (2.14a)"},{"comment":"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).","section":"§2.2, equation (2.31)"},{"comment":"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].","section":"§1, Remark 1.5"}],"recommendation":"major_revision","confidential_remarks":"The paper is a concise application of the prior estimates of [4,5], with overlapping authorship; the new contribution is the explicit model calculation yielding O(p^3). The main technical problem is the flawed 'for completeness' proof of Lemma 2.2. If the authors either correct the proof using the sharp asymptotic δ_p-τ ≈ 2α'p, or simply cite [5] for Lemma 2.2 and delete the faulty derivation, the paper should be acceptable after a moderate revision. The criticism of [1,2] appears relevant but would benefit from being substantiated in more detail."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe 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.\n\nThe 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.\n\nThe 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.\n\nWho 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.\n\nRecommendation: 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).","headline":"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.","tokens_in":14166,"tokens_out":7440,"would_cite":false,"duration_ms":62259,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32A25","32L10","32Q15","30F35"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Fubini-Study form","Kodaira map","punctured Riemann surface","Bergman kernel","Poincaré metric","cusp forms","Bergman metric","asymptotic expansion"],"falsifier":"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.","tokens_in":12997,"feed_emoji":"📐","tokens_out":6555,"duration_ms":74684,"temperature":0.7,"pith_summary":"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.","feed_headline":"Fubini–Study forms near cusps grow at most p^3","feed_subtitle":"Kodaira maps of high tensor powers give metrics whose ratio to the Poincaré metric stays polynomial near punctures.","key_machinery":"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}$).","core_discovery":"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}$).","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the starting expansion (1.7), the explicit model Bergman kernel coefficients, and the exponential decay estimates used to control the high-degree sums.","marker":"[5]"},{"why":"Provides the C^m weighted approximation of the model Bergman kernel near the puncture, used with m=0,1,2, and the cusp-form setup behind Corollary 1.3.","marker":"[4]"},{"why":"Gives the standard identity expressing (1/p)J^*_{p,(2)} omega_FS,p as i R_L/(2 pi) plus a logarithmic derivative of the Bergman kernel, plus background Bergman-kernel theory.","marker":"[13]"},{"why":"Supplies the orbifold Bergman-kernel asymptotics invoked in Remark 1.4 to extend Corollary 1.3 to Fuchsian groups with elliptic elements.","marker":"[7]"}],"fun_headline_variants":["Fubini–Study forms near cusps grow no faster than p^3","Cubic bound for Fubini–Study metrics near punctures","Kodaira maps yield Fubini–Study forms with O(p^3) growth","Near cusps, Fubini–Study forms stay within O(p^3) of Poincaré","Fubini–Study forms at cusps blow up at most cubically in p"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Fubini–Study forms near cusps grow no faster than p^3","Cubic bound for Fubini–Study metrics near punctures","Kodaira maps yield Fubini–Study forms with O(p^3) growth","Near cusps, Fubini–Study forms stay within O(p^3) of Poincaré","Fubini–Study forms at cusps blow up at most cubically in p"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000682,"raw_usage":{"total_tokens":3064,"prompt_tokens":878,"completion_tokens":2186,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":494,"completion_tokens_details":{"reasoning_tokens":2072}},"tokens_in":494,"tokens_out":2186,"duration_ms":16600,"temperature":1.0,"reasoning_tokens":2072,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T10:14:23.555527+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Auvray, X","cited_arxiv_id":null,"evidence_quote":"Supplies the starting expansion (1.7), the explicit model Bergman kernel coefficients, and the exponential decay estimates used to control the high-degree sums."},{"cited_title":"Auvray, X","cited_arxiv_id":null,"evidence_quote":"Provides the C^m weighted approximation of the model Bergman kernel near the puncture, used with m=0,1,2, and the cusp-form setup behind Corollary 1.3."},{"cited_title":"Ma and G","cited_arxiv_id":null,"evidence_quote":"Gives the standard identity expressing (1/p)J^*_{p,(2)} omega_FS,p as i R_L/(2 pi) plus a logarithmic derivative of the Bergman kernel, plus background Bergman-kernel theory."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the orbifold Bergman-kernel asymptotics invoked in Remark 1.4 to extend Corollary 1.3 to Fuchsian groups with elliptic elements."}],"review_version":1}