Published paper
Abstract
Theorem 3.4.11 is the Dani–Margulis discreteness result used for the cusp-vector orbit in Kleinbock–Weiss Proposition 3.1.
Role in dependence graphs
Proof-critical source
Bounded trajectories of quasi-rays
This paper is included only for the following marked statement:
- Theorem 3.4.11 · Handbook chapter §3.4, Theorem 3.4.11Dani–Margulis discreteness of the exterior-power cusp-vector orbit, used for part (1) of Kleinbock–Weiss Proposition 3.1.
Proof-critical source
Submanifold-genericity of -actions and uniform multiplicative Diophantine approximation
This paper is included only for the following marked statement:
- Theorem 3.4.11 · Handbook chapter §3.4Dani–Margulis discreteness of the exterior-power cusp-vector orbit.
Proof-critical source
Twisted Diophantine Approximation II: Uniform Theory
This paper is included only for the following marked statement:
- Lemma 1.1.3 · Handbook chapter §1.1, Lemma 1.1.3, printed p. 8Shows that the stabilizer of a finite Borel measure is closed, allowing invariance under the dense subgroup to extend to the full compact group.
AI-generated audit
Audit summary
Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.
No audit has been generated for this published version.