Random Systems of Holomorphic Sections of a Sequence of Line bundles on Compact K\"{a}hler Manifolds
Pith reviewed 2026-05-24 04:38 UTC · model grok-4.3
The pith
Asymptotic variance estimates for zeros of random holomorphic sections imply equidistribution to Kähler forms on compact manifolds.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a sequence of positive Hermitian holomorphic line bundles on a compact Kähler manifold (X, ω), the zero sets of random systems of holomorphic sections equidistribute so that their currents of integration converge weakly to ω^k for each codimension k between 1 and n.
What carries the argument
asymptotic variance estimate for smooth linear statistics associated with zero sets
Load-bearing premise
The probability measures on the sections are general enough that the variance estimate combines with the expected distribution to produce equidistribution.
What would settle it
A concrete counter-example on a specific compact Kähler manifold and sequence of line bundles, using one of the listed measures, where the zero currents fail to converge weakly to ω^k.
read the original abstract
This paper primarily establishes an asymptotic variance estimate for smooth linear statistics associated with zero sets of systems of random holomorphic sections in a sequence of positive Hermitian holomorphic line bundles on a compact K\"ahler manifold $(X, \omega)$ in a general non-Gaussian setting. Using this variance estimate and the expected distribution, we derive an equidistribution result for zeros of these random systems, which proves that the smooth positive closed form $\omega^{k}$ can be approximated by currents of integration along analytic subsets of $X$ of codimension $k$, $k \in \{1, \ldots, n\}$. The probability measures taken into consideration in this paper are sufficiently general to include a wide range of the measures commonly encountered in the literature, for which we give equidistribution results at the end, such as the standard Gaussian measure, Fubini-Study measure, the area measure of spheres, probability measures whose distributions have bounded densities with logarithmic decaying tails and locally moderate measures among others.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes an asymptotic variance estimate for smooth linear statistics associated with zero sets of systems of random holomorphic sections in a sequence of positive Hermitian holomorphic line bundles on a compact Kähler manifold (X, ω) in a general non-Gaussian setting. Using this variance estimate together with the expected distribution, it derives an equidistribution result showing that the smooth positive closed form ω^k can be approximated by currents of integration along analytic subsets of codimension k. The results are claimed to hold for a broad class of measures including the standard Gaussian, Fubini-Study, sphere area measures, bounded densities with logarithmic decaying tails, and locally moderate measures.
Significance. If the variance estimate holds with the stated generality and combines with the expectation to yield equidistribution without additional restrictions, the work would extend existing equidistribution theorems for random holomorphic sections beyond Gaussian cases, providing a unified treatment for several commonly used measures in the literature on random complex geometry.
major comments (2)
- [Abstract] Abstract: the claim that the variance estimate applies to the full list of measures (including those with only logarithmic decaying tails) and combines with the expected distribution to yield equidistribution lacks explicit statement of the uniform technical conditions (e.g., moment bounds, tail decay rates, or uniformity in the sequence of line bundles) under which both steps are proved simultaneously; without these, it is unclear whether the equidistribution conclusion holds for all listed families.
- [Abstract] The derivation of the asymptotic variance estimate (described in the abstract as the primary result) supplies no derivation steps, error controls, or precise hypotheses on the probability measures, which are load-bearing for the subsequent equidistribution claim.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting points that can improve the clarity of the abstract. We respond to the major comments below.
read point-by-point responses
-
Referee: [Abstract] Abstract: the claim that the variance estimate applies to the full list of measures (including those with only logarithmic decaying tails) and combines with the expected distribution to yield equidistribution lacks explicit statement of the uniform technical conditions (e.g., moment bounds, tail decay rates, or uniformity in the sequence of line bundles) under which both steps are proved simultaneously; without these, it is unclear whether the equidistribution conclusion holds for all listed families.
Authors: The abstract is a concise overview; the uniform technical conditions (moment bounds, tail decay rates, and uniformity in the sequence of line bundles) under which the variance estimate and equidistribution hold simultaneously for the listed families are stated explicitly in the hypotheses of Theorems 1.1–1.3 and in the definition of the admissible class of measures in Section 2. The equidistribution result is derived directly from the variance bound and the expectation under precisely these conditions. To improve readability we will revise the abstract to include a short clause referencing these hypotheses. revision: yes
-
Referee: [Abstract] The derivation of the asymptotic variance estimate (described in the abstract as the primary result) supplies no derivation steps, error controls, or precise hypotheses on the probability measures, which are load-bearing for the subsequent equidistribution claim.
Authors: Abstracts do not contain derivations or error estimates; those appear in full in Sections 3 and 4, where the variance asymptotic is proved with explicit error controls and the precise hypotheses on the measures. The abstract only summarizes the statement. We can add one sentence to the abstract indicating that the variance estimate is established under the assumptions detailed in the body of the paper. revision: partial
Circularity Check
No circularity: variance estimate derived independently then combined with expectation for equidistribution
full rationale
The abstract describes first establishing an asymptotic variance estimate for smooth linear statistics of zero sets of random holomorphic sections in a general non-Gaussian setting on the sequence of line bundles, then using that estimate together with the expected distribution (from curvature) to obtain the equidistribution of zero currents to ω^k. No equations, definitions, or steps are shown that reduce any prediction to a fitted quantity by construction, rename a known result, or load the central claim on a self-citation whose content is unverified. The listed measures (Gaussian, Fubini-Study, sphere area, bounded densities with log tails, locally moderate) are presented as examples covered by the general setting rather than as inputs that force the output. The derivation chain is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Positive Hermitian holomorphic line bundles on compact Kähler manifolds admit well-defined zero currents and expected distributions for random sections
- domain assumption The listed classes of probability measures (Gaussian, Fubini-Study, etc.) satisfy the technical conditions needed for the variance estimate to hold
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.1 variance bound Var⟨[bZ_Σkp], ϕ⟩ ≤ D_n (C_p)^{2/α} A_p^{-2} (B_ϕ Vol(X))^2 under (A)-(B),(C1)-(C2)
-
IndisputableMonolith/Foundation/DimensionForcing.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
diophantine approximation (A) lim A_p^{-1} c1(Lp,hp) = ω in C^0, yielding E[bZ] → ω^k
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.
Forward citations
Cited by 2 Pith papers
-
Zeros of random $P$-polynomials in $\mathbb{C}^d$ with exponential profiles
Normalized zero currents of random P-polynomials converge weakly to dd^c of the Legendre-Fenchel transform of the exponential profile over the convex body P.
-
Equidistribution for Random Polynomials and Systems of Random Holomorphic Sections
Equidistribution, variance, and expected distribution theorems are established for zeros of random polynomials with general coefficients and random holomorphic sections of line bundles on Kähler manifolds, generalizin...
Reference graph
Works this paper leans on
- [1]
-
[2]
T. Bayraktar, D. Coman, H. Herrmann, and G. Marinescu. A survey on zeros of random holomorphic sections. Dolomites Res. Notes Approx., 11(4):1–19, 2018
work page 2018
-
[3]
T. Bayraktar, D. Coman, and G. Marinescu. Universality results for zeros of random holomorphic sections.Trans. Amer. Math. Soc., 373(6): 3765-3791(DOI:10.1090/tran/7807), 2020
-
[4]
T. Bloom. Random polynomials and Green functions.Int. Math. Res. Not., (28):1689–1708, 2005
work page 2005
-
[5]
T. Bloom and B. Shiffman. Zeros of random polynomials onC m.Math. Res. Lett., 14(3):469–479, 2007
work page 2007
-
[6]
T. Bloom and N. Levenberg. Random Polynomials and Pluripotential-Theoretic Extremal Functions.Potential Anal., 42(2):311–334, 2015
work page 2015
-
[7]
T. Bloom and D. Dauvergne. Asymptotic zero distribution of random orthogonal polynomials.Ann. Probab., 47(5):3202–3230, 2019
work page 2019
- [8]
-
[9]
E. Bogomolny , O. Bohigas, P. Leboeuf. Quantum chaotic dynamics and random polynomials.Journal of Statistical Physics, 85:639–679, 1996
work page 1996
-
[10]
F. Bracci and S. Trapani.Notes on Pluripotential Theory. Rend. Mat. Appl. (7)27(2007), 197–264. Notes of the PhD course given in A.A. 2005/06
work page 2007
-
[11]
D. Coman and G. Marinescu. Equidistribution results for singular metrics on line bundles.Ann. Sci. Ec. Norm. Sup´er., 48(4):497—536, 2015
work page 2015
- [12]
- [13]
- [14]
-
[15]
J.-P. Demailly .Monge-Amp `ere operators, Lelong numbers and intersection theory.Complex analysis and geometry , Plenum, New York, 115–193, 1993
work page 1993
-
[16]
J.-P. Demailly .Complex analytic and differential geometry.http://www-fourier.ujf-grenoble.fr/ de- mailly/manuscripts/agbook.pdf, 2012
work page 2012
-
[17]
A. Drewitz, B. Liu, and G. Marinescu.Gaussian holomorphic sections on noncompact complex manifolds. arXiv:2302.08426, 2023
-
[18]
A. Drewitz, B. Liu and G. Marinescu. Large deviations for zeros of holomorphic sections on punctured Riemann surfaces.Michigan Math. J. Advance Publication, 1-41, 2023. DOI: 10.1307/mmj/20226253
-
[19]
T.-C. Dinh, G. Marinescu, and V.-A. Schmidt.Equidistribution results for zeros of holomorphic sections in non-compact complex manifolds. J. Stat. Phys., 148(1):113–136, 2012
work page 2012
- [20]
-
[21]
T.-C. Dinh and N. Sibony . Distribution des valeurs de transformations m ´eromorphes et applications.Comment. Math. Helv., 81(1):221–258, 2006
work page 2006
-
[22]
T. C. Dinh and N. Sibony . Super-potentials of positive closed currents, intersection theory and dynamicsActa Math., 203(1), 1—82, 2009. EQUIDISTRIBUTION 26
work page 2009
-
[23]
T. C. Dinh and N. Sibony , Super-potentials for currents on compact K ¨ahler manifolds and dynamics of automor- phismsJ. Algebraic Geom., 19(3), 473–529, 2010
work page 2010
-
[24]
A. Edelman and G. Kostlan How many zeros of a random polynomial are real?Bull. of American Mathematical Society, 32: 1–37, 1995
work page 1995
-
[25]
P. Erd ¨os and P. Tur´an. On the distribution of roots of polynomials.Ann. of Math. (2), 51:105–119, 1950
work page 1950
-
[26]
J. P. Forrester, G. Honner. Exact statistical properties of the zeros of complex random polynomials.Journal of Physics A, 32: 2961–2981, 1999
work page 1999
-
[27]
H. Grauert and R. Remmert.Theory of Stein Spaces,Classics in Mathematics. Springer. Springer-Verlag, Berlin, 2004
work page 2004
-
[28]
P. Griffiths and J. Harris.Principles of Algebraic Geometry,Wiley-Interscience. John Wiley and Sons, Inc, New York, 1978
work page 1978
- [29]
- [30]
-
[31]
J. M. Hammersley . The zeros of a random polynomial. InProceedings of the Third Berkeley Symposium on Mathe- matical Statistics and Probability, 1954–1955, vol. II, pages 89–111, Berkeley and Los Angeles, 1956. University of California Press
work page 1954
-
[32]
J. H. Hannay . Chaotic analytic zero points: exact statistics for those of a random spin state.Journal of Physics A, 29: 101–105, 1996
work page 1996
-
[33]
C. P. Hughes and A. Nikeghbali. The zeros of random polynomials cluster uniformly near the unit circle.Compos. Math., 144(3):734–746, 2008
work page 2008
-
[34]
I. Ibragimov and D. Zaporozhets. On distribution of zeros of random polynomials in complex plane. InProkhorov and Contemporary Probability Theory, pages 303–323. Springer, 2013
work page 2013
-
[35]
M. Kac. On the average number of real roots of a random algebraic equation.Bull. Amer. Math. Soc., 49:314–320, 1943
work page 1943
-
[36]
J. E. Littlewood and A. C. Offord. On the number of real roots of a random algebraic equation. III.Rec. Math. [Mat. Sbornik] N.S., 12(54):277–286, 1943
work page 1943
- [37]
-
[38]
S. Nonnenmacher and A. Voros. Chaotic eigenfunctions in phase space.J. Statist. Phys., 92(3-4):431–518, 1998
work page 1998
-
[39]
J.M. Rojas. On the average number of real roots of certain random sparse polynomial systems.American Math- ematical SocietyIn: The mathematics of numerical analysis (Park City , UT, 1995), Lectures in Appl. Math., 32: 689–699, 1996
work page 1995
- [40]
- [41]
-
[42]
B. Shiffman and S. Zelditch. Distribution of zeros of random and quantum chaotic sections of positive line bundles. Comm. Math. Phys., 200(3):661–683, 1999
work page 1999
-
[43]
B. Shiffman and S. Zelditch. Number variance of random zeros on complex manifolds.Geom. Funct. Anal., 18: 1422–1475, 2008
work page 2008
-
[44]
B. Shiffman and S. Zelditch. Number variance of random zeros on complex manifolds, II: Smooth Statistics.Pure and Applied Mathematics Quarterly, 6(4): 1145–1167, 2010
work page 2010
-
[45]
M. Shub, S. Smale. , Complexity of Bezout’s theorem. II. Volumes and Probabilities, Computational Algebraic Geometry (Nice, 1992)Birkh ¨auser, Progr. Math. 109: 267–285, 1993. FACULTY OFENGINEERING ANDNATURALSCIENCES, SABANCIUNIVERSITY, ˙ISTANBUL, TURKEY Email address:afrimbojnik@sabanciuniv.edu Email address:ozangunyuz@sabanciuniv.edu
work page 1992
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.