Pith. sign in

REVIEW 5 minor 33 references

Vertex volumes, lattice-minima tails, and height zeta functions for the standard arithmetic quotient of $\operatorname{PGL}_d$

T0 review · 0 major / 5 minor · reviewed 2026-07-31 · grok-4.5

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

Pith's one-line read One set of sector coordinates computes the exact vertex volume, sharp cusp tails, and rational height zeta of the standard PGL_d building quotient.

desk verdict Clean, fully written building-side calculation that delivers an explicit vol(K)=1 volume, sharp L^r/T^{-d} cusp law, and rational height zetas from one sector coordinate system. read the letter →

arxiv 2607.28433 v1 pith:5G2LRFZT submitted 2026-07-30 math.NT math.GR

Soonki Hong , Sanghoon Kwon This is my paper · ORCID
classification math.NTmath.GR MSC 20E4220G2511M4105A15
keywords Bruhat–Titsbuildingsarithmeticquotientscovolumeslattice-minimafunctionscusptailsheightzetaGaussianbinomialsPGL_d
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 studies the standard nonuniform arithmetic quotient of the affine Bruhat–Tits building for $PGL_d$ over the local function field $F_q((t^{-1}))$, with Haar measure normalized so a maximal compact has volume one. It first evaluates the vertex volume in closed product form by parametrizing vertices in a dominant sector, counting stabilizers exactly, and summing the resulting block compositions via a cut-set recursion. On the same quotient it introduces a homothety-invariant lattice-minima height $\alpha$ and proves that $\alpha$ is integrable to the $r$-th power precisely when $0

What carries the argument

Dominant-sector coordinates: integer vectors $m_1\ge\cdots\ge m_d=0$ (or their trace-zero and simple-root difference forms) label the vertices uniquely; stabilizer weights become explicit geometric series in the height differences, and the sum over block compositions is evaluated by a cut-set dynamic program on paths from $0$ to $d$.

What would settle it

For small $d$ and $q$, compute the finite sum of inverse stabilizer orders over dominant vectors directly and check whether it equals the closed product formula; independently expand the claimed rational functions for $d=3,4,5$ and verify that their value at $u=1$ recovers the volume and that the residue at $u=q$ matches the stated critical coefficient.

Watch

Extended reading notes

Core claim

For the standard quotient $Y=\Gamma\backslash B_d$ with $\operatorname{vol}(K)=1$, the vertex volume equals $d$ times a ratio of products of $(q^m-1)$. The same dominant-sector data show that the normalized lattice-minima height $\alpha$ lies in $L^r(Y)$ if and only if $0<r<d$, that the cusp $\{\alpha>T\}$ has measure of exact order $T^{-d}$, and that the height zeta $Z_\alpha(s)=\int_Y \alpha^s\,d\nu$ converges precisely for $\Re(s)<d$, continues meromorphically as a rational function of $u=q^{s/d}$, and has a simple pole at $s=d$ whose critical coefficient is given by an explicit transverse sum over rays.

Load-bearing premise

The argument assumes that every double coset has a unique representative coming from a dominant integer vector with last coordinate zero, so the sector sum neither misses nor double-counts vertices.

Editorial extensions

If this is right

  • The vertex volume of the standard PGL_d(F_q[t]) quotient is now an explicit elementary product under the normalization vol(K)=1.
  • Lattice-minima height on this quotient has a sharp L^r threshold at r=d and two-sided cusp tails of order T^{-d}.
  • The positive-moment height zeta is a rational function of q^{s/d} with a simple pole only at s=d among positive real points of that form, and the pole coefficient is given by a convergent transverse sum.
  • Explicit closed formulas for the height zeta are available for matrix sizes 3, 4 and 5 as test cases for further theory.
  • The same simple-root difference coordinates govern volume, cusp decay and zeta poles simultaneously.

Reading between the lines

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

  • A closed general pattern for the numerator and denominator of Z_α,d for arbitrary d may be extractable from the cone formula once the low-d factorizations are better understood.
  • The same cut-set and modular-inequality method should adapt to SL_d and other split groups by replacing the coordinates with simple-root data and the modular character 2ρ.
  • An exact periodic expansion of T^d ν({α>T}) in log_q T is a direct next calculation already reduced to finitely many rational cones in the tail proof.
  • Matching the elementary pole coefficient against Eisenstein residues would link the building-side height to automorphic normalizations on the same quotient.
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

