Pith. sign in

REVIEW 3 major objections 6 minor 32 references

Gaussian Universality of Products Over Split Reductive Groups and the Satake Isomorphism

T0 review · 3 major / 6 minor · reviewed 2026-08-08 · deepseek-v4-flash

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

Pith's one-line read This paper proves Gaussian universality for products of bi-K-invariant random matrices in any split reductive group over a non-archimedean local field, with singular numbers and corners governed by Hall-Littlewood polynomials through the…

desk verdict A genuine unified method for Gaussian universality via Satake isomorphism, but the paper's stated claim for all split reductive groups fails because it conflates the coroot lattice with the coweight lattice. read the letter →

arxiv 2502.06143 v1 pith:FIHIZPUJ submitted 2025-02-10 math.PR math.NTmath.RT

Jiahe Shen This is my paper · ORCID
classification math.PRmath.NTmath.RT MSC 15B5215B3060B15
keywords non-archimedeanrandommatricessplitreductivegroupssingularnumberscornersHall-LittlewoodpolynomialsSatakeisomorphismGaussianuniversalitystronglawoflarge
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

The paper aims to show that, in any split reductive group over a non-archimedean local field, the singular numbers of products of random bi-K-invariant matrices are asymptotically Gaussian after centering and scaling, with the same limit structure regardless of the root system. The proof routes the Cartan and Iwasawa decompositions through Hall-Littlewood polynomials via the Satake isomorphism, so the product process and the corner process are determined by the same algebraic data. The key probabilistic step is a separation bound: the singular numbers and the sum of corners of a long product differ by an amount smaller than any positive power of the singular-number size. If the argument is correct, the Gaussian universality previously known for GL_n and Sp_{2n} holds uniformly for all split reductive groups, including exceptional types.

What carries the argument

The mechanism is the Satake isomorphism between the spherical Hecke algebra of $G$ and the $W$-invariant Laurent polynomials, sending the double coset $c_\lambda$ to $q^{\langle\lambda,\rho\rangle}P_\lambda(q^{-1})$, with $P_\lambda(t)$ the Hall-Littlewood polynomial attached to the dominant coweight $\lambda$. Combined with the principal specialization formula $P_\lambda(\theta;t)=W(t)/W_\lambda(t)\,t^{-\langle\lambda,\rho\rangle}$, this converts product convolution of double cosets into multiplication of Hall-Littlewood polynomials and converts the corner distribution into the expansion coefficients $u_{\lambda,\nu}(t)$ of $P_\lambda$ in the monomial basis. The volume formula $V(K\pi^\lambda K)=q^{2\langle\lambda,\rho\rangle}W(t)/W_\lambda(t)$ then gives the explicit transition probabilities in Theorem 1.6 and Theorem 1.7, and the positivity and growth estimates for the $u_{\lambda,\nu}(q^{-1})$ coefficients drive the Borel-Cantelli separation bound.

What would settle it

Take a split reductive group whose cocharacter lattice strictly contains the coroot lattice, such as $\mathrm{PGL}_n(F)$, choose a bi-K-invariant distribution supported on a double coset indexed by a coweight not in $R^\vee_+$, and test whether the transition probability formula of Theorem 1.6 reproduces the direct double-coset count for a small residue field of size $q$; a mismatch at any $q$ would show the Hall-Littlewood machinery only applies to the coroot-indexed isogeny class.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 1.3: for i.i.d. K-bi-invariant random matrices $A_1,A_2,\dots$ in a split reductive group $G$ over a non-archimedean local field, the singular numbers $\lambda(k)=\mathrm{SN}(A_1\cdots A_k)$ satisfy $\lambda(k)/k \to E\,\mathrm{Cor}(A_1)$ almost surely and $(\langle\lambda(k),\alpha_i\rangle-kE\langle\mathrm{Cor}(A_1),\alpha_i\rangle)/\sqrt{k} \Rightarrow N(0,\Sigma)$, where $\Sigma$ is the covariance matrix of the corner coordinates. The engine is Theorem 1.6 and Theorem 1.7, which express the transition law of singular numbers and the conditional law of corners in terms of Hall-Littlewood structure coefficients, plus Theorem 1.5, which shows that $0\le\langle\lambda(k)-\nu(k),\rho\rangle\le\langle\lambda(k),\rho\rangle^\varepsilon$ eventually almost surely. The upshot is that the singular numbers of a long product are asymptotically interchangeable with the sum of independent corner increments, so classical LLN/CLT applies.

