Vous êtes sur la page 1sur 7

` la notion de Spineur

Introduction a
Guy LAVILLE

matiques
1e`re partie : Mathe
`bre de Clifford R0,1
1. Les nombres complexes C : alge
Considerons lensemble des matrices de la forme


a b
a R,
b
a

b R.

Cet ensemble poss`ede une structure despace vectoriel et de corps (i.e. on peut faire des
additions, soustractions, multiplications, divisions). Il est tr`es utilise dans un grand nombre
de domaines, mais (presque) jamais sous cette ecriture. Prenons pour base de lespace
vectoriel




1 0
0 1
1=
i=
0 1
1
0


a b
= a + ib,
i2 = 1.
b
a
Cest sous la forme a + ib que cette structure est utilisee.
Notons quil y a une parfaite identite entre le formalisme matriciel et le formalisme habituel.
C est aussi note R0,1 .

`bres de Clifford R2,0 et R1,1


2. Les alge
Prenons maintenant lensemble des matrices de la forme


a b
a, b, c, d reels.
c d
Cest un espace vectoriel de dimension 4.
Prenons pour base de lespace vectoriel :





1 0
1
0
0
0 =
, 1 =
, 2 =
0 1
0 1
1

1
0


, 3 =

0
1

1
0


.

Cest aussi une alg`ebre (i.e. on peut faire des multiplications, pas toujours des divisions).
Maintenant, contrairement au cas du premier paragraphe, on peut faire plusieurs choix :
e1 = 1 ,

e2 = 2

alors 3 = e1 e2 .

Cette structure est lalg`ebre de Cliord R2,0 . Lindice 2 indique que lon a deux elements
e21 = 1, e22 = 1. Linterpretation geometrique est lespace vectoriel euclidien de dimension 2,
de base orthonormee.
Autre choix :
e1 = 1 ,

e2 = 3

alors e1 e2 = 2 .

Cette structure est lalg`ebre de Cliord R1,1 . Lindice 1,1 indique que lon a deux elements
e21 = 1, e22 = 1. Linterpretation geometrique est lespace vectoriel hyperbolique de
dimension 2, de base e1 , e2 orthonormee.
Conclusion : deux geometries dierentes se retrouvent dans lensemble des matrices 2 2
a coecients reels. Lecriture matricielle ne permet pas de distinguer entre les deux. La
`
notion dalg`ebre de Cliord clarie totalement cette distinction.

2
`bres de Clifford R3,0 et R1,2
3. Les alge
Prenons maintenant lensemble des matrices de la forme :


a b
a, b, c, d complexes.
c d
Cest un espace vectoriel de dimension reelle 8. Prenons pour base de cet espace vectoriel








1 0
0 1
0 i
1
0
0 =
1 =
2 =
3 =
0 1
1 0
i
0
0 1








i 0
0 i
0 1
i
0
i0 =
i1 = 2 3 =
i2 = 3 1 =
i3 = 1 2 =
0 i
i 0
1 0
0 i
Ce choix est impose par les habitudes, les matrices 0 , 1 , 2 , 3 sont les matrices de Pauli.
i 0 = 1 2 3 est un pseudoscalaire.
Du point de vue de la structure dalg`ebre nous avons deux choix :
 Premier choix :
e1 = 1 , e2 = 2 , e3 = 3 .
Cette structure est lalg`ebre de Cliord R3,0 . Nous avons trois elements e21 = 1, e22 = 1,
e23 = 1. Linterpretation geometrique est lespace vectoriel euclidien de dimension 3.
 Autre choix :
e1 = 1 ,

e2 = i2 ,

e3 = i3 .

