E8 (Mathématiques)

E8 (mathématiques)

Pour les articles homonymes, voir E8.

Le polytope de Gosset : les 240 vecteurs du système de racines

En mathématiques, $E_8\,$ est le plus grand groupe de Lie complexe de type exceptionnel. Son algèbre de Lie est notée $\mathfrak{e}_8$ .

E₈ est de rang 8 et de dimension 248. Il est simplement connexe et son centre est trivial.

La structure E₈ a été découverte en 1887 par le mathématicien norvégien Sophus Lie pour étudier la symétrie et jusqu’ici personne ne pensait que cet objet mathématique pourrait être compris, considère Jeffrey Adams, responsable de l’équipe Atlas of Lie Groups and Représentations qui réunit 18 mathématiciens et programmeurs dans le monde, dont Fokko du Cloux et Marc van Leeuwen.

Sommaire

1 Formes réelles
2 Constructions
3 Géométrie
4 En physique
5 Algèbre
6 Représentations
7 Décodage du groupe
- 7.1 Quelques chiffres sur le calcul de
8 Notes et références
9 Voir aussi
- 9.1 Articles connexes
- 9.2 Liens externes

Formes réelles

En plus du groupe de Lie complexe E₈, de dimension complexe 248 (donc de dimension réelle 496), il existe trois formes réelles de ce groupe, toutes de dimension réelle 248. Les plus simples sont les formes compactes $E_{8\left(-248\right)}$ et déployées $E_{8\left(8\right)}$ (non-compacte maximale ou encore split en anglais) et il en existe une troisième, notée $E_{8\left(-24\right)}$ .

Constructions

On peut construire la forme compacte du groupe E₈ comme le groupe d'automorphismes de l'algèbre de lie $\mathfrak{e}_8$ correspondante. Cette algèbre possède $\mathfrak{so}(16)$ comme sous-algèbre de dimension 120 et on peut se servir de celle-ci pour décomposer la représentation adjointe comme

$\mathfrak{e}_8 = \mathfrak{so}(16) \oplus \textstyle{S}_{16}^+$

où $S_{16}^+$ est l'une des deux représentations spinorielles, de type Majorana-Weyl du groupe $\operatorname{Spin}\left(16\right)$ dont $\mathfrak{so}\left(16\right)$ est l'algèbre de Lie.

Si on appelle $J_{ij}\,$ un jeu de générateurs pour $\mathfrak{so}\left(16\right)$ et $Q_a\,$ les 128 composantes de $S_{16}^+$ alors on peut écrire explicitement les relations définissant $\mathfrak{e}_8$ comme

$\left[J_{ij}, J_{k\ell}\right] = \delta_{jk}J_{i\ell} - \delta_{j\ell}J_{ik} - \delta_{ik}J_{j\ell} + \delta_{i\ell}J_{jk}\,$

ainsi que

$\left[J_{ij}, Q_a\right] = \frac14 \left(\gamma_i\gamma_j - \gamma_j\gamma_i\right)_{ab}Q_b\,$ ,

qui correspond à l'action naturelle de $\operatorname{so}(16)\,$ sur le spineur $S_{16}^+\,$ . Le commutateur restant (qui est bien un commutateur et non pas un anticommutateur) est défini entre les composantes du spineur comme

$\left[Q_a, Q_b\right] = \gamma^{[i}_{ac}\gamma^{j]}_{cb}J_{ij}\,$ .

À partir de ces définitions on peut vérifier que l'identité de Jacobi est satisfaite.

Géométrie

La forme réelle compacte de E₈ peut être vue comme le groupe d'isométrie d'une variété riemannienne de dimension 128 appelée plan projectif octooctonionique. Ce nom vient de ce qu'il peut être construit en utilisant une algèbre qui est construite comme produit tensoriel des octonions avec eux-mêmes. Ce type de construction est analysé en détail par Hans Freudenthal et Jacques Tits dans leur construction du carré magique.

En physique

Dans le cadre des théories de grande unification en physique des particules, le groupe E₈ est parfois considéré comme groupe de jauge candidat dans la mesure ou il contient d'une façon naturelle une série d'autres groupes de grande unifications souvent considérés. On peut le voir sous la succession d'inclusions

$E_8 \leftarrow \operatorname{SO}(10) \leftarrow \operatorname{SU}(5) \leftarrow \operatorname{SU}(3)\times\operatorname{SU}(2)\times\operatorname{U}(1)\,$

