Pith. sign in

REVIEW 2 major objections 4 minor 11 references

Equidistribution and arithmetic $\Lambda$-distributions

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves that if a family of random polynomial spaces equidistributes over a scheme, then the asymptotic sigma-moment generating functions of associated arithmetic random variables converge to an explicit motivic Euler product.

desk verdict The abstract equidistribution-to-motivic-Euler-product machine is a genuine advance, but Proposition 6.1.5 has a statement/proof mismatch that currently unproves the complete-intersection application. read the letter →

arxiv 2505.24748 v1 pith:J563WKKH submitted 2025-05-30 math.NT math.AG

Matthew Bertucci , Sean Howe This is my paper
classification math.NTmath.AG MSC 11G2514G1511M3814G10
keywords lambda-ringsWittvectorsequidistributionPoonensievemotivicEulerproductsfunctionfieldL-functionscompleteintersectionsrandommatrixstatistics
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper tries to turn a heuristic about independence into a theorem: when the Taylor expansions of random polynomials equidistribute over the points of a variety, the asymptotic distribution of any arithmetically meaningful infinite sum built from those local data can be written, in closed form, as a motivic Euler product. The authors define a general notion of equidistribution for families of $\lambda$-probability spaces parameterized by admissible $\mathbb{Z}$-sets, prove that it implies convergence of $\sigma$-moment generating functions to such a product, and then verify equidistribution in three sieve settings. The payoff is a uniform computation of asymptotic $\Lambda$-distributions for L-functions of smooth complete intersections, for zeta functions of hypersurface sections with exotic transversality conditions, and for zeta functions of curves on Hirzebruch surfaces. A sympathetic reader would care because it reduces a family of seemingly separate distributional results in arithmetic statistics to one abstract identity and one equidistribution input.

What carries the argument

The load-bearing construction is the motivic Euler product of Definition 3.1.1: for a morphism of admissible $\mathbb{Z}$-sets $V \to B$, one sets $\prod_{V/B} H := \operatorname{Exp}_\sigma\left(\int_{V/B} \operatorname{Log}_\sigma(H)\right)$, using the plethystic exponential and logarithm in the ring of symmetric power series. Admissible $\mathbb{Z}$-sets—sets with a $\mathbb{Z}$-action whose fixed-point sets are finite, abstracting $\mathbb{F}_q$-points with Frobenius action—make this an object one can integrate over fibers. Proposition 3.2.1 is the bridge that evaluates such products: the $k$th ghost component of the motivic Euler product is the classical Euler product over orbits of $V_k$ of the $k$th ghost component of $H$, which is what turns the abstract convergence statement into computable formulas. The other central object is the $\sigma$-moment generating function $E[\operatorname{Exp}_\sigma(X h_1)]$ with $h_1 = t_1 + t_2 + \cdots$, which encodes the full $\Lambda$-distribution of $X$.

What would settle it

Compute, for a fixed symmetric function such as $m_{(2)}$ and a fixed finite set of points $B'$, the left- and right-hand sides of equation (4.2.1.4) for a family that is known to equidistribute in the sense of Definition 4.1.1; the theorem is false if the two limits ever disagree. In the arithmetic setting, an equivalent check is to compute the asymptotic $\sigma$-moment generating function of $X_d(F) = L_{C_F}(t q^{-m/2})$ for a smooth complete intersection with $r=1$, $m=1$ by a direct sieve count and compare it with the right side of (1.2.2.1).

Watch

Extended reading notes

Core claim

The paper's central claim is that a single abstract equidistribution hypothesis controls the asymptotic law of arithmetic random variables built by summing local data over the points of a scheme. Theorem 4.2.1 states: if $A \to B$ is a morphism of admissible $\mathbb{Z}$-sets admitting a section, and a family $(U_d, \mathrm{ev}_d)$ equidistributes on $A/B$ in the sense of Definition 4.1.1, then for any $X \in C(A, W(\mathbb{C}))$ the sequence of $\sigma$-moment generating functions of $X_d = \int_{U_d \times B / U_d} \mathrm{ev}_d^* X$ converges to $\prod_B E_{A/B}[\operatorname{Exp}_\sigma(X h_1)]$. The authors then verify the equidistribution hypothesis in three sieve settings—homogeneous polynomials, tuples of homogeneous polynomials, and sections of semiample line bundles—and derive closed-form asymptotic $\Lambda$-distributions for L-functions of complete intersections, zeta functions of hypersurface sections with exotic transversality, and zeta functions of bidegree $(2,d)$ curves on Hirzebruch surfaces.

