pith. sign in

arxiv: 2601.08369 · v2 · submitted 2026-01-13 · 🧮 math.AG · math.CO

Asymptotic distribution of the Betti numbers of overline{mathcal{M}}_(0,n)

Jinwon Choi , Young-Hoon Kiem This is my paper

Pith reviewed 2026-05-16 15:05 UTC · model grok-4.3

classification 🧮 math.AG math.CO
keywords Betti numbersasymptotic normalitymoduli space of curvesFulton-MacPherson spacerational curvescentral limit theoremlog-concavity
0
0 comments X

The pith

Betti numbers of the moduli space of rational curves with n marked points are asymptotically normally distributed.

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

The paper shows that the Betti numbers of the compactified moduli space of rational curves with n marked points and the Fulton-MacPherson configuration space follow a normal distribution for large n. This extends the common observation of asymptotic normality in combinatorial structures such as permutations and graphs to the topological invariants of these geometric spaces. A sympathetic reader would care because it indicates that the topology of these algebraic varieties behaves statistically like random combinatorial objects when the number of points grows. The result is supported by analysis of the underlying combinatorial models, with a conjecture that the same holds after quotienting by the symmetric group action.

Core claim

We show that the Betti numbers of the moduli space of rational curves with n marked points and the Fulton-MacPherson configuration space are asymptotically normally distributed. This normal limit behavior extends from combinatorial structures to the topological invariants of these geometric spaces, based on their combinatorial models.

What carries the argument

Combinatorial models and generating functions for the Betti numbers to which the central limit theorem applies, supported by log-concavity.

If this is right

  • The Betti numbers of these spaces obey the same Gaussian law observed in many combinatorial parameters.
  • The quotients of the spaces by the symmetric group are conjectured to be asymptotically normal on the basis of log-concavity.
  • Certain other geometric spaces provide explicit counterexamples that do not follow the normal distribution.
  • Topological invariants of algebraic varieties can be studied asymptotically using tools from probability.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result suggests that similar asymptotic normality may hold for Betti numbers of other families of moduli spaces when a suitable combinatorial model exists.
  • Statistical approximation of Betti numbers via the normal distribution could become feasible for very large n where direct computation is intractable.
  • The contrast with counterexamples raises the question of which geometric properties force or prevent the Gaussian behavior.

Load-bearing premise

The combinatorial or generating-function model used to count Betti numbers admits the moment conditions or log-concavity needed for the central limit theorem to apply.

What would settle it

Explicit computation of the Betti numbers for a specific large n, followed by a statistical test showing significant deviation from the predicted normal distribution.

Figures

Figures reproduced from arXiv: 2601.08369 by Jinwon Choi, Young-Hoon Kiem.

