Constructible tame Hecke eigensheaves in positive characteristic

Proves the restricted geometric Langlands equivalence for connected reductive groups on smooth projective connected curves over ${\overline{\mathbb{F}}}_q$ under the four stated Lie-theoretic characteristic hypotheses. Over arbitrary algebraically closed fields of characteristic $p>0$, the same conclusion holds assuming additionally that $p$ is very good for the group and $p\nmid |W_G|$. Over global function fields, proves Ramanujan at every place for globally generic cuspidal representations of split adjoint absolutely simple exceptional groups, without characteristic or ramification-depth restrictions, and at every unramified place for cuspidal representations of split adjoint absolutely simple groups with a generic unramified component. Assuming the finite-level Ramanujan–Arthur decomposition, constructs global Arthur enhancements of occurring cuspidal excursion parameters for split connected semisimple groups at full finite level, recovering the given parameters by diagonal specialization on the entire Weil group, including inertia.