REVIEW 1 major objections
Asymptotic Normality of Divisors of Random Holomorphic Sections on Non-compact Complex Manifolds
T0 review · 1 major / 0 minor · reviewed 2026-05-23 · grok-4.3
Pith's one-line read Zero divisors of random holomorphic sections obey a central limit theorem on non-compact manifolds
desk verdict Extends CLT for zero divisors of random sections to non-compact manifolds but leaves the Hilbert space setup under-specified. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central limit theorem for smooth linear statistics of zero divisors, carried by the Gaussian measure induced by the Hermitian metric and line bundle structure.
What would settle it
An explicit non-compact example, such as the complex plane with the standard metric and a suitable line bundle, where the distribution of a smooth linear statistic of the zeros fails to converge to a normal law.
Extended reading notes
Core claim
We prove a central limit theorem for smooth linear statistics related to the zero divisors of Gaussian i.i.d. centered holomorphic sections of tensor powers of a Hermitian holomorphic line bundle over a non-compact Hermitian manifold.
Load-bearing premise
The Hermitian metric on the manifold and the Hermitian structure on the line bundle must still produce a well-behaved Gaussian measure on the space of holomorphic sections even though the manifold is non-compact.
Editorial extensions
If this is right
- The number of zeros in a fixed region becomes asymptotically normal as the tensor power tends to infinity.
- The mean and variance of the linear statistics admit explicit geometric expressions in the large-power limit.
- The result applies directly to standard non-compact examples such as Euclidean space or hyperbolic space.
- Higher moments or joint distributions of zeros in disjoint regions become accessible through the same Gaussian framework.
Reading between the lines
- The same normality may hold for random sections on Stein manifolds once a suitable Hermitian structure is chosen.
- The variance formula could be used to compare zero distributions across different non-compact geometries.
- Numerical sampling of sections on bounded domains approximating the non-compact case would provide a direct test of the predicted variance growth.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves a central limit theorem for smooth linear statistics of the zero divisors of i.i.d. centered Gaussian holomorphic sections of L^k, where L is a Hermitian holomorphic line bundle over a non-compact Hermitian complex manifold M.
Significance. If the result holds under the stated hypotheses, it extends existing CLTs for random holomorphic sections from the compact to the non-compact setting. This is a direct proof of a new limit theorem with no reduction to fitted parameters or self-referential constructions, which strengthens its value for probabilistic complex geometry.
major comments (1)
- [Introduction / Setup of the Gaussian measure] The central claim presupposes a well-defined centered Gaussian probability measure on H^0(M, L^k) ∩ L^2(M, h^k). On non-compact M this requires the L^2 inner product to yield a separable Hilbert space whose covariance operator is trace-class so that the random series converges in a topology making the zero current a well-defined random current. The abstract asserts that the Hermitian metric on M and the Hermitian structure on L are “sufficient,” but supplies no explicit hypotheses (completeness of the metric, lower curvature bounds, or volume-growth control at infinity) that would guarantee these properties. This assumption is load-bearing for the entire CLT and must be stated with verifiable conditions.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting the need for explicit hypotheses in the non-compact setting. We address the single major comment below and will incorporate the suggested clarifications in the revised manuscript.
read point-by-point responses
-
Referee: [Introduction / Setup of the Gaussian measure] The central claim presupposes a well-defined centered Gaussian probability measure on H^0(M, L^k) ∩ L^2(M, h^k). On non-compact M this requires the L^2 inner product to yield a separable Hilbert space whose covariance operator is trace-class so that the random series converges in a topology making the zero current a well-defined random current. The abstract asserts that the Hermitian metric on M and the Hermitian structure on L are “sufficient,” but supplies no explicit hypotheses (completeness of the metric, lower curvature bounds, or volume-growth control at infinity) that would guarantee these properties. This assumption is load-bearing for the entire CLT and must be stated with verifiable conditions.
Authors: We agree that the well-definedness of the centered Gaussian measure on the space of L^2 holomorphic sections requires explicit, verifiable conditions when M is non-compact. The current manuscript implicitly relies on the Hermitian metric and line bundle structure to ensure the relevant Hilbert space properties and trace-class covariance, but does not list them separately. In the revision we will add a dedicated paragraph (or subsection) in the setup section stating the standing assumptions: (i) completeness of the Hermitian metric on M, (ii) a uniform lower bound on the curvature form of L that guarantees the existence of a positive lower bound on the Bergman kernel diagonal, and (iii) controlled volume growth at infinity (e.g., polynomial or sub-exponential) sufficient for the covariance operator to be trace-class. Under these hypotheses the random series converges in the appropriate topology, the zero current is a well-defined random current, and the subsequent CLT proof proceeds unchanged. We will also include a short remark verifying that the stated conditions are satisfied by the standard examples (e.g., hyperbolic space, Stein manifolds with suitable metrics) already treated in the literature. revision: yes
Circularity Check
No circularity: direct proof of CLT from Gaussian section setup
full rationale
The paper claims a direct proof of a central limit theorem for smooth linear statistics of zero divisors of Gaussian i.i.d. centered holomorphic sections of L^k over a non-compact Hermitian manifold. The abstract and provided context describe this as a new limit theorem derived from the Hermitian structures defining the Gaussian measure, with no equations or steps reducing a prediction to a fitted input by construction, no self-definitional loops, and no load-bearing self-citations or ansatzes that collapse the result to its inputs. The derivation chain is self-contained against external benchmarks such as standard Gaussian process CLTs on Hilbert spaces, and the non-compact setting is handled by stated assumptions rather than tautological redefinition.
Assumptions & free parameters
Cite this review
Pith. "Pith review of Asymptotic Normality of Divisors of Random Holomorphic Sections on Non-compact Complex Manifolds." pith.science (2026). https://pith.science/paper/2501.04106
@misc{pith2026250104106,
author = {Pith},
title = {Pith review of: Asymptotic Normality of Divisors of Random Holomorphic Sections on Non-compact Complex Manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/2501.04106}},
note = {Machine review of arXiv:2501.04106}
}
read the original abstract
We prove a central limit theorem for smooth linear statistics related to the zero divisors of Gaussian i.i.d. centered holomorphic sections of tensor powers of a Hermitian holomorphic line bundle over a non-compact Hermitian manifold.
Reviewed May 23, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.