Twisted Whittaker models for metaplectic groups (Q529614)

This paper can be viewed as part of the quantum geometric Langlands program. One considers a connected reductive group \(G\) over \(k = \overline{\mathbb{F}_p}\) and \(F = k(\!(t)\!)\). We are given a central extension \(\mathbb{E}\) of \(G(F)\) by \(\mathbb{G}_m\), seen as group ind-schemes over \(k\), and assume that the extension splits over \(G(k[\![t]\!])\). Fix an embedding \(\zeta: \mu_N(k) \to \overline{\mathbb{Q}_\ell}^\times\). One can then consider various ``twisted'' objects in geometric Langlands program, such as \(\widetilde{\mathrm{Gr}}_G\) and \(\widetilde{\mathrm{Bun}}_G\) in the global case over a smooth projective \(k\)-curve \(X\). They are the geometric counterparts of the classical theory of metaplectic coverings. Inspired by [\textit{D. Gaitsgory}, Sel. Math., New Ser. 13, No. 4, 617--659 (2007; Zbl 1160.17009)], the main result (Theorem 4.11.5) establishes an equivalence \(\overline{\mathbb{F}}\) from the twisted Whittaker category with \(n\) points \(\mathrm{Whit}_n^\kappa\) to the category \(\widetilde{\mathrm{FS}}^\kappa_n\) of factorizable sheaves; here \(\kappa\) stands for the quadratic form attached to \(\mathbb{E}\). The theorem requires a local assumption that \(\kappa\) satisfies the ``subtop cohomology property'', which is proven in the paper for all semi-simple simply connected \(G\) and for most \(\kappa\). Moreover, this functor is \(t\)-exact and commutes with Verdier duality. In the \S 5 of the paper, the author defines an action of \(\mathrm{Rep}(\check{G}_\zeta)\) by Hecke functors on the twisted derived category \(D_\zeta(\widetilde{\mathrm{Bun}}_G)\) and on \(D\mathrm{Whit}_x^\kappa\), where \(\check{G}_\zeta\) is the metaplectic dual group attached to \(\mathbb{E}\), \(N\) and \(\zeta\) defined via the twisted geometric Satake correspondence. Another main result (Theorem 10.1.2) asserts that \(\mathbb{F}\) commutes with Hecke-actions.