F4 (Mathématiques)

F4 (mathématiques)

Pour les articles homonymes, voir F4.

En mathématiques, F₄ est un groupe de Lie exceptionnel de type complexe. Son algèbre de Lie est notée $\mathfrak{f}_4$. F₄ est de rang 4 et de dimension 52. Sa forme compacte est simplement connexe et son groupe d'automorphismes est le groupe trivial. Sa représentation fondamentale est de dimension 26.

La forme compacte réelle de F₄ est le groupe d'isométrie d'une variété riemannienne de dimension 16, connu également sous le nom de plan projectif octonionique, OP². Ceci peut être vu en utilisant la construction de carré magique, étudiée en détails par Hans Freudenthal et Jacques Tits.

Il existe trois formes réelles de ce groupe, une compacte, une déployée, et une troisième.

Algèbre

Diagramme de Dynkin

Racines de F₄

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

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

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

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

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

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

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

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

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

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

$\left(\pm\frac{1}{2},\pm\frac{1}{2},\pm\frac{1}{2},\pm\frac{1}{2}\right)$

Racines simples :

(0,0,0,1)

(0,0,1, − 1)

(0,1, − 1,0)

$\left(\frac{1}{2},-\frac{1}{2},-\frac{1}{2},-\frac{1}{2}\right)$

Matrice de Cartan

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

Voir aussi

Articles connexes

• Groupe de Lie
• Algèbre de Lie
• Système de racines

Liens externes

• (en) http://math.ucr.edu/home/baez/octonions/node15.html

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