Load-bearing premise

The argument stands on the assumption that the polynomial families equidistribute in the strong sense that, at any finite collection of points and any field extension, the local expansions of the polynomials become uniformly distributed; in each application this is imported from sieve-type equidistribution theorems, and for the Hirzebruch-surface case the needed sieve input lies outside the paper's stated general hypotheses.

Editorial extensions

If this is right

  • One proof skeleton now covers every sieve-type application: establish equidistribution in the sense of Definition 4.1.1, then read off the limiting $\sigma$-moment generating function as a motivic Euler product.
  • Theorem A yields the asymptotic $\Lambda$-distribution of renormalized vanishing-cohomology L-functions for smooth complete intersections, matching orthogonal, symplectic, or symmetric-group random matrix statistics according to the parity of the dimension.
  • Theorem 5.3.2 gives a binomial $\Lambda$-distribution with parameters $p$ and $N = [Y(\kappa)]$ for zeta functions of hypersurface sections with exotic transversality conditions, generalizing the smooth hypersurface case.
  • Theorem 7.2.2 computes the full $\Lambda$-distribution of zeta functions of bidegree $(2,d)$ curves on Hirzebruch surfaces, refining the earlier point-counting asymptotics.
  • The framework also recovers the earlier Dirichlet-character L-function computation using only the original sieve as equidistribution input.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The abstract form of Theorem 4.2.1 suggests that any future sieve-type equidistribution statement—for more general varieties, bundles, or transversality conditions—would automatically yield an asymptotic $\Lambda$-distribution with the same product formula.
  • One testable extension is to use Remark 4.2.2's joint moment generating functions in the complete-intersection or Hirzebruch settings, not just the Dirichlet-character example; the same proof should give products in two variables.
  • The motivic Euler products here are the point-counting analogue of the motivic Euler products in Grothendieck rings discussed in the paper's companion work; an interesting comparison would be to see which $\Lambda$-distributions survive the passage between the two formalisms.
  • Since the Hirzebruch-surface application relies on a special semiample input for degree two that lies outside the paper's stated general hypotheses, a natural next step is to establish the same equidistribution under broader degree bounds, allowing the template to handle more Hirzebruch-type families.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper develops an abstract framework for equidistribution of families of λ-probability spaces parameterized by admissible Z-sets. Under this equidistribution assumption, it proves in Theorem 4.2.1 that the asymptotic σ-moment generating functions of certain integrated random variables converge to explicit motivic Euler products. It then applies this formalism, together with generalizations of Poonen's sieve, to compute asymptotic Λ-distributions for zeta and L-functions in three settings: hypersurface sections with exotic transversality conditions, smooth complete intersections (Theorem A), and curves on Hirzebruch surfaces (Theorem 7.2.2). The main novelty is the clean axiomatization of equidistribution and the use of point-counting motivic Euler products to make the informal independence heuristic of [9] precise.

Significance. If the technical issues below are repaired, this is a valuable paper. Theorem 4.2.1 provides a reusable black box that converts sieve-theoretic equidistribution into explicit Λ-distributional limits, with no fitted constants: all parameters such as p and N in Theorems 5.3.2, 6.2.1, and A are explicit functions of q and the geometry. The applications genuinely extend earlier work: Theorem A generalizes [9, Theorem C] to complete intersections, Theorem 5.3.2 exploits the smooth-agnostic sieve of [1], and Theorem 7.2.2 upgrades the point-counting result of [8] to a full Λ-distribution. The proof of the abstract Theorem 4.2.1 is presented in detail and appears internally coherent. The main concerns are local but load-bearing: the statement of Proposition 6.1.5 does not match the condition actually used in the proof and in Theorem A, and the Hirzebruch surface application depends on an external input whose precise scope is not spelled out.

