|
|
| (One intermediate revision by the same user not shown) |
| Line 1: |
Line 1: |
| In mathematics, the '''Springer representations''' are certain representations of the [[Weyl group]] ''W'' associated to [[unipotent|unipotent conjugacy classes]] of a [[Semisimple algebraic group|semisimple]] [[algebraic group]] ''G''. There is another parameter involved, a representation of a certain finite group ''A''(''u'') canonically determined by the unipotent conjugacy class. To each pair (''u'', φ) consisting of a unipotent element ''u'' of ''G'' and an irreducible representation ''φ'' of ''A''(''u''), one can associate either an irreducible representation of the Weyl group, or 0. The association
| | The author's title is Christy Brookins. To climb is some thing I truly enjoy performing. For many years he's been residing in Alaska and he doesn't plan on altering it. Invoicing is my profession.<br><br>Feel free to surf to my web page; [http://kjhkkb.net/xe/notice/374835 psychic readers] |
| | |
| : <math> (u,\phi) \mapsto E_{u,\phi} \quad u\in U(G), \phi\in\widehat{A(u)}, E_{u,\phi}\in\widehat{W} </math>
| |
| depends only on the conjugacy class of ''u'' and generates a correspondence between the irreducible representations of the Weyl group and the pairs (''u'', φ) modulo conjugation, called the '''Springer correspondence'''. It is known that every irreducible representation of ''W'' occurs exactly once in the correspondence, although φ may be a non-trivial representation. The Springer correspondence has been described explicitly in all cases by Lusztig, Spaltenstein and Shoji. The correspondence, along with its generalizations due to Lusztig, plays a key role in [[Lusztig's classification]] of the [[irreducible representation]]s of [[finite groups of Lie type]].
| |
| | |
| == Construction ==
| |
| Several approaches to Springer correspondence have been developed. [[T. A. Springer]]'s original construction (1976) proceeded by defining an action of ''W'' on the top-dimensional [[l-adic cohomology]] groups of the [[algebraic variety]] ''B''<sub>''u''</sub> of the [[Borel subgroup]]s of ''G'' containing a given unipotent element ''u'' of a [[semisimple group|semisimple algebraic group]] ''G'' over a finite field. This construction was generalized by Lusztig (1981), who also eliminated some technical assumptions. Springer later gave a different construction (1978), using the ordinary cohomology with rational coefficients and complex algebraic groups.
| |
| | |
| Kazhdan and Lusztig found a topological construction of Springer representations using the [[Steinberg variety]] and, allegedly, discovered [[Kazhdan–Lusztig polynomial]]s in the process. Generalized Springer correspondence has been studied by Lusztig-Spaltenstein (1985) and by Lusztig in his work on [[character sheaves]]. Borho and MacPherson (1983) gave yet another construction of the Springer correspondence.
| |
| | |
| == Example ==
| |
| | |
| For the [[special linear group]] ''SL''<sub>''n''</sub>, the unipotent conjugacy classes are parametrized by [[partition (number theory)|partitions]] of ''n'': if ''u'' is a unipotent element, the corresponding partition is given by the sizes of the [[Jordan block]]s of ''u''. All groups ''A''(''u'') are trivial.
| |
| | |
| The Weyl group ''W'' is the [[symmetric group]] ''S''<sub>''n''</sub> on ''n'' letters. Its irreducible representations over a field of characteristic zero are also parametrized by the partitions of ''n''.
| |
| The Springer correspondence in this case is a bijection, and in the standard parametrizations, it is given by transposition of the partitions (so that the trivial representation of the Weyl group corresponds to the regular unipotent class, and the [[sign representation]] corresponds to the identity element of ''G'').
| |
| | |
| == Applications ==
| |
| | |
| Springer correspondence turned out to be closely related to the classification of [[primitive ideal]]s in the [[universal enveloping algebra]] of a complex semisimple [[Lie algebra]], both as a general principle and as a technical tool. Many important results are due to [[Anthony Joseph (mathematician)|Anthony Joseph]]. A geometric approach was developed by Borho, [[Jean-Luc Brylinski|Brylinski]] and [[Robert MacPherson (mathematician)|MacPherson]].
| |
| | |
| ==References==
| |
| <!-- this may not be the best reference
| |
| *Walter Borho, Jean-Luc Brylinski and Robert MacPherson ''Springer's Weyl group representations through characteristic classes of cone bundles'' {{DOI|10.1007/BF01458071}} Mathematische Annalen Volume 278, Numbers 1–4 / March, 1987 pages 273–289
| |
| -->
| |
| *Walter Borho, Jean-Luc Brylinski and Robert MacPherson. ''Nilpotent orbits, primitive ideals, and characteristic classes''. A geometric perspective in ring theory. Progress in Mathematics, 78. Birkhäuser Boston, Inc., Boston, MA, 1989. ISBN 0-8176-3473-8
| |
| *W. Borho and R.MacPherson. ''Partial resolutions of nilpotent varieties''. Analysis and topology on singular spaces, II, III (Luminy, 1981), 23–74, Astérisque, 101-102, Soc. Math. France, Paris, 1983.
| |
| *D. Kazhdan and G. Lusztig [http://dx.doi.org/10.1016/0001-8708(80)90005-5 ''A topological approach to Springer's representation''], Adv. Math. 38 (1980) 222–228.
| |
| *G. Lusztig. ''Green polynomials and singularities of unipotent classes''. Adv. in Math. 42 (1981), 169–178.
| |
| *G. Lusztig and N. Spaltenstein. ''On the generalized Springer correspondence for classical groups''. Advanced Studies in Pure Mathematics, vol. 6 (1985), 289–316.
| |
| *N. Spaltenstein. ''On the generalized Springer correspondence for exceptional groups''. Advanced Studies in Pure Mathematics, vol. 6 (1985), 317–338.
| |
| *{{citation|last=Springer|first= T. A. |title=Trigonometric sums, Green functions of finite groups and representations of Weyl groups|journal=Invent. Math.|volume= 36 |year=1976|pages=173–207|id={{MathSciNet|id=0442103}} |doi=10.1007/BF01390009}}
| |
| *Springer, T. A. ''A construction of representations of Weyl groups. '' Invent. Math. 44 (1978), no. 3, 279–293. {{MathSciNet|id=0491988}} {{DOI|10.1007/BF01403165}}
| |
| *Springer, T. A. ''Quelques applications de la cohomologie intersection''. Séminaire Bourbaki, exposé 589, Astérisque 92–93 (1982).
| |
| <!--- this may not be the best reference
| |
| *Springer, T. A. ''Représentations de groupes de Weyl et éléments nilpotents d'algèbres de Lie.'' Séminaire d'Algèbre Paul Dubreil, 29ème année (Paris, 1975–1976), pp. 86–92. Lecture Notes in Math., 586. Springer, Berlin, 1977. {{MathSciNet|id=0573081}}
| |
| --->
| |
| | |
| [[Category:Representation theory of groups]]
| |
The author's title is Christy Brookins. To climb is some thing I truly enjoy performing. For many years he's been residing in Alaska and he doesn't plan on altering it. Invoicing is my profession.
Feel free to surf to my web page; psychic readers