Geometric Langlands in prime characteristic

Abstract

Let $G$ be a semi-simple algebraic group over an algebraically closed field $k$, whose characteristic is positive and does not divide the order of the Weyl group of $G$, and let $\breve{G}$ be its Langlands dual group over $k$. Let $C$ be a smooth projective curve over $k$ of genus at least two. Denote by $\operatorname{Bun}_{G}$ the moduli stack of $G$-bundles on $C$ and $\operatorname{LocSys}_{\breve{G}}$ the moduli stack of $\breve{G}$-local systems on $C$. Let $D_{\operatorname{Bun}_{G}}$ be the sheaf of crystalline differential operators on $\operatorname{Bun}_{G}$. In this paper we construct an equivalence between the bounded derived category $D^{b}(\operatorname{QCoh}(\operatorname{LocSys}_{\breve{G}}^{0}))$ of quasi-coherent sheaves on some open subset $\operatorname{LocSys}_{\breve{G}}^{0}\subset \operatorname{LocSys}_{\breve{G}}$ and bounded derived category $D^{b}(D_{\operatorname{Bun}_{G}}^{0}\text{-}\text{mod})$ of modules over some localization $D_{\operatorname{Bun}_{G}}^{0}$ of $D_{\operatorname{Bun}_{G}}$. This generalizes the work of Bezrukavnikov and Braverman in the $\operatorname{GL}_{n}$ case.