Soit un groupe algébrique semi-simple complexe, un sous-groupe unipotent maximal de , un tore maximal de normalisant . Si est un -module rationnel de dimension finie, alors opère sur l’algèbre des fonctions polynomiales sur ; la structure de -module de est décrite par la -algèbre des -invariants de . Cette algèbre est de type fini et multigraduée (par le degré de et le poids par rapport à ). On donne une formule intégrale pour la série de Poincaré de cette algèbre graduée. De plus, on a par exemple, pour presque tout :
où est la série de Poincaré de graduée par le degré de . On classe les -modules irréductibles (où est simple) tels que soit régulière ; dans ces -modules, l’adhérence de toute -orbite est à singularités rationnelles. Enfin, on prouve un analogue du critère de Hilbert-Mumford pour les -invariants.
Let be an algebraic complex semi-simple group, with a maximal unipotent subgroup and a maximal torus normalizing . If is a rational finite-dimensional -module, then acts on the algebra of polynomial functions on , and the -structure of is described by the -algebra of -invariant functions. This algebra is finitely generated and multigraded (by the degree of and weight w.r.t. ). The Poincaré series of for this grading is given by an integral formula and e.g. it happens that for most ,
where is the Poincaré series of graded by the degree of . For a simple , the irreducible -modules such that is regular are classified ; in these -modules, every closure of a -orbit has rational singularities. A result similar to the Hilbert-Mumford criterion is also proved for -invariants.
@article{AIF_1983__33_1_1_0, author = {Brion, Michel}, title = {Invariants d'un sous-groupe unipotent maximal d'un groupe semi-simple}, journal = {Annales de l'Institut Fourier}, pages = {1--27}, publisher = {Institut Fourier}, address = {Grenoble}, volume = {33}, number = {1}, year = {1983}, doi = {10.5802/aif.902}, zbl = {0475.14038}, mrnumber = {85a:14031}, language = {fr}, url = {https://aif.centre-mersenne.org/articles/10.5802/aif.902/} }
TY - JOUR AU - Brion, Michel TI - Invariants d'un sous-groupe unipotent maximal d'un groupe semi-simple JO - Annales de l'Institut Fourier PY - 1983 SP - 1 EP - 27 VL - 33 IS - 1 PB - Institut Fourier PP - Grenoble UR - https://aif.centre-mersenne.org/articles/10.5802/aif.902/ DO - 10.5802/aif.902 LA - fr ID - AIF_1983__33_1_1_0 ER -
%0 Journal Article %A Brion, Michel %T Invariants d'un sous-groupe unipotent maximal d'un groupe semi-simple %J Annales de l'Institut Fourier %D 1983 %P 1-27 %V 33 %N 1 %I Institut Fourier %C Grenoble %U https://aif.centre-mersenne.org/articles/10.5802/aif.902/ %R 10.5802/aif.902 %G fr %F AIF_1983__33_1_1_0
Brion, Michel. Invariants d'un sous-groupe unipotent maximal d'un groupe semi-simple. Annales de l'Institut Fourier, Tome 33 (1983) no. 1, pp. 1-27. doi : 10.5802/aif.902. https://aif.centre-mersenne.org/articles/10.5802/aif.902/
[1] Geometric methods in invariant theory (à paraître dans les Springer Lecture Notes). | Zbl
,[2] Hilbert functions of graded algebras, Adv. in Maths., 28 (1978), 57-83. | MR | Zbl
,[3] La série de Poincaré des U-invariants, C.R.A.S., Paris, t. 293 (21 septembre 1981). | MR | Zbl
,[4] Représentations irréductibles des groupes de Lie simples dont l'algèbre des U-invariants est régulière, C.R.A.S., Paris, t. 293 (2 novembre 1981). | MR | Zbl
,[5] Linear Lie groups, Academic Press, 1968. | Zbl
, ,[6] Constructive invariant theory, Astérique, n° 87-88 (1981), 303-334. | MR | Zbl
,[7] Stability criteria for the action of a semisimple group on a factorial manifold, Math. USSR Iszvestia, 4 (1970), 527-535. | Zbl
,[8] On the invariant theory of SU2, Proc. of the Koninkl. Akad. van Wetenschappen, vol. 83 (3), 1980, 339-345. | MR | Zbl
,[9] Groupes et algèbres de Lie, chapitres 4 à 6 (Hermann). | Zbl
,[10] Canonical form and stationary subalgebras of points of general position for simple linear Lie groups. Funct. Anal., 6 (1972), 44-53. | MR | Zbl
,[11] Representations of simple Lie groups with regular ring of invariants, Invent. Math., 49 (1978), 167-191. | MR | Zbl
,[12] Some remarks on nilpotent orbits, J. of Alg., 64 (1980), 190-213. | MR | Zbl
,[13] Representations of simple Lie groups with a free module of covariants, Invent. Math., 50 (1978), 1-12. | MR | Zbl
,[15] Lie group representations of polynomial rings, Amer. J. of Math., 85 (1963), 327-402. | MR | Zbl
,[16] Sur la théorie des invariants des groupes classiques, Ann. Inst. Fourier, 26, 1 (1976), 1-31. | Numdam | MR | Zbl
,[17] Über Bahnen und deren Deformationen bei linearen Aktionen reduktiver Gruppen, Comment. Math. Helv., 54 (1979), 61-104. | MR | Zbl
, ,[18] Singularités rationnelles et déformations, Inv. Math., 47 (1978), 139-147. | MR | Zbl
,[19] Groupes et algèbres de Lie, chap. VII (Hermann). | Zbl
,[20] Maximal subgroups of the classical groups, A.M.S. Translations, vol. 6 (1957), 245-378. | Zbl
,[21] A classification of spinors up to dimension twelve, Amer. J. of Math., 92 (1970). | MR | Zbl
,[22] Geometric invariant theory, Springer Verlag, 1965. | MR | Zbl
,[23] Observable subgroups and Hilbert's fourteenth problem, Amer. J. of Math., 95 (1973), 229-253. | MR | Zbl
,[24] Über die vollen Invariantensysteme, Math. Annalen, 42 (1893), 313-373. | JFM
,[25] Desingularizations of varieties of nullforms, Inv. Math., 55 (1979), 141-163. | MR | Zbl
,Cité par Sources :