Math RefereeGeneric thinness in finitely generated subgroups of SL_n(Z)
Elena Fuchs and Igor Rivin
The proposed argument
The proposed argument compares ordinary and inverse-symmetric matrix norm balls. Cartan-coordinate volume estimates and lattice sector counts supply singular-value gaps and transverse partial flags; exterior-power ping-pong then gives freeness. Zariski density and infinite index give thinness. Separate arguments address dimension two, Hausdorff dimension of limit sets and Lyapunov exponents.
The reading materials use the 28-page arXiv v1. The 30-page IMRN article has revised Section 2 text; the complete journal text was not available for this native review. The received-date external-input cutoff is 28 July 2015. Later literature is separate retrospective context.
Reading order
- 01
Fix the sampling model
Distinguish ordinary operator-norm balls, balls bounding both the matrix and its inverse, and random walks. Read the separate conclusions with those measures fixed.
- 02
The two-dimensional branch
Follow traces, circle geometry, the Schottky construction and the limit-set dimension argument.
- 03
Cartan coordinates and lattice counts
Compare the ordinary-ball gap distribution with middle singular-value gaps in symmetrized balls; read the well-roundedness section alongside these calculations.
- 04
Exterior powers to thinness
Follow contraction, angular incidence and ping-pong into generic freeness, then distinguish the Zariski-density and infinite-index inputs.
- 05
The random-product conclusion
Read the matrix-product and reduced-word-length estimates as inputs to the separate Lyapunov-exponent assertion.
Follow the dependencies
Open the full map ↗Select a claim to see its prerequisites and consumers. Edge labels distinguish proof inputs, source references, background and exclusions.
Your independent assessment
Keep the three sampling models separate. Reconstruct the Cartan volume estimates, identify the exact angular-counting input and follow the exterior-power ping-pong argument. Treat the Lyapunov conclusion as a separate proof branch.