pith. sign in

arxiv: 2401.08243 · v7 · submitted 2024-01-16 · 🧮 math.CV · math.DG· math.PR

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

classification 🧮 math.CV math.DGmath.PR
keywords random holomorphic sectionsKähler manifoldsequidistribution of zerosline bundlesvariance estimatescurrents of integrationnon-Gaussian measures
0
0 comments X

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.

The paper establishes an asymptotic variance estimate for smooth linear statistics of the zero sets arising from systems of random holomorphic sections of positive Hermitian line bundles on a compact Kähler manifold. Combined with the expected distribution of those zeros, the variance bound produces an equidistribution theorem: the currents of integration over the zero loci converge weakly to powers of the Kähler form. The result is proved in a non-Gaussian setting that covers Gaussian, Fubini-Study, spherical area, bounded-density-with-log-tails, and locally moderate measures.

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.

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.

Referee Report

2 major / 0 minor

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)
  1. [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.
  2. [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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

Abstract supplies no explicit free parameters, invented entities, or ad-hoc axioms; the work rests on standard domain assumptions of complex geometry.

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
    Invoked to connect the random sections to the Kähler form ω and to derive equidistribution from the variance estimate.
  • domain assumption The listed classes of probability measures (Gaussian, Fubini-Study, etc.) satisfy the technical conditions needed for the variance estimate to hold
    Stated in the abstract as the setting in which the results apply.

pith-pipeline@v0.9.0 · 5714 in / 1239 out tokens · 25149 ms · 2026-05-24T04:38:37.507997+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Zeros of random $P$-polynomials in $\mathbb{C}^d$ with exponential profiles

    math.CV 2026-04 conditional novelty 7.0

    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.

  2. Equidistribution for Random Polynomials and Systems of Random Holomorphic Sections

    math.CV 2024-02 unverdicted novelty 6.0

    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

45 extracted references · 45 canonical work pages · cited by 2 Pith papers

  1. [1]

    Bayraktar

    T. Bayraktar. Equidistribution of zeros of random holomorphic sections.Indiana Univ. Math. J., 65(5):1759–1793, 2016

  2. [2]

    Bayraktar, D

    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

  3. [3]

    Bayraktar, D

    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. [4]

    T. Bloom. Random polynomials and Green functions.Int. Math. Res. Not., (28):1689–1708, 2005

  5. [5]

    Bloom and B

    T. Bloom and B. Shiffman. Zeros of random polynomials onC m.Math. Res. Lett., 14(3):469–479, 2007

  6. [6]

    Bloom and N

    T. Bloom and N. Levenberg. Random Polynomials and Pluripotential-Theoretic Extremal Functions.Potential Anal., 42(2):311–334, 2015

  7. [7]

    Bloom and D

    T. Bloom and D. Dauvergne. Asymptotic zero distribution of random orthogonal polynomials.Ann. Probab., 47(5):3202–3230, 2019

  8. [8]

    Bojnik, O

    A. Bojnik, O. G ¨uny¨uz. A central limit theorem associated with a sequence of positive line bundles.Journal of Geometric Analysis,35, Article Number 86, 2025

  9. [9]

    Bogomolny , O

    E. Bogomolny , O. Bohigas, P. Leboeuf. Quantum chaotic dynamics and random polynomials.Journal of Statistical Physics, 85:639–679, 1996

  10. [10]

    Bracci and S

    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

  11. [11]

    Coman and G

    D. Coman and G. Marinescu. Equidistribution results for singular metrics on line bundles.Ann. Sci. Ec. Norm. Sup´er., 48(4):497—536, 2015

  12. [12]

    Coman, X

    D. Coman, X. Ma and G. Marinescu. Equidistribution for sequences of line bundles on normal K ¨ahler spacesGeom. Topol., 21(2): 923–962, 2017

  13. [13]

    Coman, G

    D. Coman, G. Marinescu, and V.-A. Nguyen. H ¨older singular metrics on big line bundles and equidistribution.Int. Math. Res. Notices, 16: 5048-5075, 2016

  14. [14]

    Coman, W

    D. Coman, W. Lu, X. Ma, and G. Marinescu. Bergman kernels and equidistribution for sequences of line bundles on K¨ahler manifolds.Adv. Math., 414: 923–962, 2017

  15. [15]

    Demailly .Monge-Amp `ere operators, Lelong numbers and intersection theory.Complex analysis and geometry , Plenum, New York, 115–193, 1993

    J.-P. Demailly .Monge-Amp `ere operators, Lelong numbers and intersection theory.Complex analysis and geometry , Plenum, New York, 115–193, 1993

  16. [16]

    Demailly .Complex analytic and differential geometry.http://www-fourier.ujf-grenoble.fr/ de- mailly/manuscripts/agbook.pdf, 2012

    J.-P. Demailly .Complex analytic and differential geometry.http://www-fourier.ujf-grenoble.fr/ de- mailly/manuscripts/agbook.pdf, 2012

  17. [17]

    Drewitz, B

    A. Drewitz, B. Liu, and G. Marinescu.Gaussian holomorphic sections on noncompact complex manifolds. arXiv:2302.08426, 2023

  18. [18]

    Drewitz, B

    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. [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

  20. [20]

    Dinh, V.A

    T.C. Dinh, V.A. Nguyen, and N. Sibony . Exponential estimates for plurisubharmonic functions.J. Differential Geom., 84: 465-488, 2010

  21. [21]

    Dinh and N

    T.-C. Dinh and N. Sibony . Distribution des valeurs de transformations m ´eromorphes et applications.Comment. Math. Helv., 81(1):221–258, 2006

  22. [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

  23. [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

  24. [24]

    Edelman and G

    A. Edelman and G. Kostlan How many zeros of a random polynomial are real?Bull. of American Mathematical Society, 32: 1–37, 1995

  25. [25]

    Erd ¨os and P

    P. Erd ¨os and P. Tur´an. On the distribution of roots of polynomials.Ann. of Math. (2), 51:105–119, 1950

  26. [26]

    J. P. Forrester, G. Honner. Exact statistical properties of the zeros of complex random polynomials.Journal of Physics A, 32: 2961–2981, 1999

  27. [27]

    Grauert and R

    H. Grauert and R. Remmert.Theory of Stein Spaces,Classics in Mathematics. Springer. Springer-Verlag, Berlin, 2004

  28. [28]

    Griffiths and J

    P. Griffiths and J. Harris.Principles of Algebraic Geometry,Wiley-Interscience. John Wiley and Sons, Inc, New York, 1978

  29. [29]

    G ¨uny¨uz

    O. G ¨uny¨uz. Equidistribution of zeros random polynomials and random polynomial mappings onC m.Mat. Sbornik, 2025, 216(1), 61–78

  30. [30]

    G ¨uny¨uz

    O. G ¨uny¨uz. Equidistribution for Random Polynomials and Systems of Random Holomorphic Sections.Bul. of the Korean Mat. Soc., 62(4), 977-1001, 2025

  31. [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

  32. [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

  33. [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

  34. [34]

    Ibragimov and D

    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

  35. [35]

    M. Kac. On the average number of real roots of a random algebraic equation.Bull. Amer. Math. Soc., 49:314–320, 1943

  36. [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

  37. [37]

    Ma and G

    X. Ma and G. Marinescu.Holomorphic Morse Inequalities, volume 254 ofProgress in Mathematics. Birkh ¨auser, Basel, 2007

  38. [38]

    Nonnenmacher and A

    S. Nonnenmacher and A. Voros. Chaotic eigenfunctions in phase space.J. Statist. Phys., 92(3-4):431–518, 1998

  39. [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

  40. [40]

    Shiffman

    B. Shiffman. Convergence of random zeros on complex manifolds.Sci. China Ser. A, 51: 707–720, 2008

  41. [41]

    Shiffman

    B. Shiffman. Asymptotic expansion of the variance of random zeros on complex manifolds.Journal of Geometric Analysis, 31: 8607–8631, 2021

  42. [42]

    Shiffman and S

    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

  43. [43]

    Shiffman and S

    B. Shiffman and S. Zelditch. Number variance of random zeros on complex manifolds.Geom. Funct. Anal., 18: 1422–1475, 2008

  44. [44]

    Shiffman and S

    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

  45. [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