major comments (2)
  1. [§6.1, Proposition 6.1.5, and §6.2, proof of Theorem 6.2.1] The set A_P in Proposition 6.1.5 is defined for P∈Y using linear independence in m_P/m_P^2, the ambient tangent space of P^n, but the proof of that proposition and the application in Theorem 6.2.1 require the T_Y-relative condition: the images of the r germs in O_{Y,P}/m_{Y,P}^2 should all lie in m_{Y,P} and be linearly independent in m_{Y,P}/m_{Y,P}^2. These two conditions differ whenever Y has positive codimension in P^n. For example, with q=2, n=2, m=1, r=1, and k=1, the literal A_P has 7 elements, while the probability formula used in the proof gives #A_P=6. Moreover, the literal ambient condition does not imply that Y∩V(F_1)∩...∩V(F_r) is smooth, since it ignores the restriction of the differentials to T_Y. Because this equidistribution statement is the input for Theorem 6.2.1 and hence for Theorem A, the proof as printed does not establish the stated theorem. The fix appears local: redefine A_P via the image in O_{Y,P}/m_{Y,P}^2, change the dimension of Y in Proposition 6.1.5 to match the m+r used in §6.2, and verify directly that [7, Theorem 1.2] supplies the required product-form equidistribution for this T_Y-relative condition.
  2. [§7.2, proof of Theorem 7.2.2] The proof of Theorem 7.2.2 explicitly notes that n=2 does not satisfy the hypotheses of Proposition 7.1.1 and invokes [8, Proposition 8.2] to justify the application of [8, Theorem 3.1] in this setting. Since Definition 4.1.1 requires equidistribution for every finite admissible subset B′⊆B_k and for every k, the reader needs the precise statement of [8, Proposition 8.2] and an explanation of why it yields the full equidistribution used in the proof, not merely the asymptotic point-counting statement of [8, Theorem 9.9]. As written, Theorem 7.2.2 depends on an external input whose exact scope is not made explicit in the manuscript.
minor comments (4)
  1. [§1.2.1 and §6.2] The text says that CF = Y∩V(F_1)∩...∩V(F_r) is a smooth complete intersection in Y of dimension n, but if Y has dimension m+r and r hypersurfaces are cut out, the dimension should be m. Please correct this apparent typo.
  2. [§6.1.2] The definition of the directed order I_{m,r} appears to have lost an exponent: the displayed condition involves max(b_i)-m q^{min(b_i)/(m+1)}, which does not match the limit condition in Theorem A. It should presumably read max(b_i)^m q^{-min(b_i)/(m+1)} (or the appropriate analogue).
  3. [Theorem 4.2.1, Eq. (4.2.1.2)] The index i in lim_{i∈I} E_{U_d×B/B} is not used in the expression; this should be lim_{d∈I} to match the surrounding notation.
  4. [§5.1, Proposition 5.1.1] The hypothesis on A_P is terse: please spell out how [1, Theorem C] treats the finitely many exceptional points where A_P is not described by the nonvanishing of the images in φ^*E_i|P, and state the exact local densities being used in the displayed calculation.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: Theorem 4.2.1 follows from the explicit equidistribution hypothesis, and the applications use external sieve theorems; the author's prior framework is used as formalism, not as the target result.

full rationale

Definition 4.1.1 makes equidistribution an explicit convergence of pushforwards to uniform measures on finite evaluation products Hom_{B_k}(B', A_k). Theorem 4.2.1 is then proved by isolating the finitely many low-degree points contributing to any fixed monomial symmetric function, applying the equidistribution hypothesis at Eq. (4.2.1.4), and rewriting the result as the motivic Euler product using formal pullback/integration lemmas (2.4.4, 2.4.7, 2.4.9) and Proposition 3.2.1. The conclusion is a genuine consequence of the definition, not an input to it. In the applications, the required equidistribution is supplied by independent sieve/Bertini theorems: Poonen [11], Bucur-Kedlaya [7], Erman-Wood [8], and Bertucci [1]; none assumes the target L-function or zeta-function asymptotic distributions. The p parameters in Theorems 5.3.2, 6.2.1, and A are closed-form probabilities derived from those theorems, for example p = [q]^{-r}L([q], m+r, r)/(1 - [q]^{-r} + [q]^{-r}L([q], m+r, r)), not fitted constants. The self-citations to [9] and [10] import the lambda-probability formalism and formal negative sigma-moment identities; these are parameter-free lemmas with stated assumptions not including the target distributions, so they are legitimate support rather than circularity. One non-circular caveat: the proof of Proposition 6.1.5 appears to use L(q^{k deg P}, m, r), a tangent-space count relative to Y, while the definition of A_P is written in terms of linear independence in m_P/m_P^2, the ambient tangent space of P^n. If read literally, this is an internal proof gap that is load-bearing for Theorem A, but it is a correctness issue rather than a reduction of the claimed result to its own input, so it does not raise the circularity score. Overall, the derivation chain is not circular; the score of 1 reflects only the heavy but legitimate reliance on the second author's prior formalism.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no new physical entities and no fitted parameters. It relies on prior theoretical machinery: the admissible Z-set and lambda-probability framework from [9], the Poonen-type sieve theorems from [1,7,8,11], and the negative-moment theorem from [10]. All probabilities in the outputs are explicit functions of q, m, r, and the relevant dimensions, computed from the sieve statements rather than fitted.

assumptions (5)
  • domain assumption Poonen's sieve and its generalizations [1], [7], [8] validate the equidistribution hypothesis (Definition 4.1.1) in the applications.
    Theorem 4.2.1 is conditional on equidistribution; applications discharge it by citing [11], [1, Theorem C], [7, Theorem 1.2], and [8, Theorem 3.1].
  • standard math The lambda-ring formalism, big Witt vectors W(C), plethystic exponential, and related properties from [9] are used throughout.
    Sections 2.1 and 2.3 use these as background; they are not reproved in this paper.
  • standard math Etale cohomology and the Weil conjectures imply the zeta function factorization Z_CF(t) = L_CF(t)^((-1)^n) Z_0(t) used in Theorem A.
    Section 1.2.1 invokes the Grothendieck-Lefschetz trace formula and the strong Lefschetz theorem for this decomposition.
  • domain assumption [10, Theorem 2.2.1] computes the negative sigma-moment generating function and is used without proof.
    This is a key step in the proofs of Theorem A and Theorem 5.3.2; the paper cites [10] rather than proving it.
  • domain assumption [8, Proposition 8.2] permits the semiample equidistribution argument for n=2 in the Hirzebruch surface application.
    Invoked in the proof of Theorem 7.2.2 because n=2 fails the bounds of Proposition 7.1.1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Equidistribution and arithmetic $\Lambda$-distributions." pith.science (2026). https://pith.science/paper/J563WKKH

@misc{pith2026250524748,
  author       = {Pith},
  title        = {Pith review of: Equidistribution and arithmetic $\Lambda$-distributions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/J563WKKH}},
  note         = {Machine review of arXiv:2505.24748}
}
abstract