0 major / 5 minor

Summary. The paper studies the standard nonuniform arithmetic quotient Y = Γ\B_d of the affine Bruhat–Tits building of PGL_d(F_q((t^{-1}))), with Haar measure normalized by vol(K)=1. It gives a closed product formula for the vertex volume ν(Y) by parametrizing vertices via a dominant sector, counting stabilizers exactly, summing geometric series over fixed block types, and evaluating the composition sum by a cut-set dynamic program whose closed form rests on two finite q-identities. On the same coordinates it introduces a homothety-invariant lattice-minima height α, proves α ∈ L^r(Y) iff 0 < r < d, establishes the sharp cusp-tail bound ν({α > T}) ≍ T^{-d}, and shows that the positive-moment height zeta Z_α(s) = ∫_Y α^s dν converges precisely for Re(s) < d, continues meromorphically as a rational function of u = q^{s/d}, and has a simple pole at s = d with an explicit critical coefficient; the rational functions are written out for d = 3, 4, 5.

Significance. The contribution is a clean, fully explicit building-side calculation that unifies three quantities—vertex volume, L^r threshold/cusp tails, and the analytic structure of a local height zeta—under the same dominant-sector and simple-root difference coordinates. The volume formula is normalization-sensitive and obtained without Tamagawa or Euler–Poincaré bookkeeping; the cut-set recursion and the two q-binomial identities in Appendix A are elementary and checkable. The modular inequality Φ ≥ dH with equality only on rank-one rays yields both the sharp integrability threshold and the T^{-d} tail, and the rational-cone analysis produces an explicit residue at s = d together with closed formulas for d = 3, 4, 5 that recover ν(Y) at u = 1 and match the residue formula. These are concrete, falsifiable outputs of independent interest for arithmetic quotients of buildings and for local height zeta functions in positive characteristic.

minor comments (5)
  1. [Appendix B.4] Appendix B.4, first sentence: typographical slip “For completeness, n the case d = 3” should read “in the case”.
  2. [§5.3 / Lemma B.2] In Proposition 5.5 the common denominators D_d are displayed after cancellation; a one-line remark that the unreduced geometric factors coming from (B.7) are exactly those listed in the proof of Lemma B.2 would make the cancellation path easier to audit without reopening the residue-class sums.
  3. [Front matter] The date line reads “July 30, 2026”; if this is intentional (arXiv stamp) it is harmless, otherwise correct before final version.
  4. [§3.1–3.2] Notation: both H(n) (trace-zero partial sums) and H(δ) (difference coordinates) are used; a brief forward reference at (3.3) that they agree under (3.1)/(3.5) would reduce a momentary ambiguity for readers jumping between §§3–4.
  5. [§5, paragraph after (5.1)] References [19, 20] are the authors’ own edge/chamber zeta papers for d = 3; a short clarifying sentence in §5 that Z_α is a different (positive-moment, vertex-height) transform would help readers who know those works avoid conflation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: volume, L^r threshold, tails, and rational height zeta are derived from sector stabilizers and q-sums, not from fitted inputs or load-bearing self-citation.

full rationale

The derivation chain is self-contained and non-circular. Vertex volume (Thm 1.1) is obtained from the classical dominant-sector bijection (Lem. 2.1 via Birkhoff–Grothendieck), exact stabilizer counts (Lem. 2.3), geometric series over block heights (Cor. 2.4), and a cut-set recursion closed by two finite q-identities (App. A). The height α is expressed as q^{H(n)} in dominant coordinates (Prop. 3.1); integrability for r<d, the T^{-d} cusp tail, and the abscissa Re(s)<d of Z_α follow from the modular inequality Φ≥dH (Lem. 3.2) plus geometric comparison, not from equating the claim to its definition. Meromorphic continuation as a rational function of q^{s/d} is the standard generating function of rational cones (Thm 5.1); the critical residue (Cor. 5.3) and the explicit d=3,4,5 formulas are finite algebraic evaluations (App. B), cross-checked by recovering ν(Y) at u=1. Self-citations [17–20] supply background on low-d spectra/edge zeta and do not underwrite the closed product, the exponent d, or the pole coefficient. No step reduces a claimed prediction to a fitted parameter or to a self-defined quantity.

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

