Groupe spinoriel

Pour n > 2, Spin(n) est simplement connexe et coïncide avec le revêtement universel de SO(n,ℝ). En tant que groupe de Lie, Spin(n) partage sa dimension n(n–1)/2 et son algèbre de Lie avec le groupe spécial orthogonal.

Spin(n) peut être construit comme un sous-groupe des éléments inversibles de l’algèbre de Clifford Cℓ(n).

Dans cette partie, nous supposons que V est de dimension finie et sa forme bilinéaire non-singulière. (Si K est de caractéristique 2, ceci implique que la dimension de V est paire).

Le groupe de Pin (en) Pin_V(K) est le sous-groupe du groupe de Clifford Γ d'éléments de norme de spin 1, et de manière similaire le groupe de Spin Spin_V(K) est le sous-groupe d'éléments d'invariant de Dickson 0 dans Pin_V(K). Lorsque la caractéristique n'est pas 2, ceux-ci sont les éléments de déterminant 1. Le groupe de Spin possède généralement un index 2 dans le groupe de Pin.

Rappelons, à partir de la partie précédente, qu'il existe un homomorphisme à partir du groupe de Clifford sur le groupe orthogonal. Nous définissons le groupe spécial orthogonal comme étant l'image de Γ⁰. Si K n'est pas de caractéristique 2, ceci est simplement le groupe d'éléments du groupe orthogonal de déterminant 1. Si K est de caractéristique 2, alors tous les éléments du groupe orthogonal sont de déterminant 1, et le groupe spécial orthogonal est l'ensemble d'éléments d'invariant de Dickson 0.

Il existe un homomorphisme à partir du groupe de Pin vers le groupe orthogonal. L'image est constituée des éléments de norme de spin 1 ∈ K*/(K*)². Le noyau est constitué des éléments +1 et –1, et est d'ordre 2 à moins que K soit de caractéristique 2. De manière similaire, il existe un homomorphisme à partir du groupe de Spin vers le groupe spécial orthogonal de V.

Dans le cas courant, lorsque V est un espace défini positif ou négatif sur les réels, le groupe de spin s'applique sur le groupe spécial orthogonal, et est simplement connexe lorsque V est de dimension au moins égale à 3. Attention : Ceci n'est pas vrai en général : si V est ℝ^p,q pour p et q tous deux au moins égal à 2, alors le groupe de spin n'est pas simplement connexe et ne s'applique pas sur le groupe spécial orthogonal. Dans ce cas, le groupe algébrique Spin_p,q est simplement connexe comme un groupe algébrique, quoique son groupe de points à valeurs réelles Spin_p,q(ℝ) n'est pas simplement connexe.

Supposons que p+q = 2n est pair. Alors l'algèbre de Clifford Cℓ_p,q(ℂ) est une algèbre de matrices, et donc possède une représentation complexe de dimension 2ⁿ. En restreignant au groupe Pin_p,q(ℝ) nous obtenons une représentation complexe du groupe Pin de même dimension, appelé la représentation de spin. Si nous restreignons ceci au groupe de spin Spin_p,q(ℝ) alors il se sépare en une somme de deux représentations de demi-spin (ou représentations de Weyl) de dimension 2^n–1.

Si p+q = 2n+1 est impair alors l'algèbre de Clifford Cℓ_p,q(ℂ) est une somme de deux algèbres de matrices, chacune d'elles possède une représentation de dimension 2ⁿ, et celles-ci sont aussi toutes deux des représentations du groupe de Pin Pin_p,q(ℝ). Sur la restriction au groupe de spin Spin_p,q(ℝ), celles-ci deviennent isomorphes, donc le groupe de spin possède une représentation de spin complexe de dimension 2ⁿ.

Plus généralement, les groupes de spin et les groupes de pin sur tout corps ont des représentations similaires dont la structure exacte dépend de la structure des algèbres de Clifford correspondantes : toutes les fois qu'une algèbre de Clifford possède un facteur qui est une algèbre de matrice sur certaines algèbre de division, nous obtenons une représentation correspondante des groupes de spin et de pin sur cette algèbre de division.

Il est parfois possible d'étendre la notion de représentations du groupe spinoriel au cadre des variétés, c'est-à-dire des « espaces courbes ». Certaines variétés peuvent être munies d'une structure spinorielle dans lequel le groupe spinoriel joue le rôle de groupe structural de la géométrie, et les représentations de spin et de demi-spin se généralisent sous forme de fibrés. Même en absence d'une véritable structure spinorielle, il est possible de généraliser la notion d'algèbre de Clifford et de représentations de cette algèbre : c'est le concept de fibré de Clifford qui joue ce rôle ; il agit sur les fibrés spinoriels quand ils existent ou plus généralement sur des fibrés en modules de Clifford.