Published online by Cambridge University Press: 16 February 2017
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.