Load-bearing input is standard Bruhat–Tits/building and function-field reduction theory plus classical q-series identities. No fitted parameters. The height α and the cut-set weight W(a) are definitions internal to the calculation, not new physical entities. The only external structure theorems used as black boxes are Birkhoff–Grothendieck/Beauville–Laszlo for the sector bijection and standard rationality of lattice-point generating functions of rational cones.

assumptions (5)
  • standard math Birkhoff–Grothendieck: every vector bundle on P^1_{F_q} splits as ⊕ O(m_i) with m_1≥⋯≥m_d unique; with Beauville–Laszlo gluing this bijects dominant m (m_d=0) with Γ\G/K.
    Lemma 2.1; supplies the complete set of vertex representatives for the volume and height sums.
  • domain assumption Haar measure normalized by vol(K)=1, and ν is the induced measure on vertices Γ\G/K.
    Stated in the introduction; all volume and integral claims are relative to this normalization.
  • standard math Finite q-binomial convolution and terminal sum identities (Lemmas A.1–A.3) from standard (a;q)_n generating functions.
    Close the cut-set dynamic program to the product formula in Lemma 2.6 / Thm 1.1.
  • standard math Lattice-point generating functions of rational polyhedral cones are rational (Beck–Robins).
    Invoked in Thm 5.1 to get meromorphic continuation of Z_α as a rational function of u=q^{s/d}.
  • domain assumption Stabilizer description: Γ_m consists of block-upper-triangular elements with polynomial degree bounds bi−bj on strict upper blocks and Levi ∏ GL_{a_i}(F_q)/F_q^×.
    Lemma 2.3; standard for parahoric/stabilizer computation in the building, used for exact 1/|Γ_m|.
invented entities (2)
  • Homothety-invariant normalized lattice-minima height α on Y independent evidence
    purpose: Single K-invariant cusp height whose moments define Z_α and whose superlevel sets are the cusps E_T.
    Defined in (1.1) via covolume-normalized exterior minima and transferred by inversion ΓgK↦Kg^{-1}Γ; not a new particle/force, but the paper’s chosen test function.
  • Cut-set canonical weight W(a) and dynamic program F_d(n) independent evidence
    purpose: Organize the sum over compositions Comp(d) of stabilizer contributions into a recursion that evaluates in closed form.
    Bookkeeping devices in §2.4; evaluated rather than postulated.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Vertex volumes, lattice-minima tails, and height zeta functions for the standard arithmetic quotient of $\operatorname{PGL}_d$." pith.science (2026). https://pith.science/paper/5G2LRFZT

@misc{pith2026260728433,
  author       = {Pith},
  title        = {Pith review of: Vertex volumes, lattice-minima tails, and height zeta functions for the standard arithmetic quotient of $\operatornamePGL_d$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5G2LRFZT}},
  note         = {Machine review of arXiv:2607.28433}
}
abstract