Cette structure est lalg`ebre de Cliord R1,2 . Linterpretation geometrique est lespace
hyperbolique de dimension 3.
Conclusion : les deux points de vue suivants sont equivalents :
On se donne lalg`ebre des matrices 2 2 `a coecients complexes ET les matrices de
Pauli.
On consid`ere lalg`ebre de Cliord R3,0 , que lon peut denir directement, sans utiliser
les nombres complexes.

ome
trie de R3
4. Structure de R3,0 et ge
Lidee de base est pour deux vecteurs a et b :
a orthogonal a` b ab = ba.
Posons i = e1 e2 e3 . Il est facile de verier que i2 = 1, et que i commute avec
e1 , e2 , e3 donc avec tous les elements de R3,0 .
Les produits de deux vecteurs de base, par exemple e1 e2 , que nous noterons dans la suite
e12 , representent des plans, orientes, auxquels on associe un nombre (ici 1).
Loperation geometrique qui a un vecteur a fait correspondre le plan orthogonal devient ici :
a i a = ai ,
par exemple :

e1 i e1 = e2 e3 = e23 .

La reexion par rapport a` un plan de vecteur orthogonal a peut secrire de la facon suivante :

a
x //

ai -

3
Decomposons x = x// + x

ax = ax// + ax
xa = x// a + x a = ax// ax

ax// = (ax + xa)


2

ax = 1 (ax xa)
2

x// = (x + a1 xa)
2

x = 1 (x a1 xa).
2
Le symetrique de x par rapport au plan est :
x// + x = a1 x a.
La reexion secrit : x a1 x a. Dans le cas o`
u a est unitaire a2 = a2 = 1, on
trouve x a x a

x = cos()a x
//
a

x = sin()u
avec u vecteur unitaire dans le plan a, x orthogonal a` a.

ax = cos()a2 x
//
a

ax = sin()au

ax + xa

cos() = 2 a x


au
ax xa

=
sin()
a
2 a x

avec

au
bivecteur.
a

Ce bivecteur correspond au plan engendre par a et x. Son carre est egal `a 1.


Composee de deux reexions :
Considerons deux plans de vecteurs orthogonaux unitaires a et b. La composee des deux
reexions par rapport a` ces plans est :
x ba x ab.
Cette transformation est une rotation. Laxe de cette rotation est orthogonale au plan des
1
vecteurs a et b. Ce plan est donne par a b = (ab ba). Langle de cette rotation est
2
le double de langle entre les deux vecteurs :
cos
ab =


1
= a b = (ab + ba)
2
2



1
1
(ab + ba) + (ab ba) = a b + a b = cos
+ sin
w
2
2
2
2

avec w bivecteur de carre 1, correspondant au plan engendre par a et b. Une rotation


peut donc secrire :
x ew/2 x ew/2 .

4
5. Les rotations de lespace R3
Le groupe des rotations de R3 est note SO(3).
Il est classique de faire des calculs sur les rotations de lespace R3 en utilisant les 3 angles
dEuler. Mais cette methode a` trois inconvenients :
Trouver les angles de la composee de deux rotations donne des formules compliquees
et peu maniables.
Pas de lien topologique agreable entre SO(3) et les trois angles dEuler.
Les donnees les plus intuitives dune rotation sont son axe (ensemble de ses points
invariants) et la mesure de son angle.
Une rotation dont laxe a pour vecteur directeur unitaire u et dangle secrit, dapr`es
lexpression trouvee `a la n du paragraphe precedent :
x eui /2 xeui /2
puisquici w = ui .
Les rotations secrivent :

x s1 x s

avec s somme dun scalaire et dun bivecteur :


s=+ w
, reels, 2 + 2 = 1, w bivecteur w2 = 1.
w = a e12 + b e23 + c e31 avec a2 + b2 + c2 = 1.
(a, b, c) donnent les coordonnees du vecteur unitaire, axe de la rotation.
Lensemble de tels s forme un groupe, le groupe Spin (3), revetement `a deux feuillets de
SO(3) (puisque s s ne change pas la rotation).
Si lon ecrit s matriciellement on trouve que Spin(3) est le groupe SU (2) des matrices
2 2, telles que M t M = I.

6. Choix dune direction arbitraire : les spineurs de Pauli


Nous allons choisir une direction privilegiee de lespace R3 et nous prendrons notre base
orthonormale e1 , e2 , e3 avec e3 dans cette direction privilegiee.
Decomposons lalg`ebre de Cliord en tenant compte de ce choix.
R3,0 = R2,0 R2,0 e3

