Sous-groupe de Borel

Dans la théorie des groupes algébriques, un sous-groupe de Borel d'un groupe algébrique G est un sous-groupe algébrique résoluble, fermé, connexe et maximal pour ces propriétés. Par exemple, dans le groupe général linéaire GL_n (matrices inversibles n×n), le sous-groupe des matrices triangulaires supérieures inversibles est un sous-groupe de Borel.

Pour les groupes réalisés sur des corps algébriquement clos, il existe une seule classe de conjugaison de sous-groupes de Borel.

Les sous-groupes de Borel sont l'un des deux ingrédients clés pour comprendre la structure des groupes algébriques simples (ou plus généralement réductifs), dans la théorie développée par Jacques Tits pour les groupes munis d'une BN-paire (ou système de Tits). Ici le groupe B est un sous-groupe de Borel et N est le normalisateur d'un tore maximal contenu dans B.

Cette notion a été introduite par Armand Borel, qui a joué un rôle de premier plan dans le développement de la théorie des groupes algébriques.

Sous-groupes paraboliques[modifier | modifier le code]

Les sous-groupes emboîtés entre un sous-groupe de Borel B et le groupe ambiant G sont appelés sous-groupes paraboliques. Les sous-groupes paraboliques P sont également caractérisés, parmi les sous-groupes algébriques, par la condition que G/P est une variété complète. Si l'on travaille sur des corps algébriquement clos, les sous-groupes de Borel s'avèrent être les sous-groupes paraboliques minimaux dans ce sens. Autrement dit, B est un sous-groupe de Borel lorsque l'espace homogène G/B est une variété complète « aussi grande que possible ».

Pour un groupe algébrique simple G, l'ensemble des classes de conjugaison des sous-groupes paraboliques est en bijection avec les parties de l'ensemble des sommets du diagramme de Dynkin correspondant ; le sous-groupe de Borel correspond à l'ensemble vide et G lui-même correspond à l'ensemble de tous les sommets. (De façon générale, chaque sommet du diagramme de Dynkin détermine une racine négative simple et donc un « sous-groupe radiciel » de dimension 1 de G. De la sorte, un sous-ensemble des sommets détermine un sous-groupe parabolique, engendré par B et les sous-groupes radiciels négatifs correspondants. De plus, tout sous-groupe parabolique est conjugué à un tel sous-groupe parabolique.)

Exemple[modifier | modifier le code]

Soit $G=\operatorname {GL} _{4}(\mathbb {C} )$ . Un sous-groupe Borel $B$ de $G$ est l'ensemble des matrices triangulaires supérieures

$\left\{A={\begin{bmatrix}a_{11}&a_{12}&a_{13}&a_{14}\\0&a_{22}&a_{23}&a_{24}\\0&0&a_{33}&a_{34}\\0&0&0&a_{44}\end{bmatrix}}:\det(A)\neq 0\right\}$

et les sous-groupes paraboliques propres maximaux de $G$ contenant $B$ sont

$\left\{{\begin{bmatrix}a_{11}&a_{12}&a_{13}&a_{14}\\0&a_{22}&a_{23}&a_{24}\\0&a_{32}&a_{33}&a_{34}\\0&a_{42}&a_{43}&a_{44}\end{bmatrix}}\right\},{\text{ }}\left\{{\begin{bmatrix}a_{11}&a_{12}&a_{13}&a_{14}\\a_{21}&a_{22}&a_{23}&a_{24}\\0&0&a_{33}&a_{34}\\0&0&a_{43}&a_{44}\end{bmatrix}}\right\},{\text{ }}\left\{{\begin{bmatrix}a_{11}&a_{12}&a_{13}&a_{14}\\a_{21}&a_{22}&a_{23}&a_{24}\\a_{31}&a_{32}&a_{33}&a_{34}\\0&0&0&a_{44}\end{bmatrix}}\right\}.$

Par ailleurs, un tore maximal dans $B$ est

$\left\{{\begin{bmatrix}a_{11}&0&0&0\\0&a_{22}&0&0\\0&0&a_{33}&0\\0&0&0&a_{44}\end{bmatrix}}:a_{11}\cdot a_{22}\cdot a_{33}\cdot a_{44}\neq 0\right\}.$

Ce tore est isomorphe au tore algébrique $(\mathbb {C} ^{*})^{4}={\text{Spec}}(\mathbb {C} [x^{\pm 1},y^{\pm 1},z^{\pm 1},w^{\pm 1}])$ ^[1].

Algèbre de Lie[modifier | modifier le code]

Pour le cas particulier d'une algèbre de Lie ${\mathfrak {g}}$ avec une sous-algèbre de Cartan ${\mathfrak {h}}$ , étant donné un ordre sur ${\mathfrak {h}}$ , la sous-algèbre de Borel correspondante est la somme directe de ${\mathfrak {h}}$ et des espaces de poids de ${\mathfrak {g}}$ ayant un poids positif. Une sous-algèbre de Lie de ${\mathfrak {g}}$ contenant une sous-algèbre de Borel est appelée une algèbre de Lie parabolique.

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Borel subgroup » (voir la liste des auteurs).

↑ (en) Michel Brion, « Lectures on the geometry of flag varieties », 2003 : notes de l'école d'été "Schubert Varieties" (Varsovie), 59 pages.

Gary Seitz, « Algebraic Groups », dans B. Hartley, G. M. Seitz, A. V. Borovik et R. M. Bryant, Finite and Locally Finite Groups, vol. 471, coll. « Nato Science Series C », 1995, xii+458 p. (ISBN 978-0-7923-3669-3, DOI 10.1007/978-94-011-0329-9), p. 45-70
James E. Humphreys, Linear Algebraic Groups, vol. 21, New York, Springer, coll. « Graduate Texts in Mathematics », 1972, xvi+248 p. (ISBN 0-387-90108-6, DOI 10.1007/978-1-4684-9443-3)
Armand Borel, Essays in the History of Lie Groups and Algebraic Groups, vol. 21, Providence, RI, American Mathematical Society et London Mathematical Society, coll. « History of Mathematics », 2001, xiii+184 p. (ISBN 0-8218-0288-7)