Published paper
Abstract
Corollary 3.5 supplies the weak-approximation step used in Burger–Sarnak's proof of automorphic restriction.
Role in dependence graphs
Proof-critical source
Bounded trajectories of quasi-rays
This paper is included only for the following marked statement:
- Corollary 3.5Weak approximation used to pass from the simply connected cover and its components to the group in Burger–Sarnak's proof.
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.