Homology of generalized Steinberg varieties and Weyl group invariants
HTML articles powered by AMS MathViewer
- by J. Matthew Douglass and Gerhard Röhrle PDF
- Trans. Amer. Math. Soc. 360 (2008), 5959-5998 Request permission
Abstract:
Let $G$ be a complex, connected, reductive algebraic group. In this paper we show analogues of the computations by Borho and MacPherson of the invariants and anti-invariants of the cohomology of the Springer fibres of the cone of nilpotent elements, $\mathcal {N}$, of $\operatorname {Lie}(G)$ for the Steinberg variety $Z$ of triples.
Using a general specialization argument we show that for a parabolic subgroup $W_P \times W_Q$ of $W \times W$ the space of $W_P \times W_Q$-invariants and the space of $W_P \times W_Q$-anti-invariants of $H_{4n}(Z)$ are isomorphic to the top Borel-Moore homology groups of certain generalized Steinberg varieties introduced by Douglass and Röhrle (2004).
The rational group algebra of the Weyl group $W$ of $G$ is isomorphic to the opposite of the top Borel-Moore homology $H_{4n}(Z)$ of $Z$, where $2n = \dim \mathcal {N}$. Suppose $W_P \times W_Q$ is a parabolic subgroup of $W \times W$. We show that the space of $W_P \times W_Q$-invariants of $H_{4n}(Z)$ is $e_Q\mathbb {Q} We_P$, where $e_P$ is the idempotent in the group algebra of $W_P$ affording the trivial representation of $W_P$ and $e_Q$ is defined similarly. We also show that the space of $W_P \times W_Q$-anti-invariants of $H_{4n}(Z)$ is $\epsilon _Q\mathbb {Q} W\epsilon _P$, where $\epsilon _P$ is the idempotent in the group algebra of $W_P$ affording the sign representation of $W_P$ and $\epsilon _Q$ is defined similarly.
References
- A. Borel (ed.), Intersection cohomology (Bern, 1983), Progr. Math., vol. 50, Birkhäuser, Boston, 1984.
- Walter Borho and Robert MacPherson, Représentations des groupes de Weyl et homologie d’intersection pour les variétés nilpotentes, C. R. Acad. Sci. Paris Sér. I Math. 292 (1981), no. 15, 707–710 (French, with English summary). MR 618892
- Walter Borho and Robert MacPherson, Partial resolutions of nilpotent varieties, Analysis and topology on singular spaces, II, III (Luminy, 1981) Astérisque, vol. 101, Soc. Math. France, Paris, 1983, pp. 23–74. MR 737927
- Neil Chriss and Victor Ginzburg, Representation theory and complex geometry, Birkhäuser Boston, Inc., Boston, MA, 1997. MR 1433132
- J. Matthew Douglass and Gerhard Röhrle, The geometry of generalized Steinberg varieties, Adv. Math. 187 (2004), no. 2, 396–416. MR 2078342, DOI 10.1016/j.aim.2003.09.002
- William Fulton, Intersection theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 2, Springer-Verlag, Berlin, 1984. MR 732620, DOI 10.1007/978-3-662-02421-8
- William Fulton and Robert MacPherson, Categorical framework for the study of singular spaces, Mem. Amer. Math. Soc. 31 (1981), no. 243, vi+165. MR 609831, DOI 10.1090/memo/0243
- Mark Goresky and Robert MacPherson, Intersection homology. II, Invent. Math. 72 (1983), no. 1, 77–129. MR 696691, DOI 10.1007/BF01389130
- Howard Hiller, Geometry of Coxeter groups, Research Notes in Mathematics, vol. 54, Pitman (Advanced Publishing Program), Boston, Mass.-London, 1982. MR 649068
- Ryoshi Hotta, A local formula for Springer’s representation, Algebraic groups and related topics (Kyoto/Nagoya, 1983) Adv. Stud. Pure Math., vol. 6, North-Holland, Amsterdam, 1985, pp. 127–138. MR 803332, DOI 10.2969/aspm/00610127
- Masaki Kashiwara and Pierre Schapira, Sheaves on manifolds, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 292, Springer-Verlag, Berlin, 1990. With a chapter in French by Christian Houzel. MR 1074006, DOI 10.1007/978-3-662-02661-8
- David Kazhdan and George Lusztig, A topological approach to Springer’s representations, Adv. in Math. 38 (1980), no. 2, 222–228. MR 597198, DOI 10.1016/0001-8708(80)90005-5
- Saunders MacLane, Categories for the working mathematician, Graduate Texts in Mathematics, Vol. 5, Springer-Verlag, New York-Berlin, 1971. MR 0354798
- G. Lusztig, Green polynomials and singularities of unipotent classes, Adv. in Math. 42 (1981), no. 2, 169–178. MR 641425, DOI 10.1016/0001-8708(81)90038-4
- W. Rossmann, Picard-Lefschetz theory for the coadjoint quotient of a semisimple Lie algebra, Invent. Math. 121 (1995), no. 3, 531–578. MR 1353308, DOI 10.1007/BF01884311
- N. Spaltenstein, On the reflection representation in Springer’s theory, Comment. Math. Helv. 66 (1991), no. 4, 618–636. MR 1129801, DOI 10.1007/BF02566669
- T. A. Springer, Trigonometric sums, Green functions of finite groups and representations of Weyl groups, Invent. Math. 36 (1976), 173–207. MR 442103, DOI 10.1007/BF01390009
- Robert Steinberg, On the desingularization of the unipotent variety, Invent. Math. 36 (1976), 209–224. MR 430094, DOI 10.1007/BF01390010
- Toshiyuki Tanisaki, Twisted differential operators and affine Weyl groups, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 34 (1987), no. 2, 203–221. MR 914019
Additional Information
- J. Matthew Douglass
- Affiliation: Department of Mathematics, University of North Texas, Denton, Texas 76203
- Email: douglass@unt.edu
- Gerhard Röhrle
- Affiliation: Fakultät für Mathematik, Ruhr-Universität Bochum, D-44780 Bochum, Germany
- MR Author ID: 329365
- Email: gerhard.roehrle@rub.de
- Received by editor(s): October 25, 2006
- Published electronically: July 10, 2008
- Additional Notes: Part of the research for this paper was carried out while both authors were staying at the Mathematisches Forschungsinstitut Oberwolfach supported by the “Research in Pairs” program.
Part of this paper was written during visits of the first author to the University of Birmingham, where the second author was supported by an EPSRC grant. - © Copyright 2008 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 360 (2008), 5959-5998
- MSC (2000): Primary 22E46; Secondary 20G99
- DOI: https://doi.org/10.1090/S0002-9947-08-04570-4
- MathSciNet review: 2425698