Twisted Whittaker model and factorizable sheaves (Q930383)

Let \(G\) be a reductive algebraic group over an algebraically closed field of characteristic zero with simply connected commutator subgroup. The geometric Satake equivalence realizes the tensor category of representations of the Langlands dual \(\check G\) of \(G\) as the monoidal category of \(G[[t] ]\)-equivariant perverse sheaves (or D-modules) on the affine Grassmannian \(\mathrm{Gr}_G:=G((t))/G[[t]]\) of \(G\) (where the equivariant perverse sheaves are multiplied using a certain convolution product). The goal of this paper is to realize the tensor category of representations \(\mathrm{Rep}(U_q(\check G))\) of the quantum group \(U_q(\check G)\) corresponding to \(\check G\) as a geometric object closely related to the affine Grassmannian of \(G\). Let \(N\) be a maximal unipotent subgroup of \(G\), let \(N((t))\) denote the corresponding loop group, and let \(\chi:N((t))\to\mathbb{G}_a\) be a non-degenerate additive character (normalized to have conductor \(0\)). Define a twisted version of the category of perverse sheaves (or D-modules) on \(\mathrm{Gr}_G\) which are \(N((t))\)-equivariant with respect to \(\chi\) and call it the category of twisted Whittaker D-modules \(\mathrm{Whit}^c (\mathrm{Gr}_G)\) on \(\mathrm{Gr}_G\). This theory was developed by \textit{E. Frenkel}, \textit{K. Vilonen}, and the author of the paper under review [Ann. Math. (2) 153, No. 3, 699--748 (2001; Zbl 1070.11050)] and is motivated by the theory of Whittaker functions for \(p\)-adic groups. Now Jacob Lurie conjectures that \(\mathrm{Rep}(U_q(\check G))\) and \(\mathrm{Whit}^c (\mathrm{Gr}_G)\) are equivalent as chiral categories where \(q=\exp(\pi ic)\). (Here the chiral structure on \(\mathrm{Rep}(U_q(\check G))\) comes from its tensor structure.) The main result of the paper under review is an equivalence of chiral categories between the category of twisted Whittaker D-modules on the affine Grassmannian of \(G\) and the category of factorizable sheaves \(\mathrm{FS}^c(\check G)\) if \(c\) is irrational. Since it follows from the work of \textit{R. Bezrukavnikov}, \textit{M. Finkelberg}, and \textit{V. Schechtman} in [Factorizable sheaves and quantum groups. Lecture Notes in Mathematics, 1691, Berlin: Springer (1998; Zbl 0938.17016)] that \(\mathrm{FS}^c(\check G)\) is equivalent to \(\mathrm{Rep} (U_q(\check G))\) if \(q=\exp(\pi ic)\) is not a root of unity, this proves Lurie's conjecture in the generic case.