The Arinkin-Gaitsgory temperedness conjecture
arXiv:2108.02719
Abstract
Arinkin and Gaitsgory defined a category of tempered D-modules on Bun_G that is conjecturally equivalent to the category of quasi-coherent (not ind-coherent!) sheaves on LocSys_{\check{G}}. However, their definition depends on the auxiliary data of a point of the curve; they conjectured that their definition is independent of this choice. Beraldo has outlined a proof of this conjecture that depends on some technology that is not currently available. Here we provide a short, unconditional proof of the Arinkin-Gaitsgory conjecture.
References in corpus (6)
- Geometrization of the local Langlands correspondence
- Outline of the proof of the geometric Langlands conjecture for GL(2)
- The topological chiral homology of the spherical category
- The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support
- Automorphic functions as the trace of Frobenius
- On the geometric Ramanujan conjecture