Published paper
Abstract
The cited finiteness theorem gives finite generation of the -arithmetic group used in Burger–Sarnak's averaging argument.
Role in dependence graphs
Proof-critical source
Bounded trajectories of quasi-rays
This paper is included only for the following marked statement:
- Theorem 6.20Finite generation of the -arithmetic group used to choose Burger–Sarnak's finite averaging operator.
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.