Under the finite-level Ramanujan–Arthur decomposition stated in Theorem 1.1, we construct a global Arthur enhancement for every occurring cuspidal excursion parameter at a specified full finite level for a split connected semisimple group over a global function field. A single algebraic SL₂ and a commuting Weil centralizer map recover the given parameter by diagonal specialization on the entire Weil group, including inertia. The result does not assert ellipticity, Arthur-packet classification, or a multiplicity formula.

Under the characteristic hypotheses of restricted geometric Langlands theory, we prove that the canonical Arthur filtration on finitely supported unramified automorphic functions is defined over ℚ for split connected semisimple groups. The result includes the noncuspidal part and every closed invariant nilpotent support, establishing the rationality conjecture of Gaitsgory–Lafforgue–Raskin in this setting.

We prove rational and $\overline{\mathbb Q}_\ell$ decompositions of cuspidal automorphic functions for split semisimple groups over global function fields into subspaces indexed by nilpotent orbits of the dual group. The decompositions hold at every full finite level, with arbitrary divisor multiplicities. Each summand is governed by the same orbit at every unramified place and every complex embedding. At trivial level this proves Conjectures 3.4.5 and 3.4.6 of Gaitsgory–Lafforgue–Raskin. For split connected adjoint absolutely simple groups, we also prove that a cuspidal automorphic representation with one generic unramified local component is tempered at every unramified place. Thus globally generic cuspidal representations in this scope satisfy the unramified part of the generalized Ramanujan conjecture.

We prove the generalized Ramanujan conjecture for globally generic cuspidal automorphic representations of split connected adjoint exceptional groups over global function fields. Every local component is tempered, without restrictions on characteristic or ramification depth. The proof extends the unramified Ramanujan theorem of a companion paper to all ramified places.

We prove the $\overline{\mathbb Q}_\ell$-linear restricted geometric Langlands equivalence for smooth projective connected curves and connected reductive groups in characteristic p > 0, with ℓ ≠ p, in two regimes. Over $\overline{\mathbb F}_q$, we assume the four characteristic conditions of the restricted theory stated below. Over arbitrary algebraically closed fields, we assume these conditions and additionally that p is very good and does not divide the Weyl-group order. This proves Gaitsgory–Raskin's full-support conjecture [[12, Conjecture 1.3.10]](https://arxiv.org/abs/2508.02237v1) in these regimes.

We construct nonzero locally constructible perverse Hecke eigensheaves with Borel level at one marked point on a smooth projective curve of genus at least two over an algebraic closure of a finite field. The parameter is a Zariski-dense geometric ℓ-adic local system with tame regular-unipotent monodromy. The group is simple and simply connected and satisfies four explicit Lie-theoretic characteristic hypotheses. The eigensheaves have parabolic nilpotent singular support, and their eigenisomorphisms are compatible with tensor products, permutations, and fusion.

For SL_n in characteristic p > n, we construct nonzero locally constructible perverse Hecke eigensheaves with Borel level at two or more marked points on a smooth projective curve of genus at least two over an algebraic closure of a finite field. The parameter is a Zariski-dense geometric ℓ-adic PGL_n-local system with unipotent tame monodromy; its nilpotent logarithms may have any Jordan type, including zero. The eigensheaves have parabolic nilpotent singular support, and their eigenisomorphisms retain the full tensor and fusion structure.

We construct nonzero perverse Weil Hecke eigensheaves for SL_n with Borel level at one marked point, after a finite extension of the field of constants. The parameter is a geometrically dense arithmetic PGL_n-local system with tame regular-unipotent monodromy on a once-punctured curve of genus at least two over a finite field of characteristic p > n. The full multi-leg eigenstructure is Frobenius compatible with the prescribed arithmetic eigenvalue, and the geometric sheaf has parabolic nilpotent singular support.