of real antisymmetr[e tensors of a special form, from the spinor components sA .... A spinor representation of a proper orthogonal group of transformations in the.
REPRESENTATION TENSOR
OF
SPINORS
BY
REAL
AND
COMPLEX
AGGREGATES V.
A.
Zhelnorovich
All independent complex and r e a l c h a r a c t e r i s t i c s of a s c a l a r and tensor nature are determined for spinors in n-dimensional (generally, complex) Euclidian space. A o n e - t o - o n e c o r r e s p o n dence is established between the components of a spinor and of a proposed special complex tensor aggregate C, which is defined by the spinor. In real Euclidian spaces, a homomorphic relation between the components of a spinor and the components of a real tensor aggregate D, defined by the spinor, is given. All the formulas and relationships between a spinor and the a g g r e g a t e s C and D a r e given in p a r t i c u l a r for f o u r - d i m e n s i o n a l Minkowskispace. The r e sultant theory allows one to a r r i v e at some conclusions about the possibility of a m e t r i c d e s cription of the interaction between fermion and gravitational fields. INTRODUCTION This paper is devoted to a study of the geometric and algebraic properties of spinors in n-dimensional + (generally speaking, complex) Euclidian space R n. Section 1 gives the basic definitions and some information needed for the subsequent discussion about spiaor representations of orthogona[ transformation groups in the space R +n. All the independent complex and real characteristics of a scalar and tensor nature, which are invariant with respect to the complex affine transformation group of the space R +n' are established for spinors in R + in Sections 2 and 3. It is shown that in n-dimensional Euclidian space, a spinor with complex components which are defined except for sign is equivalent to a complex tensor aggregate C consisting of aatisymmetric tensors of a special form, the components C 0~I~2" ' " c~k of which are biiinear algebraic functions of the spinor components, and a one-to-one relationship is established between the spinor components and the tensor aggregate C. In accordance with the latter, it is found possible to write down spinor equations in equivalent form as tensor equations in the components of the aggregate C. In real Euclidian (pseudo-Euclidian) spaces, one can form a real tensor aggregate D, which consists of real antisymmetr[e tensors of a special form, from the spinor components sA and from the complex conjugate components cA. In Section 3, it is shown that the real aggregate D defines the components of a spinor except for a common factor exp(i~), and a homomorphism between the spinor components and the components of the tensors D is established. All the general formulas and relations between spinors and the tensor aggregates C and D, and between the tensor aggregates C and D areparticularizedforthecaseoffourdimensional Minkowski space, which is important from the point of view of application. The theory developed in this paper is of particular interest for the clarification and deepening of the physical meaning of basic premises and for the generalization to non-Euclidian space of various physical theories. It should also be pointed out there is a widespread, but erroneous, idea that a description of the interaction between fermion fields and the gravitational field is only possible through the introduction of a tetrad (i. e., nonholonomic, orthonormal coordinate systems). The theory we have developed indicates that the interaction of fermion fields with a gravitational field can also be described in the framework of a metric formalism. This deduction allows one, in particular, to solve in positive fashion the question of the possibility of constructing geometrodynamics for particles with half-integer spin. In regard to this point, it should be pointed out that geometrodynamics for an electromagnetic field was considered unsatisfactory
Institute of Mechanics, Moscow State University. T r a n s l a t e d from T e o r e t i c h e s k a y a i M a t e m a t i c h e skaya Fizika, Vol. 2, No. i, pp. 87-102, January, 1970. Original article submitted June 10, 1969.
9 Consultants Bureau~ a division of Plenum Publishing Corporation, 227 West 17th Street: New York: N. Y. lOOll. All rights reserved. This article cannot be reproduced for any purpose whatsoever without permission of the publisher. /1 copy of this article is available from the publisher for $15.00.
66
b e c a u s e of fundamental lack of c l a r i t y with r e s p e c t to the p o s s i b i l i t y of c o n s t r u c t i n g such a t h e o r y for p a r ticles which a r e d e s c r i b e d by s p i n o r equations (for example, see [3]). The e s s e n t i a l d i f f e r e n c e between our r e s u l t s and t h o s e of o t h e r a u t h o r s [4-7] lies in the indication of t e n s o r a g g r e g a t e s in n - d i m e n s i o n a l s p a c e which a r e c o m p l e t e l y equivalent to a s p i n o r and in the e s t a b l i s h m e n t of a o n e - t o - o n e c o r r e s p o n d e n c e between t h e m w h e r e a s only the c a s e of f o u r - d i m e n s i o n a l s p a c e was c o n s i d e r e d p r e v i o u s l y and, m o r e i m p o r t a n t l y , a o n e - t o - o n e c o r r e s p o n d e n c e was not e s t a b l i s h e d b e t w e e n the c o m p o n e n t s of the s p i n o r s and t e n s o r s . Many p r o m i n e n t s p e c i a l i s t s questioned the e x i s t e n c e of a o n e - t o - o n e c o r r e s p o n d e n c e between t e n s o r and s p i n o r c o m p o n e n t s and m a d e e r r o n e o u s s t a t e m e n t s ( W h e e l e r [3], Ivanenko [9], M u e l l e r [10], and others). In our work, methods have been developed for the replacement of spinor equations by equivalent tensor equations; these are methods which are applicable to arbitrary spinor equations while in the work of other authors, certain particular transformations of the Dirac equation in four-dimensional pseudo-Euclidian space proved possible only because of a special form of the Dirac equation, thus making the particular methods discussed in them inapplicable to more general equations (an equivalent tensor description even of the Dirac equation was not obtained previously) [i, 2]. 1.
Spinor
Representation
of Orthogonal
Groups
We f i r s t c o n s i d e r an e v e n - d i m e n s i o n a l c o m p l e x E u c l i d i a n s p a c e R +, n = 2v, r e l a t i v e to the o r t h o n o r real b a s i s ec~ (c~ = 1, 2 . . . . . 2v). Let Yc~ = IlYAc~BII be m a t r i c e s of d i m e n s i o n a l i t y 2u, which by definition s a t i s f y the equation (1.1)
~o.W + Y~u = 2b~].
H e r e 6c~p is the K r o n e c k e r delta, J is the unit m a t r i x of d i m e n s i o n a l i t y 2u.
We introduce the notation
As is usual, p e r m u t a t i o n s a r e c a r r i e d out o v e r the s u b s c r i p t s in the s q u a r e b r a c k e t s . F r o m definitions (t.1) and (1.2), it follows that the s q u a r e of the m a t r i x "/c~lc~... C~k is p r o p o r t i o n a l to the unit m a t r i x and that the t r a c e of m a t r i x yozic~2.., c~k equals z e r o k(k--l)
(~,~o. % ) ~ = ( _ ~ )
2 j, tr7~:...%=O.
(1.3)
Using (1.3), it is easy to show that the matrix system Y, Y~, ~&,~, . . . . 7~...... %
(1.4)
is l i n e a r l y independent. As is well known, any two solutions Yc~, Yc~' of Eq. (1.1) a r e r e l a t e d through the equality y~' .~- Ty~T -1,
det T =# 0.
(1.5)
If y~ is some solution of Eq. (i.i), it is obvious that the transposed matrices ~/c~T are also sotutions of (i.i); it therefore follows from (1.5) that there exists a matrix C = I]CABII such that "V~r ~ C7~C-1,
det C =# 0.
(1.6)
We also define a m a t r i x E E = ]] cAB II ~ i'~(~'-1)/2(7~,~-1... ?,)rC.
(1.7)
Since the m a t r i c e s ~/ce and C a r e not d e g e n e r a t e , the m a t r i x E is also not d e g e n e r a t e as follows f r o m the definition (1.7). We shall d e s i g n a t e the c o m p o n e n t s of the i n v e r s e m a t r i x E -1 as e AB, so that e A B e B c = 5cA. F r o m (1.6) and (1.7), we have [12] CT = (--i)~(v-1)~g,
ET _.= (--1)v(,+1)~E.
(1.8)
Using (1.7) and (1.8), we also obtain
~(~+l)+k(k+l)
(1.9) 67
S i n c e the m a t r i x E is n o n d e g e n e r a t e and the m a t r i c e s J and ~/c~1o~2* . . c~k a r e l i n e a r l y i n d e p e n d e n t , the s y s t e m of m a t r i c e s E, Eye, Eya,~., . . . . EYa,a.~...%
(1.10)
is a l s o l i n e a r l y i n d e p e n d e n t . We now c o n s i d e r the g r o u p L = ][l~ [[ of p r o p e r o r t h o g o n a l t r a n s f o r m a t i o n s
in the s p a c e R+n (1.11)
e~' ~ l%e=.
T h e s e t of u n h n o d u l a r m a t r i c e s
S d e f i n e d by the e q u a t i o n yf~ =
forms a group which realizes L.
representation
l ~ S y~S -~,
(1.12)
of the g r o u p L, c a l l e d the s p i n o r r e p r e s e n t a t i o n of the g r o u p
A g e o m e t r i c o b j e c t r with c o n t r a v a r i a n t c o m p o n e n t s ~bA d e f i n e d e x c e p t for sign, which t r a n s f o r m s + l i k e the r e p r e s e n t a t i o n S, is c a l l e d a s p i n o r of the f i r s t r a n k in the s p a c e R n. By d e f i n i t i o n , the c o v a r i a n t c o m p o n e n t s g'B of t h e s p i n o r ~b a r e g i v e n by the e q u a l i t y ~ ~ e B ~ A, w h e r e eBA a r e the c o m p o n e n t s of the m a t r i x (1.7).
(1.13)
O b v i o u s l y , cA = eABcB"
It f o l l o w s f r o m Eq. (1.12) that the c o m p o n e n t s y A a B of t h e m a t r i x ~ can be c o n s i d e r e d a s c o m p o n e n t s of a s p i n t e n s o r with one c o n t r a v a r i a n t and one c o v a r i a n t index which is i n v a r i a n t u n d e r t h e t r a n s f o r m a t i o n s (1.11). S i m i l a r l y , t h e c o m p o n e n t s eAB(eBA) a r e c o v a r i a n t ( c o n t r a v a r i a n t ) c o m p o n e n t s of a n i n v a r i a n t s p i n o r of the s e c o n d r a n k . In the s p a c e R +, we s e p a r a t e out a p s e u d o - E u c l i d i a n s p a c e R~S) of i n d e x S, s p e c i f y i n g a b a s i s ie 1, ie 2, -+ . . . . i e s , e s + 1. . . . . e n in t h e s p a c e R n. We i n t r o d u c e a m a t r i x II = [[II]~A[[, which is d e f i n e d b y t h e e q u a tions
v~ = ~: ~ f i [ - ~ , ]]fr = (.~)~-~)~ .... ~)/~j. H e r e , the m i n u s s i g n i s u s e d f o r ez = 1, 2, . . . . S, and the p l u s s i g n f o r cz = s + 1 , . . . , T h e r e f o l l o w s f r o m d e f i n i t i o n (1.14)
(1.14) n.
The dot a b o v e
a l e t t e r i n d i c a t e s the c o m p l e x c o n j u g a t e .
(E H) ~ = T
[(#HI) y~. . . . k] . . .
T
= (--
(Eli)',
.~)k(}+l)'2
[(EH)Ty ........ a]'.
(1.15)
S i n c e the m a t r i x (EH) T is n o n d e g e n e r a t e and the m a t r i x s y s t e m (1.10) i s l i n e a r l y i n d e p e n d e n t , the matrix system (Eli) T, (EII) T y ~ , . . . , (EII)Tya,... %
(1.16)
is a l s o l i n e a r l y i n d e p e n d e n t . The spinor ~+with contravariant components r ~+A is c a l l e d c o n j u g a t e w i t h r e s p e c t to ~. b y m e a n s of t h e m e t r i c s p i n o r eAB
A
(1.17)
The c o v a r i a n t components ~A+of the conjugate spinor a r e defined
~ . . . .eAB ~'~A'~'/~,) = f [ ~ l ~ . d-
We now consider the o d d - d i m e n s i o n a l s p a c e s Rn, n = 2u + 1. . . . . Y2v 9 In this case, m a t r i c e s with an even number of indices
(1.18) We use the notation Y2u+ i = iuYIY2,
7, 'Y~.:',. . . . . , Y........ ~v a~ ~ t, 2 . . . . . 2v -}- i
(1.19)
a r e l i n e a r l y i n d e p e n d e n t . A s p i n o r r e p r e s e n t a t i o n of a p r o p e r o r t h o g o n a l g r o u p of t r a n s f o r m a t i o n s in the s p a c e R2+ +1 is g i v e n by a g r o u p of m a t r i c e s S d e f i n e d b y Eq. (1.12) in which the i n d i c e s c~ and fl a r e t a k e n o n
68
values f r o m 1 to 2u + 1. E = [l eAB [I
The c o v a r i a n t c o m p o n e n t s CA of the s p i n o r a r e defined by the m e t r i c s p i n o r (-- t) , u
The conjugate spinor r
Spinor
Eu
is defined in the s p a c e R!S)+t by m e a n s of the i n v a r i a n t spinor 11 = I[IIgA][
Here, the m i n u s sign is used for ce = 1, 2 . . . . . 2.
=
Representation
by
S.
a System
of Complex
Tensors
We c o n s i d e r a c o m p l e x m a t r i x ~ = [IcABIt of d i m e n s i o n a l i t y r. cAB a r e r e p r e s e n t e d in the f o r m
It is obvious that if the c o m p o n e n t s (2.1)
the cAB s a t i s f y the equalities (2.2) Of the Eqs. (2.2), one can take as independent the r ( r - 1) equations (2.3)
q)AAqvBC= ~ a , ~ a c ,
~Aa =/= 0,
B, C :~ A.
Indeed, all the Eqs. (2.2) can be obtained f r o m Eqs. (2.3) and (2.4).
(2 ~ A s s u m i n g CEE ~ 0, we have
C o n v e r s e l y . if s o m e c o m p o n e n t s CAB s a t i s f y Eq. (2.3), t h e r e e x i s t s a s y s t e m of r c o m p o n e n t s CA, d e fined except for s'ign, s u c h that r AB = r162B. In fact, if all the diagonal e l e m e n t s of the m a t r i x IIr ABll a r e z e r o (~BB = 0 for all B), it then follows f r o m (2.3) that r AB = 0 f o r all values of the indices A and B. In this case, we a s s u m e r A = 0. If t h e r e should be one diagonal e l e m e n t of the m a t r i x IIcABI] which is not equal to z e r o , r
r 0, then
we s e t q~A :=
~,A • V ~V~"
(2,5)
B e c a u s e of (2.3), such a definition of the c o m p o n e n t s CA does not depend on the value of the index B. Indeed, if CBB ~ 0 and c E E ~ 0 (E # B), we then obtain, keeping Eq. (2.3) in mind,
~Bx
~EE~;~a
~BZ~Ea
~A
We nowsuppose that the r AB are components of the object q, which transforms in accordance with the representation S • S, where S is any representation of a certain group, and we let Eq. (2.3) and (2.4) be invariant with respect to the group S • S. Then the components C A, defined by (2.5), transform like the representation S. It then follows from (2.5) that the transformation of C A is determined uniquely by thetransformation of CAB. It is obvious that the iavariance of Eqs. (2.3) and (2.4) is preserved if r A transforms like the representation S and consequently can only transform like the representation S because of the uniqueness of C A. Thus the object q~ = IIcABII, which transforms like the representation S • S and which satisfies the i n v a r i a n t equations (2.3) and (2.4), is functionally equivalent to the t w o - v a l u e d o b j e c t C = {cA}, which t r a n s f o r m s like the r e p r e s e n t a t i o n S.
69
In p a r t i c u l a r , the d i s c u s s i o n indicates that a s p i n o r o f s e c o n d r a n k with c o m p o n e n t s ~AB which s a t i s f y the t n v a r i a n t equations (2.3) and (2.4) is functionally equivalent to the s p i n o r r A. B e c a u s e of the c o m p l e t e n e s s and l i n e a r independence of the m a t r i x s y s t e m s (1.4) and (1.19), any m a t r i x of d i m e n s i o n a l i t y 2u, in p a r t i c u l a r the m a t r i x c A B can be r e p r e s e n t e d in the f o r m of a Hnear c o m b i n a tion of m a t r i c e s (1.4) or of m a t r i c e s (1.19): ~v
~A~
=
Ce~S + ~ (-- ~)*-K
2 2v
Here, "y(~1o~2.. .AB
~"
~--~]
'
~=i
(~2k = eBC~'catcq...A Ok"
l"
k~l
In e x p r e s s i o n (2.6a), the s u m m a t i o n is c a r r i e d out f r o m 1 to 2v
o v e r the indices O~k, and in e x p r e s s i o n (2.6b), the s u m m a t i o n is f r o m 1 to 2v + 1. In o r d e r to d e t e r m i n e the c o e f f i c i e n t s C a p p e a r i n g in Eq.(2.6a), we m u l t i p l y (2.6a) by y A . . -~ .y~fil o ~ 9 9 fir and s u m o v e r the indices A and B f r o m 1 to 2v.
We then obtain
J~
=
Ce % V
fir = eAC
(2.7)
j.
+ 2, --roT--',.
We now note that t h e r e follows f r o m the p r o p e r t i e s (1.3) and definition (1.2) of the s p i n t e n s o r s * 7 a l e 2 9
e~k 7A~
,~i,..~r=O,
if
a 1 ,.. c~kYAB
,~P,P
.~AB .... [Jk : atc~2... ale A B
k=p:r,
(2.8) ( - - 5 )k 2vk! tJ[~t'J~.~- . 8ale]. ""
Using (2.8), we d e t e r m i n e the c o e f f i c i e n t s C f r o m (2.7) (2.9)
C . . . . . . . ak = YA~....... k~ AB.
C = (--~)"(v*l)/2eAB ~AB,
In the s a m e m a n n e r , we find the coefficients C in the e x p a n s i o n (2.6b) a r e a l s o d e t e r m i n e d by f o r m u las (2.9). If the c o m p o n e n t s ~AB a r e c o n t r a v a r i a a ~ c o m p o n e n t s of a s p i n o r of the s e c o n d r a n k in the s p a c e R~; 9( R ~ + l), it is obvious that C is an invariant and the c o m p o n e n t s C~ ' 9 9 O~k f o r m i n t h e s p a c e R+v (R+~+0 the c o m p o n e n t s of a t e n s o r of r a n k k which is a n t i s y m m e t r i c in all the indices cq, ~2 . . . . . ok. It t h e r e f o r e follows f r o m (2.6a) that a s p i n o r of the s e c o n d r a n k in the s p a c e R+u is equivalent to the t e n s o r a g g r e g a t e C C = {C, C", C ~'~, . . . .
(2.10)
C ~'~ ..... ~"}
F r o m (2.6b), it a l s o follows that a spinor of s e c o n d r a n k in the s p a c e l ~ + i s equivalent to a t e n s o r a g g r e g a t e c o n s i s t i n g of a n t i s y m m e t r i c t e n s o r s of even r a n k C={C,C
....
,...,C
.......
~'~}.
If the s p i n o r c o m p o n e n t s ~;AB s a t i s f y the invariant equations (2.3) t h e r e then follows f r o m definition (2.9) and the s y m m e t r y p r o p e r t i e s (1.9) 2
is odd,
~
O,
if
2
is odd.
* R e l a t i o n (2.8) can also be obtained by p e r m u t i n g o v e r the indices A and B the equality ,,~A
,D
k __ ~
p (2k-p-l)
Z)~...%~Blt~...pz -- ~p=0 (-- i)
zp6 ap+ 1 r
X 5 [ a ~ .,. ~Ctp
... ~ak] c~k 5 [ ~
which is r e a l i z e d b e c a u s e of (1.1) and (1.2). = [(k + l - 2v + 1 ) / 2 ] . 70
2 5
"'" ~p
kl Z! /~! ( k - p)l (l --p)! 5~p~ ...6Gp ~p
PP8[Jp~-iPp~-I "'" ~ l ] pl X 'VB~p+I A "" ~kPP +1 "'" Pl '
The n u m b e r s h and 0 a r e defined by h = m i n (k, l) and 0
If the spinor components ~bA B satisfy the invariant equations (2.4) the components C, C c~2" "" a k satisfy 2 y (2~ - i) independent bilinear invariant equations which can be obtained by multiplying Eqs0 (2.6) D
~
written for the indices A B and C D and then contracting the result with the splntensor TAD" " ~PVBI~" and taking (2.4) into consideration (for R2p )+
Ch . . ~ p C ~ . - . % _ 2i~-~ ~' ~" ~~, (__~)~t k'l' C~ -k:o
/:0
"
$
(Yq
(2.11)
.... ~C%"'% (~... a k i ~,,CD ' l "'" r ?~"'~V?B~"%> AD
'
and for a s p a c e of 2v + 1 d i m e n s i o n s , v
C~l...~2pC(yl...(y2q
= T2
v
~k~,~
0
'~
= (2k)i (2/)!
C(ll .... 2kcPl...p2t(AB
CD
O~...~2p,%2Gl...(~,~q ~
Y~...%~Y%...02~YAO
Here. zero indices are omitted (C a0 = CP0 = C) and it is a s s u m e d y A B = c A B 9
,uc
(2.12)
,"
7C? = eCD
0! 0
Thus the object q, = {~bAB}, on the one hand, is equivatent to a tensor aggregate C, and on the other, to a spinor ~ = {cA}. Hence the following theorem.
T H E O R E M . A s p i n o r ~ = {cAB} in the s p a c e R +2u(-R 2v + +l) is equivalent to a c o m p l e x t e n s o r a g g r e g a t e C c o n s i s t i n g of the a n t i s y m m e t r i c t e n s o r s (2.9) and (2.10) which s a t i s f i e s 2v ( 2 v _ 1) b i l i n e a r i n v a r i a n t e q u a tions (2.11) -(2.12). In p a r t i c u l a r ,
this t h e o r e m leads to the fact that any s p i n o r equation can be w r i t t e n in e q u i v a l e n t
f a s h i o n a s an e q u a t i o n in c o m p o n e n t s of the t e n s o r s C, 3.
Spinor
Representation
by
Systems
of
C OLl~2.
" "
Real
C~k
Tensors
We c o n s i d e r the r - d i m e n s i o n a l c o m p l e x m a t r i x 45 = lie ~Bll. r e p r e s e n t e d in the f o r m
We a s s u m e the c o m p o n e n t s r
are
(3.1) T h e n the ~b~-B s a t i s f y the equations (3.2) a m o n g which t h e r e a r e the (r - 1) 2 independent equations ( c o n s i d e r i n g c o m p l e x equations twice) (~22~)" = ~i~A,
(3.3)
~AA~;~C = ~;,c g~A"
(3.4)
Indeed, all the Eqs. (3,2) a r e c o n s e q u e n c e s of Eqs, (3.3) and (3.4)
If the components cA define a matrix 45, it is obvious that the components cA exp iq) (~ is an arbitrary real number), and only they, define the s a m e matrix 45. Conversely, if s o m e components pAB satisfxEqs. (.3.3) and (3.4), there exists a system of components ~A defined except for the phase exp iq~ such that r A B = ~ A c B In point of fact, if all the diagonal elements of the matrix 45 are equal to zero (r = 0 for all B), it follows in general from (3.3) and (3.4) that all the elements of the matrix 45 equal zero, ~bA B = 0. Ii that ease, we a s s u m e cA = 0. If there should be a single diagonal element of the matrix 4) not equal to zero, r
~A ~ A - - ],/~B exp(iq)).
r 0, we then set
(3.5)
71
B e c a u s e of (3.3) and (3.4), s u c h a definition of the set {cA} is independent of the value of the index B. In fact, a s s u m i n g that eBB ~ 0, r a 0 (B ~ C), we obtain
Since m o d ~bl~c/Jr I~Cr tended:
= 1, one can s e t r
CB = expiq~ ', and the equality (3.6) can be ex-
= --exp
i (q) + q~').
(3.7)
We now a s s u m e that the c o m p o n e n t s ~AB a r e c o m p o n e n t s of an object which t r a n s f o r m like the r e p r e s e n t a t i o n S" x S, w h e r e S is any r e p r e s e n t a t i o n of a c e r t a i n group, and let Eqs. (3.3) and (3.4) be invariant with r e s p e c t to the g r o u p S" x 8. It is then obvious that one can point out a t r a n s f o r m a t i o n law for ~ such t h a t the c o m p o n e n t s ~ A will t r a n s f o r m like the r e p r e s e n t a t i o n S. Thus the a s s i g n m e n t of the c o m p o n e n t s sAB of an object which t r a n s f o r m like the r e p r e s e n t a t i o n S" x S and which s a t i s f y the i n v a r i a n t equations (3.3) and (3.4) and the a s s i g n m e n t of the p h a s e ~0 for one of the c o m p o n e n t s of cA c o m p l e t e l y defines the object cA which t r a n s f o r m s hike the r e p r e s e n t a t i o n S. B e c a u s e of the c o m p l e t e n e s s and l i n e a r independence of the m a t r i x s y s t e m (1.16), any m a t r i x $A.B of d i m e n s i o n a l i t y r can be r e p r e s e n t e d as ~AB =
j-
(D H BA + '~, k~---.,~'(k-'>/''a" ~.:~.... %J'~ 1) ..... leYa,a
2 ~
(3.8a)
=
~;.aB : _ _ i( DII Bj* q- k~=,l(~k)~..k(2k-3)~a t L, ....... ~leBi y ....... %le]~ , 2~
(3.8b)
w h e r e T~, ~ A e CD YDo~lo~2" B oelo~2.., oek = I IC .. ~ k.
In f o r m u l a (3.8a), the indices o~k take values f r o m 1 to 2v, and
in f o r m u l a (3.8b), values f r o m 1 to 2v + 1.
P e r f o r m i n g a c a l c u l a t i o n s i m i l a r to (2.6)-(2.9), one c a n d e t e r -
m i n e uniquely the c o e f f i c i e n t s D, D ~
" "~
in the e x p a n s i o n s (3.8a) and (3.8b) : D = I!AB~A~, (3.9)
P a~a~ "'" % ~
1,'k(le+l)/2"~ABa~a2... ate~ A B .
c~ic~2...ce k _ liD ,CalC9 9 ..C~k Here, 7 ~ B =~CD Ar B 9 F o r m u l a s (3.8) and (3.9) lead to the fact that the object %AB which t r a n s f o r m s like the r e p r e s e n t a t i o n S' • S in the s p a c e R6 S) is equivalent to the a g g r e g a t e D: D = {D, O ~, D .... , . . . . D~'a' "'%'},
(3.10)
(s).
and in the s p a c e R2v+I , to the a g g r e g a t e D: O = {D, D .... , . . . . D ~....... '"}. If the c o m p o n e n t s r
(3.11)
s a t i s f y Eqs. (3.3), the H e r m i t i a n p r o p e r t i e s of the m a t r i x HT~j~cq" " "c~ k[ l (1.15)
c a u s e the coefficients, D, D c~l~
" " ~k to be r e a l .
If the c o m p o n e n t s $~-B t r a n s f o r m like the d i r e c t p r o d u c t of spinor r e p r e s e n t a t i o n s S'• 8, it is obvious
(s) ,.(s)
that D is an invariant and the c o m p o n e n t s D c~lc~2" " " a k f o r m in the s p a c e R2v ~*'2v +l) the c o m p o n e n t s of a t e n s o r of r a n k k which is a n t i s y m m e t r i e in all indices c~l, a 2. . . . . a k.
72
If the components r s a t i s f y the Eqs, (3.4), the components D, Da 1(~2" " " O~k s a t i s f y (2 v - 1 ) 2 r e a l equations which can be obtained by multiplying Eqs. (3.8) written for the indices AB and ~D, and c o n t r a c t i n g the r e s u l t with the spintensor 7
. . aq taking (3.4) into account (in the s p a c e ~'2v
.. ~,/.
k(k--3)+~(l--3) p(p-}-;)-~-q(q-}-l) 2v
D,% ... ~pD Z~... ,;q =
2 ~"
2v
_ _ k! l!
k~O I~9
D~.-%D~...
~ (.y%..a~,~.~ yDb~...~zyADr~... t!.~yS~ '" ~q)
(3.12)
and in the s p a c e R~vS)+i
D[t~...l:~pD%...~q_
~. ip(2p+D+q(2q+l) Z Z
D~"'a:~D'~"'~(v':~
(2k)! (2l)i
~
v~~P~'~'"%~
(3.13)
F o r s i m p l i c i t y , it is a s s u m e d h e r e vB.~ : II B-/~, 0~ 0
It is c l e a r f r o m the d i s c u s s i o n that the a s s i g n m e n t of an a g g r e g a t e D which s a t i s f i e s the bilinear equations (3.12) and of the a r g u m e n t ~0 for one of the components r A completely defines a spinor. It then follows that spinor equations can be written equivalently in t e r m s of components of the a g g r e g a t e D and ~. Eliminating the p h a s e ~8 f r o m such equations, one can obtain a closed s y s t e m of equations in components of the a g g r e g a t e D. If the components ~bAB and cAB satisfy Eqs. (2.2) and (3.2) it is obvious that r AB and r the equations
also s a t i s f y
thus the components of the a g g r e g a t e s C and D, which s a t i s f y the bilinear equations (2.11) and (3.12), a r e also r e l a t e d by c r o s s i n g equations which can be obtained by multiplying Eqs. (2.6) and (3.8) and c o n t r a c t i n g the r e s u l t with the s p i n t e n s o r s 7, p(P4-t) 2~v
k(I~--3) 2v
2v
~'~ l=3 ~k=o
D~ .... ~C~... ~z~ u~
k! l!
CD
~ .. ~VV~...%).
(3,15)
An equation of another type is obtained by multiplication of equation (2.6) by the complex conjugate of Eq. (2.6) and subsequent contraction with the spintensor y ~ " D ~1"'"~ D ~1"'"~q = ~22~ i P(~+~)+r ~
" fiPYcIB"'
~" ( ~ ~)k.~ C,~...%C,_.~(yAB ~~ ~, k=0l=0
%:
al...a~
k ! l!
~CD py~A..~,f.t.-%~ PI""
I
[CB
(3.16)
/"
Similar equations can be written for the s p a c e R~Sv'+l. r To write spinor equations in tensor form, one can, in addition to f o r m u l a s (2.5) and (3.5), also use the f o r m u l a ~;A =
q/~A
J=Y
and f o r m u l a s (2.6) and (3.8), which define the components r s o r a g g r e g a t e s C and D.
(3.17)
and cAB through the components of the ten-
B e c a u s e of Eqs. (2.3), (2.4), (3.3), and (3.4), the right side of (3.10) is independent of a specified value of the index B. This f o r m u l a m a k e s it possible to obtain a closed s y s t e m of tensor equations in the cornportents of the a g g r e g a t e s C and D. As follows f r o m what has gone before, such a s y s t e m of t e n s o r equations will be equivalent to the original s y s t e m of spinor equations.
73
4.
Spinors
in Minkowski
Space
In Minkowski s p a c e (a f o u r - d i m e n s i o n a l p s e u d o - E u c l i d i a n s p a c e of index three), the m a t r i c e s ya, which s a t i s f y Eq. (1.1), have a d i m e n s i o n a l i t y of four and a r e c a l l e d D i r a c m a t r i c e s . A s s u m i n g that the H e r m i t i a n m a t r i c e s 72 and 74 a r e s y m m e t r i c , and the m a t r i c e s yt and 3/3 a r e a n t i s y m m e t r i c :
we find that the s p i n t e n s o r s E and II introduced by f o r m u l a s (1.7) and (1.14) a r e d e t e r m i n e d in this c a s e by the e q u a t i o n s * E ----y472,
II == iy~/:t~,
(4.2)
with m a t r i x E being a n t i s y m m e t r i c and the m a t r i x Eli being H e r m i t i a n .
We a l s o obtain f r o m (1.12) and
(i. 21)
E~ = --E,
(Ew) ~ = Ew,
( E ~ ) ~ = (En)',
(EWe) ~ = Ewe,
[(En)~wl~=--[(EH)~W]',
(4.3)
[ (En) ~ v ~ ] ~ = - [ (En) ~w~]', [ (EII) ~ W ~ ] ~"= [ (En) ~W~o] ", [ (El-f) ~"W~] ~ = [ (EII) TW~. 1", w h e r e , a e c o r d i n g to (1.2) (4.4) In p a r t i c u l a r ,
one can take as the m a t r i c e s 7~ the following
--i
]
i In that case,
i
IoO
t
I
(4.5)
we have
o_ i
E=
~0t
,
H=
(4.6)
i --i
F r o m the s y m m e t r y p r o p e r t i e s of (4.3), it follows that the t e n s o r a g g r e g a t e C c o n s i s t s of a v e c t o r and an a n t i s y m m e t r i c t e n s o r of the s e c o n d rank, the c o m p o n e n t s of which a r e given by the f o r m u l a s C a ~ y ~ A B ~ A ~ B, C ~ -= y A B ~ A ~ B (4.7) o r , in m a t r i x f o r m , C a -----~ r E ~ ,
C~ = ~rE~.
U s i n g the identities (2.11), one can show that the c o m p o n e n t s C a and Carl s a t i s f y the following i n v a r i ant e q u a t i o n s : C , C ~ = O,
C~C ~ ~
O,
Civic ~
~-
0, C ~ C ~ ~ 0, C[~C~ o] ---- 0, C~C~ -4- Cv~C~ = 0.
(4.8)
Thus a s p i n o r in Minkowski s p a c e is equivalent to the t e n s o r a g g r e g a t e {C a , carl} which s a t i s f i e s the six independent i n v a r i a n t equations (4.8). A r e l a t i o n b e t w e e n the s p i n o r c o m p o n e n t cA and the t e n s o r c o m p o n e n t s C a and C aft is given by the formulas
9 V~
:T
(- ~ ' ~
t~-~.
~).
(4.9)
* In the p s e u d o - E u c l i d i a n s p a c e R4(1) of index one, the s p i n t e n s o r s E and H, in a c c o r d a n c e with (1.14) a r e defined by the equations E = Y4T2, II = Y2 (if the Ya s a t i s f y Eqs. (4.1)). 74
The r e a l tensor aggregate D for Minkowski space consists of the s c a l a r f~, the vector j a , and the a n t i s y m m e t r i c t e n s o r s Me/?, saC?a, and NaP cry, the components of which a r e given by the f o r m u l a s
or, in m a t r i x form,
where r + = {CA~} = (EIIr One finds from (2.1) that the components of the t e n s o r s (4.8) satisfy the following [nvariant equations:
][~S~-~ = 0, S ~ ] a = ~ M ~ @ -~ N ~ a ' l ] f ~ , l
(4.12)
i
The relation between the spinor components cA and the tensor aggregate D in the p a r t i c u l a r ease under consideration is given by the f o r m u l a s @a q)~ ----- y@_~ exp (@),
(4.13)
=~-T h e r e also exists algebraic relations between the tensor a g g r e g a t e s C and D. occur :
The following equalities
4f~ = Cc,d c~-- ~ C ~ d e~, 4~Qj~ = i (C~r '~ -- r
~N ~