Un article de Wikipedia.y-project.com.
Les algèbres de Clifford sont des algèbres associatives importantes en mathématiques (notamment au sein des théories des formes quadratiques et des groupes orthogonaux) et en physique. Elles sont nommées ainsi en l'honneur de William Kingdon Clifford.
[] Définition formelle
Soit <math> V </math> un espace vectoriel sur un corps <math> k </math>, et <math> q : V \to k</math> une forme quadratique sur <math> V </math>. Une algèbre de Clifford <math> C(q) </math> est une algèbre associative unitaire sur <math> k </math> munie d'une application linéaire <math> i : V \to C(q) </math> définie par la propriété universelle suivante :
Pour toute algèbre associative <math> A </math> sur <math> k </math> munie d'une application linéaire <math> j : V \to A </math> vérifiant <math> j(v)^2 = q(v) 1 </math> pour chaque vecteur <math> v </math> de <math> V </math> (où 1 désigne le neutre multiplicatif de <math> A </math>), il existe un unique homomorphisme d'algèbres <math> f : C(q) \to A </math> faisant commuter le diagramme suivant :
<math> \begin V & \to & C(q) \\ \downarrow & \swarrow &\\ A && \end </math>,
c'est-à-dire que <math> fi = j </math>.
L'algèbre de Clifford existe et peut être construire comme l'anneau quotient de l'algèbre tensorielle <math> T(V) </math> par l'idéal engendré par les éléments <math> v \otimes v - q(v) 1 </math>.
Cette construction implique que <math> i </math> est une injection, et que l'on peut donc voir <math> V </math> comme un sous-espace vectoriel de <math> C(q) </math>.
Soit <math> B(u,v) = q(u+v) - q(u) - q(v) </math> la forme bilinéaire associée à <math> q </math>. Une conséquence de la définition est que pour tous vecteurs <math> u,v </math> de <math> V </math>, l'identité <math> uv + vu = B(u,v) 1 </math> est vraie dans <math> C(q) </math>. Si le corps n'est pas de caractéristique 2, cette propriété peut être utilisée en tant que définition alternative.
L'algèbre de Clifford <math> C(q) </math> est filtrée par les sous-espaces <math> k \subset k + V \subset k+V+V^2 \subset \cdots </math> constitués d'éléments pouvant être écrits comme monômes en 0, 1, 2 ... vecteurs de <math> V </math>. L'algèbre graduée associée est canoniquement isomorphe à l'algèbre extérieure <math> \bigwedge V </math> de l'espace vectoriel. Cela montre en particulier que <math> \dim C(q) = 2^{\dim V} </math>.
Une manière plus simple est de voir qu'en choisissant une base <math> e_1, e_2, \ldots </math> de <math> V </math>, on peut toujours exprimer, grâce à la relation d'anticommutativité, un élément de l'algèbre de Clifford comme combinaison linéaire de monômes du type :
<math> e_ e_ \cdots e_, \qquad i_1 < i_2 < \cdots < i_n </math>,
ce qui donne un isomorphisme explicite avec l'algèbre extérieure. Notons que ce n'est qu'un isomorphisme d'espaces vectoriels.
Si <math> V </math> est de dimension finie paire, que le corps est algébriquement clos et que la forme quadratique est non dégénérée, l'algèbre de Clifford est centrale simple. Ainsi, par le théorème d'Artin Wedderburn, elle est (non canoniquement) isomorphe à une algèbre de matrices. Il s'ensuit que dans ce cas, <math> C(q) </math> possède une représentation irréductible de dimension <math> 2^{\dim V/2} </math>, qui est unique à un isomorphisme (non unique) près. C'est la (sulfureusement) célèbre représentation spinorielle, dont les vecteurs sont appelés spineurs.
Si <math> \dim V </math> est impair, l'article reste à remplir...
Dans le cas où k est le corps des réels, l'algèbre de Clifford d'une forme quadratique de signature (p,q) est habituellement notée C(p,q). Ces algèbres de Clifford réelles ont été classées ici.
Les algèbres de Clifford sont importantes en physique. Les physiciens considèrent habituellement l'algèbre de Clifford comme engendrée par des matrices <math> \gamma_1, \ldots, \gamma_n </math> qui vérifient l'identité <math> \gamma_i \gamma_j + \gamma_j \gamma_i = 2 \eta_ </math>, où <math> \eta </math> est la matrice d'une forme quadratique de type p,q par rapport à une base orthonormale <math> e_1, \ldots, e_n </math>. Les matrices <math> \gamma_i </math> ne so,t que les matrices de la multiplication par le vecteur <math> e_i </math> dans la représentation spinorielle, par rapport à une base arbitraire de spineurs.
Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/Algèbre de Clifford
