Published paper
Abstract
Theorem 1.1 transfers automorphic support under restriction to a semisimple rational subgroup, providing the transfer mechanism in the congruence spectral-gap argument.
Role in dependence graphs
Proof-critical source
Bounded trajectories of quasi-rays
This paper is included only for the following marked statement:
- Theorem 1.1(a) · printed p. 2; proof pp. 7–8Transfers automorphic support under restriction to a semisimple rational subgroup.
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.