Propriétés $\left(𝐐\right)$ et $\left(𝐂\right)$. Variété commutante

Charbonnel, Jean-Yves

Bulletin de la Société Mathématique de France, Tome 132 (2004) no. 4, pp. 477-508.

Soient $X$ une variété algébrique complexe, lisse, irréductible, $E$ et $F$ deux espaces vectoriels complexes de dimension finie et $\mu$ un morphisme de $X$ dans l’espace Lin$(E,F)$ des applications linéaires de $E$ dans $F$. Pour $x\in X$, on note $E\left(x\right)$ et $x·E$ le noyau et l’image de $\mu \left(x\right)$, ${\overline{\mu }}_x$ le morphisme de $X$ dans Lin$\left(E\right(x),F/(x·E\left)\right)$ qui associe à $y$ l’application linéaire $v\mapsto \mu \left(y\right)\left(v\right)+x·E$. Soit i${}_{\mu }$ la dimension minimale de $E\left(x\right)$. On dit que $\mu$ a la propriété $\left(𝐑\right)$ en $x$ si i${}_{{\overline{\mu }}_x}$ est inférieur à i${}_{\mu }$. Soient $F^{*}$ le dual de $F$, S$\left(F\right)$ l’algèbre symétrique de $F$, ${ℐ}_{\mu }$ l’idéal de ${𝒪}_X{\otimes }_{ℂ}\mathrm{S}\left(F\right)$ engendré par les fonctions $(x,v^{\text{'}})\mapsto \langle v^{\text{'}},\mu \left(x\right)\left(v\right)\rangle$ où $v$ est dans $E$ et ${ℭ}_{\mu }$ la sous-variété des zéros dans $X\times F^{*}$ de ${ℐ}_{\mu }$. Désignant par $\sqrt{{ℐ}_{\mu }}$ le radical de ${ℐ}_{\mu }$, par $\Sigma$ le support de $\sqrt{{ℐ}_{\mu }}/{ℐ}_{\mu }$ dans $X\times F^{*}$ et par $S$ la projection de $\Sigma$ sur $X$, le premier résultat principal de ce mémoire dit que sous deux conditions techniques sur $\mu$, $S$ est une partie fermée de $X$ dont la codimension est supérieure à $2$ si et seulement si l’adhérence de l’ensemble des points de $X$ en lesquels $\mu$ n’a pas la propriété $\left(𝐑\right)$, a une codimension supérieure à $2$. Soit $𝔤$ une algèbre de Lie. On dit que $𝔤$ a la propriété $\left(𝐂\right)$ en l’élément $\xi$ de $𝔤$ si l’application adjointe de $𝔤$ dans l’espace des endomorphismes linéaires de $𝔤$ a la propriété (R) en $\xi$ et que $𝔤$ a la propriété $\left(𝐐\right)$ en l’élément $v^{\text{'}}$ de ${𝔤}^{*}$ si l’application coadjointe de ${𝔤}^{*}$ dans $\mathrm{Lin}(𝔤,{𝔤}^{*})$ a la propriété (R) en $v^{\text{'}}$. L’algèbre $𝔤$ a la propriété (Q) en $v^{\text{'}}$ si et seulement si l’indice du stabilisateur $𝔤\left(v^{\text{'}}\right)$ de $v^{\text{'}}$ est égal à l’indice de $𝔤$. Le deuxième résultat principal dit qu’une algèbre de Lie réductive a la propriété (Q) en tout point de ${𝔤}^{*}$.

Let $X$ be a complex, smooth, irreducible algebraic variety, $E$ and $F$ be two finite dimensional complex vector spaces and $\mu$ be a morphism from $X$ to the space Lin$(E,F)$ of linear maps from $E$ to $F$. For $x$ in $X$, we denote by $E\left(x\right)$ and $x·E$ the kernel and the image of $\mu \left(x\right)$, and by ${\overline{\mu }}_x$ the morphism from $X$ to Lin$\left(E\right(x),F/(x·E\left)\right)$ which associates to $y$ the linear map $v\mapsto \mu \left(y\right)\left(v\right)+x·E$. Let i${}_{\mu }$ be the smallest dimension of $E\left(x\right)$. We say that $\mu$ has property $\left(𝐑\right)$ at $x$ if i${}_{{\overline{\mu }}_x}$ is not greater than i${}_{\mu }$. Let $F^{*}$ be the dual of $F$, S$\left(F\right)$ be the symmetric algebra of $F$, ${ℐ}_{\mu }$ be the ideal of ${𝒪}_X{\otimes }_{ℂ}\mathrm{S}\left(F\right)$ generated by the functions $(x,v^{\text{'}})\mapsto \langle v^{\text{'}},\mu \left(x\right)\left(v\right)\rangle$ where $v$ is in $E$ and ${ℭ}_{\mu }$ be the subvariety of zeros in $X\times F^{*}$ of ${ℐ}_{\mu }$, $\sqrt{{ℐ}_{\mu }}$ be the radical of ${ℐ}_{\mu }$, $\Sigma$ be the support of $\sqrt{{ℐ}_{\mu }}/{ℐ}_{\mu }$ in $X\times F^{*}$ and $S$ be the projection of $\Sigma$ on $X$. The first main result says that under two technical conditions on $\mu$, $S$ is a closed subset of $X$ whose codimension is at least equal to $2$ if and only if the closure of the subset of points in $X$ at which $\mu$ has not property $\left(𝐑\right)$, has codimension at least equal to $2$. Let $𝔤$ be a Lie algebra. We say that $𝔤$ has the property $\left(𝐂\right)$ at the element $\xi$ of $𝔤$ if the adjoint map from $𝔤$ to the space of linear endomorphisms of $𝔤$ has the property (R) at $\xi$ and that $𝔤$ has the property $\left(𝐐\right)$ at the element $v^{\text{'}}$ of ${𝔤}^{*}$ if the coadjoint map from ${𝔤}^{*}$ to Lin$(𝔤,{𝔤}^{*})$ has the property (R) at $v^{\text{'}}$. The algebra $𝔤$ has the property (Q) at $v^{\text{'}}$ if and only if the index of the stabilizer $𝔤\left(v^{\text{'}}\right)$ of $v^{\text{'}}$ is equal to the index of $𝔤$. The second main result says that any reductive Lie algebra has property (Q) at any point of ${𝔤}^{*}$.

[1] P. Bernat et al. - Représentations des groupes de Lie résolubles, Monographies de la Société Mathématique de France, vol. 4, Dunod, 1972. | Zbl

[2] J. Dixmier - « Champs de vecteurs adjoints sur les groupes et algèbres de Lie semi-simples », 309 (1979), p. 178-190. | MR | Zbl

[3] D. Panyushev - « The index of a Lie algebra, the centraliser of a nilpotent element, and the normaliser of the centraliser », arXiv: math.AG/0107031, 2001. | Zbl

[4] R. Richardson - « Commuting varieties of semisimple Lie algebras and algebraic groups », Compositio Math. 38 (1979), p. 311-322. | Numdam | MR | Zbl

[5] I. Shafarevich - Basic Algebraic Geometry 2, Springer-Verlag, 1994. | MR | Zbl

[6] P. Slodowy - Simple singularities and simple algebraic groups, Lecture Notes in Mathematics, vol. 815, Springer-Verlag, 1980. | MR | Zbl

[7] P. Tauvel - « Sur les éléments réguliers dans les algèbres de Lie réductives », Bull. Sci. Math. 113 (1989), p. 51-83. | MR | Zbl