# Groupe spinoriel

En mathématiques, le groupe spinoriel de degré n, noté Spin(n), est un revêtement double particulier du groupe spécial orthogonal réel SO(n,ℝ). C’est-à-dire qu’il existe une suite exacte de groupes de Lie
$1\to \mathbb {Z} _{2}\to \operatorname {Spin} (n)\to \operatorname {SO} (n)\to 1.$
On peut aussi définir les groupes spinoriels d'une forme quadratique non dégénérée sur un corps commutatif.

## Groupes spinoriels réels
### Groupes spinoriels compacts

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).

## Groupes spinoriels des formes quadratiques
### Définition

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 Γ$^0$. 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*)$^2$. 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.

### Représentations spinorielles

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$^n$. 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$^n$, 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$^n$.
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.

### Généralisation

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.