We study the standard nonuniform arithmetic quotient of the affine Bruhat--Tits building attached to $\operatorname{PGL}_d(\mathbb F_q(\!(t^{-1})\!))$, with Haar measure normalized so that a maximal compact subgroup has volume one. We first compute its vertex volume in closed product form. The proof is entirely building-theoretic: vertices are parametrized by a dominant sector, their stabilizers are counted exactly, and the resulting sum over block compositions is evaluated by a cut-set recursion. On the same quotient, we introduce a homothety-invariant normalized lattice-minima height $\alpha$. We determine its exact integrability threshold, proving that $\alpha$ belongs to $L^r$ precisely for $0<r<d$, and establish a sharp cusp-tail estimate of order $T^{-d}$. The associated positive-moment height zeta function, equivalently the Mellin transform of the cusp-height distribution, converges exactly in the half-plane $\operatorname{Re}(s)<d$. It admits a meromorphic continuation as a rational function of $q^{s/d}$ and has a simple pole at $s=d$, with an explicit critical coefficient. We also compute the resulting rational functions explicitly for $d=3,4,5$. Thus the same dominant-sector coordinates simultaneously control volume, cusp decay, and the analytic structure of the height zeta function.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 2 linked inside Pith

  1. [1]

    Abramenko and K

    P. Abramenko and K. S. Brown,Buildings: Theory and Applications, Graduate Texts in Mathematics, vol. 248, Springer, New York, 2008

    2008

  2. [2]

    G. E. Andrews, R. Askey, and R. Roy,Special Functions, Encyclopedia of Mathematics and its Applications, vol. 71, Cambridge University Press, 1999

    1999

  3. [3]

    J. S. Athreya, A. Ghosh, and A. Prasad, Ultrametric logarithm laws I,Discrete Contin. Dyn. Syst. Ser. S2 (2009), no. 2, 337–348

    2009

  4. [4]

    J. S. Athreya, A. Ghosh, and A. Prasad, Ultrametric logarithm laws, II,Monatsh. Math.167 (2012), 333–356

    2012

  5. [5]

    Bass and A

    H. Bass and A. Lubotzky,Tree Lattices, Progress in Mathematics, vol. 176, Birkhäuser Boston, 2001

    2001

  6. [6]

    Beauville and Y

    A. Beauville and Y. Laszlo, Un lemme de descente,C. R. Acad. Sci. Paris Sér. I Math.320 (1995), no. 3, 335–340

    1995

  7. [7]

    Beck and S

    M. Beck and S. Robins,Computing the Continuous Discretely: Integer-Point Enumeration in Polyhedra, 2nd ed., Undergraduate Texts in Mathematics, Springer, New York, 2015

    2015

  8. [8]

    Borel and J.-P

    A. Borel and J.-P. Serre, Cohomologie d’immeubles et de groupesS-arithmétiques,Topology15 (1976), 211–232

    1976

