REVIEW 4 major objections 4 minor 9 references
On the distribution of primitive subgroups of $\mathbb{Z}^{d}$ of large covolume
T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper proves that uniform counting measures on homothety classes of large-covolume primitive subgroups of Z^d converge weak-* to a polar measure.
desk verdict A clean, genuinely new extension of Aka–Einsiedler–Shapira from the coarse quotient to the full homothety space, held up by an imported equidistribution theorem that needs exact hypothesis-checking before accept. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying object is a polar-coordinate decomposition of X_{d-1,d}: the double coset space $\Delta$ K^pm \ (SO_d(R) x P)/Q, where the first factor records the hyperplane spanned by the subgroup and the second records its shape inside that hyperplane. The multiplication map sends a pair (rho, eta Q) to the homothety class $rho^{{-1}}$ eta Q, and the polar measure is its push-forward from the product of Haar measure and the invariant shape measure. The second engine is the p-adic factory: for each primitive vector v of norm T, an S-arithmetic orbit O_{v,p} splits into finitely many pieces whose real projections, after dividing by the compact stabilizers, carry exactly the uniform measure on the finite set L(v) that corresponds to the desired primitive subgroups. Equidistribution of these compact orbits, imported as Theorem 4.4 from [AES16a], upgrades the finite-set statement to the limiting polar measure.
What would settle it
Take d=6 and a sequence of covolumes T_j -> infinity, and test the claimed weak-* convergence on a continuous compactly supported function that is large on homothety classes whose orthogonal primitive vector lies in a fixed small cone on the sphere of radius T_j. The theorem predicts the limiting proportion equals the normalized angular measure of that cone; observing any different limiting proportion for such cone tests would refute the equidistribution claim. The same test applies to d=4 and d=5 along the admissible subsequences.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for d=4 with {$T_j^{2}$} subset D(p)/8N, for d=5 with {$T_j^{2}$} subset D(p), and for d>5 with no restriction, the uniform measures mu_{T_j} on the homothety classes of covolume-T_j primitive rank-(d-1) subgroups of Z^d converge weak-* to mu_polar. If the paper is right, the limiting measure is exactly the one obtained by disintegrating over the Grassmannian of hyperplanes and using the PGL_{d-1}(R)-invariant shape measure on each hyperplane. The proof realizes the space of homothety classes as an SL_d(R) quotient, builds a p-adic factory that generates the finite sets from S-arithmetic orbits attached to primitive vectors, and reduces the convergence to an imported equidistribution theorem for those compact orbits. The result is a sparse, exact-covolume analogue of the earlier distribution theorem for primitive subgroups of covolume at most T.
Load-bearing premise
The proof leans entirely on an imported black-box theorem (Theorem 4.4 of the paper) asserting that, for every admissible sequence of primitive vectors with diverging norms, the invariant measures on the associated compact S-arithmetic orbits converge weak-* to the full invariant measure; if that theorem is false, or the admissibility conditions do not guarantee it applies, Theorem 1.1 collapses.
Editorial extensions
If this is right
- For d>5, every sequence of covolumes T_j -> infinity is admissible, so primitive rank-(d-1) subgroups of Z^d equidistribute with no congruence condition.
- For d=4 and d=5, equidistribution holds along subsequences whose squared covolumes avoid a fixed odd prime, giving the same limit as in the unrestricted case.
- The convergence implies the earlier equidistribution theorem for orthogonal grids, because the map from homothety classes to hyperplanes-and-shapes is continuous and the limit projects to it.
- The limiting measure mu_polar does not depend on the subsequence, on the prime p, or on the dimension beyond the ambient d, so the asymptotic shape distribution is universal across all listed cases.
Reading between the lines
- The congruence restrictions in d=4 and d=5 look like an artifact of the quoted theorem; the paper's own remark suggests the expected truth is equidistribution for every sequence T_j -> infinity in those dimensions, reachable through a different equidistribution result with an effective error rate.
- Although not stated as a theorem, the polar-coordinate construction adapts to rank-k discrete subgroups for any 1 <= k < d, as the author notes, so the same method likely yields a limiting measure built from k-planes rather than hyperplanes.
- If an effective version of the imported theorem exists, the argument would turn into quantitative counting: the number of primitive subgroups of covolume T in a fixed shape region would equal the polar measure up to an error tending to zero.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a sparse equidistribution result for homothety classes of primitive rank-(d-1) subgroups of Z^d with large covolume. The main theorem states that for d=4, d=5, and d>5, under suitable conditions on the covolumes T_j, the uniform counting measures mu_{T_j} on the finite sets of such classes converge weak-* to a limiting measure mu_polar, which is defined by disintegrating over the space of hyperplanes and using the invariant shape measure inside each hyperplane. The proof introduces a polar-coordinate description of X_{d-1,d} as a double coset space (Proposition 2.2), uses a p-adic mechanism to generate primitive subgroups from orthogonal lattices, and then imports an S-arithmetic equidistribution theorem from [AES16a] (Theorem 4.4) to deduce the convergence. The note also contains a remark that the congruence conditions in dimensions 4 and 5 could be removed by using stronger results from [AES16b] and [ERW17].
Significance. If correct, the result extends the theorem of Aka, Einsiedler and Shapira from the space of oriented grids to the full space X_{d-1,d} of homothety classes, and it gives an explicit description of the limiting measure. The polar-coordinate double-coset model in Section 2 is an elegant and potentially reusable tool, and the measure-theoretic bookkeeping in Lemmas 2.3 and 4.3 is clean. The paper is short and does not contain fitted parameters; the limiting measure is defined independently of the method. However, the central claim rests on an imported equidistribution theorem whose hypotheses are not verified in the text, and one key measure-identification lemma is only outlined. These gaps make the paper unsuitable for publication in its current form, but they appear fixable.
major comments (4)
- [Section 1, Theorem 1.1] The statement of Theorem 1.1 omits the necessary hypothesis that T_j tends to infinity. As written, a constant sequence with T_j^2 in the listed sets satisfies the stated conditions but does not converge weak-* to mu_polar. The proof via Theorem 3.9 explicitly uses ||v_i|| -> infinity, so the condition T_j -> infinity must be added to the theorem statement.
- [Section 4.2.1, Theorem 4.4] The key equidistribution input is quoted from [AES16a] without a precise theorem number and without verifying that the admissibility conditions in Definition 3.8 exactly match the hypotheses under which the source theorem is proved. Since Theorem 4.4 is the only input that produces the limit measure on the S-arithmetic orbits, and since Corollary 4.5 and all subsequent steps depend on it, the paper should state the exact source theorem and confirm the match, or provide a proof of the quoted statement.
- [Section 3.2.1, Proposition 3.6(2)] The disjointness assertion (3.11) is dismissed as a routine check, but it is load-bearing: it is used in Lemma 4.2 to prove injectivity of the map restricted to R~_v and in the proof of Lemma 4.6. The paper should supply the details of this check or give an exact reference to the corresponding statement in [AES16a] with a precise location.
- [Section 4.2.2, Lemma 4.6] The proof of Lemma 4.6 is only an outline. The normalizing constants alpha(v) and beta(v) are not explicitly defined, and Lemma 4.7 is imported from [AES16a] without a full statement or verification that the present setup, including the exceptional set E, matches the source lemmas. Since Lemma 4.6 is the bridge from the orbit equidistribution of Theorem 4.4 to the uniform counting measures, this argument needs to be completed or the cited lemmas stated in sufficient detail.
minor comments (4)
- [Section 1, notation] The notation D(p)/8N is not defined. It should be explained explicitly, and in Definition 3.8 the symbol '⊆' should be '∈' when applied to an element such as ||v||^2.
- [Section 3.3.1, Theorem 3.9 implies Theorem 1.1] The reference to 'Lemma 3.13' appears to be a typo for Lemma 3.7. In addition, the passage from convergence for individual equivalence classes L(v) to convergence for the uniform measure on the whole sphere Z^{prim}(T) is not spelled out; a sentence explaining the averaging over equivalence classes would make the implication clear.
- [Section 4.2.2] The definitions of alpha and beta in the display after (4.8) are incomplete: they are described only as normalizing constants. Explicit formulas should be given.
- [Global] There are several typographical issues, including 'W e' in the abstract and 'purposing' in the acknowledgements, which should be corrected.
Circularity Check
No circularity: the central claim is derived from external S-arithmetic equidistribution and an independently defined polar measure.
full rationale
The derivation is not circular. The target measure mu_polar is defined independently in Section 2 by disintegrating over the space of hyperplanes Gr_{d-1}(R^d) and pushing forward the invariant measure on PGL_{d-1}(R)/PGL_{d-1}(Z) to each fiber (Lemmas 2.1 and 2.3, Eq. 2.3). The admissibility conditions in Definition 3.8 are not fitted to mu_polar; they are presented as hypotheses under which the external equidistribution theorem, Theorem 4.4 quoted from [AES16a], is available. The proof then transfers orbit equidistribution through explicit homeomorphisms and bijections: the polar-coordinate homeomorphism M (Proposition 2.2), the p-adic generation mechanism (Lemmas 3.2-3.7), and the measure identifications (Lemmas 4.2, 4.3, 4.6, 4.7). None of these steps defines mu_polar in terms of the input orbit measures, and no parameter is fitted to a subset of the data and then renamed as a prediction. The dependence on [AES16a] for Theorem 4.4 and Lemmas 4.7 is genuine external support: [AES16a] is by Aka, Einsiedler, and Shapira, not by the present author, so this is not a load-bearing self-citation chain. The Remark in the Introduction conceding that the congruence conditions in dimensions 4 and 5 are 'unnecessary' and could be removed by substituting theorems from [AES16b] and [ERW17] further indicates that those conditions are inherited from the chosen external theorem rather than introduced to force the final limit. If Theorem 4.4's hypotheses are not actually met by the admissible vectors, Theorem 1.1 would not follow; that is a possible correctness risk, not circular reasoning. The paper is accordingly self-contained against its external benchmark, and the circularity score is the minimum.
Assumptions & free parameters
assumptions (5)
- standard math Iwasawa decomposition: SO_d(R) times A times N to SL_d(R), (rho, a, n) maps to rho a n, is a homeomorphism.
- standard math Strong approximation / S-arithmetic decomposition ASL_{d-1}(Q_p) = ASL_{d-1}(Z_p) ASL_{d-1}(Z[1/p]).
- domain assumption The double-coset decomposition H_v(Q_p) = disjoint union over h in M of H_v(Z_p) h H_v(Z[1/p]) has a finite set of representatives M.
- domain assumption The S-arithmetic orbit O_{v,p} (Eq. (3.5)) is compact and carries an L_v(R times Q_p)-invariant probability measure.
- domain assumption The equidistribution theorem of [AES16a]: mu_{O_{v_i,p}} converges to mu_{Y_p} for admissible vectors v_i with ||v_i|| to infinity (Theorem 4.4).
Cite this review
Pith. "Pith review of On the distribution of primitive subgroups of $\mathbb{Z}^{d}$ of large covolume." pith.science (2026). https://pith.science/paper/SNPKYA23
@misc{pith2026190807165,
author = {Pith},
title = {Pith review of: On the distribution of primitive subgroups of $\mathbbZ^d$ of large covolume},
year = {2026},
howpublished = {\url{https://pith.science/paper/SNPKYA23}},
note = {Machine review of arXiv:1908.07165}
}
abstract
We prove existence and compute the limiting distribution of the image of rank-$\left(d-1\right)$ primitive subgroups of $\mathbb{Z}^{d}$ of large covolume in the space $X_{d-1,d}$ of homothety classes of rank-$\left(d-1\right)$ discrete subgroups of $\mathbb{R}^{d}$. This extends a theorem of Aka, Einsiedler and Shapira.
Reference graph
Works this paper leans on
-
[1]
M. Aka, M. Einsiedler, and U. Shapira. Integer points on spheres and their orthogonal grids. Journal of the London Mathematical Society , 93(1):143--158, 2016
work page 2016
-
[2]
M. Aka, M. Einsiedler, and U. Shapira. Integer points on spheres and their orthogonal lattices. Inventiones mathematicae , 206(2):379--396, 2016
work page 2016
-
[3]
M. B. Bekka and M. Mayer. Ergodic Theory and Topological Dynamics of Group Actions on Homogeneous Spaces . London Mathematical Society Lecture Note Series. Cambridge University Press, 2000
work page 2000
-
[4]
J. S. Ellenberg, P. Michel, and A. Venkatesh. Linnik's ergodic method and the distribution of integer points on spheres. arXiv:1001.0897 , 2010
work page Pith review arXiv 2010
-
[5]
M. Einsiedler, R. R \"u hr, and P. Wirth. Distribution of shapes of orthogonal lattices. Ergodic Theory and Dynamical Systems , pages 1--77, 2017
work page 2017
-
[6]
Y. V. Linnik. Ergodic properties of algebraic fields , volume 45 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge . Springer-Verlag Berlin Heidelberg, New York, 1968
work page 1968
-
[7]
W. M. Schmidt. The distribution of sublattices of Z ^m . Monatshefte f \" u r Mathematik , 125(1):37--81, 1998
work page 1998
-
[8]
W. M. Schmidt. Integer matrices, sublattices of Z ^m , and frobenius numbers. Monatshefte f \"u r Mathematik , 178(3):405--451, 2015
work page 2015
Show all 9 references
-
[9]
Sargent and U
O. Sargent and U. Shapira. Dynamics on the space of 2-lattices in 3-space. Geometric and Functional Analysis , 29(3):890--948, 2019
2019
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.