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

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 (en) K. La somme directe des algèbres sera désignée par K²(n) = K(n)⊕K(n).

Le cas complexe

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

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 ℂⁿ 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 inclus non seulement les scalaires mais aussi les pseudoscalaires (éléments de degré n). Nous pouvons toujours trouver un pseudoscalaire normalisé ω tel que ω²=1. Définissons les opérateurs

.

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

où .

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  :

.

et par conséquent isomorphes (puisque 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ⁿ. Ce que nous obtenons alors, c'est la table suivante :

n
2m
2m+1

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 équivalent à la forme diagonale standard :

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

Le carré d' est donné par

À 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 scalaire. Si n est impair et ω²=+1 alors, comme dans le cas complexe, l'algèbre Cℓ_p,q(ℝ) se décompose en une somme directe d'algèbres isomorphes

Chacune est simple centrale et donc isomorphe à l'algèbre de matrice sur ℝ ou ℍ. Si n est impair et ω²=+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,
• ω²=±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		(p+q = 2m)	p - q mod 8		(p+q = 2m + 1)
0	+		1	+
2	-		3	-
4	+		5	+
6	−		7	−

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
1
2
3
4
5
6
7
8
	+	-	-	+	+	-	-	+	+	-	-	+	+	-	-	+	+

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.

Voir aussi

Représentation des algèbres de Clifford

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Classification of Clifford algebras » (voir la liste des auteurs)

• Portail des mathématiques