Properties ( 𝐐 ) and ( 𝐂 ) . Commuting variety

Jean-Yves Charbonnel

Bulletin de la Société Mathématique de France (2004)

  • Volume: 132, Issue: 4, page 477-508
  • ISSN: 0037-9484

Abstract

top
Let X be a complex, smooth, irreducible algebraic variety, E and F be two finite dimensional complex vector spaces and μ 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 ( x ) and x · E the kernel and the image of μ ( x ) , and by μ ¯ x the morphism from X to Lin ( E ( x ) , F / ( x · E ) ) which associates to y the linear map v μ ( y ) ( v ) + x · E . Let i μ be the smallest dimension of E ( x ) . We say that μ hasproperty ( 𝐑 ) at x if i μ ¯ x is not greater than i μ . Let F * be the dual of F , S ( F ) be the symmetric algebra of F , μ be the ideal of 𝒪 X S ( F ) generated by the functions ( x , v ' ) v ' , μ ( x ) ( v ) where v is in E and μ be the subvariety of zeros in X × F * of μ , μ be the radical of μ , Σ be the support of μ / μ in X × F * and S be the projection of Σ on X . The first main result says that under two technical conditions on μ , 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 μ has not property ( 𝐑 ) , has codimension at least equal to 2 . Let 𝔤 be a Lie algebra. We say that 𝔤 has theproperty ( 𝐂 ) at the element ξ of 𝔤 if the adjoint map from 𝔤 to the space of linear endomorphisms of 𝔤 has the property (R) at ξ and that 𝔤 has theproperty ( 𝐐 ) at the element v ' of 𝔤 * if the coadjoint map from  𝔤 * to Lin ( 𝔤 , 𝔤 * ) has the property (R) at v ' . The algebra 𝔤 has the property (Q) at v ' if and only if the index of the stabilizer 𝔤 ( v ' ) of v ' is equal to the index of 𝔤 . The second main result says that any reductive Lie algebra has property (Q) at any point of 𝔤 * .

How to cite

top

Charbonnel, Jean-Yves. "Propriétés (Q) et (C). Variété commutante." Bulletin de la Société Mathématique de France 132.4 (2004): 477-508. <http://eudml.org/doc/272496>.