Figure 1
Figure 1. Figure 1: Betti distribution for M0,50 we arrive at the following theorem. Theorem 3.1. The Betti numbers of M0,n are asymptotically normally distributed with the mean mn = n−3 2 and the variance (3.9) σ 2 n = 3 − e 6(e − 2)n + 5 − 2e 24 − 12e + O(n −1 ). and the speed of convergence is O(n − 1 2 ). Example 3.2 [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Betti distribution for P 1 [50] 5. More examples In this section, we present examples from geometry, some of which exhibit asymptotic normality and some of which do not. We aim to address the following question in future work. Question 5.1. Are there geometric conditions that ensure asymptotic nor￾mality? As the asymptotic normality is often observed in combinatorial setting, we expect that it arises when … view at source ↗
Figure 3
Figure 3. Figure 3: Betti distribution for M0,50/S50 [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Betti distribution for P 1 [50]/S50 previous sections. We present the values of the variance divided by n in [PITH_FULL_IMAGE:figures/full_fig_p011_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Betti distribution for Hilb25(P 2 ) 5.2. Hilbert scheme of n points on a surface. Another important space in the moduli theory is the Hilbert scheme of n points on a smooth projective surface S, denoted by Hilbn (S). The Hilbert scheme is a smooth resolution of the symmetric product Symn (S). The Betti numbers of Hilbn (S) are deter￾mined by G¨ottsche’s celebrated generating function formula [8]. In contra… view at source ↗
Figure 6
Figure 6. Figure 6: Betti distribution for Hilb25(P 1 × P 1 ) 5.3. GIT quotient of (P 1 ) n . Let Yn = (P 1 ) n //SL2 be the GIT quotient (cf. [17]) of (P 1 ) n by the diagonal SL2(C) action with respect to the linearization O(P1)n (1, · · · , 1). As demonstrated in [12], M0,n is related to Yn by a sequence of blowups (5.2) M0,n → · · · → Yn. Motivated by this connection, we explore whether the asymptotic normality observed i… view at source ↗
Figure 7
Figure 7. Figure 7: Betti distribution for (P 1 ) 50//SL2 Xn equipped with an action of the symmetric group Sn, we define PXn = dim X Xn k=0 dimH2k (Xn)t k , PXn = dim X Xn k=0 chSnH2k (Xn)t k to be the Poincar´e polynomial of Xn and the graded Frobenius characteristic of the Sn-representations on the cohomology of Xn, respectively. Let pXn = dim X Xn k=0 dimH2k (Xn/Sn)t k denote the Poincar´e polynomial of the quotient Xn/Sn… view at source ↗
read the original abstract

Asymptotic normality is frequently observed in large combinatorial structures, rigorously established for many quantities such as cycles or inversions in random permutations, the number of prime factors of random integers, and various parameters of random graphs. In this paper, we investigate whether this normal limit behavior extends to the topological invariants of geometric spaces. We show that the Betti numbers of the moduli space of rational curves with $n$ marked points $\overline{\mathcal{M}}_{0,n}$ and the Fulton-MacPherson configuration space $\mathbb{P}^1[n]$ are asymptotically normally distributed. Based on numerical evidence and established log-concavity, we conjecture that the Betti numbers of the quotients of these spaces by the symmetric group $\mathbb{S}_n$ are also asymptotically normally distributed. In contrast, we provide examples of geometric spaces that do not follow this Gaussian law.

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

1 major / 0 minor

Summary. The paper claims to prove that the Betti numbers of the moduli space of rational curves with n marked points, overline{M}_{0,n}, and the Fulton-MacPherson configuration space P^1[n] are asymptotically normally distributed as n grows. It further conjectures the same asymptotic normality for the quotients of these spaces by the symmetric group S_n, based on numerical evidence and established log-concavity of the relevant generating functions, while providing counterexamples of geometric spaces that do not exhibit Gaussian behavior.

Significance. If the central claims hold with rigorous justification, the result would extend the phenomenon of asymptotic normality from classical combinatorial objects to the Betti numbers of specific algebraic varieties and configuration spaces, furnishing a new link between probabilistic combinatorics and the topology of moduli spaces.

major comments (1)
  1. The application of a combinatorial central limit theorem to the Betti numbers b_i(overline{M}_{0,n}) and b_i(P^1[n]) requires uniform verification that the sequence of coefficients (or its generating function) satisfies the necessary hypotheses, such as log-concavity or moment bounds, for all n. The manuscript appears to treat this as established for the main spaces while relying on numerical evidence for the quotients; without an explicit derivation of these conditions or error bounds in the relevant sections, the passage to the Gaussian limit is not fully justified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to make the verification of the central limit theorem hypotheses fully explicit. We address the concern below and will revise the manuscript to strengthen the presentation.

read point-by-point responses

  1. Referee: The application of a combinatorial central limit theorem to the Betti numbers b_i(overline{M}_{0,n}) and b_i(P^1[n]) requires uniform verification that the sequence of coefficients (or its generating function) satisfies the necessary hypotheses, such as log-concavity or moment bounds, for all n. The manuscript appears to treat this as established for the main spaces while relying on numerical evidence for the quotients; without an explicit derivation of these conditions or error bounds in the relevant sections, the passage to the Gaussian limit is not fully justified.

    Authors: We agree that a fully rigorous application requires uniform verification of the hypotheses for every n. In the manuscript, log-concavity of the Betti numbers for both spaces is established in Proposition 3.2 and Theorem 4.1 by combining the recursive presentation of the cohomology ring with known results on the associated generating functions. However, we acknowledge that the explicit derivation of the moment bounds and the uniform control needed for the error term in the central limit theorem were not spelled out in sufficient detail. In the revised version we will add a new subsection (Section 5.2) that derives the necessary moment estimates uniformly in n, supplies quantitative error bounds, and confirms that the hypotheses of the cited combinatorial CLT hold for all n. For the quotients by S_n the asymptotic normality statement remains a conjecture, supported by numerical evidence together with the already-established log-concavity; we will clarify this distinction more prominently in the text and in the statement of the conjecture. revision: yes

Circularity Check

0 steps flagged

No circularity: asymptotic normality derived from independent combinatorial CLT application

full rationale

The paper states that it shows asymptotic normality of Betti numbers for overline M_{0,n} and P^1[n] directly, with the conjecture for S_n-quotients resting only on separate numerical evidence plus an externally established log-concavity property. No quoted step equates a fitted parameter to a prediction, renames a known result as a derivation, or reduces the central claim to a self-citation chain whose prior result itself depends on the target statement. The derivation chain therefore remains self-contained against external combinatorial criteria for the CLT.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard results from algebraic geometry, combinatorics, and probability (central limit theorems for combinatorial structures) plus an implicit combinatorial model for the Betti numbers of the moduli spaces.

axioms (1)
  • standard math Standard axioms and theorems of algebraic geometry and combinatorial topology, including known formulas or recursions for Betti numbers of moduli spaces.
    The proof presumably invokes established results on the topology of Mbar_{0,n} and Fulton-MacPherson spaces.

pith-pipeline@v0.9.0 · 5444 in / 1160 out tokens · 34526 ms · 2026-05-16T15:05:18.989119+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    Aluffi, S

    P. Aluffi, S. Chen and M. Marcolli.Log concavity of the Grothendieck class of M0,n. J. Algebraic Combin.61(4) (2025), 47

    work page 2025

  2. [2]

    Choi, Y.-H

    J. Choi, Y.-H. Kiem and D. Lee.Representations on the cohomology of M0,n.Adv. Math.435(2023), 109364

    work page 2023

  3. [3]

    Choi, Y.-H

    J. Choi, Y.-H. Kiem and D. Lee.Recursive algorithm and log-concavity of representa- tions on the cohomology of M0,n. Preprint, arXiv:2408.10728

    work page arXiv

  4. [4]

    Choi, Y.-H

    J. Choi, Y.-H. Kiem and D. Lee.Characteristic polynomial of M0,n and log-concavity. Proc. London Math. Soc. (3) (2025)

    work page 2025

  5. [5]

    Deligne and D

    P. Deligne and D. Mumford.The irreducibility of the space of curves of given genus. Publ. Math. Inst. Hautes ´Etudes Sci. (36) (1969) 75–109

    work page 1969

  6. [6]

    Flajolet and R

    P. Flajolet and R. Sedgewick.Analytic combinatorics. Cambridge Univ. Press, Cam- bridge, 2009. ASYMPTOTIC DISTRIBUTION OF THE BETTI NUMBERS OF M0,n 17

    work page 2009

  7. [7]

    Fulton.Young Tableaux: With Applications to Representation Theory and Geom- etry

    W. Fulton.Young Tableaux: With Applications to Representation Theory and Geom- etry. Cambridge University Press, 1996

    work page 1996

  8. [8]

    G¨ ottsche.The Betti numbers of the Hilbert scheme of ponts on a smooth projective surface

    L. G¨ ottsche.The Betti numbers of the Hilbert scheme of ponts on a smooth projective surface. Math. Ann.286(1990), 193–207

    work page 1990

  9. [9]

    Hausel and F

    T. Hausel and F. Rodriguez-Villegas.Cohomology of large semiprojective hyperk¨ ahler varieties. Ast´ erisque370(2015), 113–156

    work page 2015

  10. [10]

    Hwang.On convergence rates in the central limit theorems for combinatorial structures

    H.-K. Hwang.On convergence rates in the central limit theorems for combinatorial structures. Europ. J. Combinatorics19(1998), 329–343

    work page 1998

  11. [11]

    Keel.Intersection theory on the moduli space of stable n-pointed curves of genus zero

    S. Keel.Intersection theory on the moduli space of stable n-pointed curves of genus zero. Trans. Am. Math. Soc.330(2) (1992) 545—574

    work page 1992

  12. [12]

    Kiem and H.-B

    Y.-H. Kiem and H.-B. Moon.Moduli space of weighted pointed stable rational curves via GIT. Osaka J. Math.48(2011) 1115—1140

    work page 2011

  13. [13]

    F. C. Kirwan.Cohomology of quotients in symplectic and algebraic geometry.Prince- ton University Press, 1984

    work page 1984

  14. [14]

    Knudsen.The projectivity of the moduli space of stable curves, III

    F. Knudsen.The projectivity of the moduli space of stable curves, III. Math. Scand. 52(1983), 200–212

    work page 1983

  15. [15]

    Manin.Frobenius Manifolds, Quantum Cohomology, and Moduli Spaces

    Y. Manin.Frobenius Manifolds, Quantum Cohomology, and Moduli Spaces. AMS Col- loquium Publ. 47, Providence, RI

    work page

  16. [16]

    Margolius.Permutations with inversions

    B.H. Margolius.Permutations with inversions. Journal of Integer Sequences,4(2001)

    work page 2001

  17. [17]

    Mumford, J

    D. Mumford, J. Fogarty and F. Kirwan.Geometric invariant theory.In: Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)], vol. 34, third ed., Springer-Verlag, Berlin, 1994. Department of Mathematics and Research Institute of Natural Sciences, Sookmyung Women’s University, Seoul 04310, Korea Email address:jwch...

    work page 1994