Load-bearing premise

The load-bearing premise is the paper's identification of the cocharacter lattice of the maximal torus with the coroot lattice $R^\vee$; this equality holds for some isogeny classes but not for groups such as PGL_n or odd special orthogonal groups, whose coweight lattice strictly contains the coroot lattice.

Editorial extensions

If this is right

  • Theorem 1.3 gives a strong law of large numbers and a central limit theorem for singular numbers of products in every split reductive group; in type A it reduces to the previously known GL_{n+1} Gaussian universality, and in type C to the Sp_{2n} result.
  • Theorem 1.5 implies that for bi-K-invariant products, singular numbers and corners are asymptotically interchangeable: the discrepancy $\langle\lambda(k)-\nu(k),\rho\rangle$ is eventually smaller than any positive power of $\langle\lambda(k),\rho\rangle$.
  • Because the corner sequence has independent increments in distribution, the asymptotic means and covariance matrix of singular numbers are explicitly $E\langle\mathrm{Cor}(A_1),\alpha_i\rangle$ and $\mathrm{Cov}(\langle\mathrm{Cor}(A_1),\alpha_i\rangle,\langle\mathrm{Cor}(A_1),\alpha_j\rangle)$, computable from the one-step corner law.
  • The framework provides a unified treatment for exceptional root systems, where direct linear-algebraic methods are unavailable.
  • The strong law in Theorem 1.3 gives the Lyapunov exponents $\lim_{k\to\infty}\langle\lambda(k),\alpha_i\rangle/k=E\langle\mathrm{Cor}(A_1),\alpha_i\rangle$ in the non-archimedean setting.

Reading between the lines

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

  • If the separation bound holds with only a divergence condition on $P(\mathrm{SN}(A_k)\neq 0)$, as the author conjectures, the SLLN and CLT should extend to non-identical bi-K-invariant sequences, making the Gaussian limit a genuine universality phenomenon rather than an i.i.d. artifact.
  • The same Satake dictionary may yield explicit Markov transition probabilities for random walks on Bruhat-Tits buildings of exceptional type, where linear-algebraic definitions of corners do not naturally apply.
  • The covariance matrix $\Sigma$ can be singular when the corners concentrate on a proper sublattice; in such cases the multivariate CLT holds with a degenerate limit, and tests comparing projected coordinates would be more sensitive than the full vector.
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

3 major / 6 minor

Summary. This paper studies i.i.d. products of K-bi-invariant random elements in a split reductive group over a non-archimedean local field. The author defines singular numbers via the Cartan decomposition and corners via the Iwasawa decomposition, then derives explicit product and corner transition probabilities from the Satake isomorphism and Hall-Littlewood polynomials. On this basis, the paper claims a strong law of large numbers and a central limit theorem for singular numbers of products, together with a polynomial-in-⟨λ(k),ρ⟩ bound on the discrepancy between singular numbers and corners. The intended contribution is a uniform treatment of all root systems, extending previous results of Van Peski and of the author.

Significance. The results would be a significant unification: they place Gaussian universality for p-adic matrix products on a representation-theoretic footing and would cover exceptional split groups where no linear-algebraic proof is available. The non-asymptotic formulas are explicit and appear to be derived, not fit, from the Satake isomorphism; I see no circularity in the use of principal specialization or Hall-Littlewood structure constants. The main gap is that the paper proves the theorems only for the isogeny class with X_*(T)=Q^∨, while its title and statements claim all split reductive groups; the examples (SL and Sp) are exactly in this class. With the lattice identification corrected and the supporting lemmas repaired, the strategy is plausible, so the manuscript merits revision rather than rejection.

