Академический Документы
Профессиональный Документы
Культура Документы
5.1
Spinors
V . Indeed, if X + V V and
V , let
(X + ) = iX + .
Then
(X + )2
= iX (iX + ) + (iX + )
= (iX ) iX + iX
= X + , X +
2
Thus we have an action of v V V with v = v, v. This is the dening relation for the Cliord
Algebra CL(V V ).
For a general vector space E, CL(E, , ) is dened by
CL(E, , ) =
E/ v v v, v1
That is, CL(E, , ) is the quotient of the graded tensor product of E by the free abelian group generated
by
all elements of the form v v v, v1 for v E. Note in particular that if , 0 then CL(E, , ) = E.
n
=
We therefore have representation CL(V V ) End( V )
= End(R2 ) where n = dimV . This is
called the spin representation for CL(V V ).
Choose an orthonormal basis for V V , i.e. {e1 e1 , . . . , en en }. The cliord algebra has a natural
volume element in terms of this basis given by
(1)
n(n1)
2
V acted
ev
S Ker( + 1) =
od
The ei are known as creation operators and the ei as annihilation operators. We dene the spinors S
by
S = V = S+ S
Here is another view. V is naturally embedded in V V , so we have
CL(V ) = V CL(V V )
since V, V = 0. Note in particular that det V CL(V V ), where detV is generated by e1 en in
terms of our basis elements. detV is a minimal ideal in CL(V V ), so CL(V V ) detV CL(V V ).
Elements of CL(V V ) det V are generated by elements which look like
(1, ei , ei ej , . . .) e1 en
no ei f det V
For x CL(V V ) and S, the action x satises xf = (x )f .
Problem. Show that this action coincides with the Cartan action.
16
5.2
: Spin(V V ) SO(V V )
where the action (x) v = xvx1 in CL(V V ).
The adjoint action in the Lie algebra so(V V ) is given by
dx : v [x, v]
where [, ] is the commutator in CL(V V ), so
2
(V V ).
so(V V ) = span{[x, y] : x, y V V }
=
Recall that
(V V ) =
B++A
(V V ) looks like
V End(V )
In terms of the basis, say B = Bij ei ej , ij ei ej , and A = Aji ei ej . In CL(V V ), these become Bij ei ej ,
ij ej ei and 12 Aji (ej ei ei ej ), respectively. Consider the action of each type of element on the spinors.
(Bij ei ej ) = Bij ei ei = B
( ij ej ei ) = ij iej iei = i
1 j
1 j
1 j i
1
j i
i
i
i
i
A (ej e e ej ) = Ai (iej (e ) e iej ) = ( Ai j ) Ai e ej =
TrA A
2 i
2
2
2
2
Given B
V , recall the B eld transform eB . This acts on the spinors via
eB
= + B +
1
B B +
2!
det(g) g 1
17
5.3
Let ,
V where
1 k k 1
Dene
(, ) = [() ]n detV
where n = dim V , and the subscript n on the bracket indicates that we take only the degree n parts of the
resulting form.
Proposition 3. For x CL(V V ), (x , ) = (, (x) )
Proof. Recall that (x )f = xf and
(, )
= if (, )f
= if (() ))f
= (f )()f
=
(f )f
ev
V , so that
= 0 + 2 + 4
and similarly for , where the subscripts indicate forms of degree 0, 2, and 4. Then () = 0 2 + 4 and
(, ) = (0 2 + 4 ) (0 + 2 + 4 ) 4 = 0 4 + 0 4 2 2
If n = 4 and ,
od
V , then
(, ) = (1 3 ) (1 + 3 ) 4 = 1 3 3 1 .
n(n1)
2
(, )
18
5.4
Pure Sphors
Let 4 E A'tFC be any nonzero spinor, and d&e the nulI space of 4 as
L9 = { X + t E V e V * : (X+t)-$=00).
on d under the spin representation. If
g Spin(VEB If*$
+ wj@= 0.
2(x,vM = (w
~ ~ ~ ~ V ~ , O i s p u r e ~ ~ L ~ = ( X + ~ : ~ B + ~whicbisZ5ir~;hdeedthisfs
ri0=0)=~6~{8)
what we eded Lwer 8,O).
Simihrly, wkdming eB@,
C~OOM
3 E A'V*