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, $\mathbb R$ ). 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.

Sommaire

1 Groupes spinoriels réels
- 1.1 Groupes spinoriels compacts
- 1.2 Groupes spinoriels réels
2 Groupes spinoriels complexes
3 Groupes spinoriels des formes quadratiques

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, $\mathbb R$ ). 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 réels

Groupes spinoriels complexes

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

Le groupe de Pin Pin_V(K) est le sous-groupe du groupe de Clifford $\Gamma\,$ 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 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 $\Gamma^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 $\mathbb{R}^{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 sont groupe de points à valeurs réelles Spin_p,q(R) n'est pas simplement connexe. Ceci est plutôt un point subtil, qui a complètement embrouillé les auteurs d'au moins un livre sur les groupes de spin.

Propriétés

Représentations spinorielles

Supposons que p+q=2n est pair. Alors l'algèbre de Clifford $\mathcal{C}\ell_{p,q}(\mathbb{C})\,$ est une algèbre de matrices, et donc possède une représentation complexe de dimension $2^n\,$ . En restreignat au groupe Pin_p,q(R) 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(R) 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 $\mathcal{C}\ell_{p,q}(\mathbb{C})\,$ 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(R). Sur la restriction au groupe de spin Spin_p,q(R), 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. Pour des exemples sur les réels :

Article détaillé : spineur.

Généralisation

Portail des mathématiques

Portail de la géométrie

Catégories :

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Groupe spinoriel de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

Groupe classique — En mathématiques, les groupes classiques sont différentes familles de groupes de transformations liées à l algèbre linéaire, principalement les groupes linéaires, orthogonaux, symplectiques et unitaires. Ces groupes peuvent aussi être présentés… … Wikipédia en Français
Groupe orthogonal — En mathématiques, le groupe orthogonal d une forme quadratique q sur un espace vectoriel E sur un corps corps commutatif K est le sous groupe de éléments du groupe linéaire GL(E) de E qui laissent invariantes la q: q(f(x)) = q(x) pour tout… … Wikipédia en Français
Groupe spécial orthogonal — En mathématiques, le groupe spécial orthogonal d une forme quadratique est le groupe des élément du groupe orthogonal dont le déterminant est 1, en supposant que la forme quadratique est non dégénérée et que la caractértisqe du corps de base est… … Wikipédia en Français
Groupe compact — En mathématiques, et plus particulièrement en analyse harmonique abstraite, un groupe compact est un groupe topologique dont l espace topologique sous jacent est compact. Les groupes compacts sont des groupes unimodulaires, dont la compacité… … Wikipédia en Français
Algèbre de Clifford — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être… … Wikipédia en Français
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
QUANTIQUE (ÉLECTRODYNAMIQUE) — L’électrodynamique quantique est une théorie qui décrit les interactions entre le champ électromagnétique quantifié et les particules avec charge électrique. C’est un exemple d’une théorie relativiste quantique des champs où le champ – dans ce… … Encyclopédie Universelle
Matrice de Dirac — Les matrices de Dirac sont des matrices qui furent introduites par Paul Dirac, lors de la recherche d une équation d onde relativiste de l électron. Sommaire 1 Intérêt 2 Matrices de Dirac 3 Le slash de Feynman … Wikipédia en Français
LICHNEROWICZ (A.) — LICHNEROWICZ ANDRÉ (1915 ) Mathématicien français dont les travaux portent sur la géométrie différentielle, la mécanique et la physique mathématique. Né à Bourbon L’Archambault (Allier), élève de l’École normale supérieure, André Lichnerowicz a… … Encyclopédie Universelle

Dictionnaires et Encyclopédies sur 'Academic'

Groupe spinoriel

Sommaire