Published paper
Abstract
The automorphic lifting theorem is the rank-one base input used in Clozel's isotropic reduction.
Role in dependence graphs
Proof-critical source
Bounded trajectories of quasi-rays
This paper is included only for the following marked statement:
- $\mathrm{GL}(2)$-to-$\mathrm{GL}(3)$ lifting theorem · pp. 471–542Provides the rank-one base case used in Clozel's isotropic reduction.
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.