We formulate an abstract notion of equidistribution for families of $\lambda$-probability spaces parameterized by admissible $\mathbb{Z}$-sets. Under the assumption of equidistribution, we show that the $\sigma$-moment generating functions of certain infinite sums of random variables can be computed as motivic Euler products. Combining this result with earlier generalizations of Poonen's sieve, we compute the asymptotic $\Lambda$-distributions for several natural families of function field $L$-functions and zeta functions.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

11 extracted references · 8 canonical work pages

  1. [9]

    Random matrix statistics and zeroes of L-functions via probability in λ-rings

    Sean Howe. Random matrix statistics and zeroes of L-functions via probability in λ-rings. arXiv:2412.19295, 2024

    arXiv 2024

  2. [1]

    Taylor conditions over finite fields

    Matthew Bertucci. Taylor conditions over finite fields. arXiv:2412.08744, 2024

    arXiv 2024

  3. [8]

    Semiample Bertini theorems over finite fields

    Daniel Erman and Melanie Matchett Wood. Semiample Bertini theorems over finite fields. Duke Math. J. , 164(1):1–38, 2015

    work page 2015

  4. [2]

    Motivic Euler products and motivic height zeta functions

    Margaret Bilu. Motivic Euler products and motivic height zeta functions. Mem. Amer. Math. Soc., 282(1396):v+185, 2023

    work page 2023

  5. [3]

    Special values of motivic euler products

    Margaret Bilu, Ronno Das, and Sean Howe. Special values of motivic euler products. In preparation

    work page

  6. [4]

    Zeta statistics and Hadamard functions

    Margaret Bilu, Ronno Das, and Sean Howe. Zeta statistics and Hadamard functions. Adv. Math., 407:Paper No. 108556, 68, 2022

    work page 2022

  7. [5]

    Motivic random variables

    Margaret Bilu and Sean Howe. Motivic random variables. In preparation

    work page

  8. [6]

    Motivic Euler products in motivic statistics

    Margaret Bilu and Sean Howe. Motivic Euler products in motivic statistics. Algebra Number Theory, 15(9):2195–2259, 2021

    work page 2021

Show all 11 references
  1. [7]

    Alina Bucur and Kiran S. Kedlaya. The probability that a complete intersection is smooth. J. Th´ eor. Nombres Bordeaux, 24(3):541–556, 2012

    2012

  2. [10]

    The negative σ-moment generating function

    Sean Howe. The negative σ-moment generating function. arXiv:2505.01205, 2025

    2025 arXiv

  3. [11]

    Bertini theorems over finite fields

    Bjorn Poonen. Bertini theorems over finite fields. Ann. of Math. (2) , 160(3):1099–1127, 2004

    2004

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.