- Représentation des algèbres de Clifford
-
En mathématiques, les représentations des algèbres de Clifford sont aussi connues sous le nom modules de Clifford. En général, une algèbre de Clifford C est une algèbre centrale simple sur une certaine extension de corps L d'un corps K sur lequel la forme quadratique Q définissant C est définie.
La théorie algébrique des modules de Clifford a été mise au point par M. F. Atiyah, R. Bott et A. Shapiro dans l'article Clifford Modules (Topology 3 (Suppl. 1) (1964), 3–38).
Représentations matricielles des algèbres de Clifford réelles
Nous aurons besoin d'étudier les matrices anticommutatives (AB = -BA) les vecteurs orthogonaux anticommutent dans les algèbres de Clifford.
Pour l'algèbre de Clifford réelle , nous avons besoin de p + q matrices mutuellement anticommutatives, dont p ont pour carré +1 et q ont pour carré - 1.
Une telle base de matrices gamma n'est pas unique. On peut toujours obtenir un autre ensemble de matrices gamma satisfaisant la même algèbre de Clifford par une transformation de similarité.
où S est une matrice non-singulière. Les ensembles et appartiennent à la même classe d'équivalence.
Intermezzo : le système K pour nommer les matrices
Nous présentons d'abord une méthode élégante pour nommer les matrices
À noter que K0 est la matrice identité. Les noms ont été choisis de manière qu'il existe une règle simple pour se souvenir des produits :
- .
Incrémenter l'index donne un résultat positif. Décrémenter l'index donne un résultat négatif.
Attention ! Il n'existe PAS les mêmes relations valides pour la base standard des quaternions. Si vous vouliez nommer vous obtiendriez
donc, la dernière règle est différente. Nous verrons plus tard que les quaternions purs i,j et k peuvent être représentés par K12,K20 et K32
Remarquez que
K2 est la seule avec un carré négatif, donc elle peut être regardée comme la représentation la plus simple de i
Nous donnons un nom à tous les produits de Kronecker possibles (voir produit matriciel) :
Quelques exemples
Chaque index possède son niveau ( 2x2, 4x4, 8x8, 16x16, ...)
K13 est une K3 de niveau 2x2 et une K1 de niveau 4x4. Avec cette notation, il est très simple de multiplier de grandes matrices puisque
Regardons un exemple
- K123 K222 = K301
- niveau 8x8 1 fois 2 donne 3
- niveau 4x4 2 fois 2 donne 0 mais souvenez-vous du signe moins
- niveau 2x2 3 fois 2 donne 1 mais souvenez-vous du signe moins
(les deux signes moins s'annule donc le résultat est K301 )
Nous pouvons maintenant démarrer la construction d'ensembles de matrices orthogonales mutuellement anticommutatives (voir matrice orthogonale), quelquefois appelées matrices de Dirac. Il est évident que deux de telles matrices anticommutent si elles anticommutent dans un nombre impair d'index (l'index o commute avec tous les autres indices).
K13 par exemple anticommute avec
- K01,K02,K11,K12,K20,K23,K30,K33
et commute avec
- K00,K10,K13,K21,K22,K31,K32.
Si l'index 2 apparaît un nombre pair de fois dans le nom alors le carré de la matrice est plus la matrice identité, appelons-la une Kplus
- en voici des exemples : K1, K22, K311, K2222
Si l'index 2 apparaît un nombre impair de fois dans le nom alors le carré de la matrice est moins la matrice identité, appelons-la une Kmoins
- en voici des exemples : K2, K222, K211, K1222
Nous avons maintenant une manière très simple de construction d'ensembles très larges de matrices anticommutatives.
Démarrons avec un ensemble existant
Insérons un nouvel index constant (par exemple un 1 dans la première position) et vous obtenez
Puis ajoutons deux matrices supplémentaires qui anticommutent dans le nouveau niveau et commutons dans l'ancien niveau (au moyen du zéro à l'index 0)
Donc, nous obtenons
Autres exemples
- {K21, K22, K23, K10, K30}
- {K31, K32, K33, K10, K20}
- {K111, K112, K113, K120, K130, K200, K300}
- {K211, K212, K213, K220, K230, K100, K300}
- {K311, K312, K313, K320, K330, K100, K200}
Nous obtenons toujours un ensemble avec un nombre impair de matrices et il existe toujours une Kplus de plus qu'une Kmoins.
Chacune d'elles peut être écrite comme le produit de toutes les autres. Exemple :
L'algèbre de Clifford réelle R2,0
p = 2 et q = 0, donc nous avons besoin de 2 Kplus comme base de vecteurs
catégorie 0 (le scalaire)
catégorie 1 (les vecteurs)
catégorie 2 (le pseudoscalaire)
n = p + q = 2 et nous avons 22 = 4 éléments donc, c'est ce que I. Porteous appelle une algèbre de Clifford universelle.
L'algèbre de Clifford réelle R1,1
p = 1 et q = 1 donc nous avons besoin d'une Kplus et d'une Kmoins comme base de vecteurs
Catégorie 0 (le scalaire)
catégorie 1 (les vecteurs)
catégorie 2 (le pseudoscalaire)
Ici encore, nous avons 2n éléments dans l'algèbre avec n = p+q donc elle est encore une algèbre de Clifford universelle.
L'algèbre de Clifford R2,1
p = 2 et q = 1 donc 2 Kplus et 1 Kmoins pour base de vecteurs
catégorie 0 (le scalaire)
catégorie 1 (les vecteurs)
La signature est ( + + - )
catégorie 2 (les bivecteurs)
catégorie 3 (le pseudoscalaire)
Ceci est le premier exemple d'une algèbre de Clifford non-universelle puisque p+q = 3 et nous avons seulement 22 éléments et non 23. La raison est très simple, chaque matrice est utilisée deux fois, une fois comme vecteur et une fois comme bivecteur. Et le pseudoscalaire est réel, comme le scalaire.
(Le dual de Hodge de chaque élément est simplement le négatif de l'original)
L'algèbre de Clifford R0,2
Ici p = 0 et q = 2 donc nous avons besoin de matrices Kmoins anticommutatives pour base de vecteurs. Ceci n'est pas possible avec des matrices réelles 2 x 2 donc nous avons besoin d'utiliser des matrices 4 x 4, et il existe beaucoup de possibilités. Cette algèbre est isomorphe avec l'anneau des quaternions.
catégorie 0 (le scalaire)
catégorie 1 (les vecteurs)
La signature est (- -)
catégorie 2 (le pseudoscalaire)
L'isomorphisme avec les quaternions est comme suit :
1 est scalaire, i et j sont les vecteurs et k = ij est le pseudoscalaire.
Un nombre de Clifford est une combinaison linéaire de quatre éléments 1, i, j et k
L'utilisation de k comme pseudoscalaire ( i x j ) est un peu étrange mais sonne parfaitement.
L'algèbre de Clifford R0,3
p = 0 et q = 3 donc nous avons besoin de 3 matrices Kmoins comme base de vecteurs, ceci est la manière usuelle de travail avec les quaternions i, j et k sont maintenant des base de vecteurs et ijk = -1 est le pseudoscalaire. Cette algèbre est de nouveau isomorphe avec (les quaternions)
catégorie 0 (le scalaire)
catégorie 1 (les vecteurs)
La signature est ( - - - )
catégorie 2 (les bivecteurs)
catégorie 3 (le pseudoscalaire)
Un nombre de Clifford est ici, de nouveau, une combinaison linéaire de 4 éléments 1 i j et k. L'usage de -1 comme pseudoscalaire (ijk) est comme nous l'avons employé, mais il fait de cette algèbre un nouvel exemple d'algèbre de Clifford non-universelle, puisque p + q = 3 et nous avons seulement 22 éléments.
L'algèbre de Clifford R3,0
Ceci est la célèbre algèbre de Pauli, si vous pensez à K02 pour i et K00 pour 1. Nous avons trois Kplus pour base de vecteurs.
catégorie 0 (le scalaire)
catégorie 1 (les vecteurs)
La signature est ( + + + )
catégorie 2 (les bivecteurs)
catégorie 3 (le pseudoscalaire)
Donc i est le pseudoscalaire et les équations pour les bivecteurs signifient en fait que chaque bivecteur est le dual de Hodge de l'un des vecteurs qui n'est pas une partie du bivecteur.
L'algèbre de Clifford réelle R3,1
Ceci est pour moi l'algèbre de Clifford la plus intéressante parce qu'elle permet la construction des équations ressemblant aux équations de Dirac sans nombres complexes. Majorana l'a découverte. Par conséquent, les spineurs réels sont appelés les spineurs de Majorana. L'algèbre est aussi connue sous le nom d'algèbre de Majorana. Elle se sert de toutes les 16 matrices réelles 4 x 4. Les quatre bases de vecteurs sont en fait les trois matrices de Pauli (Kplus) completées d'une quatrième matrice antihermitienne (Kmin). La signature est ( + + + - ). Voir la convention de signe. Pour la signature ( + - - - ) ou ( - - - + ) souvent utilisée en physique, vous avez besoin de matrices complexes 4 x 4 ou matrices réelles 8 x 8 parce que vous ne pouvez pas former 3 matrices anticommutatives Kmoins 4 x 4. Voir R1,3 pour différentes représentations.
catégorie 0 (le scalaire)
catégorie 1 (les vecteurs)
La signature est ( + + + - )
catégorie 2 (les bivecteurs, trois rotations et trois accélérateurs)
catégorie 3 (les pseudovecteurs, les duaux de Hodge des vecteurs)
la dernière est le pseudoscalaire dans R3,0
catégorie 4 (le pseudoscalaire)
Autres représentations avec les matrices réelles 4x4
Représentations avec les matrices réelles 8x8
Cette dernière est très importante en physique puisqu'elle est l'algèbre de Clifford la plus utilisée pour le travail dans l'espace-temps de Minkowski. La signature est ( + - - - ). Voir convention de signe. Les représentations les plus utilisées sont
En s'intéressant aux matrices réelles 8 x 8, on peut former 7 matrices Kmoins anticommutatives. Ils forment un ensemble de bases pour l'algèbre de Clifford réelle non-universelle R0,7
(Pour R0,3, nous avons montré qu'une seule a besoin de matrices réelles 4x4)
Représentations avec les matrices réelles 16x16
R1,3 a besoin seulement de matrices réelle 4x4
R0,7 a besoin seulement de matrices réelles 8x8
R5,0 a besoin seulement de matrices réelles 8x8
Wikimedia Foundation. 2010.