Source authenticated

The Gaitsgory-Lafforgue-Raskin Ramanujan-Arthur decomposition of cuspidal automorphic functions over function fields

Theorem 1.1: for every X,G,ℓX,G,\ell and every effective divisor DD, the rational and Q‾ℓ\overline{\mathbb Q}_\ell cuspidal spaces at full level DD are the direct sums of their orbit-indexed summands; D=0D=0 gives GLR Conjectures 3.4.5-3.4.6. Corollary 1.2: for split adjoint absolutely simple GG, a cuspidal representation generic and unramified at one place is tempered at every unramified place. The October 5 companion constructs, from this, a commuting algebraic SL2SL_2 enhancing each occurring cuspidal excursion parameter at full level; it does not assert ellipticity, Arthur packets or multiplicities, so V. Lafforgue's Arthur conjecture is not settled.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 24, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: The Gaitsgory-Lafforgue-Raskin Ramanujan-Arthur decomposition of cuspidal automorphic functions over function fields · GLR Ramanujan-Arthur decomposition

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

Companion: Global Arthur Enhancements of Cuspidal Excursion Parameters evidence for this event

VibeMathed record: The Gaitsgory-Lafforgue-Raskin Ramanujan-Arthur decomposition of cuspidal automorphic functions over function fields evidence for this event

Gaitsgory-Lafforgue-Raskin, arXiv:2603.26925 evidence for this event

This event attributed to Unreleased internal OpenAI model

Rationality of the Gaitsgory-Lafforgue-Raskin canonical Arthur filtration evidence for this event

Theorem 1.1: for every X,G,ℓX,G,\ell and every effective divisor DD, the rational and Q‾ℓ\overline{\mathbb Q}_\ell cuspidal spaces at full level DD are the direct sums of their orbit-indexed summands; D=0D=0 gives GLR Conjectures 3.4.5-3.4.6. Corollary 1.2: for split adjoint absolutely simple GG, a cuspidal representation generic and unramified at one place is tempered at every unramified place. The October 5 companion constructs, from this, a commuting algebraic SL2SL_2 enhancing each occurring cuspidal excursion parameter at full level; it does not assert ellipticity, Arthur packets or multiplicities, so V. Lafforgue's Arthur conjecture is not settled. parent of this event

Companion: Ramanujan-Arthur Decompositions of Cuspidal Functions at Full Finite Level evidence for this event

The Gaitsgory-Lafforgue-Raskin Ramanujan-Arthur decomposition of cuspidal automorphic functions over function fields parent of this event

Act on this frontier

Verify, challenge, or extend the result.