Invariants d'un sous-groupe unipotent maximal d'un groupe semi-simple

Brion, Michel 

Annales de l'Institut Fourier, Tome 33 (1983) no. 1, pp. 1-27

Résumé (VO)

Soit $G$ un groupe algébrique semi-simple complexe, $U$ un sous-groupe unipotent maximal de $G$, $T$ un tore maximal de $G$ normalisant $U$. Si $V$ est un $G$-module rationnel de dimension finie, alors $G$ opère sur l’algèbre $\mathbf{C}\left[V\right]$ des fonctions polynomiales sur $V$; la structure de $G$-module de $\mathbf{C}\left[V\right]$ est décrite par la $T$-algèbre $\mathbf{C}[V{]}^U$ des $U$-invariants de $\mathbf{C}\left[V\right]$. Cette algèbre est de type fini et multigraduée (par le degré de $\mathbf{C}\left[V\right]$ et le poids par rapport à $T$). 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 $V$ :

$$f(z^{-1}=(-1{)}^{\dim V-\dim U_Z\dim V}f\left(z\right),$$

où $f$ est la série de Poincaré de $\mathbf{C}[V{]}^U$ graduée par le degré de $\mathbf{C}\left[V\right]$. On classe les $G$-modules irréductibles $V$ (où $V$ est simple) tels que $\mathbf{C}[V{]}^U$ soit régulière ; dans ces $G$-modules, l’adhérence de toute $G$-orbite est à singularités rationnelles. Enfin, on prouve un analogue du critère de Hilbert-Mumford pour les $U$-invariants.

Abstract

Let $G$ be an algebraic complex semi-simple group, with a maximal unipotent subgroup $U$ and a maximal torus $T$ normalizing $U$. If $V$ is a rational finite-dimensional $G$-module, then $G$ acts on the algebra $\mathbf{C}\left[V\right]$ of polynomial functions on $V$, and the $G$-structure of $\mathbf{C}\left[V\right]$ is described by the $T$-algebra $\mathbf{C}[V{]}^U$ of $U$-invariant functions. This algebra is finitely generated and multigraded (by the degree of $\mathbf{C}\left[V\right]$ and weight w.r.t. $T$). The Poincaré series of $\mathbf{C}[V{]}^U$ for this grading is given by an integral formula and e.g. it happens that for most $V$,

$$f(z^{-1}=(-1{)}^{\dim V-\dim U_Z\dim V}f\left(z\right),$$

where $f$ is the Poincaré series of $\mathbf{C}[V{]}^U$ graded by the degree of $\mathbf{C}\left[V\right]$. For a simple $G$, the irreducible $G$-modules $V$ such that $\mathbf{C}[V{]}^U$ is regular are classified ; in these $G$-modules, every closure of a $G$-orbit has rational singularities. A result similar to the Hilbert-Mumford criterion is also proved for $U$-invariants.

Détail

DOI : 10.5802/aif.902