Classification des algèbres de Clifford
# Classification des algèbres de Clifford

En mathématiques, en particulier dans la théorie des formes quadratiques non dégénérées sur les espaces vectoriels réels et complexes, les algèbres de Clifford de dimension finie ont été complètement classées. Dans chaque cas, l'algèbre de Clifford est isomorphe à une algèbre de matrices sur ℝ, ℂ ou ℍ (les quaternions), ou à une somme directe de deux de ces algèbres, mais pas de manière canonique.

Notation et conventions. Dans cet article, nous utiliserons la convention de signe (+) pour la multiplication de Clifford, c’est-à-dire

    $\forall v\in V,\quad v^{2}=Q(v),$

où Q est la forme quadratique sur l'espace vectoriel V. Nous désignerons par K(n) l'algèbre de matrices n×n à coefficients dans l'algèbre à division K. La somme directe des algèbres sera désignée par $K^2(n)$ = K(n)⊕K(n).

## Le cas complexe

Le cas complexe est particulièrement simple : chaque forme quadratique non dégénérée sur un espace vectoriel complexe est équivalente à la forme diagonale standard

    $Q(u)=u_{1}^{2}+u_{2}^{2}+\cdots +u_{n}^{2}$

où n = dim V, donc, il existe essentiellement une seule algèbre de Clifford dans chaque dimension. Nous noterons l'algèbre de Clifford sur $ℂ^n$ avec la forme quadratique standard par $Cℓ_n(ℂ).$

Il existe deux cas séparés à considérer, suivant que n est pair ou impair. Lorsque n est pair, l'algèbre $Cℓ_n(ℂ)$ est centrale simple et donc, par le théorème d'Artin-Wedderburn est isomorphe à l'algèbre de matrice sur ℂ. Lorsque n est impair, le centre inclut non seulement les scalaires mais aussi les pseudoscalaires (éléments de degré n). Nous pouvons toujours trouver un pseudoscalaire normalisé ω tel que $ω^2=1.$ Définissons les opérateurs

    $P_{\pm }={\frac {1}{2}}(1\pm \omega )$.

Ces deux opérateurs forment un ensemble complet d'éléments idempotents orthogonaux, et puisqu'ils sont centraux, ils donnent une décomposition de $Cℓ_n(ℂ)$ en une somme directe de deux algèbres

    $C\ell _{n}(\mathbb {C} )=C\ell _{n}^{+}(\mathbb {C} )\oplus C\ell _{n}^{-}(\mathbb {C} )$ où $C\ell _{n}^{\pm }(\mathbb {C} )=P_{\pm }C\ell _{n}(\mathbb {C} )$.

Les algèbres $Cℓ_n^±(ℂ)$ sont simplement les espaces propres positifs et négatifs de ω et les $P_±$ sont simplement les opérateurs de projection. Puisque ω est impair, ces algèbres sont mélangées par $\alpha \,$ :

    $\alpha (C\ell _{n}^{\pm }(\mathbb {C} ))=C\ell _{n}^{\mp }(\mathbb {C} )$.

et par conséquent isomorphes (puisque $\alpha \,$ est un automorphisme). Ces deux algèbres isomorphes sont chacune simple centrale et donc, de nouveau, isomorphes à une algèbre de matrices sur ℂ. Les tailles de ces matrices peuvent être déterminées à partir du fait que la dimension de $Cℓ_n(ℂ)$ est $2^n.$ Ce que nous obtenons alors, c'est la table suivante :

| n | $C\ell _{n}(\mathbb {C} )\,$ |
| - | - |
| 2m | $\mathbb {C} (2^{m})\,$ |
| 2m+1 | $\mathbb {C} (2^{m})\oplus \mathbb {C} (2^{m})\,$ |