Show all 33 references
  1. [9]

    Bruhat and J

    F. Bruhat and J. Tits, Groupes réductifs sur un corps local. I. Données radicielles valuées,Publ. Math. Inst. Hautes Études Sci.41 (1972), 5–251

    1972

  2. [10]

    Gasper and M

    G. Gasper and M. Rahman,Basic Hypergeometric Series, 2nd ed., Encyclopedia of Mathematics and its Applications, vol. 96, Cambridge University Press, 2004

    2004

  3. [11]

    Grothendieck, Sur la classification des fibrés holomorphes sur la sphère de Riemann,Amer

    A. Grothendieck, Sur la classification des fibrés holomorphes sur la sphère de Riemann,Amer. J. Math.79 (1957), 121–138

    1957

  4. [12]

    D. R. Grayson, Reduction theory using semistability,Comment. Math. Helv.59 (1984), 600–634

    1984

  5. [13]

    Harder, A Gauss–Bonnet formula for discrete arithmetically defined groups,Ann

    G. Harder, A Gauss–Bonnet formula for discrete arithmetically defined groups,Ann. Sci. École Norm. Sup.(4) 4 (1971), no. 3, 409–455

    1971

  6. [14]

    Harder, Chevalley groups over function fields and automorphic forms,Ann

    G. Harder, Chevalley groups over function fields and automorphic forms,Ann. of Math.(2) 100 (1974), 249–306

    1974

  7. [15]

    Harder, Minkowskische Reduktionstheorie über Funktionenkörpern,Invent

    G. Harder, Minkowskische Reduktionstheorie über Funktionenkörpern,Invent. Math.7 (1969), 33–54

    1969

  8. [16]

    Hazewinkel and C

    M. Hazewinkel and C. F. Martin, A short elementary proof of Grothendieck’s theorem on algebraic vectorbundles over the projective line,J. Pure Appl. Algebra25 (1982), no. 2, 207–211

    1982

  9. [17]

    Hong and S

    S. Hong and S. Kwon, Spectrum of the weighted adjacency operator on a nonuniform arithmetic quotient of PGL3,Combinatorics and Number Theory13 (2024), no. 2, 103–122. VERTEX VOLUMES AND HEIGHT ZETA FUNCTIONS FORPGL d 23

    2024

  10. [18]

    Hong and S

    S. Hong and S. Kwon, Weak Ramanujan property of the standard non-uniform arithmetic quotient ofPGL4,Int. J. Number Theory20 (2024), no. 9, 2355–2393

    2024

  11. [19]

    Hong and S

    S. Hong and S. Kwon, Edge zeta function and closed cycles in the standard non-uniform complex fromPGL3, arXiv:2411.15489, 2024

    2024 arXiv

  12. [20]

    Hong and S

    S. Hong and S. Kwon, Chamber zeta function and closed galleries in the standard non-uniform complex from PGL3, arXiv:2512.23276, 2025

    2025

  13. [21]

    D. Y. Kleinbock and G. A. Margulis, Logarithm laws for flows on homogeneous spaces,Invent. Math.138 (1999), 451–494; erratum,Invent. Math.211 (2018), 855–862

    1999

  14. [22]

    Kleinbock, R

    D. Kleinbock, R. Shi, and B. Weiss, Pointwise equidistribution with an error rate and with respect to unbounded functions,Math. Ann.367 (2017), 857–879

    2017

  15. [23]

    Kleinbock and G

    D. Kleinbock and G. Tomanov, Flows onS-arithmetic homogeneous spaces and applications to metric Diophantine approximation,Comment. Math. Helv.82 (2007), 519–581

    2007

  16. [24]

    Kondo and S

    S. Kondo and S. Yasuda, Arithmetic quotients of the Bruhat–Tits building for projective general linear groups in positive characteristic,Mem. Amer. Math. Soc.306 (2025), no. 1547

    2025

  17. [25]

    Kwon and S

    S. Kwon and S. Lim, Equidistribution with an error rate and Diophantine approximation over a local field of positive characteristic,Discrete Contin. Dyn. Syst.38 (2018), no. 1, 169–186

    2018

  18. [26]

    Lubotzky, Lattices in rank one Lie groups over local fields,Geom

    A. Lubotzky, Lattices in rank one Lie groups over local fields,Geom. Funct. Anal.1 (1991), no. 4, 405–431

    1991

  19. [27]

    Lubotzky, Lattices of minimal covolume inSL2: a non-Archimedean analogue of Siegel’s theoremµ≥π/ 21,J

    A. Lubotzky, Lattices of minimal covolume inSL2: a non-Archimedean analogue of Siegel’s theoremµ≥π/ 21,J. Amer. Math. Soc.3 (1990), no. 4, 961–975

    1990

  20. [28]

    Prasad, Volumes ofS-arithmetic quotients of semi-simple groups,Publ

    G. Prasad, Volumes ofS-arithmetic quotients of semi-simple groups,Publ. Math. Inst. Hautes Études Sci.69 (1989), 91–114

    1989

  21. [29]

    Salehi Golsefidy, Lattices of minimum covolume in Chevalley groups over local fields of positive characteristic, Duke Math

    A. Salehi Golsefidy, Lattices of minimum covolume in Chevalley groups over local fields of positive characteristic, Duke Math. J.146 (2009), no. 2, 227–251

    2009

  22. [30]

    Salehi Golsefidy, Lattices of minimum covolume are non-uniform,Israel J

    A. Salehi Golsefidy, Lattices of minimum covolume are non-uniform,Israel J. Math.196 (2013), no. 1, 363–373

    2013

  23. [31]

    O. Sela, M. Schaps, and U. Vishne, Quotients of buildings by non-uniform lattices, arXiv:2503.20773, 2025

    2025 arXiv

  24. [32]

    Serre,Trees, Springer, Berlin, 1980

    J.-P. Serre,Trees, Springer, Berlin, 1980

    1980

  25. [33]

    Stuhler, Homological properties of certain arithmetic groups in the function field case,Invent

    U. Stuhler, Homological properties of certain arithmetic groups in the function field case,Invent. Math.57 (1980), 263–281

    1980

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.