major comments (3)
  1. [Section 1, item (2); Proposition 2.1(1); Theorem 2.15; Eq. (3.3)] The identification R∨=Hom(G_m,T) is false for a general split reductive group. The coroot lattice Q∨=∑Zα_i^∨ is generally a proper sublattice of the coweight lattice X_*(T). For GL_n, X_*(T)=Z^n but Q∨={a∈Z^n:Σa_i=0}; for GL_2(Q_p), the matrix diag(π,1) has singular number (1,0), which is not in Q∨. Hence Proposition 2.1(1) as stated is false, and the Satake isomorphism (2.10), the volume formula (3.3), and the resulting formulas in Theorems 1.6 and 1.7 are only proved when X_*(T)=Q∨, e.g. for simply connected semisimple groups. The paper's examples SL_{n+1} and Sp_{2n} are exactly in this class, so the claimed generality over all split reductive groups is not established. The natural repair is to take R∨ to be X_*(T), define the positive cone using Q∨_+, define the dominant cone using X_*(T)_+, and re-verify identities such as (2.12), (3.3), and (3.5) in that setting.
  2. [Definition 2.5; Eqs. (2.4), (2.6); Lemma 4.2] The Weyl denominator is written as δ=∏_{α∈Π+}(e^{α∨/2}-e^{-α∨/2})=e^ρ∏_{α∈Π+}(1-e^{-α∨}). The exponent ∑_{α∈Π+}α∨/2 is the half-sum of positive coroots, not the half-sum of positive roots ρ, except in the simply-laced case. In type C_2, for example, the two half-sums are different. As a consequence, the characters χλ defined by this δ need not lie in C[R∨]^W for non-simply-laced coweight lattices, and the use of (2.4) and (2.6) in Lemma 4.2 is not justified as written. The authors should either redefine the denominator using the half-sum of positive coroots and prove the character basis in the coweight lattice, or explicitly restrict the argument to simply-laced groups.
  3. [Lemma 4.3; Proposition 4.4; Theorem 1.5] Lemma 4.3 asserts the existence of a uniform η>0 such that E⟨Cor(A),ρ⟩>η for every nonzero λ∈R∨_+. The proof, however, only shows positivity for each fixed λ and gives an asymptotic statement as ⟨λ,ρ⟩→∞. It does not rule out the infimum over the infinite set of nonzero λ with bounded ⟨λ,ρ⟩ being zero. Proposition 4.4 and Theorem 1.5 require a fixed positive η that is independent of k and λ, so this is a load-bearing gap. A separate lower-bound argument over all nonzero dominant coweights is needed.
minor comments (6)
  1. [Section 1, item (2)] The line 'R∨ = ∑ Zα_i^∨ be the coweights' should say that R∨ is the coroot lattice; the term 'coweights' is reserved for elements of Hom(G_m,T), and this wording contributes to the false identification discussed in Major Comment 1.
  2. [Example 1.1] In the Iwasawa decomposition display, 'πν1,...,ν νn+1' appears to contain a typographical error and should presumably read 'π^{ν1},...,π^{ν_{n+1}}'.
  3. [Example 2.2] The displayed positive octant R∨_0 for Sp_{2n} is written as {λ_1+...+λ_i≥0 for all i}, which is the type A positive cone; for type C the positive cone generated by the simple coroots is {λ_1≥...≥λ_n≥0}.
  4. [Eq. (3.2)] In the second line of (3.2), the expression '∫ cµ(y)cν(πλ y^{-1}) dzdy' retains a leftover dz after the z-integral has been evaluated by G-invariance; the displayed formula should involve only dy.
  5. [Proof of Theorem 1.5] The estimate for ∑ P(C_k) should be framed as a conditional probability given the past value λ(k−1), with the unconditional bound obtained by taking expectation; as written, the conditioning step is skipped.
  6. [Example 3.3] The word 'homogenous' should be 'homogeneous'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main results are derived from the Satake isomorphism and Hall-Littlewood machinery, not from the results being generalized.

full rationale