La sous-algèbre paire de $Cℓ_n^±(ℂ)$ est (non canoniquement) isomorphe à $Cℓ_{n-1}^±(ℂ).$ Lorsque n est pair, les sous-algèbres paires peuvent être identifiées avec les matrices diagonales par blocs (lorsqu'elles sont séparées en blocs 2×2). Lorsque n est impair, les sous-algèbres paires sont ces éléments de $ℂ(2^m)⊕ℂ(2^m)$ pour lesquels les deux facteurs sont identiques. En rassemblant l'une et l'autre pièce, cela donne un isomorphisme avec $Cℓ_{n-1}(ℂ)≃ℂ(2^m).$

## Le cas réel

Le cas réel est légèrement plus compliqué, exhibant une périodicité 8 plutôt que 2. Chaque forme quadratique non dégénérée sur un espace vectoriel réel est équivalente à la forme diagonale standard :

    $Q(u)=u_{1}^{2}+\cdots +u_{p}^{2}-u_{p+1}^{2}-\cdots -u_{p+q}^{2}$

où n = p + q est la dimension de l'espace vectoriel. La paire d'entiers (p, q) est appelée la signature de la forme quadratique. L'espace vectoriel réel avec cette forme quadratique est souvent noté $ℝ^{p,q}.$ L'algèbre de Clifford sur $ℝ^{p,q}$ est notée $Cℓ_{p,q}(ℝ).$

Une base orthonormale standard ${e_i}$ pour $ℝ^{p,q}$ consiste en n = p + q vecteurs mutuellement orthogonaux, dont p de norme +1 et q de norme -1. L'algèbre $Cℓ_{p,q}(ℝ)$ aura par conséquent p vecteurs dont le carré sera +1 et q vecteurs dont le carré sera -1. L'unité pseudoscalaire dans $Cℓ_{p,q}(ℝ)$ est définie par

    $\omega =e_{1}e_{2}\cdots e_{n}.$

Le carré d' $\omega \,$ est donné par

    $\omega ^{2}=(-1)^{n(n-1)/2}(-1)^{q}=(-1)^{(p-q)(p-q-1)/2}={\begin{cases}+1&p-q\equiv 0,1\mod {4}\\-1&p-q\equiv 2,3\mod {4}.\end{cases}}$

À noter, à la différence du cas complexe, qu'il n'est pas toujours possible de trouver un pseudoscalaire dont le carré est +1.

La classification s'ensuit : si n est paire (de manière équivalente, si p - q est pair) l'algèbre $Cℓ_{p,q}(ℝ)$ est simple centrale et donc est isomorphe à une algèbre de matrices sur ℝ ou ℍ par le théorème d'Artin-Wedderburn. Si n (ou p - q) est impair, alors l'algèbre n'est pas simple centrale mais possède plutôt un centre qui inclut les pseudoscalaires aussi bien que les scalaires. Si n est impair et $ω^2=+1$ alors, comme dans le cas complexe, l'algèbre $Cℓ_{p,q}(ℝ)$ se décompose en une somme directe d'algèbres isomorphes

    $C\ell _{p,q}(\mathbb {R} )=C\ell _{p,q}^{+}(\mathbb {R} )\oplus C\ell _{p,q}^{-}(\mathbb {R} ).$

Chacune est simple centrale et donc isomorphe à l'algèbre de matrice sur ℝ ou ℍ. Si n est impair et $ω^2=+1$ alors le centre de $Cℓ_{p,q}(ℝ)$ est isomorphe à ℂ et peut être considéré comme une algèbre complexe. Comme une algèbre complexe, elle est simple centrale et donc isomorphe à une algèbre de matrice sur ℂ.

Tout indique qu'il existe trois propriétés qui déterminent la classe de l'algèbre $Cℓ_{p,q}(ℝ)$ :

* n est pair/impair ;
* $ω^2$ = ±1 ;
* la classe de Brauer de l'algèbre (n pair) ou de la sous-algèbre paire (n impair) est ℝ ou ℍ.

Chacune de ces propriétés dépend seulement de la signature p - q modulo 8. La table de classification complète est donnée ci-dessous. La taille des matrices est déterminée par la condition que $Cℓ_{p,q}(ℝ)$ ont une dimension $2^{p+q}.$

| p - q mod 8 | $\omega ^{2}\,$ | $\mathbb {R} ^{p,q}\,$ (p+q = 2m) | p - q mod 8 | $\omega ^{2}\,$ | $\mathbb {R} ^{p,q}\,$ (p+q = 2m + 1) |
| - | - | - | - | - | - |
| 0 | + | $\mathbb {R} (2^{m})\,$ | 1 | + | $\mathbb {R} (2^{m})\oplus \mathbb {R} (2^{m})\,$ |
| 2 | - | $\mathbb {R} (2^{m})\,$ | 3 | - | $\mathbb {C} (2^{m})\,$ |
| 4 | + | $\mathbb {H} (2^{m-1})\,$ | 5 | + | $\mathbb {H} (2^{m-1})\oplus \mathbb {H} (2^{m-1})\,$ |
| 6 | − | $\mathbb {H} (2^{m-1})\,$ | 7 | − | $\mathbb {C} (2^{m})\,$ |

Ce qui suit est une table de cette classification pour p + q ≤ 8. Ici p + q est placé verticalement et p - q horizontalement (par ex. l'algèbre $Cℓ_{1,3}(ℝ)≃ℍ(2)$ est trouvée ligne 4, colonne - 2).

| | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 0 | -1 | -2 | -3 | -4 | -5 | -6 | -7 | -8 |
| - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - |
| 0 | | | | | | | | | $\mathbb {R} \,$ | | | | | | | | |
| 1 | | | | | | | | $\mathbb {R} ^{2}\,$ | | $\mathbb {C}$ | | | | | | | |
| 2 | | | | | | | $\mathbb {R} (2)\,$ | | $\mathbb {R} (2)\,$ | | $\mathbb {H} \,$ | | | | | | |
| 3 | | | | | | $\mathbb {C} (2)\,$ | | $\mathbb {R} ^{2}\,$ | | $\mathbb {C} (2)\,$ | | $\mathbb {H} ^{2}\,$ | | | | | |
| 4 | | | | | $\mathbb {H} (2)\,$ | | $\mathbb {R} (4)\,$ | | $\mathbb {R} (4)\,$ | | $\mathbb {H} (2)\,$ | | $\mathbb {H} (2)\,$ | | | | |
| 5 | | | | $\mathbb {H} ^{2}(2)\,$ | | $\mathbb {C} (4)\,$ | | $\mathbb {R} ^{2}(4)\,$ | | $\mathbb {C} (4)\,$ | | $\mathbb {H} ^{2}(2)\,$ | | $\mathbb {C} (4)\,$ | | | |
| 6 | | | $\mathbb {H} (4)\,$ | | $\mathbb {H} (4)\,$ | | $\mathbb {R} (8)\,$ | | $\mathbb {R} (8)\,$ | | $\mathbb {H} (4)\,$ | | $\mathbb {H} (4)\,$ | | $\mathbb {R} (8)\,$ | | |
| 7 | | $\mathbb {C} (8)\,$ | | $\mathbb {H} ^{2}(4)\,$ | | $\mathbb {C} (8)\,$ | | $\mathbb {R} ^{2}(8)\,$ | | $\mathbb {C} (8)\,$ | | $\mathbb {H} ^{2}(4)\,$ | | $\mathbb {C} (8)\,$ | | $\mathbb {R} ^{2}(8)\,$ | |
| 8 | $\mathbb {R} (16)\,$ | | $\mathbb {H} (8)\,$ | | $\mathbb {H} (8)\,$ | | $\mathbb {R} (16)\,$ | | $\mathbb {R} (16)\,$ | | $\mathbb {H} (8)\,$ | | $\mathbb {H} (8)\,$ | | $\mathbb {R} (16)\,$ | | $\mathbb {R} (16)\,$ |
| $\omega ^{2}\,$ | + | - | - | + | + | - | - | + | + | - | - | + | + | - | - | + | + |

Il existe une toile embrouillée de symétrie et de relations dans la table ci-dessus. Par exemple, la table entière est symétrique par rapport à la colonne 1 (aussi bien que la colonne 5, -3 et -7). Se déplacer sur 4 emplacements dans n'importe quelle ligne donne une algèbre identique.

