Diagramme de Dynkin

Diagramme de Dynkin

Système de racines

En mathématiques, un système de racines est une configuration de vecteurs dans un espace euclidien qui vérifie certaines conditions géométriques. Cette notion est très importante dans la théorie des groupes de Lie. Comme les groupes de Lie et les groupes algébriques sont maintenant utilisés dans la plupart des parties des mathématiques pendant le vingtième siècle, la nature apparemment spéciale des systèmes de racines est en contradiction avec le nombre d'endroits dans lesquels ils sont appliqués. Par ailleurs, le schéma de classification des systèmes de racines, par les diagrammes de Dynkin, apparait dans des parties des mathématiques sans aucune connexion manifeste avec les groupes de Lie (telle que la théorie des singularités).

Sommaire

Définitions

Soit V un espace euclidien de dimension finie, muni du produit scalaire euclidien standard noté (·, ·). Un système de racines dans V est un ensemble fini \Phi\, de vecteurs non nuls (appelés racines) qui satisfont les propriétés suivantes :

La condition d'intégralité pour <α, β> force β à être sur les lignes verticales. En les combinant aux conditions d'intégralité pour <β, α> les possibilités pour les angles entre α et β sont encore réduites à au plus deux possibilités sur chaque ligne verticale.
  1. Les racines engendrent V comme espace vectoriel.
  2. Les seuls multiples scalaires d'une racine \alpha \in \Phi\, qui sont dans \Phi\, sont \alpha\, elle-même et son opposé -\alpha\,.
  3. Pour chaque racine \alpha \in \Phi\, l'ensemble \Phi\, est stable par la réflexion à travers l'hyperplan perpendiculaire à \alpha\, i.e. pour toutes racines \alpha\, et \beta\, on a,
    \sigma_\alpha(\beta) =\beta-2\frac{(\alpha,\beta)}{(\alpha,\alpha)}\alpha \in \Phi.
  4. (condition d'intégralité) Si \alpha\, et \beta\, sont des racines dans \Phi\,, alors la projection orthogonale de \beta\, sur la ligne engendrée par \alpha\, est un multiple demi-intégral de \frac{\alpha}{2}\, :
    \langle \beta, \alpha \rangle = 2 \frac{(\alpha,\beta)}{(\alpha,\alpha)} \in \mathbb{Z},

En raison de la propriété 3, la condition d'intégralité est équivalente à l'énoncé suivant : \beta\, et son image \sigma_{\alpha}(\beta)\, par la réflexion par rapport à \alpha\, diffèrent par un multiple entier de \alpha\,.

Le rang d'un système de racines \Phi\, est la dimension de V. On peut combiner deux systèmes de racines en faisant la somme directe des espaces euclidiens sous-jacents et en prenant l'union des racines. Un système de racines qui ne peut pas être obtenu de cette manière est dit irréductible.

Deux systèmes de racines (E_1,\Phi_1)\, et (E_2,\Phi_2)\, sont considérés comme identiques s'il existe une bijection entre E_1 \rightarrow E_2\, qui envoie \Phi_1\, sur \Phi_2\, et préserve les rapports de distances.

Le groupe des isométries de V engendré par les réflexions par rapport aux hyperplans associés aux racines de \Phi\, est nommé le groupe de Weyl de \Phi\,. Comme il agit fidèlement sur l'ensemble fini \Phi\,, le groupe de Weyl est toujours fini.

Classification

Il existe seulement un système de racines de rang 1 constitué de deux vecteurs différents de zéro {\alpha, -\alpha}\,. Ce système de racines est appelé A_1\,. Dans le rang 2, il existe quatre possibilités :

Système de racines de rang 2
Système de racines A1×A1 Système de racines A2
Système de racines A1×A1 Système de racines A2
Système de racines B2 Système de racines G2
Système de racines B2 Système de racines G2

Si \Phi\, est un système de racines dans V et W est un sous-espace de V traversé par \Psi=\Phi \cap W\,, alors \Psi\, est un système de racines dans W. Ainsi, notre liste exhaustive de système de racines de rang 2 montre les possibilités géométriques pour deux racines quelconques dans le système de racines. En particulier, deux racines de cette sorte se rencontrent à un angle de 0, 30, 45, 60, 90, 120, 135, 150 ou 180 degrés.

En général, les systèmes de racines irréductibles sont précisés par une famille (indiquée par une lettre de A à G) et le rang (indiqué par un indice). Il existe quatre famille infinies (appelées les systèmes de racines classiques) et cinq cas exceptionnels (les systèmes de racines exceptionnels) :

Racines positives et racines simples

Étant donné un système de racines \Phi\,, nous pouvons toujours choisir (de beaucoup de manières) un ensemble de racines positives. C'est un sous-ensemble \Phi^+\, de \Phi\, tel que

  • pour chaque racine \alpha\in\Phi\, exactement une des racines \alpha, -\alpha\, est contenue dans \Phi^+\,
  • Pour tout \alpha, \beta\in \Phi^+\, tel que \alpha+\beta\, est une racine, \alpha+\beta\in\Phi^+\,.

Si un ensemble de racines positives \Phi^+\, est choisi, les éléments de (-\Phi^+\,) sont appelés racines négatives.

Le choix de \Phi^+\, est équivalent au choix des racines simples. L'ensemble des racines simples est un sous-ensemble \Delta\, de \Phi\, qui est une base de V avec la propriété spéciale que chaque vecteur dans \Phi\, lorsqu'il est écrit dans la base \Delta\, possède soit tous les coefficients ≥0 ou tous ≤0.

Il peut être montré que pour chaque choix de racines positives, il existe un unique ensemble de racines simples, c’est-à-dire que les racines positives sont exactement ces racines qui peuvent être exprimées comme une combinaison de racines simples avec des coefficients non-négatifs.

Matrice de Cartan

Étant donné le système de racines simples (\alpha_i)_{i=1\ldots r} (où r est le rang du système de racines) on définit la matrice de Cartan A=(a_{ij})_{1\leq i,j\leq r} par

a_{ij}\equiv \langle \alpha_i, \alpha_j \rangle = 2 \frac{(\alpha_i,\alpha_j)}{(\alpha_i,\alpha_i)}

L'intérêt de la matrice de Cartan est que sa seule donnée est suffisante pour reconstruire l'ensemble de tout le système de racines. C'est donc une façon théorique et pratique très utile de coder l'ensemble de l'information contenue dans un système de racines. Pour représenter graphiquement la matrice de Cartan on utilise le concept de diagramme de Dynkin qu'on va maintenant aborder.

Diagrammes de Dynkin

Pour démontrer ce théorème de classification, on peut utiliser les angles entre les paires de racines pour encoder le système de racines dans un objet combinatoire plus simple, le diagramme de Dynkin, nommé en l'honneur de Eugene Dynkin. Les diagrammes de Dynkin peuvent alors être classés selon l'arrangement donné ci-dessus.

À chaque système de racines est associé un graphe (probablement avec un bord particulièrement marqué) appelé le diagramme de Dynkin lequel est unique à un isomorphisme près. Le diagramme de Dynkin peut être extrait du système de racines en choisissant un ensemble de racines simples.

Les sommets du diagramme de Dynkin correspondent aux vecteurs dans \Delta\,. Une arête est dessinée entre chaque paire de vecteurs non orthogonaux; il y a une seule arête non orientée s'ils font un angle de 120 degrés, une double arête orientée s'ils font un angle de 135 degrés et une triple arête orientée s'ils font un angle de 150 degrés (on démontre en effet que deux éléments distincts de \Delta\, forment toujours un angle obtus). En plus, les doubles et triples arêtes sont marquées avec un signe d'angle pointant vers le vecteur le plus court.

Bien qu'un système de racines donné possède plus d'une base, le groupe de Weyl agit transitivement sur l'ensemble des bases. Par conséquent, le système de racines détermine le diagramme de Dynkin. Étant donnés deux systèmes de racines avec le même diagramme de Dynkin, nous pouvons faire coïncider les racines, démarrant avec les racines dans la base, et montrer que les systèmes sont en fait les mêmes.

Ainsi, le problème de classification des systèmes de racines se réduit au problème de classification des diagrammes de Dynkin possibles, et le problème de classification des systèmes de racines irréductibles se réduit au problème de classification des diagrammes de Dynkin connectés. Les diagrammes de Dynkin encodent le produit intérieur sur E en termes de base \Delta\,, et la condition que ce produit interne doit être défini positif s'avère être tout ce qui est nécessaire pour obtenir la classification désirée. Les diagrammes connectés réels sont les suivants[1] :

Diagramme Nom du groupe
Dynkin diagram An.PNG An
Dynkin diagram Bn.PNG Bn
Dynkin diagram Cn.PNG Cn
Dynkin diagram Dn.PNG Dn
Dynkin diagram E6.png E6
Dynkin diagram E7.png E7
Dynkin diagram E8.png E8
Dynkin diagram F4.PNG F4
Dynkin diagram G2.PNG G2

Liste des systèmes de racines irréductibles

La table suivante liste certaines propriétés des systèmes de racines irréductibles. Les constructions explicites de ces systèmes sont données dans les parties suivantes.

\Phi\, |\Phi|\, |\Phi^{<}|\, I |W|\,
An n(n+1)   n+1 (n+1)!
Bn 2n2 2n 2 2n n!
Cn 2n2 2n(n−1) 2 2n n!
Dn 2n(n−1)   4 2n−1 n!
E6 72   3 51 840
E7 126   2 2 903 040
E8 240   1 696 729 600
F4 48 24 1 1 152
G2 12 6 1 12

Ici |\Phi^{<}|\, désigne le nombre de racines courtes (si toutes les racines ont la même longueur, elles sont prises comme longues par définition), I désigne le déterminant de la matrice de Cartan, et | W | désigne l'ordre du groupe de Weyl, i.e. le nombre de symétries du système de racines.

An

Soit V, le sous-espace de \mathbb{R}^{n+1}\, pour lequel la somme des coordonnées égale 0, et soit \Phi\,, l'ensemble des vecteurs dans V de longueur \sqrt 2\, et qui sont des vecteurs entiers, i.e. qui ont des coordonnées entières dans \mathbb{R}^{n+1}\,. Un tel vecteur doit avoir toutes ses coordonnées sauf deux égales à 0, une coordonnée égale à 1 et une égale à - 1, donc, il existe n2 + n racines en tout.

Bn

Soit V=\mathbb{R}^n et soit \Phi\, constitué de tous les vecteurs entiers dans V de longueur 1 ou \sqrt 2\,. Le nombre total de racines est 2n2.

Cn

Soit V=\mathbb{R}^n et soit \Phi\, constitué de tous les vecteurs entiers dans V de longueur \sqrt 2\, en même temps que tous les vecteurs de la forme 2\lambda\,, où \lambda\, est un vecteur entier de longueur 1. Le nombre total de racines est 2n2.

Dn

Soit V=\mathbb{R}^n et soit \Phi\, constitué de tous les vecteurs entiers dans V de longueur \sqrt 2\,. Le nombre total de racines est 2n(n − 1).

E6, E7, E8

Articles détaillés : E6 (mathématiques), E7 (mathématiques) et E8 (mathématiques).

Soit V=\mathbb{R}^8. E8 désigne l'ensemble des vecteurs \alpha\, de longueur \sqrt 2\, tels que les coordonnées de 2\alpha\, soient toutes entières, toutes paires ou toutes impaires, et tels que la somme des 8 coordonnées soit paire.

En ce qui concerne E7, il peut être construit comme l'intersection de E8 avec l'hyperplan de vecteurs perpendiculaires à une racine fixée \alpha\, dans E8.

Finalement, E6 peut être construit comme l'intersection de E8 avec deux tels hyperplans, correspondant aux racines \alpha\, et \beta\, qui ne sont ni orthogonales à une autre, ni des multiples scalaires à une autre.

Les systèmes de racines E6, E7 et E8 ont respectivemet 72, 126 et 240 racines.

F4

Pour F4, soit V=\mathbb{R}^4, et soit \Phi\, désignant l'ensemble de vecteurs \alpha\, de longueur 1 ou \sqrt 2\, tel que les coordonnées de 2\alpha\, sont toutes entières et sont soit toutes paires ou toutes impaires. Il existe 48 racines dans ce système.

G2

Il existe 12 racines dans G2, qui forment les sommets d'un hexagramme. Voir l'image ci-dessus.

Systèmes de racines et théorie de Lie

Les systèmes de racines classent un nombre d'objets reliés dans la théorie de Lie, notamment :

Dans chaque cas, les racines sont les poids différents de zéro de la représentation adjointe.

Notes

  1. ↑ La numérotation des racines indiquées n'est pas nécessaire car un diagramme de Dynkin n'est pas pondéré mais est indiquée seulement pour des raisons pratiques pour fixer une base lorsqu'on veut décrire explicitement le système de racines.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Syst%C3%A8me de racines ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Diagramme de Dynkin de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Diagramme De Coxeter-Dynkin — Les groupes de Coxeter dans le plan avec les diagrammes équivalents. Les miroirs du domaine sont nommés par les arêtes m1, m2, etc. Les sommets sont colorés par leur ordre de réflexion. Le groupe prismatique [W2xW2] est montré comme un doublement …   Wikipédia en Français

  • Diagramme de coxeter-dynkin — Les groupes de Coxeter dans le plan avec les diagrammes équivalents. Les miroirs du domaine sont nommés par les arêtes m1, m2, etc. Les sommets sont colorés par leur ordre de réflexion. Le groupe prismatique [W2xW2] est montré comme un doublement …   Wikipédia en Français

  • Diagramme de Coxeter-Dynkin — Les groupes de Coxeter dans le plan avec les diagrammes équivalents. Les miroirs du domaine sont nommés par les arêtes m1, m2, etc. Les sommets sont colorés par leur ordre de réflexion. Le groupe prismatique [W2xW2] est montré comme un doublement …   Wikipédia en Français

  • Matrice de Cartan — Système de racines En mathématiques, un système de racines est une configuration de vecteurs dans un espace euclidien qui vérifie certaines conditions géométriques. Cette notion est très importante dans la théorie des groupes de Lie. Comme les… …   Wikipédia en Français

  • Systeme de racines — Système de racines En mathématiques, un système de racines est une configuration de vecteurs dans un espace euclidien qui vérifie certaines conditions géométriques. Cette notion est très importante dans la théorie des groupes de Lie. Comme les… …   Wikipédia en Français

  • Système de racines — En mathématiques, un système de racines est une configuration de vecteurs dans un espace euclidien qui vérifie certaines conditions géométriques. Cette notion est très importante dans la théorie des groupes de Lie. Comme les groupes de Lie et les …   Wikipédia en Français

  • Algebre de Lie — Algèbre de Lie En mathématiques, une algèbre de Lie, nommée en l honneur du mathématicien Sophus Lie, est un espace vectoriel (parfois même une algèbre) qui est munie d un crochet de Lie. Sommaire 1 Définitions, exemples et premières propriétés 1 …   Wikipédia en Français

  • Algèbre De Lie — En mathématiques, une algèbre de Lie, nommée en l honneur du mathématicien Sophus Lie, est un espace vectoriel (parfois même une algèbre) qui est munie d un crochet de Lie. Sommaire 1 Définitions, exemples et premières propriétés 1.1 Définition …   Wikipédia en Français

  • Algèbre de Lie — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques, une algèbre de Lie, nommée en l honneur du mathématicien Sophus Lie, est un espace vectoriel qui est muni d un crochet de Lie, c est à dire d une loi de composition interne… …   Wikipédia en Français

  • Algèbre de lie — En mathématiques, une algèbre de Lie, nommée en l honneur du mathématicien Sophus Lie, est un espace vectoriel (parfois même une algèbre) qui est munie d un crochet de Lie. Sommaire 1 Définitions, exemples et premières propriétés 1.1 Définition …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”