## Twisted geometric Satake equivalence via gerbes on the factorizable grassmannian

HTML articles powered by AMS MathViewer

- by Ryan Cohen Reich
- Represent. Theory
**16**(2012), 345-449 - DOI: https://doi.org/10.1090/S1088-4165-2012-00420-4
- Published electronically: August 3, 2012

## Abstract:

The *geometric Satake equivalence* of Ginzburg and Mirković- Vilonen, for a complex reductive group $G$, is a realization of the tensor category of representations of its Langlands dual group ${}^L G$ as a category of “spherical” perverse sheaves on the *affine grassmannian* $\operatorname {Gr}_G = G(\mathbb {C}(\mspace {-3.5mu}(t)\mspace {-3.5mu})/G(\mathbb {C}[\mspace {-2mu}[t]\mspace {-2mu}])$. Since its original statement it has been generalized in two directions: first, by Gaitsgory, to the *Beilinson–Drinfeld* or *factorizable grassmannian*, which for a smooth complex curve $X$ is a collection of spaces over the powers $X^n$ whose general fiber is isomorphic to $\operatorname {Gr}_G^n$ but with the factors “fusing” as they approach points with equal coordinates, allowing a more natural description of the structures and properties even of the Mirković–Vilonen equivalence. The second generalization, due recently to Finkelberg–Lysenko, considers perverse sheaves twisted in a suitable sense by a root of unity, and obtains the category of representations of a group other than the Langlands dual. This latter result can be considered as part of “Langlands duality for quantum groups”.

In this work we obtain a result simultaneously generalizing all of the above. We consider the general notion of twisting by a gerbe and define the natural class of “factorizable” gerbes by which one can twist in the context of the Satake equivalence. These gerbes are almost entirely described by the quadratic forms on the weight lattice of $G$. We show that a suitable formalism exists such that the methods of Mirković–Vilonen can be applied directly in this general context virtually without change and obtain a Satake equivalence for twisted perverse sheaves. In addition, we present new proofs of the properties of their structure as an abelian tensor category.

## References

- Arnaud Beauville and Yves Laszlo,
*Un lemme de descente*, C. R. Acad. Sci. Paris Sér. I Math.**320**(1995), no. 3, 335–340 (French, with English and French summaries). MR**1320381** - A. A. Beĭlinson, J. Bernstein, and P. Deligne,
*Faisceaux pervers*, Analysis and topology on singular spaces, I (Luminy, 1981) Astérisque, vol. 100, Soc. Math. France, Paris, 1982, pp. 5–171 (French). MR**751966** - A. Beilinson and V. Drinfeld,
*Quantization of Hitchin’s integrable system and Hecke eigensheaves*, available at http://www.math.uchicago.edu/~mitya/langlands/hitchin/BD-hitchin.pdf. - Tom Braden,
*Hyperbolic localization of intersection cohomology*, Transform. Groups**8**(2003), no. 3, 209–216. MR**1996415**, DOI 10.1007/s00031-003-0606-4 - A. Braverman and D. Gaitsgory,
*Geometric Eisenstein series*, Invent. Math.**150**(2002), no. 2, 287–384. MR**1933587**, DOI 10.1007/s00222-002-0237-8 - A. Braverman, M. Finkelberg, D. Gaitsgory, and I. Mirković,
*Intersection cohomology of Drinfeld’s compactifications*, Selecta Math. (N.S.)**8**(2002), no. 3, 381–418. MR**1931170**, DOI 10.1007/s00029-002-8111-5 - V. Drinfeld,
*On a conjecture of Kashiwara*, Math. Res. Lett.**8**(2001), no. 5-6, 713–728., DOI 10.4310/MRL.2001.v8.n6.a3 - P. Deligne and J. Milne,
*Tannakian categories*, Hodge Cycles, Motives, and Shimura Varieties, Lecture Notes in Mathematics, vol. 900, Springer, 1981., DOI 10.1007/978-3-540-38955-2_{4} - Barbara Fantechi, Lothar Göttsche, Luc Illusie, Steven L. Kleiman, Nitin Nitsure, and Angelo Vistoli,
*Fundamental algebraic geometry*, Mathematical Surveys and Monographs, vol. 123, American Mathematical Society, Providence, RI, 2005. Grothendieck’s FGA explained. MR**2222646**, DOI 10.1090/surv/123 - Michael Finkelberg and Sergey Lysenko,
*Twisted geometric Satake equivalence*, J. Inst. Math. Jussieu**9**(2010), no. 4, 719–739. MR**2684259**, DOI 10.1017/S1474748010000034 - E. Frenkel, D. Gaitsgory, and K. Vilonen,
*Whittaker patterns in the geometry of moduli spaces of bundles on curves*, Ann. of Math. (2)**153**(2001), no. 3, 699–748. MR**1836286**, DOI 10.2307/2661366 - D. Gaitsgory,
*On de Jong’s conjecture*, Israel J. Math.**157**(2007), 155–191., DOI 10.1007/s11856-006-0006-2 - V. Ginzburg,
*Perverse sheaves on a Loop group and Langlands’ duality*(1995), available at http://arxiv.org/abs/alg-geom/9511007. - Jean Giraud,
*Cohomologie non abélienne*, Die Grundlehren der mathematischen Wissenschaften, Band 179, Springer-Verlag, Berlin-New York, 1971 (French). MR**0344253**, DOI 10.1007/978-3-662-62103-5 - George Lusztig,
*Introduction to quantum groups*, Progress in Mathematics, vol. 110, Birkhäuser Boston, Inc., Boston, MA, 1993. MR**1227098** - George Lusztig,
*Singularities, character formulas, and a $q$-analog of weight multiplicities*, Analysis and topology on singular spaces, II, III (Luminy, 1981) Astérisque, vol. 101, Soc. Math. France, Paris, 1983, pp. 208–229. MR**737932** - I. Mirković and K. Vilonen,
*Geometric Langlands duality and representations of algebraic groups over commutative rings*, Ann. of Math. (2)**166**(2007), no. 1, 95–143. MR**2342692**, DOI 10.4007/annals.2007.166.95 - Ryan Reich,
*Notes on Beilinson’s “How to glue perverse sheaves” [MR0923134]*, J. Singul.**1**(2010), 94–115. MR**2671769**, DOI 10.5427/jsing.2010.1g

## Bibliographic Information

**Ryan Cohen Reich**- Affiliation: UCLA Mathematics Department, 520 Portola Plaza, Los Angeles, California 90095
- Address at time of publication: Department of Mathematics, University of Michigan, 2074 East Hall, 530 Church Street, Ann Arbor, Michigan 48109-1043
- Email: ryanr@math.ucla.edu
- Received by editor(s): October 17, 2010
- Received by editor(s) in revised form: December 28, 2010, October 9, 2011, March 26, 2012, and March 30, 2012
- Published electronically: August 3, 2012
- © Copyright 2012 Ryan Cohen Reich
- Journal: Represent. Theory
**16**(2012), 345-449 - MSC (2010): Primary 22E57
- DOI: https://doi.org/10.1090/S1088-4165-2012-00420-4
- MathSciNet review: 2956088