Automorphic functions as the trace of Frobenius
arXiv:2102.07906
Abstract
We prove that the trace of the Frobenius endofunctor of the category of automorphic sheaves with nilpotent singular support maps isomorphically to the space of unramified automorphic functions, settling a conjecture from [AGKRRV1]. More generally, we show that traces of Frobenius-Hecke functors produce shtuka cohomologies.
References in corpus (8)
- Geometrization of the local Langlands correspondence: an overview
- Coherent sheaves on the stack of Langlands parameters
- A toy model for the Drinfeld-Lafforgue shtuka construction
- Smoothness of cohomology sheaves of stacks of shtukas
- From geometric to function-theoretic Langlands (or how to invent shtukas)
- The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support
- Spectral action in Betti Geometric Langlands
- Duality for automorphic sheaves with nilpotent singular support