Par ailleurs, le groupe E₈ apparait fréquemment en théorie des cordes et en supergravité. Dans la théorie des cordes hétérotiques une formulation fait apparaître $\textstyle{E_8}\times\textstyle{E_8}$ (sous forme compacte) comme groupe de jauge. Par ailleurs, lorsque la supergravité maximale est compactifiée sur un tore de dimension 8 alors la théorie résultante en dimension trois possède une symétrie globale E₈ (c'est-à-dire la forme déployée, ou maximalement non-compacte). Il a été par la suite suggéré^{[réf. nécessaire]} qu'une version discrète, notée $E_8\left(\mathbb{Z}\right)\,$ , de ce groupe serait une symétrie, appelée dans ce contexte U-dualité, de la théorie M.

En novembre 2007, un physicien américain, Antony Garrett Lisi, dépose sur le site de publications scientifiques ArXiv un article très discuté sur une théorie unificatrice des forces basé sur le groupe E₈.

Algèbre

Diagramme de Dynkin

Système de racines

Dans la base formée par les racines simples $\mathfrak{so}(16)$ , le système de racines de E₈ est formé d'une part de toutes les permutations de

$\left(\pm 1, \pm 1, 0, 0, 0, 0, 0, 0\right)\,$

qui constitue le système de racines de $\mathfrak{so}(16)$ et possède $4\times\begin{pmatrix}8\\2\end{pmatrix} = 112\,$ éléments (il faut rajouter les 8 générateurs du Cartan pour obtenir 120 qui est la dimension de $\mathfrak{so}\left(16\right)\,$ ).

Par ailleurs on doit ajouter à cela les 128 poids de la représentation spinorielle $S_{16}^+$ de $\mathfrak{so}\left(16\right)$ . Toujours dans la même base, ceux-ci sont représentés par les vecteurs

$\left(\pm\frac12, \pm\frac12, \pm\frac12, \pm\frac12, \pm\frac12, \pm\frac12, \pm\frac12, \pm\frac12\right)\,$

tels que la somme de toutes les coordonnées soit paire. Ils sont au nombre de $\frac12 \times 2^8 = 128\,$ .

On obtient donc $112+128=240\,$ racines, toutes de multiplicité 1. Par abus de langage on considère aussi parfois le vecteur nul comme une racine associée à la sous-algèbre de Cartan. Comme E₈ est de rang 8, la racine nulle est alors de multiplicité 8. Ainsi au final on a bien décrit les 248 générateurs de l'algèbre $\mathfrak{e}_8$ .

Matrice de Cartan

$\begin{pmatrix} 2 & -1 & 0 & 0 & 0 & 0 & 0 & 0\\ -1 & 2 & -1 & 0 & 0 & 0 & 0 & 0\\ 0 & -1 & 2 & -1 & 0 & 0 & 0 & 0\\ 0 & 0 & -1 & 2 & -1 & 0 & 0 & 0\\ 0 & 0 & 0 & -1 & 2 & -1 & 0 & -1\\ 0 & 0 & 0 & 0 & -1 & 2 & -1 & 0\\ 0 & 0 & 0 & 0 & 0 & -1 & 2 & 0\\ 0 & 0 & 0 & 0 & -1 & 0 & 0 & 2 \end{pmatrix}$

Représentations

$\mathfrak{e}_8$ se distingue des autres algèbres de Lie de dimension finie par le fait que sa plus petite représentation non-triviale est la représentation adjointe.

La représentation fondamentale de E₈ est de dimension 248.

Décodage du groupe $E_8\,$

Le 19 mars 2007, l'Institut américain des mathématiques (AIM) a annoncé que des chercheurs américains et européens et après quatre ans d'efforts et plus d'un siècle après sa découverte sont parvenus à décoder l'E₈, l'une des structures mathématiques les plus complexes et les plus grandes. Le noyau dur du groupe de chercheurs est formé de sept mathématiciens, cinq Américains et deux Français : Jeffrey Adams de l'Université du Maryland, Dan Barbasch de Université Cornell, John Stembridge de l'Université du Michigan, Peter Trapa de l'Université de l'Utah, Marc van Leeuwen de l'Université de Poitiers, David Vogan du Massachusetts Institute of Technology et Fokko du Cloux de l'Université de Lyon^[1].

Selon Peter Sarnak, professeur de mathématiques à l'Université Princeton et président du comité scientifique de AIM, le décodage de ce groupe pourrait ouvrir la porte à d'autres innovations dans le domaine de la programmation informatique.

« Cette percée est importante non seulement pour faire avancer les connaissances mathématiques de base mais aussi pour faciliter les calculs par ordinateur permettant de résoudre des problèmes complexes, [...]. Le décodage de cette structure appelée E₈ pourrait aussi très bien avoir des applications en mathématiques et physique qu'on ne découvrira pas avant plusieurs années. »

— Peter Sarnak, Le Monde, 19 mars 2007

Parmi les objets sous-jacents aux groupes de Lie, on trouve toutes sortes de figures géométriques telles que les sphères, les cônes, les cylindres dans l’espace à trois dimensions. Mais les choses se corsent lorsque l’on étudie ces objets dans des espaces de dimensions supérieures. « Comprendre et classer les structures $E_8\,$ a été critique pour comprendre des phénomènes dans de nombreux domaines des mathématiques incluant l’algèbre, la géométrie, la théorie des nombres ainsi que la physique et la chimie », commente Peter Sarnak, professeur de mathématique à l’université de Princeton et président du comité scientifique de l’AIM.

Ces calculs ont nécessité de nouvelles techniques mathématiques et des capacités de calcul des ordinateurs qui n'existaient pas il y a encore peu d'années, précisent les chercheurs. L’opération a pris 77 heures et a nécessité un supercalculateur doté de 200 Go de mémoire vive, et a produit un résultat de l’ordre de 60 Go dont la taille peut être comparée à 60 fois celle du génome humain. L’équipe attendait donc de trouver un supercalculateur capable d’effectuer les calculs lorsque Noam Elkies, un mathématicien de l’Université de Harvard a mis en évidence un moyen de découper le projet en éléments plus simples. Chaque élément produit un sous-ensemble du résultat et leur réunion permet de donner la solution complète au problème. À l’été 2006, trois membres de l’équipe, dont Fokko du Cloux, ont décomposé le programme en plusieurs éléments. Les calculs ont été réalisés sur une machine de l’Université de Washington.

L’ordre de grandeur et la nature du calcul est à rapprocher du projet de séquençage du génome humain, indique le communiqué de presse diffusé par AIM. Alors que l’ensemble des informations du génome représente un volume de 1 Go, le résultat de l’E₈ est environ 60 fois plus important avec des données hautement compressées. Écrit sur un papier, ce résultat couvrirait un espace équivalent à la taille de Manhattan.

Quelques chiffres sur le calcul de $E_8\,$

Quelques idées sur la taille du résultat final^[1] :

Le résultat du calcul E₈ est une matrice de 453 060 lignes et colonnes.
La matrice comporte 205 263 363 600 éléments,
Si chaque élément de cette matrice était écrit sur une surface de 2,5 cm², la matrice aurait une dimension d’un carré de plus de 10 km de côté.

Nombre de polynômes distincts : 1 181 642 979,
nombre de coefficients dans les polynômes distincts : 13 721 641 221,
plus grand coefficient : 11 808 808,
polynôme ayant le plus grand coefficient : 152 q²² + 3472 q²¹ + 38 791 q²⁰ + 293 021 q¹⁹ + 1 370 892 q¹⁸ + 4 067 059 q¹⁷ + 7 964 012 q¹⁶ + 11 159 003 q¹⁵ + 11 808 808 q¹⁴ + 9 859 915 q¹³ + 6 778 956 q¹² + 3 964 369 q¹¹ + 2 015 441 q¹⁰ + 906 567 q⁹ + 363 611 q⁸ + 129 820 q⁷ + 41 239 q⁶ + 11 426 q⁵ + 2 677 q⁴ + 492 q³ + 61 q² + 3 q,
valeur de ce polynôme pour q=1 : 60 779 787,
polynôme ayant la plus grande valeur (lorsque q=1) découvert jusqu'a présent (mai 2007) : 1 583 q²² + 18 668 q²¹ + 127 878 q²⁰ + 604 872 q¹⁹ + 2 040 844 q¹⁸ + 4 880 797 q¹⁷ + 8 470 080 q¹⁶ + 11 143 777 q¹⁵ + 11 467 297 q¹⁴ + 9 503 114 q¹³ + 6 554 446 q¹² + 3 862 269 q¹¹ + 1 979 443 q¹⁰ + 896 537 q⁹ + 361 489 q⁸ + 129 510 q⁷ + 41 211 q⁶ + 11 425 q⁵ + 2 677 q⁴ + 492 q³ + 61 q² + 3 q,
valeur pour ce polynôme pour q=1 : 62 098 473.

Notes et références

↑ ^{a et b} AIM math: Representations of E8

Voir aussi

Liens externes

[pdf] théorie de A. Garrett Lisi sur l'utilisation de E8 pour réunifier les différentes forces physiques et la physique quantique
(fr) Groupe de Lie E8 : une clé pour la théorie des supercordes ?
(en) Taille de certaines lignes de calcul du groupe E8
(fr) Une solution mathématique aux dimensions démesurées Article de Techno-science.net
[pdf] Représentation graphique de E₈
(fr) Garrett Lisi sur la théorie du Tout Conférence TED 2008 (VOST FR) www.ted.com

Les 5 Groupes de Lie exceptionnels
E₆ • E₇ • E₈ • F₄ • G₂

Portail des mathématiques

Ce document provient de « E8 (math%C3%A9matiques) ».

Catégories : Système de racines | Diagramme | Groupe de Lie remarquable | Groupe fini

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

Mathematiques — Mathématiques Les mathématiques constituent un domaine de connaissances abstraites construites à l aide de raisonnements logiques sur des concepts tels que les nombres, les figures, les structures et les transformations. Les mathématiques… … Wikipédia en Français
MATHÉMATIQUES , DE LA DIVERSITÉ À L’UNIFICATION — «Ce que nous appelons la réalité objective, c’est, en dernière analyse, ce qui est commun à plusieurs êtres pensants, et pourrait être commun à tous; cette partie commune [...], ce ne peut être que l’harmonie exprimée par des lois mathématiques.» … Encyclopédie Universelle
MATHÉMATIQUES (FONDEMENTS DES) — Au sens premier et fort, le mot «fondement» désigne la base, jugée inébranlable, sur laquelle repose un corps d’énoncés, un système de connaissances, un complexe de croyances ou de conduites. «Reposer sur la base» signifie ici «trouver en elle à… … Encyclopédie Universelle
Mathématiques en Mésopotamie — Mathématiques babyloniennes Photographie de la tablette YBC 7289 annotée. Les nombres écrits dans le système babylonien donnent la racine carrée de 2 avec quatre chiffres sexagésimaux significatifs, soit près de six chiffres décimaux : 1 +… … Wikipédia en Français
Mathematiques arabes — Mathématiques arabes Dans l Histoire des mathématiques, on désigne par l expression de mathématiques arabes une des époques les plus importantes du développement de cette science. Il s agit des contributions apportées par les mathématiciens du… … Wikipédia en Français
Mathematiques en Egypte antique — Mathématiques dans l Égypte antique Cet article fait partie de la série Sciences dans l Égypte antique Mathématiques Géométrie Unités de mesure Chiffres Fraction … Wikipédia en Français
Mathématiques Arabes — Dans l Histoire des mathématiques, on désigne par l expression de mathématiques arabes une des époques les plus importantes du développement de cette science. Il s agit des contributions apportées par les mathématiciens du monde islamique, du… … Wikipédia en Français
Mathématiques En Égypte Antique — Mathématiques dans l Égypte antique Cet article fait partie de la série Sciences dans l Égypte antique Mathématiques Géométrie Unités de mesure Chiffres Fraction … Wikipédia en Français
Mathématiques en Égypte antique — Mathématiques dans l Égypte antique Cet article fait partie de la série Sciences dans l Égypte antique Mathématiques Géométrie Unités de mesure Chiffres Fraction … Wikipédia en Français
Mathématiques en égypte antique — Mathématiques dans l Égypte antique Cet article fait partie de la série Sciences dans l Égypte antique Mathématiques Géométrie Unités de mesure Chiffres Fraction … Wikipédia en Français
MATHÉMATIQUES (DIDACTIQUE DES) — Les problèmes posés par l’enseignement des mathématiques ne sont pas nouveaux. Au début du siècle, Henri Lebesgue était préoccupé par les conditions de l’enseignement et de la formation des professeurs. Des efforts plus récents se sont déployés… … Encyclopédie Universelle

Dictionnaires et Encyclopédies sur 'Academic'

E8 (Mathématiques)