Twisted Whittaker category on affine flags and category of representations of mixed quantum group
Suppose that G is a reductive group. We have the geometric Satake equivalence which identifies Sph (G), the perverse G (O) equivalent D-modules on affine grassmannin as the category of finite dimensional representation of H, the Langlands dual group of G. We note that: Whit(Gr) = Sph(G). Here, Whit (Gr) is the module category D (N (K), \ chi) -equivalent on Gr. Now, the category of representation admits a deformation by the category of representations of quantum group. On the Whittaker side, we can consider the twisted D-modules on affine grassmannin. This is the fundamental local equivalence: Whit_q (Gr) = Rep_q (H) . Recently, D. Gaitsgory proposed its ramified version. We consider the affine flags instead of the affine grassmannians. In this case, we have to replace the category of quantum group representations with another category, the category of mixed quantum group representations. Whit_q (Fl) = Rep_q ^ {mix} (H) . We prove that the category of twisted Whittaker D-modules on the affine flags and the category of representations of the mixed quantum group are equivalent.