The paper's derivation chain is self-contained. Theorem 1.6 is obtained from the Satake isomorphism (2.10), the structure-coefficient identity (2.12), the orbit-volume formula (3.3) quoted from Macdonald, and the probabilistic Lemma 3.1; Theorem 1.7 then follows from Theorem 1.6 via Proposition 3.5 and the Hall-Littlewood identity (3.5). The asymptotic claims are proved from these nonasymptotic formulas rather than assumed: Theorem 1.5 is established from Lemma 4.2 and the Borel-Cantelli argument in Section 4, and Theorem 1.3 is derived from Theorem 1.5 together with the distributional identity (1.1) for corner increments, which is proved directly from right K-invariance. The citations to the author's prior works [28, 29] are used for background, motivation, and comparison, and Van Peski [30] is the result being generalized; none of these citations supplies a premise in the proofs of Theorems 1.3, 1.5, 1.6, or 1.7. The most serious mathematical concern, namely the identification in Section 1(2) of R∨ with Hom(G_m, T) = X_*(T), is a correctness/isogeny-class issue rather than a circularity: for general split reductive groups X_*(T) may strictly contain Q∨, but this does not mean that any target result is being assumed as an input. Hence there are no circular steps to report.

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

No free parameters and no invented entities. The central results depend on standard facts in representation theory (Satake isomorphism, Hall-Littlewood polynomials, volume and principal specialization formulas) and on two domain assumptions: the K-bi-invariant measure setup and the identity between coroot and coweight lattices. The latter is not valid for all split reductive groups and is the main unstated hypothesis.

assumptions (5)
  • domain assumption G is a split reductive group over a non-archimedean local field; Cartan decomposition G=KΛ+K and Iwasawa decomposition G=NΛK hold, defining singular numbers and corners.
    Section 1 (2) and Proposition 2.1; all arguments use these decompositions to define SN and Cor.
  • ad hoc to paper The coweight lattice of the maximal torus T coincides with the coroot lattice R∨=Σ Zα_i^∨, i.e. X_*(T)=Q∨.
    Section 1 (2): 'R∨ = Σ Zα_i^∨ be the coweights ... canonical isomorphism R∨ ≅ Hom(G_m,T)'. This is not true for all split reductive groups (e.g. GL_n has a nontrivial center, so X_*(T)=Z^n while Q∨ is a proper sublattice; similarly adjoint E6/E7 or SO odd). Needed for Cartan decomposition to be indexed by R∨_+ and for Hall-Littlewood polynomials on R∨.
  • standard math Satake isomorphism maps c_λ to q^{⟨λ,ρ⟩}P_λ(q^{-1}), and the volume formula V(Kπ^λK)=q^{2⟨λ,ρ⟩}W(q^{-1})/W_λ(q^{-1}) holds.
    Sections 2.2-2.3, Theorem 2.15, Eq (3.3). Core tool connecting the Hecke algebra to Hall-Littlewood polynomials.
  • standard math Principal specialization formula P_λ(θ;t)=W(t)/W_λ(t)t^{-⟨λ,ρ⟩} and the Weyl dimension formula hold.
    Propositions 2.10 and 2.11, Eq (2.7). Used to evaluate probabilities in Theorems 1.6 and 1.7.
  • standard math Hall-Littlewood polynomials P_λ(t) for arbitrary root systems have monic expansion in monomial symmetric functions with coefficients in Z[t] and form a basis of C[t][R∨]^W.
    Definition 2.6 and Proposition 2.7. Needed for structure constants u and c to be well-defined and used in probability formulas.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Gaussian Universality of Products Over Split Reductive Groups and the Satake Isomorphism." pith.science (2026). https://pith.science/paper/FIHIZPUJ

@misc{pith2026250206143,
  author       = {Pith},
  title        = {Pith review of: Gaussian Universality of Products Over Split Reductive Groups and the Satake Isomorphism},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FIHIZPUJ}},
  note         = {Machine review of arXiv:2502.06143}
}
read the original abstract