R 2,0 e3
R 2,0 (1+ e3)

R 2,0

5
Th
eor`
eme et d
enition.- On appelle espace vectoriel des spineurs de Pauli S, la diagonale
R2,0 (1 + e3 ) de cette decomposition. Nous obtenons un espace vectoriel reel de dimension
4, qui est aussi un ideal de R3,0 cest-`a-dire : R3,0 (1 + e3 ) = R2,0 (1 + e3 ).
Prenons pour base :
1
1
1
1
f = (1 + e3 ), f1 = e1 (1 + e3 ), f2 = e2 (1 + e3 ), f12 = e12 (1 + e3 ).
2
2
2
2
Nous pouvons verier que lon a bien un ideal et que R0,3 sidentie a` lensemble des
applications lineaires de S dans S. Dun point de vue matriciel, nous avons :








1 0
0 0
0 0
i 0
f=
, f1 =
, f2 =
, f12 =
.
0 0
1 0
i 0
0 0
 
z1
Nous pouvons donc considerer que les spineurs de Pauli sont des vecteurs de C2 :
.
z2
Mais cette interpretation cache compl`etement la vraie nature des spineurs : choix dune
direction arbitraire et melange des scalaires, vecteurs, bivecteurs, trivecteurs.
La mecanique classique est basee sur la stricte distinction geometrique : scalaires (masse,
energie), vecteurs (vitesses, accelerations, . . .), bivecteurs (moments, . . .).
La mecanique quantique oblige a` melanger tr`es subtilement ces notions. Si lon consid`ere
quun electron est represente par un spineur, il est en fait la superposition de scalaire,
vecteur, bivecteur, trivecteur. Cette superposition nest pas quelconque et, de plus, elle
depend dune direction privilegiee, donc en fait dun appareil de mesure (macroscopique).

canique quantique non relativiste


7. Les nombres complexes et la me
Certaines presentations de la mecanique quantique non relativiste laisse penser que lon
est oblige dintroduire les nombres complexes pour rendre compte, par exemple, des
interferences. En realite, cette introduction est inutile. Decomposons :
R3,0 = R R10,3

R20,3

R30,3

scalaires vecteurs bivecteurs pseudoscalaire


Le pseudoscalaire i = e1 e2 e3 represente lespace tout entier, i commute avec tous les
elements de R3,0 , i2 = 1 donc on peut identier C = R R30,3 . Les nombres complexes
nont pas a` etre introduits ils sont presents dans la geometrie de base. Pour tout element
a R3,0 , il existe des elements c R R30,3 et u R R10,3 tels que a = cu = uc.
Lespace des spineurs est aussi un C-espace vectoriel de dimension complexe 2 de base :
f, f1 puisque i f = f12 i f1 = f2 .
Pour algebriser la geometrie euclidienne de lespace R3 nous avons trois choix :
 Premier choix : les quaternions. H = R0,2 .
Lennui geometrique majeur est que lon est oblige didentier les plans a` leurs vecteurs
normaux : il est tr`es choquant de supprimer la notion de plan en geometrie. Si lon prend
ce point de vue, alors on est oblige dintroduire les nombres complexes, donc, en fait de
travailler dans C R0,2 . Mais ceci est isomorphe `a R3,0 .
1 1, i e23 , j e31 , k e12 , ii = e1 , ij = e2 , ik = e3 , i e123 .
 Deuxi`eme choix : R0,3 .
Dans ce cas e123 = i+ commute avec tout element de R0,3 mais i2+ = +1. On est a`
nouveau oblige dintroduire les nombres complexes : C R0,3 . Mais on ne se sert que de
la moitie de celui-ci qui est R3,0 .
 Troisi`eme choix : R3,0 .