@article{Charbonnel2004,
abstract = {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(x)$ et $x\cdot E$ le noyau et l’image de $\mu (x)$, $\overline\{\!\mu \}_\{x\}$ le morphisme de $X$ dans Lin$(E(x),F/(x\cdot E))$ qui associe à $y$ l’application linéaire $v\mapsto \mu (y)(v)+x\cdot E$. Soit i$\{\hspace\{0.55542pt\}\}_\{\mu \}$ la dimension minimale de $E(x)$. On dit que $\mu $ ala propriété $(\{\bf R\})$ en $x$si i$\{\hspace\{1.66656pt\}\}_\{\overline\{\!\mu \}_\{x\}\}$ est inférieur à i$\{\hspace\{0.55542pt\}\}_\{\mu \}$. Soient $F^\{*\}$ le dual de $F$, S$(F)$ l’algèbre symétrique de $F$, $\{\mathcal \{I\}\}_\{\mu \}$ l’idéal de $\{\mathcal \{O\}\}_\{X\}\otimes _\{\mathbb \{C\}\}\{\rm S\}(F)$ engendré par les fonctions $(x,v^\{\prime \}) \mapsto \langle \{v^\{\prime \}\},\{\mu (x)(v)\}\rangle $ où $v$ est dans $E$ et $\{\mathfrak \{C\}\}_\{\mu \}$ la sous-variété des zéros dans $X\times F^\{*\}$ de $\{\mathcal \{I\}\}_\{\mu \}$. Désignant par $\sqrt\{\{\mathcal \{I\}\}_\{\mu \}\}$ le radical de $\{\mathcal \{I\}\}_\{\mu \}$, par $\Sigma $ le support de $\sqrt\{\{\mathcal \{I\}\}_\{\mu \}\}/\{\mathcal \{I\}\}_\{\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é $(\{\bf R\})$, a une codimension supérieure à $2$. Soit $\{\mathfrak \{g\}\}$ une algèbre de Lie. On dit que $\{\mathfrak \{g\}\}$ a lapropriété $(\{\bf C\})$ en l’élément $\xi $ de $\{\mathfrak \{g\}\}$si l’application adjointe de $\{\mathfrak \{g\}\}$ dans l’espace des endomorphismes linéaires de $\{\mathfrak \{g\}\}$ a la propriété (R) en $\xi $ et que $\{\mathfrak \{g\}\}$ a lapropriété $(\{\bf Q\})$ en l’élément $v^\{\prime \}$ de $\{\mathfrak \{g\}\}^\{*\}$si l’application coadjointe de $\{\mathfrak \{g\}\}^\{*\}$ dans $\mathrm \{Lin\}(\{\mathfrak \{g\}\},\{\mathfrak \{g\}\}^\{*\})$ a la propriété (R) en $v^\{\prime \}$. L’algèbre $\{\mathfrak \{g\}\}$ a la propriété (Q) en $v^\{\prime \}$ si et seulement si l’indice du stabilisateur $\{\mathfrak \{g\}\}(v^\{\prime \})$ de $v^\{\prime \}$ est égal à l’indice de $\{\mathfrak \{g\}\}$. Le deuxième résultat principal dit qu’une algèbre de Lie réductive a la propriété (Q) en tout point de $\{\mathfrak \{g\}\}^\{*\}$.},
author = {Charbonnel, Jean-Yves},
journal = {Bulletin de la Société Mathématique de France},
keywords = {index; Lie algebra; linear endomorphism; codimension; algebraic variety},
language = {fre},
number = {4},
pages = {477-508},
publisher = {Société mathématique de France},
title = {Propriétés (Q) et (C). Variété commutante},
url = {http://eudml.org/doc/272496},
volume = {132},
year = {2004},
}

TY - JOUR
AU - Charbonnel, Jean-Yves
TI - Propriétés (Q) et (C). Variété commutante
JO - Bulletin de la Société Mathématique de France
PY - 2004
PB - Société mathématique de France
VL - 132
IS - 4
SP - 477
EP - 508
AB - 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(x)$ et $x\cdot E$ le noyau et l’image de $\mu (x)$, $\overline{\!\mu }_{x}$ le morphisme de $X$ dans Lin$(E(x),F/(x\cdot E))$ qui associe à $y$ l’application linéaire $v\mapsto \mu (y)(v)+x\cdot E$. Soit i${\hspace{0.55542pt}}_{\mu }$ la dimension minimale de $E(x)$. On dit que $\mu $ ala propriété $({\bf R})$ en $x$si i${\hspace{1.66656pt}}_{\overline{\!\mu }_{x}}$ est inférieur à i${\hspace{0.55542pt}}_{\mu }$. Soient $F^{*}$ le dual de $F$, S$(F)$ l’algèbre symétrique de $F$, ${\mathcal {I}}_{\mu }$ l’idéal de ${\mathcal {O}}_{X}\otimes _{\mathbb {C}}{\rm S}(F)$ engendré par les fonctions $(x,v^{\prime }) \mapsto \langle {v^{\prime }},{\mu (x)(v)}\rangle $ où $v$ est dans $E$ et ${\mathfrak {C}}_{\mu }$ la sous-variété des zéros dans $X\times F^{*}$ de ${\mathcal {I}}_{\mu }$. Désignant par $\sqrt{{\mathcal {I}}_{\mu }}$ le radical de ${\mathcal {I}}_{\mu }$, par $\Sigma $ le support de $\sqrt{{\mathcal {I}}_{\mu }}/{\mathcal {I}}_{\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é $({\bf R})$, a une codimension supérieure à $2$. Soit ${\mathfrak {g}}$ une algèbre de Lie. On dit que ${\mathfrak {g}}$ a lapropriété $({\bf C})$ en l’élément $\xi $ de ${\mathfrak {g}}$si l’application adjointe de ${\mathfrak {g}}$ dans l’espace des endomorphismes linéaires de ${\mathfrak {g}}$ a la propriété (R) en $\xi $ et que ${\mathfrak {g}}$ a lapropriété $({\bf Q})$ en l’élément $v^{\prime }$ de ${\mathfrak {g}}^{*}$si l’application coadjointe de ${\mathfrak {g}}^{*}$ dans $\mathrm {Lin}({\mathfrak {g}},{\mathfrak {g}}^{*})$ a la propriété (R) en $v^{\prime }$. L’algèbre ${\mathfrak {g}}$ a la propriété (Q) en $v^{\prime }$ si et seulement si l’indice du stabilisateur ${\mathfrak {g}}(v^{\prime })$ de $v^{\prime }$ est égal à l’indice de ${\mathfrak {g}}$. Le deuxième résultat principal dit qu’une algèbre de Lie réductive a la propriété (Q) en tout point de ${\mathfrak {g}}^{*}$.
LA - fre
KW - index; Lie algebra; linear endomorphism; codimension; algebraic variety
UR - http://eudml.org/doc/272496
ER -

References

top
  1. [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. Zbl0248.22012
  2. [2] J. Dixmier – « Champs de vecteurs adjoints sur les groupes et algèbres de Lie semi-simples », 309 (1979), p. 178–190. Zbl0409.22009MR542047
  3. [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. Zbl1041.17022
  4. [4] R. Richardson – « Commuting varieties of semisimple Lie algebras and algebraic groups », Compositio Math.38 (1979), p. 311–322. Zbl0409.17006MR535074
  5. [5] I. Shafarevich – Basic Algebraic Geometry 2, Springer-Verlag, 1994. Zbl0797.14002MR1328834
  6. [6] P. Slodowy – Simple singularities and simple algebraic groups, Lecture Notes in Mathematics, vol. 815, Springer-Verlag, 1980. Zbl0441.14002MR584445
  7. [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. Zbl0681.17008MR984427

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.