Algèbre de Clifford
114782
31516614
2008-07-12T11:11:54Z
Valvino
116222
{{portail mathématiques}}
En [[mathématiques]], les '''algèbres de Clifford''' sont des [[algèbre associative|algèbres associatives]] importantes au sein des théories des [[forme quadratique|formes quadratiques]], des [[groupe orthogonal|groupes orthogonaux]] et en [[physique]]. Elles peuvent être vues comme l'une des généralisations possibles des [[Nombre complexe|nombres complexes]] et des [[quaternion]]s.
Elles ont été nommées en l'honneur du [[mathématicien]] [[Royaume-Uni|anglais]] [[William Kingdon Clifford]].
:''Une certaine familiarité avec les bases de l'[[algèbre multilinéaire]] sera très utile à la lecture de cet article.''
==Introduction et propriétés de base==
Précisément, une algèbre de Clifford est une algèbre [[associativité|associative]] [[algèbre unitaire|unitaire]] qui est engendrée par un [[espace vectoriel]] ''V'' muni d'une [[forme quadratique]] ''Q''.
L'algèbre de Clifford <math>\mathcal{C}\ell(V,Q)\,</math> est l'algèbre « la plus générale » engendrée par ''V'' soumise à la condition<sup>[[#note1|1]]</sup>
:<math>v^2 = Q(v)\ \rm{pour~tout}\ v\in V,\,</math>
où le produit {{Formule|''v''{{2}}}} est pris à l'intérieur de l'algèbre et le réel {{Formule|''Q(v)''}} est identifié à {{Formule|''Q(v)''·1}}, {{Formule|1}} désignant l'unité de l'algèbre. Si la [[Caractéristique d'un anneau|caractéristique]] du [[corps (mathématiques)|corps]] de base ''K'' n'est pas 2, alors on peut ré-écrire cette identité fondamentale sous la forme
:<math>uv + vu = 2 \lang u, v\rang</math> pour tout <math>u,v \in V</math>
où <math>\lang u, v\rang = (Q(u+v) - Q(u) - Q(v))/2\,</math> est la [[forme bilinéaire]] [[matrice symétrique|symétrique]] associée à Q.
Cette idée d'algèbre « la plus générale » soumise à cette identité peut être formellement exprimée à travers la notion de [[propriété universelle]] (voir ci-dessous).
Les algèbres de Clifford sont directement reliées aux [[algèbre extérieure|algèbres extérieures]]. En fait, si ''Q'' = 0 alors l'algèbre de Clifford <math>\mathcal{C}\ell(V,Q)\,</math> est simplement l'algèbre extérieure <math>\Lambda(V)\,</math>. Pour ''Q'' différent de zéro, il existe un isomorphisme canonique ''linéaire'' entre <math>\Lambda(V)\,</math> et <math>\mathcal{C}\ell(V,Q)\,</math>
toutes les fois que le corps de base ''K'' n'est pas de caractéristique 2. C’est-à-dire qu'ils sont naturellement [[isomorphisme|isomorphe]]s comme espaces vectoriels mais avec des multiplications différentes. La multiplication de Clifford est plus riche que le [[produit extérieur]] puisqu'il fait usage d'une information supplémentaire fournie par ''Q''.
Les formes quadratiques et les algèbres de Clifford de [[Caractéristique d'un anneau|caractéristique]] 2 forment un cas exceptionnel. En particulier, si la caractéristique de ''K'' = 2, il n'est pas vrai qu'une forme quadratique est déterminée par sa forme bilinéaire symétrique, ou que chaque forme quadratique admet une base orthogonale. Beaucoup de résultats dans cet article incluent la condition que la caractéristique n'est pas 2, et sont faux si cette condition est enlevée.
==Construction et propriété universelle==
Soit <math> V </math> un [[espace vectoriel]] sur un [[corps (mathématiques)|corps]] <math> K </math>, et <math> Q : V \to k</math> une [[forme quadratique]] sur <math> V </math>. Une algèbre de Clifford <math> \mathcal{C}\ell(Q) </math> est une [[algèbre associative]] [[matrice unitaire|unitaire]] sur <math> K </math> munie d'une [[application linéaire]] <math> i : V \to \mathcal{C}\ell(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 [[morphisme|homomorphisme]] d'algèbres <math> f : \mathcal{C}\ell(Q) \to A </math> faisant commuter le diagramme suivant :
<center><math> \begin{matrix} V & \to & \mathcal{C}\ell(Q) \\ \downarrow & \swarrow &\\ A && \end{matrix} </math> </center>
c'est-à-dire que <math> f \circ i = j </math>.
En travaillant avec la [[forme bilinéaire]] symétrique <math>\lang\cdot,\cdot\rang</math> associée à ''Q'' (de caractéristique différente de 2), la condition sur ''j'' est
: <math>j(v)j(w) + j(w)j(v) = \lang v, w \rang</math> pour tout ''v'', ''w'' ∈ ''V''.
Une algèbre de Clifford comme décrite ci-dessus existe toujours et peut être construite comme suit :
Démarrer avec l'algèbre la plus générale qui contient ''V'', concrètement l'[[algèbre tensorielle]] ''T''(''V''), puis imposer l'identité fondamentale en prenant un [[anneau quotient|quotient]] convenable.
Dans notre cas, nous voulons prendre l'[[idéal|idéal bilatère]] <math>I_ Q\,</math> dans <math>T(V)\,</math> engendré par tous les éléments de la forme
:<math>v\otimes v - Q(v)1</math> pour tout <math>v\in V</math>
et définissons <math>\mathcal{C}\ell(V,Q)\,</math> comme le quotient
: <math>\mathcal{C}\ell(V,Q) = T(V)/I_Q\,</math>.
Il est alors plus direct de montrer que <math>\mathcal{C}\ell(V,Q)\,</math> contient ''V'' et satisfait la propriété universelle ci-dessus, donc que <math>\mathcal{C}\ell\,</math> est unique à un isomorphisme près; ainsi on parle de '''l''''algèbre de Clifford <math>\mathcal{C}\ell(V,Q)\,</math>. Il suit aussi de cette construction que ''i'' est [[fonction injective|injective]]. Habituellement, on laisse tomber le ''i'' et on considère ''V'' comme un [[sous-espace vectoriel]] de <math>\mathcal{C}\ell(V,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 = \lang u,v \rang 1 </math> est vraie dans <math> C(Q) </math>. Si le [[corps (mathématiques)|corps]] n'est pas de [[caractéristique d'un anneau|caractéristique]] 2, cette propriété peut être utilisée en tant que définition alternative.
La caractérisation universelle des algèbres de Clifford montre que la construction de <math>\mathcal{C}\ell(V,Q)\,</math> est de nature ''fonctorielle''. Concrètement, <math>\mathcal{C}\ell\,</math> peut être considéré comme un [[foncteur]] issu de la [[Sous-espace vectoriel|catégorie]] des espaces vectoriels avec formes quadratiques (dont les [[morphisme]]s sont des applications linéaires préservant la forme quadratique) vers la catégorie des algèbres associatives. La propriété universelle garantit que les applications linéaires entre les espaces vectoriels (préservant la forme quadratique) s'étendent de façon unique vers les [[morphisme|homomorphismes]] d'algèbre entre les algèbres de Clifford associées.
==Base et dimension==
Si la [[dimension d'un espace vectoriel|dimension]] de ''V'' est ''n'' et <math>\{e_1,\ldots,e_n\}</math> est une [[base (algèbre linéaire)|base]] de ''V'', alors l'ensemble
:<math>\{e_{i_1}e_{i_2}\cdots e_{i_k} \mid 1\le i_1 < i_2 < \cdots < i_k \le n\mbox{ et } 0\le k\le n\}</math>
est une base de <math>\mathcal{C}\ell(V,Q)\,</math>. Le produit vide (''k'' = 0) est défini comme l'[[élément neutre]] multiplicatif. Pour chaque valeur de ''k'', il existe <math>\binom{n}{k}</math> éléments de la base, donc, la dimension totale de l'algèbre de Clifford est
:<math>\dim \mathcal{C}\ell(V,Q) = \sum_{k=0}^n\begin{pmatrix}n\\ k\end{pmatrix} = 2^n.</math>
Si la caractéristique n'est pas 2, il existe un ensemble de bases privilégiées pour ''V'' : les bases [[orthogonalité|orthogonale]]s. Une base orthogonale est telle que
:<math>\langle e_i, e_j \rangle = 0 \qquad i\neq j. \,</math>
où <·,·> est la forme bilinéaire symétrique associée à ''Q''. L'identité de Clifford fondamentale implique que pour une base orthogonale
:<math>e_ie_j = -e_je_i \qquad i\neq j. \,</math>
Ceci rend la manipulation des vecteurs de la base orthogonale tout à fait simple. Etant donné un produit <math>e_{i_1}e_{i_2}\cdots e_{i_k}</math> de vecteurs ''distincts'' de la base orthogonale, on peut les placer dans un ordre standard en incluant un signe correspondant au nombre de permutations nécessaires pour les ordonner correctement (i.e. la [[signature d'une permutation|signature]] de la [[permutation]] ordonnée).
On peut aisément étendre la forme quadratique sur ''V'' vers une forme quadratique sur <math>\mathcal{C}\ell(V,Q)\,</math> en demandant que les éléments distincts <math>e_{i_1}e_{i_2}\cdots e_{i_k}</math> soient orthogonaux entre eux, et en posant :
:<math>Q(e_{i_1}e_{i_2}\cdots e_{i_k}) = Q(e_{i_1})Q(e_{i_2})\cdots Q(e_{i_k})</math>
En particulier <math>Q(1) = 1</math> et la forme quadratique sur un scalaire est simplement <math>Q(\lambda) = \lambda^2\,</math>. Ainsi, les bases orthogonales de ''V'' peuvent être étendues en une base orthogonale de <math>\mathcal{C}\ell(V,Q)\,</math>. La forme quadratique définie de cette manière est en fait indépendante de la base orthogonale choisie (une formulation indépendante de la base sera donnée plus bas).
== Exemples : les algèbres de Clifford réelles et complexes ==
Les algèbres de Clifford les plus importantes sont celles sur les espaces vectoriels [[nombre réel|réels]] et [[nombre complexe|complexes]] muni de formes quadratiques [[non dégénérées]].
Chaque forme quadratique non dégénérée sur un espace vectoriel réel de dimension finie est équivalente à la forme diagonale standard :
:<math>Q(v) = v_1^2 + \cdots + v_p^2 - v_{p+1}^2 - \cdots - v_{p+q}^2</math>
où ''n'' = ''p'' + ''q'' est la dimension de l'espace vectoriel. La paire d'entiers (''p'', ''q'') est appelée la [[signature métrique|signature]] de la forme quadratique. L'espace vectoriel avec cette forme quadratique est souvent noté <math>\mathbb{R}^{p,q}\,</math>. L'algèbre de Clifford sur <math>\mathbb{R}^{p,q}\,</math> est notée <math>\mathcal{C}\ell_{p,q}(\mathbb{R})\,</math>.
Le symbole
<math>\mathcal{C}\ell_{n}(\mathbb{R})\,</math>
signifie soit
<math>\mathcal{C}\ell_{n,0}(\mathbb{R})\,</math>
ou
<math>\mathcal{C}\ell_{0,n}(\mathbb{R})\,</math>
selon que les auteurs préfèrent des espaces définis positifs ou négatifs.
Une [[base orthonormale]] standard {''e''<sub>''i''</sub>} pour <math>\mathbb{R}^{p,q}\,</math> consiste en ''n'' = ''p'' + ''q'' vecteur mutuellement orthogonaux, ''p'' ont une norme +1 et ''q'' ont une norme -1. L'algèbre <math>\mathcal{C}\ell_{p,q}(\mathbb{R})\,</math> aura par conséquent ''p'' vecteurs dont le carré sera égal à +1 et ''q'' vecteurs dont le carré sera égal à -1.
*<math>\mathcal{C}\ell_{0,0}(\mathbb{R})\,</math> est naturellement isomorphe à <math>\mathbb{R}\,</math> puisqu'il n'y a pas de vecteurs différents de zéro.
*<math>\mathcal{C}\ell_{0,1}(\mathbb{R})\,</math> est une algèbre à deux dimensions engendrée par un vecteur unique ''e''<sub>1</sub> dont le carré est égal à -1, et par conséquent est isomorphe à <math>\mathbb{C}\,</math>, le corps des [[nombre complexe|nombres complexes]].
*L'algèbre <math>\mathcal{C}\ell_{0,2}(\mathbb{R})\,</math> est une algèbre à quatre dimensions engendrée par {1, ''e''<sub>1</sub>, ''e''<sub>2</sub>, ''e''<sub>1</sub>''e''<sub>2</sub>}. Les trois derniers éléments ont le carré égal à -1 et anticommutent tous, et donc, l'algèbre est isomorphe aux [[quaternion]]s <math>\mathbb{H}\,</math>.
*L'algèbre suivante dans la suite, <math>\mathcal{C}\ell_{0,3}(\mathbb{R})\,</math>, est une algèbre à huit dimensions isomorphe à la [[somme directe]] <math>\mathbb{H} \oplus \mathbb{H}\,</math> appelée les [[biquaternion de Clifford|biquaternions de Clifford]].
On peut aussi étudier les algèbres de Clifford sur les espaces vectoriels complexes. Chaque forme quadratique non dégénérée sur un espace vectoriel complexe est équivalent à la forme diagonale standard
:<math>Q(z) = z_1^2 + z_2^2 + \cdots + z_n^2</math>
où ''n'' = dim ''V'', donc il existe essentiellement une seule algèbre de Clifford dans chaque dimension. Nous noterons l'algèbre de Clifford sur <math>\mathbb{C}^n\,</math> avec la forme quadratique standard par <math>\mathcal{C}\ell_n(\mathbb{C})\,</math>. On peut montrer que l'algèbre <math>\mathcal{C}\ell_n(\mathbb{C})\,</math> peut être obtenue par la [[complexification]] de l'algèbre <math>\mathcal{C}\ell_{p,q}(\mathbb{R})\,</math> où ''n'' = ''p'' + ''q'':
:<math>\mathcal{C}\ell_n(\mathbb{C}) \cong \mathcal{C}\ell_{p,q}(\mathbb{R})\otimes\mathbb{C} \cong \mathcal{C}\ell(\mathbb{C}^{p+q},Q\otimes\mathbb{C})</math>.
Ici ''Q'' est la forme quadratique réelle de signature (''p'',''q'').
'''Note''' : la complexification ne dépend de la signature. Les premiers cas ne sont pas difficiles à calculer. On trouve que
:<math>\mathcal{C}\ell_{0}(\mathbb{C})=\mathbb{C}\,</math>
:<math>\mathcal{C}\ell_{1}(\mathbb{C})=\mathbb{C} \oplus \mathbb{C}\,</math>
:<math>\mathcal{C}\ell_{2}(\mathbb{C})=\mathbb{M}_2(\mathbb{C})\,</math>
où <math>\mathbb{M}_2(\mathbb{C})\,</math> représente l'algèbre de matrices 2 x 2 sur <math>\mathbb{C}\,</math>.
Il s'avère que chacune des algèbres <math>\mathcal{C}\ell_{p,q}(\mathbb{R})\,</math> et <math>\mathcal{C}\ell_n(\mathbb{C})\,</math> est isomorphe à l'algèbre de [[matrice (mathématiques)|matrices]] sur <math>\mathbb{R}\,</math>, <math>\mathbb{C}\,</math> ou <math>\mathbb{H}\,</math> ou à la somme directe de deux algèbres de cette sorte. Pour une classification complète de ces algèbres :
{{Article détaillé|classification des algèbres de Clifford}}
==Propriétés==
===Relation avec l'algèbre extérieure===
Etant donné un espace vectoriel ''V'', on peut construire l'[[algèbre extérieure]] <math>\Lambda(V)\,</math>, dont la définition est indépendante de toute forme quadratique sur ''V''. Il s'avère que si ''F'' n'est pas de caractéristique 2 alors il existe un [[isomorphisme]] naturel entre <math>\Lambda(V)\,</math> et <math>\mathcal{C}\ell(V,Q)\,</math> considéré comme des espaces vectoriels. C'est un isomorphisme d'algèbre si et seulement si ''Q'' = 0. On peut ainsi considérer l'algèbre de Clifford <math>\mathcal{C}\ell(V,Q)\,</math> comme un enrichissement de l'algèbre extérieure sur ''V'' avec une multiplication qui dépend de ''Q''.
La manière la plus facile d'établir l'isomorphisme est de choisir une base ''orthogonale'' {''e''<sub>''i''</sub>} pour ''V'' et de l'étendre en une base orthogonale pour <math>\mathcal{C}\ell(V,Q)\,</math> comme décrit ci-dessus. L'application <math>\mathcal{C}\ell(V,Q) \to \Lambda(V)\,</math> est déterminée par
:<math>e_{i_1}e_{i_2}\cdots e_{i_k} \mapsto e_{i_1}\wedge e_{i_2}\wedge \cdots \wedge e_{i_k}</math>.
'''Note :''' Ceci fonctionne seulement si la base {''e''<sub>''i''</sub>} est orthogonale. On peut montrer que cette application est indépendante du choix de la base orthogonale et donc donne un isomorphisme naturel.
Si la [[caractéristique d'un anneau|caractéristique]] de ''K'' est 0, on peut aussi établir l'isomorphisme par antisymétrie. Définissons les fonctions <math>f_k : V \times \ldots \times V \to \mathcal{C}\ell(V,Q)\,</math> par
:<math>f_k(v_1, \cdots, v_k) = \frac{1}{k!}\sum_{\sigma\in S_k}{\rm sgn}(\sigma)\, v_{\sigma(1)}\cdots v_{\sigma(k)}</math>
où la somme est prise sur le [[groupe symétrique]] sur ''k'' éléments, et où <math>{\rm sgn}(\sigma)</math> est la [[signature d'une permutation|signature]] de la permutation <math>\sigma</math>. ''f''<sub>''k''</sub> est [[forme alternée|alternée]], et induit une application linéaire unique <math>\Lambda^k(V) \to \mathcal{C}\ell(V,Q)\,</math>. La [[somme directe]] de ces applications donne une application linéaire entre <math>\Lambda(V)\,</math> et <math>\mathcal{C}\ell(V,Q)\,</math>. On peut montrer que cette application est un isomorphisme linéaire.
Une autre manière de voir la relation est la construction d'un [[filtre (algèbre abstraite)|filtre]] sur <math>\mathcal{C}\ell(V,Q)\,</math>. Rappelons que l'[[algèbre tensorielle]] ''T''(''V'') possède un filtre naturel : <math>F^0 \subset F^1 \subset F^2 \subset \ldots\,</math> où ''F''<sup>''k''</sup> contient les sommes de tenseurs de rang ≤ ''k''. Projeter ceci vers l'algèbre de Clifford donne un filtre sur <math>\mathcal{C}\ell(V,Q)\,</math>. L'[[algèbre graduée]] associée
:<math>\bigoplus_k F^k/F^{k-1}\,</math>
est naturellement isomorphe à l'algèbre extérieure <math>\Lambda(V)\,</math>.
Une manière plus simple est de voir qu'en choisissant une [[base (algèbre linéaire)|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_{i_1} e_{i_2} \cdots e_{i_n}, \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 [[corps algébriquement clos|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 [[matrice (mathématiques)|matrice]]s. Il s'ensuit que dans ce cas, <math> C(q) </math> possède une [[représentation des groupes|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 [[spineur]]s.
===Graduation===
L'application linéaire sur ''V'' définie par <math>v \mapsto -v\,</math> conserve la forme quadratique ''Q'' et donc, par la propriété universelle des algèbres de Clifford s'étend à un [[automorphisme]] d'algèbre
: <math>\alpha : \mathcal{C}\ell(V,Q) \to \mathcal{C}\ell(V,Q)\,</math>.
Puisque <math>\alpha\,</math> est une [[involution]] (i.e. son carré est l'[[application identité|identité]]), on peut décomposer <math>\mathcal{C}\ell(V,Q)\,</math> en deux espaces propres positifs et négatifs
:<math>\mathcal{C}\ell(V,Q) = \mathcal{C}\ell^0(V,Q) \oplus \mathcal{C}\ell^1(V,Q)</math>
où <math>\mathcal{C}\ell^i(V,Q) = \{x \in \mathcal{C}\ell(V,Q) | \alpha(x) = (-1)^ix\}\,</math>. Puisque <math>\alpha\,</math> est un automorphisme, il vient
:<math>\mathcal{C}\ell^{\,i}(V,Q)\mathcal{C}\ell^{\,j}(V,Q) = \mathcal{C}\ell^{\,i+j}(V,Q)\,</math>
où les indices supérieurs sont lus modulo 2. Ceci signifie que <math>\mathcal{C}\ell(V,Q)\,</math> est une <math>\mathbb{Z}_2\,</math>-[[algèbre graduée]] (aussi connue comme une [[superalgèbre]]).
'''Note :''' <math>\mathcal{C}\ell^0(V,Q)\,</math> forme une [[sous-algèbre]] de <math>\mathcal{C}\ell(V,Q)\,</math>, appelée la '''sous-algèbre paire'''. La partie <math>\mathcal{C}\ell^1(V,Q)\,</math> est appelée la '''partie impaire''' de <math>\mathcal{C}\ell(V,Q)\,</math> (ce n'est pas une sous-algèbre). Cette <math>\mathbb{Z}_2\,</math>-graduation joue un rôle important dans l'analyse et l'application des algèbres de Clifford. L'automorphisme <math>\alpha\,</math> est appelé l''''involution principale''' ou l''''involution de grade'''.
'''Remarque'''.
En caractéristique différente de 2, l'algèbre <math>\mathcal{C}\ell(V,Q)\,</math> hérite d'une <math>\mathbb{Z}</math>-graduation de l'isomorphisme canonique avec l'algèbre extérieure <math>\Lambda(V)\,</math>. Néanmoins, ceci est un espace vectoriel seulement gradué, c’est-à-dire que la multiplication de Clifford ne respecte pas la <math>\mathbb{Z}\,</math>-graduation, seulement la <math>\mathbb{Z}_2\,</math>-graduation. Heureusement, les graduations sont reliées d'une manière naturelle : <math>\mathbb{Z}_2 = \mathbb{Z}/2\mathbb{Z}\,</math>. Le ''degré'' d'un nombre de Clifford fait référence généralement au degré dans la <math>\mathbb{Z}\,</math>-graduation. Les éléments qui sont homogènes dans la <math>\mathbb{Z}_2\,</math>-graduation sont simplement dits pairs ou impairs.
Si la caractéristique de ''K'' n'est pas 2, alors la sous-algèbre paire <math>\mathcal{C}\ell^0(V,Q)\,</math> d'une algèbre de Clifford est elle-même une algèbre de Clifford.
Si ''V'' est la somme directe orthogonale d'un vecteur ''a'' de norme ''Q''(''a'') et un sous-espace ''U'', alors <math>\mathcal{C}\ell^0(V,Q)\,</math> est isomorphe à <math>\mathcal{C}\ell(U,~-Q(a)Q)\,</math>, où -''Q''(''a'')''Q'' est la forme ''Q'' restreinte à ''U'' et multipliée par -''Q''(''a'').
En particulier sur les réels, ceci implique que
:<math>\mathcal{C}\ell_{p,q}^0(\mathbb{R}) \cong \mathcal{C}\ell_{p,q-1}(\mathbb{R})</math> pour ''q'' > 0 et
:<math>\mathcal{C}\ell_{p,q}^0(\mathbb{R}) \cong \mathcal{C}\ell_{q,p-1}(\mathbb{R})</math> pour ''p'' > 0.
Dans le cas défini négatif, cela donne une inclusion <math>\mathcal{C}\ell_{0,n-1}(\mathbb{R}) \subset \mathcal{C}\ell_{0,n}(\mathbb{R})\,</math> qui étend la suite
:<math>\mathbb{R} \subset \mathbb{C} \subset \mathbb{H} \subset \mathbb{H} \oplus \mathbb{H} \subset \ldots\,</math>
De même, dans le cas complexe, on peut montrer que la sous-algèbre paire de <math>\mathcal{C}\ell_{0,n}(\mathbb{C})\,</math> est isomorphe à <math>\mathcal{C}\ell_{0,n-1}(\mathbb{C})\,</math>.
L'algèbre de Clifford <math>\mathcal{C}\ell(V,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>\Lambda(V)\,</math> de l'espace vectoriel. Cela montre en particulier que <math> \dim \mathcal{C}\ell(V,Q) = 2^{\dim V} </math>.
===Anti-automorphismes===
En plus de l'automorphisme <math>\alpha\,</math>, il existe deux [[anti-automorphisme]]s qui jouent un rôle important dans l'analyse des algèbres de Clifford. Rappelons que l'[[algèbre tensorielle]] ''T''(''V'') possède un anti-automorphisme qui renverse l'ordre de tous les produits :
:<math>v_1\otimes v_2\otimes \cdots \otimes v_k \mapsto v_k\otimes \cdots \otimes v_2\otimes v_1</math>.
Puisque l'idéal <math>I_Q\,</math> est invariant sous ce renversement, cette opération descend vers un anti-automorphisme de <math>\mathcal{C}\ell^0(V,Q)\,</math> appelé l'opération de '''transposition''' ou de '''renversement''', notée par <math>x^t\,</math>. La transposition est un anti-automorphisme : <math>(xy)^t = y^t x^t\,</math>. L'opération de transposition ne fait pas usage de la <math>\mathbb{Z}_2</math>-graduation donc nous définissons un deuxième anti-automorphisme par composition d'α et la transposition. Nous appelons cette opération la '''conjugaison de Clifford''' notée <math>\bar x\,</math>
:<math>\bar x = \alpha(x^t) = \alpha(x)^t\,</math>.
De ces deux anti-automorphismes, la transposition est la plus fondamentale.<sup>[[#note3|3]]</sup>
'''Note :''' Toutes ces opérations sont des [[involution]]s. On peut montrer qu'ils agissent comme ±1 sur les éléments qui sont homogènes dans la <math>\mathbb{Z}</math>-graduation. En fait, toutes les trois opérations dépendent seulement sur le degré modulo 4. C’est-à-dire, si ''x'' est homogène avec un degré ''k'', alors
:<math>\alpha(x) = \pm x \qquad x^t = \pm x \qquad \bar x = \pm x\,</math> où les signes sont donnés par la table suivante :
{| border=1 style="margin-left: 2em; text-align: center;" cellpadding=4
! ''k'' mod 4 || 0 || 1 || 2 || 3 ||
|-
| <math>\alpha(x)\,</math> || + || - || + || -
| <math>(-1)^k\,</math>
|-
| <math>x^t\,</math> || + || + || - || -
| <math>(-1)^{k(k-1)/2}\,</math>
|-
| <math>\bar x</math> || + || - || - || +
| <math>(-1)^{k(k+1)/2}\,</math>
|}
===Le produit scalaire de Clifford===
Lorsque la caractéristique n'est pas 2, la forme quadratique ''Q'' sur ''V'' peut être étendue à une forme quadratique sur toutes les <math>\mathcal{C}\ell^0(V,Q)\,</math> comme expliqué plus haut (et que nous avons aussi notée par ''Q''). Une définition de base indépendante est
:<math>2Q(x) = \lang x^t x\rang</math>
où <''a''> désigne la partie scalaire de ''a'' (la partie de graduation 0 dans la <math>\mathbb{Z}</math>-graduation). On peut montrer que
:<math>Q(v_1v_2\cdots v_k) = Q(v_1)Q(v_2)\cdots Q(v_k)</math>
où les ''v''<sub>''i''</sub> sont les éléments de ''V'' — cette identité n'est ''pas'' vraie pour des éléments arbitraires de <math>\mathcal{C}\ell^0(V,Q)\,</math>.
La forme bilinéaire symétrique associée sur <math>\mathcal{C}\ell^0(V,Q)\,</math> est donnée par
:<math>\lang x, y\rang = \lang x^t y\rang.</math>
On peut vérifier que ceci se réduit à la forme bilinéaire originale lorsqu'elle est restreinte à ''V''. La forme bilinéaire de toutes les <math>\mathcal{C}\ell^0(V,Q)\,</math> est [[non dégénérée]] si et seulement si elle n'est pas dégénérée sur ''V''.
Il n'est pas difficile de vérifier que la transposition est l'[[adjoint d'un opérateur|adjoint]] de la multiplication de Clifford gauche/droite avec le respect de ce produit intérieur. C’est-à-dire,
:<math>\lang ax, y\rang = \lang x, a^t y\rang,</math> et
:<math>\lang xa, y\rang = \lang x, y a^t\rang.</math>
==Structure des algèbres de Clifford==
Dans cette partie, nous supposons que l'espace vectoriel ''V'' est de dimension finie et que la forme bilinéaire de ''Q'' est non-dégénérée. Une [[algèbre centrale simple]] sur ''K'' est une algèbre de matrices sur une algèbre de division (de dimension finie) avec un centre ''K''. Par exemple, les algèbres centrales simples sur les réels sont les algèbres de matrices sur soit les réels, soit les quaternions.
* Si ''V'' possède une dimension paire, alors <math>\mathcal{C}\ell(V,Q)\,</math> est une algèbre centrale simple sur ''K''.
* Si ''V'' possède une dimension paire, alors <math>\mathcal{C}\ell^0(V,Q)\,</math> est une algèbre centrale simple sur une extension quadratique de ''K'' ou sur une somme de deux algèbres centrales simples sur ''K'' isomorphes.
* Si ''V'' possède une dimension impaire, alors <math>\mathcal{C}\ell(V,Q)\,</math> est une algèbre centrale simple sur une extension quadratique de ''K'' ou sur une somme de deux algèbres centrales simples sur ''K'' isomorphes.
* Si ''V'' possède une dimension impaire, alors <math>\mathcal{C}\ell^0(V,Q)\,</math> est une algèbre centrale simple sur ''K''.
La structure des algèbres de Clifford peut être établie explicitement en utilisant le résultat suivant. Supposons que ''U'' possède une dimension paire et une forme bilinéaire non-singulière avec un [[discriminant]] ''d'', et supposons que ''V'' est un autre espace vectoriel avec une forme quadratique. L'algèbre de Clifford de ''U''+''V'' est isomorphe au produit tensoriel des algèbres de Clifford de ''U'' et <math>(-1)^{dim(U)/2}dV\,</math>, qui est l'espace ''V'' avec sa forme quadratique multiplié par <math>(-1)^{dim(U)/2}d\,</math>.
Sur les réels, cela implique en particulier que
:<math> Cl_{p+2,q}(\mathbb{R}) = M_2(\mathbb{R})\otimes Cl_{q,p}(\mathbb{R})\,</math>
:<math> Cl_{p+1,q+1}(\mathbb{R}) = M_2(\mathbb{R})\otimes Cl_{p,q}(\mathbb{R})\,</math>
:<math> Cl_{p,q+2}(\mathbb{R}) = \mathbb{H}\otimes Cl_{q,p}(\mathbb{R})\,</math>
Ces formules peuvent être utilisées pour trouver la structure de toutes les algèbres de Clifford réelles;
{{Article détaillé|classification des algèbres de Clifford}}
==Le groupe Γ de Clifford==
Dans cette partie, nous supposons que ''V'' est de dimension finie et que la forme bilinéaire de ''Q'' est non-singulière.
Le groupe de Clifford <math>\Gamma\,</math> est défini comme étant l'ensemble des éléments inversibles ''x'' de l'algèbre de Clifford tels que
:<math>x v \alpha(x)^{-1}\in V\,</math>
pour tout ''v'' dans ''V''.
Cette formule définit aussi une action du groupe de Clifford sur l'espace vectoriel ''V'' qui conserve la norme ''Q'' et donc, donne un homomorphisme du groupe de Clifford vers le groupe orthogonal. Le groupe de Clifford contient tout les éléments ''r'' de ''V'' de norme différente de zéro, et ceux-ci agissent sur ''V'' par les réflexions correspondantes que prennent ''v'' vers ''v'' − <''v'',''r''>''r''/''Q''(''r'') (En caractéristique 2, ceux-ci sont appelée des transvections orthogonales plutôt que réflexions).
Beaucoup d'auteurs définissent le groupe de Clifford légèrement différemment, en remplaçant l'action <math>xv~\alpha(x)^{-1}\,</math> par <math>xvx^{-1}\,</math>. Ceci produit le même groupe de Clifford, mais l'action du groupe de Clifford sur ''V'' est changée légèrement : l'action des élément impairs <math>\Gamma^1\,</math> du groupe de Clifford est multiplié par un facteur extérieur à -1.
L'action utilisée ici possède plusieurs petits avantages : elle est conforme avec les conventions usuelles de signes de superalgèbre, les éléments de ''V'' correspondent aux reflexions et dans les dimensions impaires, l'application du groupe de Clifford vers le groupe orthogonal est sur, et le noyau n'est pas plus grand que ''K''<sup>*</sup>. En utilisant l'action <math>\alpha(x)vx^{-1}\,</math> à la place de <math>xv\alpha(x)^{-1}\,</math> ne fait pas de différence : elle produit le même groupe de Clifford avec la même action sur ''V''.
Le groupe de Clifford <math>\Gamma\,</math> est l'union disjointe de deux sous-ensemble <math>\Gamma^0\,</math> et <math>\Gamma^1\,</math>, où <math>\Gamma^i\,</math> est le sous-ensemble des éléments de degré ''i''. Le sous-ensemble <math>\Gamma^0\,</math> est un sous-groupe d'index 2 dans <math>\Gamma\,</math>.
Si ''V'' est de dimension finie avec une forme bilinéaire non dégénérée alors les applications du groupe de Clifford sur le groupe orthogonal de ''V'' et le noyau consiste en éléments différents de zéro du corps ''K''. Ceci conduit aux suites exactes
:<math> 1 \rightarrow K^* \rightarrow \Gamma \rightarrow O_V(K) \rightarrow 1,\,</math>
:<math> 1 \rightarrow K^* \rightarrow \Gamma^0 \rightarrow SO_V(K) \rightarrow 1.\,</math>
En caractéristique arbitraire, la '''norme de spin''' ''Q'' est définie sur le groupe de Clifford par
:<math>Q(x) = x^tx\,</math>
<!-- Note : (-1)^D(x) est le même que \alpha(x), donc cette expression est la même que \alpha(x)^t x (-1)^D(x). -->
C'est un homomorphisme du groupe de Clifford vers le groupe
''K''<sup>*</sup> des élément différents de zéro de ''K''. Il coïncide avec la forme quadratique ''Q'' de ''V'' lorsque ''V'' est identifié avec un sous-espace d'algèbre de Clifford.
Plusieurs auteurs définissent la norme de spin légèrement différemment, c’est-à-dire qu'elle diffère de celle utilisée ici par un facteur de - 1, 2, ou - 2 sur <math>\Gamma^1\,</math>. La différence n'est pas très importante.
Les éléments différents de zéro de ''K'' ont une norme de spin dans le groupe ''K''<sup>*2</sup> de carrés des éléments différents de zéro du corps ''K''. Donc, lorsque ''V'' est de dimension finie et non-singulière, nous obtenons une application induite à partir du groupe orthogonal de ''V'' vers le groupe ''K''<sup>*</sup>/''K''<sup>*2</sup>, aussi appelé la norme de spin. La norme de spin d'une réflexion d'un vecteur ''r'' possède comme imge ''Q''(''r'') dans ''K''<sup>*</sup>/''K''<sup>*2</sup>, et cette propriété le définit uniquement dans le groupe orthogonal. Ceci donne les suites exactes :
:<math> 1 \rightarrow \{\pm 1\} \rightarrow Pin_V(K) \rightarrow O_V(K) \rightarrow K^*/K^{*2},\,</math>
:<math> 1 \rightarrow \{\pm 1\} \rightarrow Spin_V(K) \rightarrow SO_V(K) \rightarrow K^*/K^{*2}.\,</math>
'''Note :''' En caractéristique 2, le groupe {±1} possède simplement un élément.
== Spin et groupes de Pin ==
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''<sub>V</sub>(''K'') est le sous-groupe du groupe de Clifford <math>\Gamma\,</math> d'éléments de norme de spin 1, et de manière similaire le '''groupe de Spin''' ''Spin''<sub>V</sub>(''K'') est le sous-groupe d'éléments d'[[invariant Dickson]] 0 dans ''Pin''<sub>V</sub>(''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.
Rapellons, à 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 <math>\Gamma^0\,</math>. 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''<sup>*</sup>/''K''<sup>*2</sup>.
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 <math>\mathbb{R}^{p,q}\,</math> 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''<sub>''p'',''q''</sub> est simplement connexe comme un groupe algébrique, quoique sont groupe de points à valeurs réelles ''Spin''<sub>''p'',''q''</sub>(''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.
Voir [[groupe spineur]], [[spineur]].
==Spineurs==
Supposons que ''p+q=2n'' est pair. Alors l'algèbre de Clifford <math>\mathcal{C}\ell_{p,q}(\mathbb{C})\,</math> est une algèbre de matrices, et donc possède une représentation complexe de dimension <math>2^n\,</math>. En restreignat au groupe ''Pin''<sub>''p'',''q''</sub>('''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''<sub>''p'',''q''</sub>('''R''') alors il se sépare en une somme de deux '''représentations de demi-spin''' (ou '''représentations de Weyl ''') de dimension <math>2^{n-1}\,</math>.
Si ''p+q=2n+1'' est impair alors l'algèbre de Clifford <math>\mathcal{C}\ell_{p,q}(\mathbb{C})\,</math> est une somme de deux algèbres de matrices, chacune d'elles possède une représentation de dimension <math>2^n\,</math>, et celles-ci sont aussi toutes deux des représentations du groupe de Pin ''Pin''<sub>''p'',''q''</sub>('''R'''). Sur la restriction au groupe de spin ''Spin''<sub>''p'',''q''</sub>('''R'''), celles-ci deviennent isomorphes, donc le groupe de spin possède une '''représentation de spin''' complexe de dimension <math>2^n\,</math>.
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 [[classification des algèbres de Clifford|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}}
==Applications==
===Géométrie différentielle===
En [[géométrie différentielle]], on utilise couramment les notions d'algébre extérieure pour définir par exemple le [[fibré vectoriel]] des [[forme différentielle|formes différentielles]] sur une [[variété différentielle]]. Dans le cas d'une variété ([[variété pseudo-riemannienne|pseudo]]-)[[variété riemannienne|riemannienne]], les [[espace tangent|espaces tangents]] sont munis d'une forme quadratique naturelle induite par la [[tenseur métrique|métrique]]. Ainsi, on peut définir un "fibré vectoriel" de Clifford en analogie avec le fibré vectoriel extérieur. Cette construction offre d'intéressantes applications en [[géométrie riemannienne]].
===Physique===
Les algèbres de Clifford ont de nombreuses applications importantes en physique. Les physiciens considèrent habituellement une algèbre de Clifford comme une algèbre engendrée par des matrices <math>\gamma_1,\ldots,\gamma_n\,</math> appelées [[matrice de Dirac|matrices de Dirac]] qui ont la propriété :
:<math>\gamma_i\gamma_j + \gamma_j\gamma_i = 2\eta_{ij}\,</math>
où <math>\eta\,</math> est la matrice d'une forme quadratique de signature (''p'',''q'') — typiquement (1,3) lorsqu'on travaille dans un [[espace de Minkowski]]. Celles-ci sont exactement les relations définies pour l'algèbre de Clifford <math>\mathcal{C}\ell_{1,3}(\mathbb{C})\,</math> (à un facteur 2 sans importance près),
qui par la [[classification des algèbres de Clifford]] est isomorphe à l'algèbre de matrices complexes 4 x 4.
Les matrices <math> \gamma_i </math> ne sont 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.
Les matrices de Dirac furent découvertes en premier par [[Paul Dirac]] lorsqu'il essaya d'écrire une équation d'onde du premier ordre relativiste pour l'[[électron]], et donna un isomorphisme explicite de l'algèbre de Clifford vers l'algèbre des matrices complexes. Le résultat fut utilisé pour définir l'[[équation de Dirac]]. L'algèbre de Clifford entière est utilisée dans la [[théorie des champs quantiques]] sous la forme des [[corps de Dirac bilinéaire]]s.
==Voir aussi==
*[[Algèbre de l'espace physique]]
*[[Classification des algèbres de Clifford]]
*[[Représentation des algèbres de Clifford]]
*[[Matrice de Dirac]]
*[[Algèbre extérieure]]
*[[Algèbre géométrique]]
*[[Groupe de spin]]
*[[Spineur]]
*[[Paravecteur]]
==Notes de bas de page==
#<div id="note1">Les mathématiciens qui travaillent avec les algèbres de Clifford réelles et préfèrent des formes quadratiques définies positives (précisément ceux travaillant dans la théorie de l'indice) utilisent quelquefois un [[convention de signe|choix de signe]] différent dans l'identité fondamentale de Clifford. C’est-à-dire qu'ils prennent <math>v^2 = -Q(v)\,</math>. On peut remplacer ''Q'' par - ''Q'' en allant d'une convention à l'autre.</div>
#<div id="note3">L'opposé est vrai lorsque la convention de signe alternative (-) pour les algèbres de Clifford est utilisée : c'est le conjugué qui est plus important. En général, les significations de la conjugaison et de la transposition sont interchangées lorsque l'on passe d'une convention de signe à une autre. Par exemple, dans la convention utilisée ici, l'inverse d'un vecteur est donné par <math>v^{-1} = v^t/Q(v)\,</math> tandis que dans la convention (-), il est donné par <math>v^{-1} = \bar{v}/Q(v)</math>.</div>
==Références==
*Carnahan, S. ''Borcherds Seminar Notes, Uncut.'' Week 5, "Spinors and Clifford Algebras".
*Lawson and Michelsohn, ''Spin Geometry'', Princeton University Press. 1989. ISBN 0-691-08542-0. An advanced textbook on Clifford algebras and their applications to differential geometry.
*Lounesto, P., ''Clifford Algebras and Spinors'', Cambridge University Press. 2001. ISBN 0-521-00551-5.
*Porteous, I., ''Clifford Algebras and the Classical Groups'', Cambridge University Press. 1995. ISBN 0-521-55177-3.
==Liens externes==
*[http://planetmath.org/encyclopedia/CliffordAlgebra2.html Entrée sur Planetmath pour les algèbres de Clifford]
*[http://members.fortunecity.com/jonhays/clifhistory.htm Une histoire d'algèbres de Clifford] (non vérifié)
{{portail mathématiques}}
[[Catégorie:Algèbre multilinéaire]]
[[Catégorie:Structure externe]]
[[az:Klifford cəbri]]
[[de:Clifford-Algebra]]
[[en:Clifford algebra]]
[[es:Álgebra de Clifford]]
[[it:Algebra di Clifford]]
[[ru:Алгебра Клиффорда]]
[[sv:Cliffordalgebra]]