We establish that the singular numbers (arising from Cartan decomposition) and corners (emerging from Iwasawa decomposition) in split reductive groups over non-archimedean fields are fundamentally determined by Hall-Littlewood polynomials. Through applications of the Satake isomorphism, we extend Van Peski's results (arXiv:2011.09356, Theorem 1.3) to encompass arbitrary root systems. Leveraging this theoretical foundation, we further develop Shen's work (arXiv:2411.01104, Theorem 1.1) to demonstrate that both singular numbers and corners of such products exhibit minimal separation. This characterization enables the derivation of asymptotic properties for singular numbers in matrix products, particularly establishing the strong law of large numbers and central limit theorem for these quantities. Our results provide a unified framework connecting algebraic decomposition structures with probabilistic limit theorems in non-archimedean settings.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 27 canonical work pages

  1. [1]

    Recent exact and asymp totic results for products of independent random matrices

    Gernot Akemann and Jesper R Ipsen. Recent exact and asymp totic results for products of independent random matrices. arXiv preprint arXiv:1502.01667 , 2015

    arXiv 2015

  2. [2]

    Continuity o f the lyapunov exponents of random matrix products

    Artur Avila, Alex Eskin, and Marcelo Viana. Continuity o f the lyapunov exponents of random matrix products. arXiv preprint arXiv:2305.06009 , 2023

    arXiv 2023

  3. [3]

    Limit theorems for non-commutative op erations

    Richard Bellman. Limit theorems for non-commutative op erations. i. 1954

    work page 1954

  4. [4]

    Macdonald processes, 20 13

    Alexei Borodin and Ivan Corwin. Macdonald processes, 20 13

    work page

  5. [5]

    Paths in weyl cham bers and random matrices

    Philippe Bougerol and Thierry Jeulin. Paths in weyl cham bers and random matrices. Probability theory and related fields , 124(4):517–543, 2002

    work page 2002

  6. [6]

    Lie groups and Lie algebras , volume 1

    Nicolas Bourbaki. Lie groups and Lie algebras , volume 1. Springer Science & Business Media, 1989

    work page 1989

  7. [7]

    Poisson boundary of GL d(Qp) Israel Journal of Mathematics , 185:125– 140, 2011

    Sara Brofferio and Bruno Schapira. Poisson boundary of GL d(Qp) Israel Journal of Mathematics , 185:125– 140, 2011

    work page 2011

  8. [8]

    Groupes r´ eductifs s ur un corps local: I

    Fran¸ cois Bruhat and Jacques Tits. Groupes r´ eductifs s ur un corps local: I. donn´ ees radicielles valu´ ees. Publications Math´ ematiques de l’IH´ES, 41:5–251, 1972

    work page 1972

