Searcharxiv⌕ Search

arXiv · 2610.38161

Asymptotic distributions of the Betti and Hodge numbers of $\overline{\mathcal M}_{g,n}$

Abstract

We study the asymptotic distributions of the Betti and Hodge numbers of the moduli spaces $\overline{\mathcal M}_{g,n}$ of stable pointed curves and the all-light Hassett spaces $\overline{\mathcal M}_{g,0|n}$, for fixed genus $g\ge1$ as the number of markings tends to infinity. We prove central limit theorems for the full Betti distributions, whose variances grow linearly in $n$ with leading coefficients independent of the genus. For the normalized even Betti numbers, we establish refined local limit theorems with estimates uniform in degree. These local estimates yield asymptotic formulas for individual even Betti numbers and determine the sharp central ultra-log-concavity thresholds $\frac{3(e-2)}{2(3-e)}$ and $3$, respectively. For $g\ge2$, the off-diagonal Hodge components form proportions of exact orders $n^{-1/2}$ and $n^{-1}$ of the total cohomology of the two spaces, respectively. The conditional distributions of the Hodge difference $p-q$ given $p\ne q$ converge, for both spaces, to a single discrete law independent of the genus. We also prove that tautological classes account for all but a proportion of exact order $n^{-1}$ of the even cohomology of $\overline{\mathcal M}_{g,n}$. The tautological degree distribution converges to the standard Gaussian under the centering and scaling of the ambient even Betti distribution. An explicit asymptotic formula for the ratio of the ordinary Euler characteristics of the light and heavy spaces answers a question of Kannan, Serpente and Yun. The proofs combine the heavy/light substitution with a stratification of the light spaces by stable cores, singularity analysis of Hodge generating functions, and refined Fourier estimates exploiting Poincaré duality.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jinwon Choi, Young-Hoon Kiem. 2026-10-28. Asymptotic distributions of the Betti and Hodge numbers of $\overline{\mathcal M}_{g,n}$. https://arxiv.org/abs/2610.38161

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Geometric Detection and Finiteness of Log Crystalline Local Systems

We prove a geometric detection theorem for log crystalline local systems in the smooth proper setting with a normal crossings boundary. The associated special-fiber log $F$-isocrystal detects geometric absolute irreducibility and, modulo constant rank-one twists, determines the pullback to the geometric generic fiber. The main ingredient is a determinant argument combining a finite-order rank-one reduction, logarithmic period comparison, and the Plücker embedding. As an application, using Abe--Esnault's finiteness theorem and finiteness of stable lattices, we prove finiteness, up to geometrically constant rank-one twists, of geometrically absolutely irreducible log crystalline local systems of fixed rank. Coefficients may lie in any fixed finite extension of $\mathbb Q_p$, and no bound on the Hodge--Tate weights is imposed.

math.AG↗

Betti Numbers of Odd Biisotropic Symplectic Grassmannians

We compute the singular cohomology groups of odd biisotropic symplectic Grassmannians $\operatorname{S_2Gr}(k, 2n+1)$ by presenting an explicit dimension-preserving combinatorial bijection between the Bialynicki-Birula cells in $\operatorname{S_2Gr}(k, 2n+1)$ and the Schubert cells in $\operatorname{Gr}(k, 2n+2-k)$.

math.AG↗

Motivic $C_p$-power operations in $\mathrm{MGL}$

In this paper, we give a new proof of the Hopkins-Morel-Hoyois theorem for fields $k$ of characteristic unequal to $p$ containing all primitive $p$-power roots of unity for a fixed prime $p$. This new proof follows Quillen's proof for the structure of the homotopy groups of $\mathrm{MU}$ which utilizes topological power operations. To this end we define a motivic analog of the Steenrod power operations, using the theory of normed motivic spectra as developed by Bachmann--Hoyois and their application for the definition of motivic colimits as developed by Bachmann-Elmanto-Heller.

math.AG↗