What was already known
Gaitsgory–Lafforgue–Raskin, with Kazhdan, posed rationality of their canonical filtration as Conjecture 2.7.3. Earlier restricted geometric Langlands and trace-of-Frobenius work define the support filtration but do not establish the claimed rational descent.
AI involvement
OpenAI is the manuscript author and identifies internal-model production. Earlier geometric Langlands work and a separate cusp decomposition supply context and a limited comparison.
The repository identifies this OpenAI-authored manuscript as model-produced; the retained theorem is more than a reformulation of GLR’s conjecture.
- Supporting source (github.com) — Assumption 1.1, theorem, GLR baseline and relation to cusp decomposition
Importance
Claims the full-space rational descent conjectured by Gaitsgory, Lafforgue and Raskin with Kazhdan.
Limitations
The four conditions require an invariant nondegenerate Lie-algebra form, Chevalley restriction for every Levi, Levi centralizers of semisimple elements and suitable parabolics for nilpotent elements. The result is conditional on them; no completed check of the trace and descent argument is documented.
Technical verification
No completed machine or human check of this full-space rationality theorem is documented; Reported is the evidence default.
Human understanding
The source gives a detailed mechanism but no named human explains the central measure detector and descent; Few is the evidence default.
Correction and publication history
Claims the full-space rational descent conjectured by Gaitsgory, Lafforgue and Raskin with Kazhdan.
Read this published revision