Show all 32 references
  1. [9]

    Isotropic rando m walks in a building of type

    Donald I Cartwright and Wolfgang Woess. Isotropic rando m walks in a building of type. Mathematische Zeitschrift, 247:101–135, 2004

    2004

  2. [10]

    Non-archimedean whittaker functions as characters: A probabilistic approach to the shintani– casselman–shalika formula

    Reda Chhaibi. Non-archimedean whittaker functions as characters: A probabilistic approach to the shintani– casselman–shalika formula. International Mathematics Research Notices , 2017(7):2100–2138, 2017

    2017

  3. [11]

    Asymptotics of finite system lyapuno v exponents for some random matrix ensembles

    Peter J Forrester. Asymptotics of finite system lyapuno v exponents for some random matrix ensembles. Journal of Physics A: Mathematical and Theoretical , 48(21):215205, 2015

    2015

  4. [12]

    Products of random matrices

    Harry Furstenberg and Harry Kesten. Products of random matrices. The Annals of Mathematical Statistics , 31(2):457–469, 1960

    1960

  5. [13]

    Brownian motion in a weyl chamber, non -colliding particles, and random matrices

    David J Grabiner. Brownian motion in a weyl chamber, non -colliding particles, and random matrices. In Annales de l’IHP Probabilit´ es et statistiques, volume 35, pages 177–204, 1999

    1999

  6. [14]

    Random walks in weyl c hambers and the decomposition of tensor powers

    David J Grabiner and Peter Magyar. Random walks in weyl c hambers and the decomposition of tensor powers. Journal of Algebraic Combinatorics , 2:239–260, 1993

    1993

  7. [15]

    Reflection groups and Coxeter groups

    James E Humphreys. Reflection groups and Coxeter groups . Cambridge university press, 1992

    1992

  8. [16]

    Linear algebraic groups , volume 21

    James E Humphreys. Linear algebraic groups , volume 21. Springer Science & Business Media, 2012

    2012

  9. [17]

    Investigation of continuo us-time quantum walk on root lattice an and hon- eycomb lattice

    MA Jafarizadeh and R Sufiani. Investigation of continuo us-time quantum walk on root lattice an and hon- eycomb lattice. Physica A: Statistical Mechanics and its Applications , 381:116–142, 2007

    2007

  10. [18]

    Convex hulls of random walks, hyperplane arrangements, and weyl chambers

    Zakhar Kabluchko, Vladislav Vysotsky, and Dmitry Zapo rozhets. Convex hulls of random walks, hyperplane arrangements, and weyl chambers. Geometric and Functional Analysis , 27:880–918, 2017

    2017

  11. [19]

    Exact lyapunov exponent for infinite products of random matrices

    R Lima and M Rahibe. Exact lyapunov exponent for infinite products of random matrices. Journal of Physics A: Mathematical and General , 27(10):3427, 1994

    1994

  12. [20]

    Lyapunov ex ponent, universality and phase transition for products of random matrices

    Dang-Zheng Liu, Dong Wang, and Yanhui Wang. Lyapunov ex ponent, universality and phase transition for products of random matrices. Communications in Mathematical Physics , 399(3):1811–1855, 2023

    2023

  13. [21]

    Orthogonal polynomials associated wi th root systems

    Ian G Macdonald. Orthogonal polynomials associated wi th root systems. Orthogonal Polynomials: Theory and Practice, pages 311–318, 1990

    1990

  14. [22]

    Spherical functions on a p-adic ch evalley group

    Ian Grant Macdonald. Spherical functions on a p-adic ch evalley group. 1968

    1968

  15. [23]

    Random walks on lattices

    Elliott W Montroll. Random walks on lattices. In Proc. Symp. Appl. Math , volume 16, pages 193–220, 1964

    1964

  16. [24]

    The distribution of lyapunov exponen ts: exact results for random matrices

    Charles M Newman. The distribution of lyapunov exponen ts: exact results for random matrices. Communi- cations in mathematical physics , 103(1):121–126, 1986

    1986

  17. [25]

    Buildings, groups of lie type, and ran dom walks

    James Parkinson. Buildings, groups of lie type, and ran dom walks. Groups, Graphs and Random Walks , 436:391, 2017

    2017

  18. [26]

    Random walk on a building of type ˜Ar and brownian motion of the weyl chamber

    Bruno Schapira. Random walk on a building of type ˜Ar and brownian motion of the weyl chamber. In Annales de l’IHP Probabilit´ es et statistiques, volume 45, pages 289–301, 2009

    2009

  19. [27]

    Compact lie groups

    Mark R Sepanski. Compact lie groups . Springer, 2007

    2007

  20. [28]

    Gaussian universality of p-adic random matrix products via corners

    Jiahe Shen. Gaussian universality of p-adic random matrix products via corners. arXiv preprint arXiv:2411.01104, 2024

    2024

  21. [29]

    Non-archimedean gue cor ners and hecke modules

    Jiahe Shen and Roger Van Peski. Non-archimedean gue cor ners and hecke modules. arXiv preprint arXiv:2412.05999, 2024. GAUSSIAN UNIVERSALITY OF PRODUCTS OVER SPLIT REDUCTIVE GRO UPS AND THE SATAKE ISOMORPHISM 19

    2024 arXiv

  22. [30]

    Limits and fluctuations of p-adic rando m matrix products

    Roger Van Peski. Limits and fluctuations of p-adic rando m matrix products. Selecta Mathematica, 27:1–71, 2021

    2021

  23. [31]

    What is a p-adic dyson brownian motion? arXiv preprint arXiv:2309.02865 , 2023

    Roger Van Peski. What is a p-adic dyson brownian motion? arXiv preprint arXiv:2309.02865 , 2023

    2023 arXiv

  24. [32]

    Estimating generalized lyapunov exponent s for products of random matrices

    J Vanneste. Estimating generalized lyapunov exponent s for products of random matrices. Physical Review E—Statistical, Nonlinear, and Soft Matter Physics , 81(3):036701, 2010

    2010

Pith tools

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