What was already known
Gaitsgory, Lafforgue and Raskin conjectured the rational and ℓ-adic decompositions at level zero and developed the surrounding filtration. Earlier parameter results did not establish arbitrary finite level.
AI involvement
OpenAI credits its internal model with the manuscript and its new finite-level argument. The earlier conjectures and filtration are human work.
The repository attributes the new manuscript to internal-model production; GLR’s earlier conjectures and machinery remain human inputs.
Importance
The result resolves two named cusp-decomposition conjectures and extends them to full finite level.
Limitations
The categorical trace, purity and finite-level arguments await a documented completed specialist check. A later global Arthur enhancement assumes this decomposition.
Technical verification
The paper contains a proof but no completed human or machine check specific to this decomposition is documented; Reported is the evidence default.
Human understanding
No named human explains the new spectral extraction and finite-level rotation mechanism; Few is the evidence default.
Correction and publication history
If correct, the result resolves two named cusp-decomposition conjectures and extends them to full finite level.
Read this published revision