Twisted geometric Satake equivalence via gerbes on the factorizable grassmannian
Author:
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
Published electronically:
August 3, 2012
MathSciNet review:
2956088
Full-text PDF Free Access
Abstract | References | Similar Articles | Additional Information
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.
- 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 https://doi.org/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 https://doi.org/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 https://doi.org/10.1007/s00029-002-8111-5
- V. Drinfeld, On a conjecture of Kashiwara, Math. Res. Lett. 8 (2001), no. 5-6, 713–728.
- P. Deligne and J. Milne, Tannakian categories, Hodge Cycles, Motives, and Shimura Varieties, Lecture Notes in Mathematics, vol. 900, Springer, 1981.
- 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
- Michael Finkelberg and Sergey Lysenko, Twisted geometric Satake equivalence, J. Inst. Math. Jussieu 9 (2010), no. 4, 719–739. MR 2684259, DOI https://doi.org/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 https://doi.org/10.2307/2661366
- D. Gaitsgory, On de Jong’s conjecture, Israel J. Math. 157 (2007), 155–191.
- 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, Springer-Verlag, Berlin-New York, 1971 (French). Die Grundlehren der mathematischen Wissenschaften, Band 179. MR 0344253
- 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 https://doi.org/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
Retrieve articles in Representation Theory of the American Mathematical Society with MSC (2010): 22E57
Retrieve articles in all journals with MSC (2010): 22E57
Additional 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
Article copyright:
© Copyright 2012
Ryan Cohen Reich