Cest le present expose.
Comme f2 = i f1 et f12 = i f , tout spineur peut secrire f + f1 avec et dans
R R33,0 C. f et f peuvent etre consideres comme des projecteurs :
f (f + f1 ) = f f (f + f1 ) = f1 .

6
simales
8. Les spineurs et les valeurs propres des rotations infinite
Les rotations innitesimales forment, par denition, lalg`ebre de Lie de SO(3) qui est la
meme que SU (2) ou Spin(3). Il sagit seulement de calculer :
d

1
ewt/2 = w.

dt t=0
2
1
1
1
Cette alg`ebre de Lie est R23,0 , et lon prend de facon classique la base
e12 , e23 , e31 .
2
2
2
1
Cherchons les valeurs propres de
e12 considere comme operateur sur lespace S : on
2
trouve
1
1
1
1
e12 f = i f et
e12 f1 = i f1 .
2
2
2
2
Comme on pref`ere en general les valeurs propres reelles, on consid`ere lobservable :
S3 =

i
1
e12 = e3
2
2

S3 f = f
2
1

S3 f1 =
f1
2
(On melange ici les plans et les vecteurs).

Les notations suivantes sont classiques en mecanique quantique :

f1 =
+ >

f =
>

S3
> =
2

S3
+ > =
2

>

+>

Ces deux egalites sont fondamentales et justient lintroduction de ces etranges objets : les
spineurs.
Des calculs analogues donnent :

1
i
1
i

e23 f =
f1 ;
e23 f1 =
f
2
2
2
2

1 e23 f = 1 f1 ; 1 e13 f1 = 1 f.
2
2
2
2
Do`
u:

2
1

e23 + i
e23 + i
e23 i
e23 i

1
2
1
2
1
2
1
2


e13 f = i f1

e13 f1 = 0

e13 f = 0

e13 f1 = i f.

Les deux autres observables de spin sont :


S1 =

i
e23
2

et

S2 =

i
e13 .
2

7
Elles sont souvent reunies par S+ = S1 + i S2 et S = S1 i S2 . Les quatre relations
precedentes secrivent maintenant :

S +
> =
+ > S+
+ > = 0

S
> = 0
S
+ > =
> .
9. Conclusion
Ne pas confondre le groupe Spin(3) lie au groupe orthogonal et lespace vectoriel des spineurs
S. Un spineur (contrairement a` ce que sugg`ere ce mot) ne tourne pas plus quun vecteur
de lespace R3 .
Lelectron ne peut pas etre envisage comme une petite boule. Un objet ponctuel est repere
par 3 coordonnees (donc alg`ebre de Cliord R3,0 ). Une boule aurait 6 coordonnees (donc
lalg`ebre de Cliord devrait etre construite sur un espace vectoriel de dimension 6).
Nous avons ete oblige de briser lisotropie de lespace. Ceci est lie `a lappareil de mesure qui
va xer une direction privilegiee de lespace : on ne peut pas separer lobjet de lappareil
de mesure.
Tout ceci montre que le spin est purement quantique. La mecanique quantique est plus
quune quantication de la mecanique classique.
Annexe :
Tableau de correspondance
Denissons la reversion par :
si u vecteur u
=u
(ab) = b
a.
Denissons lautomorphisme principal par :
si u vecteur u = u
(ab) = a b .
Denissons lantiautomorphisme principal :
a = (a ) .
Op
erations dans

Op
erations dans

C(2)

R3,0

Signication g
eom
etrique

M 2 M 2

a a

symetrie par rapport a` lorigine

M t M

a
a

changement dorientation de lespace

M 2 t M 2

a a

symetrie par rapport a` lorigine


et changement dorientation de lespace

M M

a e2 a e2

reexion par rapport au vecteur e2

M t M

a e2 a e2

reexion par rapport au vecteur e2


et changement de lorientation de lespace

Sur lensemble des spineurs de Pauli, nous avons une structure hermitienne. Le produit
hermitien est donne par la partie scalaire du produit :

(f + f1 )(f + f1 ) = + + e1 + )e3 + e3 .
qui donne bien + .