c o r e - arxivhep-ph/9507456 31 jul 1995 ihep{95{90 of v.i. borodulin , r.n. rogalyvo , s.r....
TRANSCRIPT
hep-
ph/9
5074
56
31 J
ul 1
995
IHEP{95{90
of
V.I. Borodulin , R.N. Rogalyov , S.R. Slabospitsky
Protvino 1995
C O R E
CO REmpendium lations
Version 2.1
Institute for High Energy PhysicsProtvino, Moscow Region, 142284
RUSSIA
1 2 3
1
2
3
E{mail: [email protected]
E{mail: [email protected]
E{mail: [email protected]
PREFACE
The present ( mpendium of lations, ) containsvarious formulas and relations used in the practical calculations in the Stan-dard Model.
The properties of the Pauli, Dirac, and Gell{Mann matrices, widely usedin calculations in the Standard Model, are considered in details. Propertiesof the wave functions of free fermions and gauge bosons are also discussed.
We present the full Lagrangian of the Standard Model and the corre-sponding Feynman rules. The method of the evaluation of the Feynman(loop) integrals and calculations in non-covariant gauges is considered.
We discuss in brief the relativistic kinematic and present a large numberof the matrix elements of the various processes in the Standard Model.
Almost all of the presented relations and formulas can be found in liter-ature. However, one can �nd di�erent de�nitions, di�erent normalizations,not widely used notations, etc. We try to collect various expressions in oneplace and make the notations and normalizations consistent.
We hope that the present will be useful for practical calculationsin the Standard Model, especially for post{graduates and young physicists.
We wish to thank A.V. Razumov for multiple and useful discussions.
i
Version 2.1
Protvino, 1995
CORE 2.1 CO RE
CORE 2.1
2.1 42.2 42.3 52.4 52.5 62.6 72.7 8
3.1 93.2 103.3 4 4 103.4 123.5 133.6 143.7 15
4.1 = 2 + 1 164.2 = 2 21
5.122
5.224
26.1 266.2 276.3 2 2 276.4 286.5 29
ii
Main PropertiesFiertz Identities
and MatricesVarious Relations4{dimensional MatricesTraces of MatricesFiertz Identities for Matrices
Main PropertiesRepresentations of the Dirac MatricesExpansion of MatricesProducts of the Dirac MatricesFiertz IdentitiesTraces of the -matricesDirac Matrices Algebra in {dimensions
Odd{dimensional Case :Even{Dimensional Case:
Representation of 3{dimensional Vectors, Re ections and Ro-tations Using the Pauli MatricesRepresentation of 4{dimensional Vectors, Re ections and Ro-tations Using the Dirac Matrices
General PropertiesSpinors and VectorsRepresentation of Lorentz Transformations by MatricesSelf{dual and Anti{self{dual TensorsCorrespondence Between 2{spinors and 4{bivectors
+
Contents
1 NOTATION AND DEFINITIONS 1
2 PAULI MATRICES 4
3 DIRAC MATRICES 9
4 THEORY OF SPINORS IN DIMENSIONS 16
5 VECTOR ALGEBRA 22
6 {COMPONENT SPINORS 26
: : : : : : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : : : : : : : : : :
� � : : : : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : : : : : : : : :
� : : : : : : : : : : : : : : : : : : : :� : : : : : : : : : : : : : : : : : : : : : : :
� : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
n : : : : : : : : : : : :
Nn � : : : : : : : : : : : : : : :n � : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : : : : : : : :
:: : : : : : : : : : : : : :
: : : : : :
�
�
�
�
�
�
6.6 30
7.1 337.2 35
8.1 378.2 388.3 388.4 398.5 408.6 (3) 41
10.1 5210.2 5310.3 5510.4 59
10.4.1 5910.4.2 5910.4.3 6010.4.4 6110.4.5 6310.4.6 6510.4.7 6610.4.8 6710.4.9 6810.4.10 70
11.1 7211.2 7311.3 74
iii
Isotropic Tetrads in Minkowski Space
General PropertiesBilinear Combination Decomposition
Main PropertiesTraces of the {matricesFiertz IdentityProducts of the {matricesConvolutions of and withInvariant Tensors
General RemarksPropagatorsSome Popular GaugesVertices
Gauge Boson Three{verticesGauge Boson Four{verticesGauge{boson{fermion VerticesGauge{boson{Higgs Three{verticesGauge{boson{Higgs Four{verticesHiggs Three{verticesHiggs Four{verticesHiggs{boson{fermion VerticesGauge{boson{ghost VerticesHiggs{ghost Vertices
Dimensional RegularizationIntegralsSpence Integral (Dilogarithm)
7 DIRAC SPINORS 33
8 GELL{MANN MATRICES 37
9 STANDARD MODEL LAGRANGIAN 43
10 FEYNMAN RULES 52
11 INTEGRATION IN -DIMENSIONS 72
: : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : : : : : :t : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : : : : : : : : : : :t : : : : : : : : : : : : : : : : : : : :d f t : : : : : : : : : : : : : :
SU : : : : : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : :: : : : : : : : : : : : : : :: : : : : : : : : : : : : :
: : : : : : : : : : :: : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : :: : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : :
N: : : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : :
a
a
abc abc a
12.1 7712.2 7812.3 8112.4 8212.5 8312.6 84
13.1 8613.2 8713.3 8813.4 8813.5 8913.6 ( �) 90
14.1 9114.2 9214.3 9314.4 9414.5 95
15.1 9715.2 98
15.2.1 � 9815.2.2 9815.2.3 9915.2.4 9915.2.5 � 10015.2.6 � 10015.2.7 � 10015.2.8 ( ) � 10115.2.9 � � 10115.2.10 10115.2.11 � � 101
iv
VariablesEvent Shape VariablesTwo{body Final StateThree{body Final StateLorentz Invariant Phase SpaceWidth and Cross Section
Standard Model Higgs Decays Ratesand Decays
Muon DecayCharged Meson DecayQuark DecayHeavy Quarkonia Decays
AnnihilationTwo{photon Process at Collisions
ReactionsCross Sections in the Parton ModelVector Boson Polarization Vectors
General RemarksMatrix Elements
+
+
+
+ +
+
+ +
+
+
12 KINEMATICS 77
13 DECAYS 86
14 CROSS SECTIONS 91
15 MATRIX ELEMENTS 97
: : : : : : : : : : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : :W Z : : : : : : : : : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : : : : : : : :QQ : : : : : : : : : : : : : : : : :
e e : : : : : : : : : : : : : : : : : : : : : : : : :e e : : : : : : : : : : : : :
l h : : : : : : : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : : : : : : : : :
e e ff : : : : : : : : : : : : : : : : : : : : : : : :e e e e : : : : : : : : : : : : : : : : : : : : : : :e e : : : : : : : : : : : : : : : : : : : : : : : :e e l l : : : : : : : : : : : : : : : : : : : : : : :e e qqg : : : : : : : : : : : : : : : : : : : : : : : :e e qq : : : : : : : : : : : : : : : : : : : : : : : :gg qq : : : : : : : : : : : : : : : : : : : : : : : : : : g ff : : : : : : : : : : : : : : : : : : : : : : :qq QQ : : : : : : : : : : : : : : : : : : : : : : : : :qq qq : : : : : : : : : : : : : : : : : : : : : : : : :qq qq : : : : : : : : : : : : : : : : : : : : : : : : :
�
�
�
� �
�
� �
�
�
!!!!!!
!!
!!!
15.2.12 10115.2.13 � � 10115.2.14 � � 102
16.1 10316.2 10316.3 104
v
MiscellaneaProperties of OperatorsThe Baker-Campbell-Hausdor� Formula
1 2 3 4
16 MISCELLANEA 103
REFERENCES 106
gg gg : : : : : : : : : : : : : : : : : : : : : : : : :f f W f f : : : : : : : : : : : : : : : : : : : :l � dug : : : : : : : : : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : : : : : : : :: : : : : : : : : : : : : : : : : : : : : :
: : : : : : : : : : : :
�
�
!! !!
Throughout this article units are used in which � = = 1.Everywhere the indexes imply the summation.
= = = ( = 1 ) is Kronecker symbol,
= 0 = = = = 1
Metric tensor in Minkowski space = ( = 0 1 ) equals:
= 0 = = 1 = = = = 1
The tensor is used for raising and lowering of the Lorentz subscripts andsuperscripts.The scalar products of any two and vectors (both in Euclidean and in
Minkowski spaces) is denoted as follows:
or ( ) i e = ( )
The scalar products of any two and Euclidean vectors would be alsodenoted as:
i e = = ( )
4{vector in Minkowski space is given by
( ) = ( ) = = ( )
The scalar product of any two vectors and in Minkowski space is givenby
= = =
The products of the 4{vector with Dirac matrix denotes as usual
^ = =
.: ( = 1 2):
= = 1; = = 1; =0 11 0
;
= = = 2; = ;
= ;
+ + = 0
1
repeated
-symbol in two dimensions
11 22
00 11 22
0 1 2 3
0 0 1 1 2 2 3 3
1212
2121
1 NOTATION AND DEFINITIONS
Totally antisymmetric tensor
h c
� � � � i; k ; : : : ; n
� i k; � � : : : � :
g g �; � ; ; : : : ; n
g � �; g ; g g : : : g :
g
p q
p q pq ; : : p q pq :
p q
~p~q; : : ~p~q p q pq :
p
p E; ~p p ; p ; p ; p ; p g p E; ~p :
p q
p g q p q p q p q p q p q p q :
p
p p g p p :
"" " A;B ;
" " " " "
" " ; " " ; " " " " �
" " � � � �
" " " " " " :
ikik
ik
ki
ik nn
����
�� nn
��
�
�� ��
�
���
� �� �
�
� �
���
� �� �
�
AB:::N
AB
AB
ABAB BA AB AB
ABAB
BC CA
ABCD C
ADB
DA
CB
AB CD AC DB AD BC
���
6
6 �
�
� �
��
� �
� � �
���
� �� ��
!
{symbol is used for rising and lowering of the spinor indexes (see Subsec-tion 2.5).
: ( = 1 2 3):
= = 1 = =
= = 2 = 6
. For any 3{vector one has:
+ = 0
: ( = 0 1 2 3):
= = 1
= =
= 2( ) = 6 = 24
. For any 4{vector one has:
+ + + + = 0
Sometimes one can make no di�erence between a vector and index. Forexample, one can write:
or ( ) instead of
These notation can be used in operations with generalized Kronecker deltas:
or
2
-symbol in three dimensions
Schouten identity
-symbol in four{dimensional Minkowski space
Schouten identity
Generalized Kronecker deltas
123123
01230123
1 2 3 4 1 2 3 4
1 1 1
1
"
" " i; j; k ; ;
" " ; " " ; " "
� � �� � �� � �
" " � � � � ; " " � ; " " :
p
p " p " p " p " :
" " �; : : : � ; ; ;
" " :
" "
� � � �� � � �� � � �� � � �
; " "
� � �� � �� � �
;
" " � � � � ; " " � ; " " :
p
p " p " p " p " p " :
" " p ; p ; p ; p " p p p p :
�� ::: �::: ::: :::
� ::: �
; �p q ::: p q::: ::: :::
p q ::: p q:
AB
ijk
ijkijk ijk
lmn
li
lj
lk
mi
mj
mk
ni
nj
nk
ijklmk l
imj
mi
lj ijk
ljk li ijk
ijk
i
i i i i i i i i i i i i i i i i
����
��������
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��������
��
��
��
��
��
��
��
��
��
�������� �
���
��
�� ����
���� �� ����
����
�
� � � � � � � � � � � � � � � � � � � � � � � � �
p p p p����
� � � �
j :::ji :::i
ji
ji
ji
ji
q :::qp :::p
n
n n n
�
�
� ��
�
� �
� � � �
�
� �� �
� �
�������
�������
���������
���������
�������
�������
�������
�������
�������
�������
1 2 3 4 2 1 3 4 3 1 2 4 4 1 2 3
1 2 3 4 5 2 3 4 5 1 3 4 5 1 2 4 5 1 2 3 5 1 2 3 4
1 2 3 4
1
1
1
1
1
1
1
1
n
n
n
n
n
n
n
n
In -dimensional Euclidean space one has:
=1
( )!
In Minkowski space the minus sign appears:
= =1
2
For any matrix = ( ) ( = 1 ) we use the following notation:is the matrix, i.e. = (sometimes, the unit matrix will be denote
just 1);is the matrix, i.e. = = ;is the matrix, i.e. = ;is the matrix, i.e. ( ) = ( ) ;is the matrix, i.e. = ;{ and { matrices should satisfy the following condi-
tions:
=
= ( ) hence = = =
det is the of matrix
det =
=1
!
Tr is the of matrix : Tr = (= ). The chief propertiesof the trace are as follows (below and are parameters):
Tr( + ) = Tr + Tr
Tr = Tr Tr = Tr = (Tr ) Tr =
Tr( ) = Tr( ) det( ) =
For any two matrices and the [ ] andare denoted as usual:
[ ] +
3
Matrices
unit
inversetransposedcomplex conjugatedHermitian conjugated
Hermitian unitary
determinant
trace
commutator anticommutator
1 1 1
1 1
1 2
=1
Tr
n
�n m
" " :
� " " ; � " " :
A a i; k ; : : : nI I �
A A A AA IA a aA a aA a aH U
H H;
U U ; U U ; UU U U I:
A A
A " a a a
n" " a a a :
A A A a a� �
�A �B � A � B;
A A; A A A ; I n;
AB BA ; e e :
A B A;BA;B
A;B AB BA; A;B AB BA:
� � �
> >
� � �
y y �
y
y � y � y y
> � y �
q :::qp :::p
q :::q � :::�p :::p � :::�
q q qp p p p p p �
q q q � q qp p p p ��
q q ��
ik
ik
ik ki
ik ik
ik ki
i i :::ii i i n
i i :::i k k :::ki k i k i k
iini ii
A A
�
� �
�
� � �� � �
f g� � f g �
P
1
1
1 +11 +1
1 2 3
1 2 3 1 2 31 2 3 1 2
1 2 1 21 2
1 21 2
1 2 1 21 1 2 2
m
m
m m n
m m n
n
n
n n
n n
The Pauli matrices ( = 1 2 3) are generators of the group (2). Theare equal [1, 2, 3, 4]:
=0 11 0
=0
0=
1 00 1
The main properties of are as follows:
= Tr = 0 det = 1
= + (2.1)
Using relation (2.1), one gets:
= [ ] = 2 = 2
= + +
Tr( ) = 2 Tr( ) = 2
Tr( ) = 2( + )
The Fiertz identities for the Pauli matrices have the form:
= 2 (2.2)
=3
2
1
2(2.3)
Using (2.2), one can obtain the following relations:
=1
2[ + + ]
=1
2[ + ]
+ = +
=1
2[ + +
+ ]
4
1 2 3
2
2 PAULI MATRICES
� i ; ; SU�
� ; �i
i; � :
�
� � ; � ; � ;
� � i" � � :
� I; � ; � i" � ; � ; � � ;
� � � i" I � � � � � � ;
� � � ; � � � i" ;
� � � � � � � � � � :
� � � � � � ;
� � � � � � :
� � � � � � i" � � ;
� � � � � � i" � � ;
� � � � � � � � ;
� � � � � � � � � �
i" � � i" � � :
y
i
i
i
i i i i
i k ikj j ik
i i k ikj j i k ik
i k l ikl ik l il k kl i
i k ik i k l ikl
i k l m ik lm im kl il km
iAB
iCD AD CB AB CD
iAB
iCD AD CB
iAD
iCB
ABiCD AD
iCB
iAD CB
ikl kAD
lCB
iAB CD AD
iCB
iAD CB
ikl kAD
lCB
ABiCD
iAB CD
iAD CB AD
iCB
iAB
kCD
iAD
kCB
ikAD CB
ik lAD
lCB
ikl lAD CB
iklAD
lCB
��
�
f g�
�
��
�
��
! ! !
2.1
2.2
Main Properties
Fiertz Identities
The and matrices are de�ned as follows:
1
2( + ) =
0 10 0
1
2( ) =
0 01 0
The relations for these matrices are given by
( ) = Tr = 0 det = 0
[ ] = [ ] = [ ] = 2 [ ] =
= = = 0 =
= = 0 = =
=1
2( + ) =
1
2( )
( ) = ( ) =
For any parameter one gets:
(2) (
2) = ( )
If ( ) (or ( )) is an arbitrary function of (or of ), andthis function can be expanded into power series with respect to (orwith respect to ), then
( ) = (0) + [ (1) (0)]
( ) = (0) + [ (1) (0)]
Any 2 2 matrix can be expanded over the set :
= +
where = Tr , and = Tr( ).Let be the 3{vector. Then
= cosh +sinh
( ) = + (2.4)
5
+
+ 1 2 1 2
1 3 2 3 3 + 3
1 2 3 +
2+
2+ 3 + 3 + +
+ 3 + 3
+ + + +
3 3
+ + + +
+
+
+ +
+ +
0
012
12
22
20
+
� �
� � i� ; � � i� :
� � ; � ; � ;
� ; � � ; � ; � i� ; � ; � � ; � ; � � ;
� ; � I; � ; � iI; � ; � ; � ; � I;
� � ; � � � ; � � � ;
� � I � ; � � I � ;
� � � � ; � � � � :
�
exp ��
� exp ��
� exp � :
f � � f � � � � � �� �
� �
f � � f f f � � ;
f � � f f f � � :
A I; �
A a I a � ;
a A a � A�
e ~�~�
~�� � p p � :
�
�
�y
� � �
� � � � �
� � � �
�
� �
� � � �
� �
� � � �
�
�
� �
� �
n n
i
i i
i i
i
� �i i i i
� � �
� �f g f g � f g f g
��
� �
��
� f g
p pp
! !
i i
2.3
2.4
and Matrices
Various Relations
� ��
The components of the 4{vector equal:
= cosh =sinh
= = 1 (2.5)
and we have
= ln( + ) (2.6)
Let and be two 4{vectors, and = = 1, then
( + )( + ) = + = (2.7)
where = + ( ) = + + , and the 3{vector inthe relation (2.7) is expressed through and as in (2.6).
Here we present the various properties of 2 2 matrices and � ( =0 1 2 3):
( ); � ( ) = 0 1 2 3 (2.8)
where are Pauli matrices.With the help of {matrices any tensor in Minkowski space can be unam-biguously rewritten in spinorial form. In order to deal only with Lorentz{covariant expressions one should clearly distinguish between dot and undot,lower and upper Weyl indices. The {symbol (see Section 1) used here forrising and lowering indices.The chief properties of the matrices are as follows:
� = = �
( ) = (� ) = � det = det � = 1( 1) for = 0(1 2 3)
For any 4{vector one has:
det = det � =
6
02
2
2
20
2 2
2 02
2 2
0 0 0
0 0 0 0 0
0
__
_ _ __ _ _ _
_
2
p
p ~� ; p~�
~�� ; p ~p p ;
�p
~pp ~p :
p q p q
p p � q q � a a � e ;
a p q ~p~q ; a p q p q i" p q �a ~a
� � �; ; ;
� I; � � I; � ; � ; ; ; ;
��
"
�
� " " � ; � " " � ;
� � ; � � ; � � ; � ; ; :
p
p � p � p :
y y
�
i i
ii
i i k k l l� �
j j jjkl
k l i
� �
�
AB i�AB
i
i�
�
�AA AB AB �
BB
�
AA AB AB�BB
� � � � � �
�
��
��
p pp �
p
�
� � �
�
q
i i
2.5 4{dimensional Matrices��
Various products of matrices have the form:
� + � = 2
� + � = 2
� = 4 � = 4
= 4 = 4
� � = 4 � � = 4
= � � = 2
� = +
� � = + +
= ( )
The commutators of and � matrices have the special notation:
1
4( � � ) �
1
4(� � )
The main properties of are as follows:
=1
2=
2� =
1
2� =
= � = �
( � ) = + 2 (� ) = + 2�
= � = �
= 2 � = 2 �
Tr = Tr� = 2(0) for = 0 (1 2 3)
Tr = Tr� = 0 Tr( � ) = Tr(� ) = 2
Tr( � � ) = 2( + )
Tr( ) = Tr(� � ) =1
2( )
7
__
__
__
__
__
__ _
___
_ __ _
_ _ _ _
_ __ _
_ _ _ _
_ __ _ _ _
_ _
_ _ _ __ _ _ _ _ _ _ _
__
__ _
__
__
_
0 0
__
__
__
__
_ _ __
_ _
�
� � � � g � ;
� � � � g � ;
� � � ; � � � ;
� � " " ; � � " " ;
� � " " ; � � " " ;
� � " " � � " " g ;
� � � g � g � g � i" � ;
� � � g � g � g � i" � ;
" i� � � � " " " " " " " " :
� �
� � � � � ; � � � � � :
�
� � ; �i" � ; � � ; � � ;
� � ; � � ;
� � g � � ; � � g � � ;
� " � " ; � " � " ;
" � i� ; " � i� :
� � � ; ; ;
� � ; � � � � g ;
� � � � g g g g g g i" ;
� � � � g g g g i" :
�
�
AC
�CB �
AC
�CB ��AB
�AC �
CB
�AC �
CB
�� AB
�
AC
CB� A
B �AC�CB
AB
�
AA �BBAB
AB�
AA �BBAB
AB
�AA BB� AB
AB �AA BB� AB
AB
�
AA
�
BB
AB AB �AA �BBAB AB
��
� � � �� � �� � �� � ���� �
� � � �� � �� � �� � ���� �
���� �AA �BB �CC �DDAC BD AD BC AD BC AC BD
� �
��BA
�
AC
�CB �
AC
�CB ��AB
�AC �
CB
�AC �
CB
��
i i ik ikl l i i ik ik
�� �� �� ��
� �AB ��
AB ��B
A� � A
B�� A
B��A
B
��KA KB
��KB KA
��AK
KB ��BK
KA
������
�� ������
��
� �
�� �� � � � � ��
� � � � �� �� �� �� �� �� ����
�� �� �� �� �� �� �� �� ����
� ��
�
� � � �
� �� �
�
� �� �
2.6 Traces of Matrices��
The Fiertz identities for equal:
� = 2 = 2 � � = 2 (2.9)
From the relations (2.9) one gets:
� =1
2� + + 2 �
=1
2+ ( � ) + ( )
2( )( � )
� � =1
2+ ( ) + (� )
2( )(� )
( )(� ) = ( )(� )
8
__
__
_ _ _ __ _ _ _
__
__ _
_ __ _
_
_ _ _ _ _ ___ _ _
_ ___
_ _ _ _ _ _ __
_ _
__
_ _
__
_ _ __
_ _
�
� � � � ; � � " " ; � � " " :
� � g � � � � � � � � ;
� � g " " " " � � " "
� " " � ;
� � g " " " � " " � "
" � � " ;
" � � " " � � " :
�
�
AA
BB� A
BAB �
AA �BB AB AB�AA BB
�AB
AB
�
AA
�BB ��AB
AB
AB ��B
A
��BA A
B ��BA
��BA
�
AA
�
BB
��AB AB AB AC
��CB
��CA CB AB
��CA CB AC
��CB
�AA �BB �� AB AB AC ��BC
AB AB ��AC
CB
AC ��CB
��AC
CB
AC ��CB
��AC
CB AC ��CB
��AC
CB
�
�
�
2.7 Fiertz Identities for Matrices��
The main properties of the Dirac -matrices are as follows [1, 2, 3, 4, 5]:
+ = 2 (3.1)
( ) = ( ) = ( ) = ( ) = (3.2)
The commutator of the {matrices has a special notation:
1
2( ) = (3.3)
The matrix is de�ned as follows:
=4!
(3.4)
The matrix has the following properties:
+ = 0 ( ) = ( ) = = 0
The of any 4 4{matrix is de�ned as follows:
� (3.5)
From (3.5) one gets:
= = =
= ( ) =
In this Section for the string of the {matrices we shall use the special nota-tion:
= = (3.6)
Odd{ and even{numbered string of {matrices will be denoted as follows:
(3.7)
9
Dirac conjugation
0 2 2 0 0
5
5 0 1 2 3
5
5 5 5 2 5 5 5
0 0
5 5
5 5 5
3 DIRAC MATRICES
g ;
I; I; ; ; :
� ; � �
i i" :
; I; ; ; :
A
A A :
; ; ;
:
S S ; S S :
S ; S :
y y
y
y
� � � � ��
i i i
�
�� � � � � �� ��
����� � � �
� � �
� � � � � � � �
� � � � � � � � � � � �
n � � �R
nR
� � �
odd � � � even � � �
� �
� � �
� �
f g
�
�
� � � � � � �� � � � � � � � � � � � � � � � � � �
� � � � � � � �
� � � � � � � �
1 2 2 1
1 2 2 +1 1 2 2
n n
k k
3.1 Main Properties
The non{singular transformation connects the di�erent represen-tations of the {matrices (Pauli lemma). Here we present three representa-tions of the Dirac matrices.
representation
=1 00 1
=0
0=
0 11 0
representation
= =1
2( + ) =
1
2
1 11 1
=0� 0
=0 11 0
=0
0=
1 00 1
1 + = 21 00 0
1 = 20 00 1
where matrices and � were de�ned in (2.8).representation
= =1
2
11
=0
0=
00
=0
0
=0
0=
00
The following 16 matrices � ( = 1 16)
(3.8)
10
0 5
0 5
0 5
5 5
2
2
0 2
2
1 3
3
2 2
2
3 1
1
5 2
2
5 5
Dirac (standard)
Chiral (spinorial)
Majorana
U U
; �
�; :
U U ; U ;
�
�;
; �
�; ;
; :
� �
U U ; U�
�;
�
�;
i�i�
; �
�;
i�
i�;
��
:
A ; : : : ;
I; ; ; ; �
y
y
y
DiD
i
i D
�C C
�D C C D D
��
�
ii
i
� �
�M M
�D M M
A
� � ��
!
�
� �
�
p p �
��
�
�
p ��
�� �
! ! !
!
! ! ! !
! !
! ! ! ! ! !
3.2
3.3
Representations of the Dirac Matrices
Expansion of Matrices4 4�
are the full set of 4 4{matrices.The main properties of � are as follows:
Tr = 4 Tr = Tr = Tr = Tr = 0 (3.9)
Any 4 4{matrix can be expanded over set of the � -matrices:
= + + + + (3.10)
where the coe�cients could be found from the following relations:
=1
4Tr =
1
4Tr( ) =
1
4Tr( )
=1
4Tr( ) = =
1
8Tr( )
For the expansion of a matrix one can use another set of � (� =):
= + = = ( + ) = ( )
= 2 = 2
These matrices have the following properties:
= = = = = = 0
Tr = Tr = 4 Tr = Tr = Tr = 0
The expansion of any 4 4{matrix over set of � -matrices has the form:
= + + + +
where
=1
8Tr( ) =
1
8Tr( ) =
1
8Tr( ) =
1
8Tr( )
=1
8Tr( )
11
5 5
0 55 5
0 55
5
5 5 5 5
2 2
2 2
I ; �
A
A a I a v a T � ;
a A; a A ; v A ;
a A ; T T � A :
AX; Y; U ; V ; �
X I ; Y I ; U I ; V I ;
X X; Y Y:
U V XY Y X XU Y V ;
X Y ; U U � :
A
A a X a Y b U c V T � ;
a XA ; a Y A ; b V A ; c U A ;
T � A :
0 0
0
A
� � ��
A
��
��
����
� �
� � �� �� ��
A A� � ��
� � � �
� �
� � ��
x y ��
��
����
x y� � � �
�� ��
�
�
� � �
� �
�
�
= + = = +
= +2
= +2
= ( )
= ( )
= ( )
= ( )
=
+( + )
+ = 2( )
The totally antisymmetric tensor is de�ned as follows:
1
6( + + )
= + +
= =6
The products of the type � � � are presented in the Table 3.1.
� � � � �4 4 14 4 122 2 0
2 2 00 0 4
So{called Chisholm identities are given by [5]:
= 2 (3.11)
= = 2 + 2 (3.12)
12
5 5 5
5
5
5 5 5
5 5 5
5
5
5 5
16=1
5 5 5 5
5 5 5 5 5
5 5 5 5
Table 3.1.
g � ; � g g ;
g i" � ; �
i" � ;
� g g i" ;
� g g i" ;
� g g i" ;
� g g i" ;
� � g g g g i"
g g g g g g g g g g g g � ;
� � � � g g g g i" :
;
g g g ;
i" ; i" :
� �
I I
� � �
S S ;
S S S S ;0 0 0
� � �� �� �� � � �� � � ��
� � �� ������
�� ������
� �� �� � �� � �����
�� � �� � �� � �����
� �� �� � �� � �����
�� � �� � �� � �����
�� �� �� �� �� �� ����
�� �� �� �� �� �� �� �� �� �� �� ����
�� �� �� �� �� �� �� �� ����
���
��� � � � � � � � � � � � � � � � � � �
� � � ��� �� � �� � �� �
��� �����
� �������
AA B A
B B � B � � B � �� B ��
� � � �
� � � �
�� �� ��
� odd�
oddR
� even�
� � odd�
� oddR
odd �
� �
� �� � �
� �� � �
� �� �
� �
� � � ��
�
� �� � �
� � ��
�
P
3.4 Products of the Dirac Matrices
where in the last relation = .Using the relations (3.11) and (3.12), one gets:
= Tr( ) Tr( )
^ ^ = +1
2Tr(^ ) ^
^ ^ = ^ ^ for = 0
=1
2Tr( ) +
1
2Tr( )
^ ^ = +1
2Tr(^ )^+
1
2Tr( ^ )^
=1
4Tr( ) +
1
4Tr( )
+ =1
2Tr( )
Using (3.11) and (3.12), one can write also the well known relations for ,, , and :
= 2 = 2
= 4
= 2( + )
= 2( + )
= 0 = 2 = 2
Fiertz identities for {matrices could be obtained from the basic formula:
=1
4[ + + ( ) ( )
1
2( ) ] (3.13)
Using (3.13) one can obtain the well known relations:
� � = � � (3.14)
The coe�cients are presented in Table 3.2, where we use the traditionalnotations:
= = = = =
13
5 5
2
2
5 5
2 5 5
5 5
1
2 3 4
5 5 5 5
16
=1
5 5
S S
S S I S ;
pS p p S p S p;
pS p pS p; p ;
S S S ;
pS p p S pS p pS p ;
S S S ;
S S S :
SS S S
; ;
g ;
;
� ; � � ; � � :
� � � � � � :
C ;
C
S I; P ; V ; A ; T � :
0even � odd
� even�
even even
even evenR
� evenR �
even evenR
� odd�
� odd�
� odd�
odd oddR
oddR
oddR
odd � odd�
� odd�
odd oddR
� odd�
� ��
� � � � ��
� � �
� � ��
��
� � � � ��
� � � � � � � �
� � � � � � � �
� ���
� �� ��
� �� � � ���
�� �
ij kl il kj il kj�il � kj
�il � kj
��il �� kj
Mij
Mkl
N
MNNil
Nkj
MN
� � ��
����
�
� �
� �
X
1 2 3 4 4 1 2 3 3 2 1 4
1 4 3 2 2 3 4 1
3.5 Fiertz Identities
*
==
1 0 13 0 0 31 0 1
Using relation (3.13) one gets:
(1 ) =
1
8[2(1 ) (1 ) + 2((1 ) ) ((1 ) ) ((1 ) ) ]
(1 ) =
1
8[2(1 ) (1 ) + 2((1 ) ) ((1 ) ) ((1 ) ) ]
(1 ) (1 ) =1
4[2(1 ) (1 ) ((1 ) ) ]
(1 ) (1 ) =1
2[(1 ) ] [(1 ) ]
[(1 ) ] [(1 ) ] = [(1 ) ] [(1 ) ]
[(1 ) ] [(1 ) ] = 2(1 ) (1 )
( ) ( ) + ( ) ( ) = [( ) ( ) + ( ) ( ) ]
The trace of any odd{numbered string of {matrices (including any numberof matrices) and trace of the product are equal to zero:
Tr = Tr ( ) = Tr( ) = 0
In this Subsection we use the following notation:
1
4Tr( )
14
14
14
18
14
14
12
12
12
12
12
14
14
18
14
14
5
5 5 5 5 5
5
5 5 5 5 5
5 5 5 5 5
5 5 5 5
5 5 5 5
5 5 5 5
5 5 5 5
5 5
5 5
Table 3.2.
N S V T A P
M I
V
T
A
P
�
� � ;
�
� � ;
� � ;
;
;
;
:
S S :
T ::: :
ij kl
il kj�
il � kj �� il��kj
ij kl
il kj�
il � kj �� il��kj
ij kl il kj �� il��kj
ij kl�il � kj
�ij � kl
�il � kj
�ij � kl il kj
�ij � kl
�ij � kl
�il � kj
�il � kj
� �
odd odd � �
� � :::� � � �
� �� � �
� � �� � �
� �
�� � � � � ��� � � � � �
� � � � � �
� � � �� � � � �� � � �
�
� � � � � �
�
� �
1 2 1 2n n
3.6 Traces of the -matrices
Then
= = +
= + +
Tr( ) = 0 Tr( ) = 0 Tr( ) = 4
Tr( ) = 4 (
+ + + )
Tr = 4( )
Using the relation (3.13), one can rewrite the trace of the product of two4 4 matrices and as follows:
4Tr( ) = Tr( )Tr( ) + Tr( )Tr( ) + Tr( )Tr( )
Tr( )Tr( )1
2Tr( )Tr( )
The additional equation can be obtained using the Chisholm identities (3.11)and (3.12):
Tr( )Tr( ) = 2 Tr( ) + Tr( )
In the framework of dimensional regularization one gets:
Tr = ( ) ; ; (4) = 4 =
+ = 2
= (2 )
= 4 + ( 4)
= 2 + (4 )
15
5 5 5
5
5 5
5 5
T g ; T g g g g g g ;
T g T g T g T g T g T ;
; ; i" ;
i g " g "
g " g " g " g " ;
� � g g g g :
A B
AB A B A B A B
A B � A � B :
A B S AS B AS B :
I f n ; = = f ; g g n;
g ;
n ;
g n ;
n :
�� �� ���� �� �� �� �� �� ��
������ �� ���� �� ���� �� ���� �� ���� �� ����
� � � � � � ����
� � � � � � � � � � � � � � � � � �
� � � � � � � � � � � � � � � � � � � � � � � �
�� �� �� �� �� ��
��
��
����
��
odd odd oddR
����
� � � � ��
�� � �
�� � � �� � �
�� � � � � � � � � �
�� �
��
��
�
� �
��
� �
h i
1 2 3 4 5 6 1 2 3 4 5 6 1 3 2 4 5 6
2 3 1 4 5 6 4 5 1 2 3 6 4 6 1 2 3 5 5 6 1 2 3 4
3.7 Dirac Matrices Algebra in {dimensionsn
Let be -dimensional complex linear normalized space. The cases of oddand even should be considered separately.
Let vector has coordinates = ( ). The basis incan always be chosen so that the the norm squared of the vector looks asfollows:
= + + + (4.1)
A (hyper)plane is called isotropic if each vector in it has zero norm.
(4.2)
So, one has the following natural decomposition of into the sum ofthree spaces:
= (4.3)
i.e., if then
= + + where (4.4)
= +
and are isotropic {planes: = 0 and = 0.
Let one consider Grassman algebra (algebra of external forms) on some{dimensional vector space . An element has the form:
= (4.5)
here are components of antisymmetric rank tensors. There are threeimportant operations on :
16
Isotropic planes
Grassman algebras
0 1 2 2 +1
20 1 +1 2
2 +1
2 +1
2 +1
2 +1
0 0
=1
20
=0
4 THEORY OF SPINORS IN DIMEN-
SIONS
Isotropic planes in have not more than dimensions
x x x x
x x
x x x x
E nn
x x x ; x ; :::; x Ex
x x x x x ::: x x :
E � :
E
E R E E ;
x E
x x e ; E ; E :
x x x :
E E �
G� F � G
� � e ::: e :
� pG
0 0
0
0 0
n
� �
� � �
�
�
�I I
�II�
�
I�
II�
�
i
i i
I�
II�
�
� �
�
p
i :::ii i
i :::i
�
�
�
� �2
2 2
�
� ��
2
^ ^
X
X1
1
1
p
p
p
4.1 The Odd{dimensional Case : n �= 2 + 1
N
External product.Let , then , the components of look as
follows:
( ) = ( 1) + +
+( 1) + (4.6)
An element is called -form if its decomposition (4) has only-th term.
= ( 1)
there exists the dual element which has the components:
( ) =1
!(4.7)
If then ( ) and has the following compo-nents:
( ( ) ) = ( 1) (4.8)
These operations satisfy the following relations [6]:
( ) = 0 (4.9)
( ) ( ( ) ) = 0 (4.10)
( ) ( ) + ( ( ) ) = ( ) (4.11)
here and are components of .
( ) = ( 1)
( ( ) ( )) = ( 1)
( ) = ( 1) ( )
It is also useful to introduce the operation :
= ( 1) (4.12)
It satis�es the properties:
( ) + ( ) = 0 (4.13)
( ( ) ) + ( ) ( ) = 0 (4.14)
17
( )
( ) ( ) ( ) ( )
1
=0
( )
( ) ( +1) 1 ( )
( ) ( +1) ( )
0
0=0
0 0
0 0
A.
B.
C.
x F ; � G x � G x �
x � x � x �
x � x � :
G pp
:
� G �
�p" � :
x F ; � G id x � G
id x � � x
x x � ;
id x id x � ;
id x y � y id x � x y �;
x y x; y F
� � e ::: e ;
id x x ;
x id x :
H
H � � e ::: e :
H x � x H � ;
H id x � id x H � :
�
�
�
� � �
i :::ip
i i :::i i i :::i i
pi i ::::i i i i i ::::i
p�
p q pq q p
�
i ::::i i ::::i � ::::� � ::::�
� � �
i ::::ip
j i ::::i j
i i
i i �
�
p
p � pi ::::i
i i
p � p p
p � p p
�
p
pi ::::i
i i
2 2 ^ 2 ^
^ ��
2
^ � ^8 2 �
�2 2 � 2
� �
^ ^� �� ^ ^ �
2
� � � ^ ^
� � � ^� ^ � �
� ^ ^
^ ^� �
X
X
1 +1 1 2 +1 2 3 +1 1
3 4 +1 1 2 +1 1
1 1 1 1
1 1 1 1
11
11
p p p
p p p
� p � p p p
p p
p
p
p
p
� �
� �
For any one can de�ne the operation ( ) on Grassmanalgebra :
( ) = ( ) + + ( ) (4.15)
where and are de�ned in (4.4). From the properties (4.9 { 4.11),(4.13), and (4.14) and the the expression for the norm squared (4.1) one caneasily derive the following property of operation :
( ) ( ( ) ) = ( ) (4.16)
Let now an element be written as the column vector:
=
scalarone-form (covector)two-form (bivector)
-form ( -vector)
Such 2 -component column vectors are called spinors in the space
One can now construct the matrix representation of the operation :the column vector corresponding to ( ) should be written in theform ^ , where ^ is 2 2 matrix. So one has the representation
^ (4.17)
of vectors by 2 2 matrices which satis�es the fundamentalproperty:
^^ = (4.18)
or, if one substitutes vector + instead of here one can rewrite it in theform:
^^ + ^^ = 2 (4.19)
(2 + 1)Let us start with the observation that
= + 2 (4.20)
18
De�nition of a spinor
-transformations
2 +1
0 0
0
0
2 +1
2 +1
x x
x x
x E Cliff xG
Cliff x � id � � x H � ;
; x
Cliff
Cliff x Cliff x � x x �:
� G
�
���:::
�::::::
� �
E
CliffCliff x �
x� x
x x
x E
xx x x;
x y x
xy yx x y:
O �
q q q l l
0
0
0
�
�
�
i
i i
i ::::i
��
� �
�� �
� � �
�2
� � ^
� � �
2
�
��
!
2 �
�
�
�
�
0BBBBBB@
1CCCCCCA
1
1 2
1 �
where is obtained from by the re ection with respect to the 2 -planewhich is orthogonal to a unit space{like vector : = 1. The representa-tion (4.17) of this formula looks as follows:
^ ( ) = ^̂ ^ (4.21)
Let , where is the boost (or rotation) in ( ) plane ( == 1), which transforms into . Since any rotation is a composition
of an even number of re ections, one can easily derive the relations:
( ( )) = ^ ^ ^^ ^ = ^ (4.22)
= ^ ^
Hence the action of re ections and rotations on spinors looks as follows:
= ^ = ^ ^ (4.23)
- .
^ = 0 (4.24)
Indeed, if ^ = 0 and ^ = 0 then, due to (4.19), = 0. Hence thishyperplane is isotropic. That it has not more than dimensions is seen fromthe (4.2). {dimensional plane can be manifestly constructed for the casewhen only is not equal to zero. (Strictly speaking, this plane has exactlydimensions only for so called simple spinors (spinor is called simple, if
rang of the system (4.24) is + 1). However, each spinor is a sum of simplespinors, for = 1 2 each spinor is simple. In general simple spinors in
lie in a manifold in the space of all spinors, which is determined by= 2 (2 + 1) equations).
One can also consider isotropic -forms instead isotropic -planes, thatis equivalent. The -form corresponding to some isotropic -plane is theexternal product of the linearly independent vectors from this -plane.
Proofs of all the statements listed here can be found in [7].[8].
One can also consider the Grassman algebra as the Fock space ( ) of a
19
Geometrical interpretation: spinors are forms in
An analog with a fermion system
2
21 2
21
22 1 2
2 1 1 21
2 1
2 1
2 +1
0
2 +11
2 +1
The equation
determines {dimensional isotropic plane for each spinor .
The components of can be interpreted as elements of theGrassman algebra on this -plane.
q q �l l
q S q lql:
R � � a ; a aa a a
R S S q a a qa a AqA ;
A a a :
S � l�; R � l l �:
� E
x
� �x y x y
���
� ��
� ;EN C
�
� �� �
� �
G H F
0
0
�
�
l
a a
a a a a
l l l
�
�� � �
�
�
�
��
�
�
� ��
�
�
�
1 2
1 2 2 1
2 1
fermion system with degrees of freedom. Let now and be the creationand annihilation operators which satisfy the relations:
= 0 = 0 =
An arbitrary vector ( ) can be written in the form:
= 0 (4.25)
The operators and can be represented by the action of creation andannihilation operators:
( )
where are components of vector .The -matricies in 2 + 1 dimensional space have the following form:
= + (4.26)
= (4.27)
= ( 1) where = (4.28)
The = ( ) 2 are generators of (2 + 1), so one has naturalrealization of (2 + 1)-symmetry in ( ) in addition to usual whosegenerators are .
A generalization of the matrix of charge conjugation can be de�ned as thematrix representation of the operation in the space of spinors:
= ( 1) ( ) (4.29)
Its main properties are as follows:
^ = ( 1) ^ = ( 1)
Then
is scalar in (i.e. with respect to (2 +1)) if is even, and pseudoscalar(2 + 1-form) if is odd.
20
Invariant Forms
=0
+
2 +1=1
2
2 +1
� a a
a ; a ; a ; a ; a ; a � :
� > H F
� > � a :::a > :
id
x � x a � >
id x � x a � >;
x x F �
a a
a a
i
; N a a
� = SO �SO � H F Ua a
C� �
Cx x C; C :
� C�
E O � �� �
y
y y y
y y
y
y
y
y
y
�
i i
i j i j i j ij
�
p
i ::::i i i
i i
i i
i �
j j j
j �j j
�N
F
�
i
i i
kl k l l k
�
k l
p�
� T
T
�
f g f g f gj 2
j j
^
^ ! j� ! j
2
�
�
�
�
�� �
� �
X
X
1 1
( 1)2
( +1)2
p p
F
p p
� �
�
The space can be considered as 2 -dimensional hyperplane in ,which is orthogonal to some vector . Each spinor can be repre-sented as the sum = + , where and are eigenspinors of ^:
^ = ^ =
Only the -planes corresponding to eigenspinors of ^ lie in ; an arbitraryisotropic -plane intersects over some ( 1)-plane. In the language ofexternal forms this idea can be formulated as follows. An arbitrary -formon can be uniquely decomposed into two components:
= +
where is -form, is ( 1)-form, both are de�ned on . The two formsand give the geometrical interpretation of a spinor in .The fact that there exist just the two types of isotropic -planes in
(corresponding to spinors of the type and ) is the consequence of thetheorem that the representation of (2 ) on -forms can be decomposedinto two irreducible parts (self{dual and antiself{dual forms).
The most widely used case in high energy physics is = 2 ^ = =( ). Concerning the vector (see (6.11 { 6.13)) one can say that it
determines the line which is the intersection of the isotropic 2-plane corre-sponding to a spinor ( ) with (complexi�ed) momentum space.
21
2 2 +1
2 +1
2
2
2 +1
2
2
2
5
+
E � Ea E
' � ' � a
a' '; a� �:
� a E� E �
�T E
T R a S;
R � S � ER S E
� E' �
SO � �
� ; a ; �u p; n !
u p; n
� �
�
�
�
�
�
�
�
2
�
�
^
�
4.2 The Even{Dimensional Case: n �= 2
5 VECTOR ALGEBRA
Let be some basis and scalar products de�ne a matrix := . The dual basis is the set of vectors , which satisfy
the conditions:= = ( )
Then= �
where � = . Sometimes one needs to represent some vector in theform [9]:
= +
where is a linear combination of ( ), and = 0 for= 1 .
= 1 = =
= 2 = = +
=
= 3 = = + +
=
Any vector in 3{dimensional Euclidean space can be represented in thematrix form:
^ = =+
det ^ = = ( + + )
where is the Pauli matrices (see Section 2).The fundamental property of this representation is
(^) = hence ^^ + ^^ = 2 ( ) (5.1)
22
f g �� f g
� �
PP �
PP
P
�
� � ��
� � �
� �
p ; : : : ; p p p MM p p � ; :::; �
� p � ; � � M :
� � = ;
� Q
Q V ;
p ; :::; p m < n V pi ; :::;m
m p V �
m � � � p � p
V �
m � � � p � p � p
V � :
~x
x ~x ~� x �x x ix
x ix x;
x ~x ~x x x x ;
�
x ~x ~x I; xy yx ~x ~y I:
1
1
1
1
11
1�
1� 1 2
1�
12�
1� 1 2 3
1�
3 1 2
1 2 3
21
22
23
2
n i j
ij i j n
i j ij i j ij
�i
p ;:::;p ;�;p ;:::;pp ;: : : : : : : : : : ;p n
np ;:::;pp ;:::;p
� � �
� m i
�p Q
p p � � p p
p �p Q
�Q�p p
��p p
Qpp p �
p Qp p �
�p p �p p Q
�Q��p p p
���p p p
Qp pp p p �
p Qpp p p �
p p Qp p p �
�p p p �p p p Q
i i
i
�
�
� �
1 1 +1
1
1
1
1
1 1 1 1
1
1
2 1 2 1 2 2
2
1 2
1
1 2
2
1 2
1 2
3 1 2 3 1 2 3 3
2 3
1 2 3
1 3
1 2 3
1 2
1 2 3
3
1 2 3
1 2 3
i i n
n
n
n
�
� �� �
!
5.1 Representation of 3{dimensional Vectors, Re ections and
Rotations Using the Pauli Matrices
Vectors
One should also note that
^^ ^^ = 2
If components of are real, then ^ = ^. However, in some practicallyimportant cases (^) = 0 and, hence, = 0, components of are complex,say, = . Then the matrix
^ =+
represents a vector from 3{dimensional space{time, in that case ^ = ^.
Let be an arbitrary vector and be the plane orthogonal to some unitvector . Then, vector which results from after the re ection in theplane is equal to:
= 2( )
or, in the considered matrix representation
^ = ^^^
Let and be the two unit vectors with the angle 2 between them:
= = 1 ( ) = cos( 2)
Since any spatial rotation is a composition of two re ections, the rotation bythe angle in the direction from to is given by the matrix
= ^^
i.e. an arbitrary vector transforms as follows:
^ = ^ = ^^^^^
The matrix can be rewritten in widely used form:
= ^^ = + ^= cos( 2) sin( 2) (5.2)
where sin( 2) = ,.
So, we get the two forms of representation of a spatial rotation:
23
� �
�
� �6
�
�
��
� �� �
xy yx i ~x ~y:
~x x xx ~x ~x ~x
x ix
xx x x
x x x
x x
~x S~s ~x ~xS
~x ~x ~x~s ~s;
x sxs:
~p ~q �=
~p ~q ; ~p~q �= :
� ~p ~q
M qp;
~x
x MxM qpxpq:
M
M qp ~q ~p I i" r �= I i ~n~� �= ;
~n �= ~p ~q; � < � < � �~n
2
2 0
3 1 0
1 0 3
2 2
1
qpr
y
y
0
0
0
0 �
d
!
Re ections
Rotations
positive values of correspondto counterclockwise rotations if one sees from the head of vector
The rotation by angle about a unit vector is given by
= cos( 2) sin( 2)
The rotation in the plane of unit vectors and which transformsinto is represented by
=+ ^^
2(1 + )
4 4 matrix ^, which represents the 4{vector in Minkowski space looksas follows:
^ =
0 0 +0 0 ++ 0 0
+ 0 0
This matrix satis�es the fundamental property
(^) = ^^+ ^^ = 2 (5.3)
Using the relation (5.3) one can easily derive formulas for the re ections in3{hyperplanes. Let be an arbitrary vector and be the 3-hyperplaneorthogonal to some unit vector . Then, vector which results from afterthe re ection in the hyperplane is equal to
= 2
or, in the considered matrix representation
^ = ^^^
Let and be the two unit space-like vectors:
= = 1
24
��
�
�
��
�� � �� � �
� �� �
� ) ��
� �
��
� � �
� ~n
M �= I i ~n~� �= :
~p ~q ~p~q
MI qp
~q ~p
x x
x x
x x x ixx ix x x
x x x ixx ix x x
:
x x xI xy yx x y:
x Ss x xS
x x x s s;
x sxs:
p q
p p q q :
0 3 1 2
1 2 0 3
0 3 1 2
1 2 0 3
2
�
��
�
0
0
0
q
0BBB@1CCCA
5.2 Representation of 4{dimensional Vectors, Re ections and
Rotations Using the Dirac Matrices
Vectors
Re ections
Lorentz transformations
Lorentz transformation, which is a composition of the re ections in 3{hyper-planes determined by the vectors and is given by the matrix:
= ^^
i.e. an arbitrary vector transforms as follows:
^ = ^ = ^^^^^
The Lorentz transformation in the 2-plane (de�ned by the vectors and ),which transforms into , is represented by
=+ ^^
2(1 + )
25
p �
p q
M qp;
x
x MxM qpxpq:
p qp q
MI qp
q p:
10 �
6 {COMPONENT SPINORS
The representation (5.2) of spatial rotations acts on two-component column{vectors:
=
which are called (see [10] for details).So, the matrix in (5.2) can be written in the form
=cos( ) sin( ) ( ) sin( )( + ) sin( ) cos( ) + sin( )
=
= hence = ( )
The -tensor (see Section 1), which de�nes (2)-invariant scalar producton spinors has the form:
=0 11 0
The main properties of the -tensor are as follows:
= =
^ = ^
For each matrix ^ corresponding to a vector and for each matrix corre-sponding to a rotation, one has
= ( ) (6.1)
(2) ( ) = and this relation implies that this repre-sentation is equivalent to its complex conjugate, i.e. the conjugate spinor= is transformed with the same matrix as .
So, the bilinear form on spinors
( ) = = + (6.2)
is Hermitian (2)-invariant form, while the form
= = (6.3)
is also (2)-invariant, but not Hermitian. Both these forms arewith respect to re ections.
26
� �� �
�
�
2 )
h i �
uuu
M
Min n in
n in in� �� �
;
M M M M :
" SU
" :
"
"" I; " I;
"x x ":
x x M
"M M ":
M SU M M
u i"u M u
u; v u v u v u v
SU
u; v u "v u v u v
SU
1
2
2 3 2 2 1 2
2 1 2 2 3 2
1 1
2
1
1
1 1 2 2
0 1 1 0
� � �
� � �
T
T
T
T
T
T
� �
y � � �
�
� �
0 �
y � �
!
! !
!
6.1 General Properties
spinors
2
not invari-
ant
The object transforms as a vector under the re ections and rotationsprovided that and are spinors:
(6.4)
Hence, for any spinor the relation ^= de�nes the vector . ( Tr ^== = 0). The basic property which connects spinor and vector
is^ = 0 (6.5)
Since (̂^ ) = ( ) = 0 = 0, vector should have complexcomponents. So, this relation expresses
3 3 matrix of spatial rotations ( ) looks as follows:
= cos +(1 cos ) +sin0
00
Eigenvalues of this matrix are 1 and . Eigenvector ( ), corre-sponding to the eigenvalue 1 directs the axes of the rotation. The other twoeigenvectors have zero norm and correspond to eigenspinors of matrix (5.2).
4{vectors of Minkowski space can also be represented by 2 2 matrices:
=++
� � =++
det = det � = ( ) ( ) ( ) ( ) = =
27
! !!
� ) �
�
��
��
�
� ��
� � �� �
� � � �
uv "u v
u Mu; v Mv;
uv " Muv "M :
u � uu " ~� �uu " u "u u~�
�u
� �u � � u � � ~�
O n; �
O �I �n n n n nn n n n nn n n n n
�n n
n nn n
:
e n ; n ; n
x �x x x ixx ix x x
;
x �x x x ixx ix x x
;
x x x x x x; :
1
21 1 2 1 3
2 122 2 3
3 1 3 223
3 2
3 1
2 1
1 2 3
0 3 1 2
1 2 0 3
0 3 1 2
1 2 0 3
0 2 1 2 2 2 3 2
T
T T
T
T T
i�
� �
� �
�
�
y
0B@1CA
0B@1CA
! !
6.2
6.3
Spinors and Vectors
Representation of Lorentz Transformations by Ma-
trices
equivalence between 2-component spinors and(complex) zero-norm vectors.
x
x
x x x x
2 2�
For each : det = 1 matrix = is Hermitian if is Hermitian, anddet = det . Hence = � , where � is some Lorentz transformation. So,2 2 matrices
= : = 1
give the representation of Lorentz group on two{component spinors ( (3 1)(2 ) , both and correspond to the same Lorentz transforma-
tion).The relation
=
is also valid in four dimensions, as well as
= ( ) (2 )
However, in contrast to (2) ( ) = , and
(2 )
Subsequently, one should di�erentiate 2-spinors, which are transformed withthe matrix from that which are transformed with the matrix . Hereand below they will be denoted with the help of undot and dot indices,correspondingly:
The form= =
is Lorentz ( (2 )) - invariant, while a Hermitian (2 )-invariant formon two-component spinors does not exist.
The representation of Lorentz group on antisymmetric second rank tensors isand can be decomposed into two components. Any antisymmetric
tensor can be written as
= + (6.6)
28
��
� �
8 2
6
! !
h i �
L L L Lx x
La bc d
ad bc
SO ;SL ;C =Z L L
" "
"L L " L SL ;C :
SU ; L L
SL ;C
L L
u L u ; u L u
u; v u �v u v u v
SL ;C SL ;C
F
F F F ;
2
1
1
__
_ _
0 1 1 0
+
T
T
T
ABA B A
B
A B
T
��
�� �� ��
0 y
0 0
�
� �
�
�
�
!
6.4 Self{dual and Anti{self{dual Tensors
x x xx x
x x
the representation of Lorentz groupis not equivalent to its complex conjugate one.
reducible
where
=1
2 2
The is self{dual, while is anti{self{dual:
1
2= (6.7)
Each of these irreducible tensors has three independent components whichtransform through each other under Lorentz transformations. The corre-sponding second rank spinors look as follows:
= � = � (6.8)
where and � matrices are de�ned in Section 2. Note, that
� = 0 = 0
For example, selfdual electromagnetic �eld tensor describes photons withnegative helicity ( = ), while anti{selfdual electromagnetic �eld tensor
describes photons with positive helicity ( = ). A selfdual tensor in matrixform looks as follows:
=
00
00
Using a 2{spinor one can construct symmetric traceless second rank spinor= . Then one can transform it into the selfdual tensor with
the help of -matricies:
= (6.9)
This tensor can be represented in the form
=
29
�
�
�
� �
� �� �
�
F Fi" F :
F F
" F iF :
� F � ; � F � :
� �
F � ; F � :
~E i ~B~E i ~B
F
iF iF iFiF F FiF F FiF F F
:
u� u u �
�
� � � :
� k k
+
( ) ( )
+_ _ _ _
+_ _
23 13 12
23 12 13
13 12 23
12 13 12
�� �� ������
�� ��
������
��
AB ����AB AB ��
��
AB
�� ��
����AB ��
��
AB
��
A
AB A B��
��
�� ��AB
AB
�� � � � �
�
�
� �
�
�
� �
0BBB@1CCCA
6.5 Correspondence Between 2{spinors and 4{bivectors
here ^ = ̂ = = = = 0, where the gaugespinor is determined by the requirement
= (6.10)
The gauge spinor is de�ned up to the transformations + ,hence the vector is de�ned up to the transformations + .Tensor does not depend on the arbitrariness in spinor and vector .
For example, can serve as a (gauge dependent) polarization vector ofa photon with momentum , { as electromagnetic �eld tensor describingthis photon.
Any ordered pair of light-like vectors and :
= 0 = 0 = 1 2
determines another pair of light-like (complex) vectors and , which areorthogonal to both and :
= 0 = 0 = 1= 0 = 0
(6.11)
It is su�cient to require that the antisymmetric tensors
( ) and ( )
are self{dual:
^ ^ (1 ) = ^ ^ (1 ) = 0 (6.12)
while tensors( ) and ( )
are anti{self{dual:
^ ^ (1 + ) = ^ ^ (1 + ) = 0 (6.13)
One should note that
( ) ( ) and ( ) ( )
30
) � � �
�!!
�
� � � �� �
� �
� �
� �
� �
k uu ; u� k k k�
u � � u � :
� � � �u�k
� �
k �
k k
k ; k ; k k = ;
! !k k
! ! ; ! ! ; ! ! ;! k ; ! k :
k ! k ! k ! k !
k ! k ! ;
k ! k ! k ! k !
k ! k ! :
! k ; k ! k ; k ! k ; k ! k ; k :
1 2
21
22 1 2
+
1 2
+ + +
+
1 + 1 + 2 2
1 +5
25
1 1 2 + 2 +
15
2 +5
+ 2 1 1 2 2 1 + 1 2
A B A B AB
A A A A� � � �
��A
�
�
��
� �
� �
� �
i i
� � � � � � � �
� � � � � � � �
y y
�
� � �
�
� �
�
� �
�
� �
)
6.6 Isotropic Tetrads in Minkowski Space
The vector ( ) can be interpreted as the polarization vector of the photonwith momentum and ( ) helicity (in the gauge ( ) = 0).The explicit expression for can be obatained by using another arbitraryvector :
=1
2�( ) (6.14)
where� = = (2 )
and � = 0.In spite of the presence of an arbitrary vector in (6.14) both andare almost independent on : if varies they acquire only a phase factor.Formula (6.14) can be rewritten in the equivalent form (compare with [11]):
^ =1
2�^ ^^
1
2+ ^ ^^
1
2(6.15)
The following relations are also valid:
= + (6.16)
( ) ( ) ( ) ( ) =2
(6.17)
^ ^ = 2^ ^ (6.18)
For an arbitrary vector one has:
=2
=2
= =
or, in equivalent form
^ ^ ^ = ^1 +
2^ ^ ^ = ^
1
2
^ ^ ^ = ^ 1
2^ ^ ^ = ^ 1 +
2
31
�
p � � � � � �
� � � � � �6
�p � �
� � ��
� �
� � �� � �
�
� � �
! ! k ; k
! !k k A
!q
! k k q q k k q k k i" ;
� k k k q k q q q k k ;
q ! !q q
! k qk
k qk
:
! ! k k k k g k k i" ;
" k k ! !i;
! ! I k k :
p
"i! p; "
i! p;
" ik p; " ik p;
k k ! ! ; k k ! !
;
k ! ! k ; k ! ! k
:
+ 1 2
+
1 2
31 2 2 1 1 2
3 1 2 1 2 1 2
3
+
31 2
5
2 1
5
+ 1 2 2 1 1 2
1 2 +
+5 5
1 2
+
1 2
1 2
5
1 2 + +
5
1 + 1
5
2 + 2
5
� � � � �qk k
k k qk k q
� � � � � � �� k k ��
����� � � �
�
k k ! p k k ! p
k ! ! p k ! ! p
�
�
�
�
�
�
�
�
�
�
� �
� �
1 2
1 2
1 2
1 2
1 2 1 2 +
1 + 2 +
�
� �
!
Vectors and are determined by and requirements(6.11 { 6.13) up to a factor.
positive negative
Let and are two arbitrary 2-component spinors which satisfy the relation
=
Then the vectors
= = = 2 = 2
satisfy all the above mentioned properties.There always exists a basis, where all these vectors and spinors look as fol-lows:
=10
=01
=1
2(1 0 0 1) =
1
2(1 0 0 1)
=1
2(0 1 0) =
1
2(0 1 0)
32
�
p p
�
p p �
�
� � � :
k ; k � � ; ! � ; ! �
; � ;
k ; ; ; ; k ; ; ; ;
! ; ; i; ; ! ; ; i; :
1 _ 2 _ + _ _
1 2
+
A B A B AB
A A A A A A A A
y y y�
y
�
! !
o
o o
o o o o
o
7 DIRAC SPINORS
Dirac spinors ( ) and ( ) describe the solutions of the Dirac equationwith positive and negative energy:
(^ ) ( ) = 0 (^+ ) ( ) = 0 (7.1)
They are functions of 4-momentum on the mass shell = + .The spinors are de�ned as follows:
� = � =
�( )(^ ) = 0 �( )(^+ ) = 0
and the normalization condition is chosen, so that:
�( ) ( ) = +2
�( ) ( ) = 2
Symbol stands for the polarization of the fermion. The axial{vector ofthe fermion spin is de�ned by the relations:
�( ) ( ) =
= 1 = 0
The spinor ( ) describes a fermion with momentum and the vector ofspin . The spinor ( ) describes an antifermion with momentum andthe vector of spin . (One should note, that axial vector describing spinof a fermion has only spatial non-zero components in the rest frame of thisfermion. However, it transforms together with the vector under Lorentztransformations.)Spinors ( ) and ( ) satisfy the following relations:
( ) �( ) =(^+ ) (1 + ^)
2(7.2)
( ) �( ) =(^ ) (1 + ^)
2(7.3)
^ ( ) = ( ) ^ ( ) = ( ) (7.4)
33
�p
�
�
� � �
�
�
u p; n v p; n
p m u p; n ; p m v p; n :
p p ~p m
u u ; v v ;
u p; n p m ; v p; n p m ;
u p; n u p; n m;
v p; n v p; n m:
n n
u p; n u p; n m n ;
n n ; n p :
u p; n pn v p; n p
n n
p
u p; n v p; n
u p; n u p; np m n
;
v p; n v p; np m n
;
n u p; n u p; n ; n v p; n v p; n ;
0 2 2
0 0
5
5
5
5 5
�
�
� �
y y
7.1 General Properties
conjugated
as well as the Gordon identities:
�( ) ( )
=1
2�( ) ( + ) + ( ) ( )
�( ) ( )
=1
2�( ) ( ) + ( + ) ( )
Both + and are light-like vectors. Another couple of light-like (complex) vectors and determined by + and ,are described in the Subsection 6.6.Using the vectors one can obtain the following identities:
^ ( ) = 2 ( ) ^ ( ) = 2 ( ) (7.5)
^ ( ) = 2 ( ) ^ ( ) = 2 ( ) (7.6)
^ ( ) = ^ ( ) = ^ ( ) = ^ ( ) = 0 (7.7)
Let us now introduce the spinors:
( ) ( ) ( )
( ) ( ) ( )
They satisfy the following relations:
^+ ^ = 2 ^ ^ = 2
^+ ^ = ^ ^ = 0
^+ ^ = 2 ^ ^ = 2
^+ ^ = ^ ^ = 0
^ = ^ = 0
^ = 2 ^ = 2
^ = ^ = 0
^ = 2 ^ = 2
(1 + ) = (1 ) = 0
(1 + ) = (1 ) = 0
Since + and are light-like vectors, spinors and satisfythe massless Dirac equation. and describe its right-handed solutions,
34
�
�
��
� �p
� �p
p�
p�
� �
� � �� � �
��
��
p�p
�p p
��
�
u p ; n u p ; n
mu p ; n p p � p p u p ; n ;
u p ; n u p ; n
mu p ; n p p � p p u p ; n ;
p mn p mn! ! p mn p mn
!
! u p; n v p; n ; ! v p; n u p; n ;
! u p; n v p; n ; ! v p; n u p; n ;
! u p; n ! v p; n ! u p; n ! v p; n :
' p; n u p; n v p; n ;
p; n u p; n v p; n :
p mn ' ' ; p mn ' ' ;
p mn ' p mn ' ;
p mn ; p mn ;
p mn p mn ;
! ' ! ' ;
! ' ; ! ' ;
! ! ;
! ' ; ! ' ;
' ' ;
:
p mn p mn ' '
1 1 2 2
1 1 1 2 1 2 2 2
1 15
2 2
1 1 1 25
1 25
2 2
+
+ +
+ +
+ +
+
+ +
+
+ + +
+ +
+
+ + + +
5+
5
5 5+
+
�
� ���
�
� ���
� � � �
� � � �
� � � �
�
�
� �
� �
�
�
� �
�
� �
�
�
� � � �
� � �
� �
�
�
� �
�
� �h i
� � � �� � � �� � � �� � � �
and - left-handed solutions. In chiral representation they look asfollows:
=0 0
=0
=0
where and are two-component spinors.
Using the vectors one can write down the expressions for the bilinearspinor combinations of the type:
( )�( ) = + + + + (7.8)
There is very important case, when all the four vectors , , andlie in a single plane (this case corresponds to spin{ ip and spin{non{ ipamplitudes).
Let us denote the polarization vectors which lie in the 2{plane of thevectors and through and . They satisfy the conditions
= = 0 = = 1
and look as follows:
=1
�=
1
�(7.9)
where� = ( )
A fermion with the momentum and an arbitrary polarization vector , ingeneral, can be represented as a superposition
( ) = ( ) + ( )
where the coe�cients and depend on the polarization . So, to describethe full set of helicity amplitudes one can restrict the consideration to thefollowing four cases:
= =
35
� � �
� � � �
� �
�
� �
'
''
;
; ''
;
:
' ; ; '
!
u p ; n u p ; n S V T � A P :
p p n n
p p N N
N p N p ; N N ;
Np p
mp m p ; N
p p
mp m p ;
p p m m :
p n
u p ; n � u p ;N � u p ; N ;
� � n
n N ; n N :
+
+ _+
= _ ++
_+
_+
1 1 2 25 5
1 2 1 2
1 2 1 2
1 1 2 221
22
11 2
11 1 2 2
1 2
22 2 1
1 22 2
122
1 1 2 2
B B
A A
B BA A
��
����
��
� � � � � �
i
i i i i i
�
�
��
� �
�
! ! ! !
� � � �
q
7.2 Bilinear Combination Decomposition
Then one has:
�( ) =1
2
1
2+ ^ ^ ^
2(7.10)
�( ) = ( ^ + )^1
2+ ( ^ + )^
1
2(7.11)
where
=+
2
=1
2�=
1
2�=
1
2
Left hand sides of the equations (7.10) and (7.11) are given in a brief form:for instance, the symbol �(+ ) denotes ( = + )�( = ).The vectors and are determined by and with the help of relations(7.5 { 7.7) [12, 13].
36
� � � � � � p
� � � �
p � �p � �p
� � �
� �
uu ; j
j
m k m k!
;
uu ; j k m k
j k m k ;
jp p m m p p m m
;
k j pm
mj p ; k j p
m
mj p ; k k :
uu ; u p ; n N u p ; n N! ! p N
+
5 5
1 2 2 1
+ 1 1 2
5
2 2 1
5
1 2 1 2 1 2 1 2
1 + 11
22 2 + 2
2
11 1 2
1 1 1 2 2 2
+ 1 1
� � � � � �
�
�
�
�
� �
�
!
� � � �
8 GELL{MANN MATRICES
The Gell-Mann 3 3 matrices ( = 1 8) are generators of the group(3). Their properties were presented elsewhere [3, 4, 14, 15, 16].
Usually in QCD instead of one deals with matrices :
1
2
Eight matrices equal:
=0 1 01 0 00 0 0
=0 0
0 00 0 0
=1 0 00 1 00 0 0
=0 0 10 0 01 0 0
=0 00 0 0
0 0=
0 0 00 0 10 1 0
=0 0 00 00 0
=1
3
1 0 00 1 00 0 2
The main properties of (or ) are as follows:
= det = 0 ( = 1 7) det =1
12 3
[ ] = =1
3+ (8.1)
where ( ) is totally symmetric (anti-symmetric) tensor. The non-zeroelements of and are equal to:
= 1 = = = = = =1
2= =
3
2
= = = = = = = =1
2
= = = =1
3= = = =
1
2 3
37
�
�
��
�
� p�
� p
f g
� �p
� � �
� p � p
� i ; : : : ;SU
� t
t � :
�
� ; �i
i ; � ;
� ; �i
i; � ;
� ii
; � :
t �
t t ; t ; i ; : : : ; ; t ;
t ; t if t ; t ; t � d t ;
d ff d
f ; f f f f f f ; f f ;
d d d d d d d d ;
d d d d ; d d d d :
1 2 3
4 5 6
7 8
8
123 147 156 246 257 345 367 458 678
146 157 247 256 344 355 366 377
118 228 338 888 448 558 668 778
i
i i
i i
i
i i
i i i
a b abc c a b ab abc c
abc abc
abc abc
y
0B@1CA
0B@1CA
0B@1CA
0B@1CA
0B@1CA
0B@1CA
0B@1CA
0B@1CA
8.1 Main Properties
Throughout this Section we use two additional notations:
= + = = = 0
( ) ( )
Thus from (8.1) one has:
=1
6+
1
2( + ) =
1
6+
1
2(8.2)
Trace of any string of matrices can be evaluated recursively using therelation (8.2):
Tr ( ) =1
6Tr ( ) (8.3)
+1
2Tr ( )
Using (8.1) and (8.3) one gets:
Tr( ) = 0 Tr( ) =1
2Tr( ) =
1
4( + ) =
1
4
Tr( ) =1
12+
1
8
Tr( ) =1
24+
1
24+
1
16
The Fiertz identity for has the form:
=1
2(
1
3) (8.4)
Any 3 3 matrix can be expanded over set :
= + where =1
3Tr = 2Tr( )
Decomposition of the two and � color spinors products into color{singletand color{octet parts has the form:
� =3+ 2 =
38
� �
�� f g
p p
h d if ; h h h ; h ;
S a a : : : a t t : : : t ; S a a : : : a t : : : t t :
t t � d if t � h t :
t
S a a : : : a � S a a : : : a
h S a a : : : a k :
t ; t t � ; t t t d if h ;
t t t t � � h h ;
t t t t t h � � h h h h :
t
t t � � � � :
A I; t
A a I a t ; a A; a t A :
u u
u u�
" t ; " " � :
1 2 1 2
1 2 1 2 2
1 2 2
0 0
abc abc abc abc bca cab aab
na a a
R na a a
a b ab abk abk k ab abk k
a
na a
n
a a kn
a a b ab a b c abc abc abc
a b c d ab cd abn ncd
a b c d e abc de ab cde abn nck kde
a
aik
ajl il kj ik jl
a
i i i i
i i
i jij k k
ijk l kl
�
�
1 2 2 1
1
1
n n
n n
n n
�
�
8.2
8.3
Traces of the {matrices
Fiertz Identity
ta
The product of matrices could be written in the form + using thefollowing relations (see (8.2)):
( ) =1
6( ) +
1
2( ) (8.5)
Thus, the products of two, three, and four matrices equal:
=1
6+
1
2( + ) =
1
6+
1
2
=1
6+
1
12+
1
4
=1
36+
1
24+
1
12[ + ]
+1
8
The products of the type have the form:
=1
2Tr( )
1
6
=4
3=
1
6=
1
4
1
6
=1
8
1
6
=1
6+
1
24+
1
16
The products of the type (here is denoted any permutation of the{matrices) are given by
=4
3
=2
9=
16
9
The products of the ( ) ( ) and ( ) ( ) are presented onthe following tables (in these tables symbol ( ) stands for , etc).
39
�
� �
�
�
�
n t a a t
S a a : : : a � S a a : : : a h S a a : : : a k :
t t � d if t � h t ;
t t t � t h h h t ;
t t t t � � h h h � � h t
h h h t :
t St
t St S S;
t t I; t t t t ; t t t t � t t ;
t t t t t h t t t ;
t t t t t t t t t t � � h h :
SS St
t t : : : t t : : : t t ;
t t t t I; t t t t I:
S abc S abc S abcd S abcdabc t t t
0
1 2 1 2 2 1 2 2
� �
� �
aii
na a
na a k
n
a b ab abk abk k ab abk k
a b c ab c abc abk kcn n
a b cd
ab cd abk kcd abk cd ab cdk k
abn cdk nkp p
k k
k k
k k k a k a k a b k ab a b
k a b c k abc a b c
k a b c d k a b c d ab cd abn ncd
a
a a a a a an
a b a b a b b a
a b c
� �1 1
1 2 2 1
n n n n
i
n n
� �
� �
8.4 Products of the {matrices
Table 8.1.
ta
The products of the ( ) on the ( ) . All products are contain the com-mon factor .
( ) 10 ( ) 1 ( ) 8( ) 1 ( ) 8 ( ) 64
The products of the ( ) on the ( ) . All products are contain thecommon factor .
( ) 14 ( ) +31 ( ) 5 ( ) +40( ) +31 ( ) + ( ) ( ) +4( ) +31 ( ) 5 ( ) ( ) +4( ) 5 ( ) +40 ( ) +4 ( ) 32( ) 5 ( ) ( ) +4 ( ) 32( ) ( ) +4 ( ) 32 ( ) +256
The convolutions of the coe�cients and with the {matrices equal:
= +1
3= ( )
= 21
2
= ( + + + )1
3
2
3= ( + + )
= ( + + )1
3= ( + + )
=10
9= 2 =
8
9
=5
6=
3
2=
2
3
The Jacobi identities for the coe�cients and equal:
+ + = 0
+ + = 0
40
��
� ��
� �� �� � �� �
� �
�
� �� �� � �� �
�
�
abc abcI
abc bac cab
acb bca cba
abcd abcdI
abcd bacd cabd dabc
abdc badc cadb dacb
acbd bcad cbad dbac
acdb bcda cbda dbca
adbc bdac cdab dcab
adcb bdca cdba dcba
d f t
d t t t t t � ; f t i t t t t ;
h t t t � ;
d d t t t t t t t t t t t t t d I � t ;
d f t i t t t t t t t t t t t t ;
f d t i t t t t t t t t t t t t f I;
f f t t t t t t t t t t t t t ;
d t t t I; f t t t iI; h t t t I;
d t t t ; f t t it ; h t t t :
f d
f f f f f f ;
d f d f d f :
�
127
�
181
712
1212
12
12
abc abc a
abc c a b b a ab abc c b a a b
abc c a b ab
abk kcl l a b c b a c c a b c b a abc ab c
abk kcl l a b c b a c c a b c b a
abk kcl l a b c b a c c a b c b a abc
abk kcl l a b c b a c c a b c b a
abc a b c abc a b c abc a b c
abc a b c abc a b c abc a b c
abc abc
abk kcl bck kal cak kbl
abk kcl bck kal cak kbl
8.5 Convolutions of and with
Table 8.2.
d f tabc abc a
The various relations of a such type were presented in [15]:
+ + =1
3( + + )
=2
3( ) +
3 = + + +
= = = 0
= 3 =5
3
=3
2=
3
2
=5
6=
1
2
=1
36(13 7 + 13 )
=1
12( 7 + + 9 )
=1
36( 21 + 19 )
+1
6( 4 )
=3
4( + )
=1
4(5 + + 5 6 )
= = 24= =
= = 0= 20 = 20= 0 = 36=
Following the results of [15] we present here the (3){invariant tensors ofthe third, forth, and �fth ranks.
41
� ��
� �
�
� �
�
� �
�
�
��
�
�
d d d d d d � � � � � � ;
f f � � � � d d d d ;
d d � � � � � � f f f f ;
d f d f :
f f � ; d d � ;
f f f f ; d f f d ;
d d f f ; d d d d ;
d d d d � � � � � � d d ;
d d d f d f d f d f ;
d d d d � � � � � �
d d d d ;
d f f d d f d f ;
f f f f � � � � � � d d :
d d ; f f ;h h ; h h ;d d d d ; d d d f ;d d f f ; d f d f ;d f f f ; f f f f ;h h h h :
SU
403323
1123
203
323
abk kcl bck kal cak kbl ab cl ac bl al bc
abk kcl ac bl al bc ack blk alk bck
abk kcl ac bl al bc ab cl ack blk alk bck
aac aac abc abm
akl bkl ab akl bkl ab
pak kbl lcp abc pak kbl lcp abc
pak kbl lcp abc pak kbl lcp abc
piq qjm mkt tlp ij kl ik jl il jk ikm mjl
piq qjm mkt tlp ijm mkl ikm mjl ilm mjk
piq qjm mkt tlp ij kl ik jl il jk
ikm mjl ilm mjk
piq qjm mkt tlp ikm mil ilm mkj
piq qjm mkt tlp ij kl ik jl il jk ikm mjl
abc abc abc abc
abc abc abc bac
abk klc cbn nla abk klc cbn nla
abk klc cbn nla abk klc cbn nla
abk klc cbn nla abk klc cbn nla
abk klc cbn nla
8.6 Invariant Tensors(3)SU
There are two independent tensors of the third rank ( ):
= and =
There are eight independent tensors of the forth rank:
= = = =
= = = =
The convolutions of these tensors of the type = are presentedby following matrix:
=
64 8 8 0 0 0 08 64 8 0 0 0 08 8 64 0 0 00 0 0 0
0 0 0 00 0 0 0 0 40 20 200 0 0 0 0 20 40 200 0 0 0 0 20 20 40
There are 32 independent tensors of the �fth rank ( ):
= = =
= = =
= = =
= = =
= = =
= = =
= = =
= = =
= = =
= = =
= =
42
��
�� �
�
H
H d H f :
H � � ; H � � ; H � � ; H d d ;
H d d ; H d f ; H d f ; H d f :
Q H H
Q :
H
H � d ; H � d ; H � d ;
H � d ; H � d ; H � d ;
H � d ; H � d ; H � d ;
H � d ; H � f ; H � f ;
H � f ; H � f ; H � f ;
H � f ; H � f ; H � f ;
H � f ; H � f ; H f f f ;
H f f f ; H f f f ; H f f f ;
H f f f ; H f f f ; H f d f ;
H d d d ; H d d d ; H d d d ;
H d d d ; H d d d :
(1) (2)
(1) (2) (3) (4)
(5) (6) (7) (8)
( ) ( )
403
403403
403
403
403
2009
203
403
403
203
2009
(1) (2) (3)
(4) (5) (6)
(7) (8) (9)
(10) (11) (12)
(13) (14) (15)
(16) (17) (18)
(19) (20) (21)
(22) (23) (24)
(25) (26) (27)
(28) (29) (30)
(31) (32)
ikl
ikl ikl ikl ikl
ijkl ij kl ijkl ik jl ijkl il jk ijkl ijm klm
ijkl ikm jlm ijkl ijm klm ijkl ikm jlm ijkl ilm jkm
�� �
ijkl
�
ijkl
��
ijklm
ijklm ij klm ijklm ik jlm ijklm ik ilm
ijklm il jkm ijklm jl ikm ijklm im jkl
ijklm jm ikl ijklm kl ijm ijklm km ijl
ijklm lm ijk ijklm ij klm ijklm ik jlm
ijklm jk ilm ijklm il ikm ijklm jl ikm
ijklm im jkl ijklm jm ikl ijklm kl ijm
ijklm km ijl ijklm lm iik ijklm ijp pkt tlm
ijklm ikp pjt tlm ijklm ijp plt tkm ijklm ikp plt tjm
ijklm kjp plt tim ijklm ilp pjt tkm ijklm ijp pkt tlm
ijklm ijp pkt tlm ijklm ikp pjt tlm ijklm ijp plt tkm
ijklm ikp plt tjm ijklm ilp pjt tkm
0BBBBBBBBBBBBB@
1CCCCCCCCCCCCCA
9 STANDARD MODEL LAGRANGIAN
In this Section we present the basic Lagrangian of the Standard Model(SM),corresponding to the (3) (2) (1) local gauge symmetry (see, forexample, [3, 4, 17]). The algebra of the semisimple group (3) (2)(1) is generated by Gell-Mann matrices = (a =1,...8) (Section 8),
Pauli matrices = 2 (Section 2) and hypercharge with the followingcommutation relations
=
=
= = = 0
The full SM Lagrangian has the form [3, 4]:
= + + + + + (9.1)
Here is the Yang-Mills Lagrangian without matter �elds
=1
4( ) ( )
1
4( ) ( )
1
4( ) ( ) (9.2)
where ( ) ( ) ( ) are given by
( ) = +
( ) =
( ) = +
with the (2) (1) original gauge �elds and the gluon �elds.The in�nitesimal gauge transformations of these �elds are given by
= ( )
= = ( )
= = ( )
Here ( ) and ( ) stand for the covariant derivatives, and are the(3) and (2) gauge coupling constants, respectively, and are an
43
SU SU USU SU
U t �� � = Y
t ; t i f t ;
� ; � i � � ;
� ; Y t ; � t ; Y :
:
F W F W F W F W F G F G ;
F W ;F G ;F W
F W @ W @ W g � W W ;
F W @ W @ W ;
F G @ G @ G g f G G ;
W ;W SU U G
�W @ � x ;
�W @ � g� � W W �
�G @ � g f � G G �
W G g gSU SU � �
� �� �
L L L L L L L
L
L � � �
���
�
� D� D
D D
a a
i i
a b abc c
i j ijk k
i a j a
i��
��i
�� �� a��
��a
i��
a�� ��
i�� �
i� �
i�
ijk j�
k�
�� � � � �
a�� �
a� �
a� s
abc b�
c�
i� �
a�
� �
i� �
i ijk j k�
ij�
j
a� �
as
abc b c�
ab�
b
ij�
ab� s
a i
12
0 0
0
0 0 0
0
0
( )
h ih ih i h i � �
G F H M GF FP
G
G
arbitrary functions depending on the space-time coordinates. It can be easilychecked that Lagrangian (9.2) is invariant under these gauge transformations.
Lagrangian describes coupling of fermions with gauge �elds. Forsimplicity we shall consider one lepton generation, say and , and threequark generations. Fermions constitute only doublets and singlets in (2)(1)
= =
= = =
where and denote left- and right-handed components of the spinors,respectively:
=1
2
The neutrino is assumed to be left-handed, while right-handed componentsof both up- and down-quarks enter in the . Indices and numerate threequark generations: = 1 2 3, and ( ) refers to the up (down) quarks. Apossible mixing of quark generations was taken into account by introductionof Kobayashi-Maskava matrix (see, for example, [4, 18] for details). Thein�nitesimal gauge transformations of fermion �elds looks as follows:
=2
( ) +2
( )
=2
( ) +2
( ) + ( )
where is (1) gauge coupling constant. Obviously, lepton and quark �eldsbelong to the fundamental representation of the (3) (2) (1). Underthe requirements of the (3) (2) (1) local gauge symmetry andrenormalizability of the theory, the Lagrangian acquires the followingexpression
= � ^ + � ^ + � ^ + � ^ + � ^ (9.3)
44
e �SU
U
R e ; L�e
R q ; R q ; Lq
V q
L R
e e:
I iI; i ; ; I i
V
� igY� x ig
�� x ;
� igY� x ig
�� x ig t � x ;
g USU SU U
SU SU U
iLD L iRD R i L D L R D R i R D R ;
L
�
�
L
� �� �
L
L
e
RL
L
I I R i i R I
I
Ii i
R;L
iI
lep
ii
lep
quark
ii
sa a
quark
L R
I
IqL I I
qR I
i
iqR i
1
5
!
� � � � 0B@
1CA
! !
X� � X
F
�
��
�
F
0
0
0
F
F
where covariant derivatives are given by
=2 2
=2
=2 2
=2
We remind that the value of hypercharge is determined by the followingrelation = + 2 with being the charge operator.
Both the gauge �elds and fermion ones described above have zero mass,while in the reality all charged fermions are massive and intermediate bosonsare known to be very heavy. To make the weak bosons massive one can useHiggs mechanism of spontaneous breakdown of the (2) (1) symmetryto the (1) symmetry. The widely accepted way to do that consists in theintroduction of the Higgs (2) doublet � (with = 1). This doubletacquires the nonzero vacuum expectation value:
� =
0
2
The potential term (�), which can give rise to the symmetry violation,reads
(�) = � � + � �
One can easily verify that the vacuum expectation value satis�es to the con-ditions:
� =1
2� = 0
� =1
2+ = 0
It means, that only the symmetry generated by is not broken on thisvacuum. Let us choose the Lagrangian for the Higgs �eld interaction with
45
D @ igYW ig
�W ;
D @ igYW ;
D @ igYW ig
�W ig t G ;
D @ igYW ig t G :
YQ � Y= Q
SU UU
SU Y
< > v :
V
V � � :
� < > � < > ;
Q < > � Y :
Q
� �
�
� � �
� �
�
p
�
6
L � � �
ii�
R � � �
qL � � �
ii� s
a a�
qR � � � s
a a�
i i
0
0
0
0
3
2 + + 2
3
0BBB@
1CCCA
� �
� �
0
0
0
0
gauge �elds in the form:
= � � (�) (9.4)
Then one �nds that only gauge boson coupling to ( i.e. photon) remainsmassless, while other bosons acquire masses. Diagonalization of the massmatrix gives
=1
2( ) =
1
2(9.5)
=1
+( ) =
1
2+ (9.6)
=1
+( + ) = 0 (9.7)
where are charged and neutral weak bosons, is the photon. It issuitable to introduce rotation angle between ( ) and ( ), whichis called the
sin + (9.8)
The relation of constants with electromagnetic coupling constants fol-lows from (9.3). Since the photon coupling with charged particles is pro-portional to + , we should identify this quantity with the electriccharge :
=+
(9.9)
In order to �nd mass spectrum in the Higgs sector, let us express doublet �in the form
� = 1
2+
One can verify that Nambu-Goldstone bosons have zero masses andmay be cancelled away by suitable choice of the (2) (1) rotation. Theonly physical component of the Higgs doublet is , which acquires mass
= 2
46
D D V :
Q
W W iW ; M gv;
Zg g
gW g W ; M g g v;
Ag g
g W gW ; M ;
W ;Z A# W ;W Z;A
# g = g g :
g; g e
gg = g ge
egg
g g:
i!
v � iz:
! ; zSU U�
m �:
L �
p �
p �
p
�
p
p
p �
�
p
L ��L
� � � W
� � � Z
� � � A
� � �
W
W
H
+
1 2
2 23 0 2 2
2 23 0
3 0
2 2
2 2
2 2
+
� � � �
q
q
0B@ � �
1CA
H
�
0
0 0
0
0
�
0 0
0
0 0
0
0
�
Weinberg angle
The Lagrangian generates fermion mass terms. Supposing the neu-trinos to be massless, we write the Yukawa interaction of the fermions withHiggs doublet in the form
= �� � � � � + (9.10)
Here we introduced doublet related with by
=
and are the Yukawa coupling constants. Then the masses of fermions inthe tree approximation are given by
=2
(9.11)
It is well known that quantization of dynamical systems is governed byLagrangians having local gauge symmetry requires an additional care. Free-dom of rede�ning gauge and matter �elds without changing the Lagrangiansleads to the vanishing of some components of the momenta, canonically con-jugate to the gauge �elds, say
= = 0 (for = 0)
To perform the quantization procedure, one should add to the Lagrangian agauge �xing terms, breaking explicitly the local symmetry. In the functionalintegral formulation it leads, in the case of non-Abelian gauge symmetry,to modi�cation of the path integral measure [19]. As a result, the measureof the path integral will be multiplied by functional determinant �( ).In order to apply the well known methods of perturbation theory, one mayexponentiate �( ) and rede�ne the initial Lagrangian. It can be madeby introducing auxiliary �elds and � which are scalar �elds anticommut-ing with themselves and belonging to the adjoint representation of the Liealgebra. The �elds and � are called Faddeev-Popov ghosts (FP ghosts).
The gauge �xing terms are usually chosen in the form
= ( ) +2
47
f L R f L R f L i� R h:c:
L L
L V L ;
f
mf v
:
�L
�@ AF � :
W
Wc c
c c
L B F W�B ;
L
L � � �
p
�
e
i
i i i
I
I I I
i I
i i I I
I; i
I; iI; i
�
�
a�
a�
a a
a a
GFa a a
2
0
0
2
X X � �
� �
M
M�
where are auxiliary �elds introduced to linearize this expression, is thegauge parameter, = . Then FP ghosts enter in the Lagrangian inthe following way
= � ( ) (9.12)
As it was pointed above, these additional terms violate local gauge invariance,but the �nal Lagrangian becomes invariant under the global transformationsmixing the gauge �elds and FP ghosts. This symmetry, found by by Bec-chi, Rouet, and Stora, was called BRS symmetry. The BRS in�nitesimaltransformations are de�ned by the following relations
( ) = ( ) ( ) ( ) = ( )
� ( ) = ( ) ( ) =2
( ) ( )
( ) = 0
Here denotes any matter �eld, the parameter does not depend on andanticommutes with and � , as well as with all fermion �elds. Using theserelations, the formula (9.12) can be written in the brief form:
= � (9.13)
where means left di�erentiation.In our case we choose the gauge �xing part of the Lagrangian in the form
= ( + ) + ( + ) (9.14)
+ ( + ) + ( ) + ( )
+ +2
+2
+2
then FP{ghost Lagrangian looks as follows:
= (9.15)
� + + � +
+� + + � + �
48
B �F @ W
L c@F
@WD W c :
� x i�gc x t x ; � W x �D c x ;
� c x �B x ; � c x�gf c x c x ;
� B x :
� xc c
L�
��c � @ W ;
�=��
B @ W � M ! B @ W � M !
B @ Z � M z B @ A B @ G
� B B�B B
�B B
�B B ;
�
��c � @ W � M ! c � @ W � M !
c � @ Z � M z c � @ A c � @ G ;
�
�
L
L
a
a � a�
FPa
a
c�
cb�
b
BRS a a BRS a�
ab�
b
BRS a a BRS a abc b c
BRS a
a a
GFa BRS � a
�
�� W W
�� W W
Z �� Z Z
A ��
a � a�
WZ Z Z A A A G a
GaG
BRS �� W W
BRS �� W W
Z BRS �� Z Z
A BRS ��
a BRS � a�
+ + +
+
+ + +
� � ��
n � � � �� � � � � �o
GF� � �
�
FP
� � �
where the �elds are constructed from original ghosts just like thebosons from initial �elds .
Now, we are ready to present the total Lagrangian of therewritten in the terms of physical �elds [17].
=1
2
1
4( )
1
4( )
1
4( ) (9.16)
+ cot +
+ +
+ +
+
+ cot )
+ cot + 2
+2 sin1
4
where the �eld sthrenghtes are given by
=
=
= �^ + � ^ + � ^ (9.17)
+2 sin
� ^ + � ^ +sin 2
� ^
+sin 2
�^(2 sin1
2) � ^
+2 sin
� ^ ( ) + � ^
+sin 2
� ^(1
22 sin )
49
c ; c c ; cZ ;A W ;W
F F F F G
ie # g g g g W Z @ W Z W @ W
W W @ Z ie g g g g W A @ W
A W @ W W W @ A g f G G @ G
e g g g g W W A A
e # g g g g W W Z Z
e # g g g g g g W W A Z
e
#g g g g W W W W
g f f G G G G ;
G ; F ; : : :
F @ W @ W ;
G @ G @ G ;
ie@e i� @� i q @q
e
#� W e e W �
e
#� Z�
e
#eZ #
e eeAe
e
#q W q V q W q V
e
#q Z
Q # q
L � � � ��
��
��
�
�
�
��
� � �
L
p
� � �
p
� �
A Z
� � � �
���� Z
��A��
a��
W� �� �� �
� � � � � �
� � �� �� �� �
� � �
� � � � � � sabc a
�b�
� c �
� �� �� �� � �
W� �� �� �
� � �
W�� � � �� �� �
� � �
W
�� � � ��� � �
srab rcd a
�b�
c � d �
a�� ��
�� � � � �
a�� �
a� �
a�
L L
n
n n
W
L L L LW
L L
WW
W I;i
I i L Ii i I L iI
W I
I I W I
0 3
0 3
+ 2 2 2
+ +
+ +
+ +
2 +
2 2 +
2 +
2
2+ +
2
+
+ + +
+
2 5
+ +
5 2
� � �� � � �
�� �
� �� �� �
X� �
� �X� �
X� �
G�
� �
� �
� �
�
�
�
� �
F
�
�
Standard
Model
+sin 2
� ^(1 +
22 sin )
+ � ^ + �
=1
2( )
2+
1
2( ) + (9.18)
+ +1
2+
+sin
+sin 2
+2 sin
( ) +2 sin
( + )
+ ( + cot 2 ) +sin 2
+ sin ( ) + ( )
+4 sin
( + 2 ) +2 cos
( )
+2 sin
( ) +4 sin
( + 2 )
+2 cos
( + )2 sin
( + )
+2 sin
+ cot 2 +
+ 2 cot(2 )4 sin 2 sin
4 sin 32 sin 32 sin
8 sin( + )
16 sin
8 sin( )
Here symbol is used as usual: ( ) .
50
e
#q Z
Q # q
e Q q Aq g q G t q
@ �m
� @ z @ ! @ !
M W W M Z M W @ ! W @ !
M Z @ zeM
#�W W
eM
#�Z
e
#W ! @ � iz
e
#W ! @ � iz
ie A # Z ! @ !e
#Z z @ �
ieM # Z W ! W ! ieM A W ! W !
e
#� W W Z
ie
#�Z W ! W !
ie
#�A W ! W !
e
#z W W Z
e
#zZ W ! W !
e
#zA W ! W !
e
#! ! W W e # ! ! Z e ! ! A
e # ! ! A Zem
M #�
em
M #! ! �
em
M #z �
e m
M #�
e m
M #z
e m
M #! ! � z
e m
M #z �
e m
M #! !
f @ g f @ g f@ g @ f g
� �
L �
�
�
�
� �
�
�
�
� �
� � �
� �
�
� �
W i
i i W i
n
n n n s
n
na�
� a
�H
� ��
W ��
Z � W ��
��
Z �� W
W�
� Z
W�
W
��
W
��
�W
��
W
��
Z W�
� � W�
� �
W�
��
W
�� �
W
�� �
W�
��
W
�� �
W
�� �
W�
�W � �
��
H
W W
H
W W
H
W W
H
W W
H
W W
H
W W
H
W W
H
W W
� � � �
5 2
22
2 2 +
2 + 2 2 + +
+ 2
+ +
+
+ + + +
2
22 + 2
2+ +
2+ +
2
22 + 2
2+ +
2+ +
2
2+ + 2 2 + 2 2 + 2
2 +2
32
+
22
2 2
2 24
2 2
2 24
2 2
2 2+ 2 2
2 2
2 22 2
2 2
2 2+ 2
X� �X X
� �
� � � �� � � �
H�
� � �
�
�$
�$
�$ $
� � � �
� � �
� � �
� � � �
� � � �
��
�
�
$ $
=sin 2
�sin 2
� (9.19)
+2
sin 2� � +
sin 2�
+2 sin 2
( ) � ( + )
+2 sin 2
( ) � ( + )
sin 2� +
sin 2�
= � ( + ) � ( + ) � (9.20)
� ( + ) � + cot � �
+ � � cot � �
� � + cot � �
+ � �
+ cot 2 � � +2 sin
�
+ cot 2 � + �2 sin
�
+2
cot � �2 sin
� + �
sin 2�
51
em
M #�ee
e
M #m �q q
ie m
M #! e� ! � e
iem
M #ze e
ie
M #! V q m m m m q
ie
M #! V q m m m m q
ie
M #m q q
ie
M #m q q
c @ � M c c @ � M c c @ c
c @ � M c c @ c ie # W @ c c @ c c
ieW @ c c @ c c ie # W @ c c @ c c
ieW @ c c @ c c ie # Z @ c c @ c c
ieA @ c c @ c c
i! � eM # c c � eM c c� e
#M c c
i! � eM # c c � eM c c� e
#M c c
i� eM # z c c c c
� e
#M � c c c c
� e
#M �c c
L � �p
�
p � �
p � �
�
L � � �� � �
� � �� � �
�
� �
�
� �
�
e
Z W Z W n
n n n
e
Z WL L
e
Z W
Z W I;i
Ii I I i I i i
Z W I;i
iI i i I I i I
Z W I
I I IZ W i
i i i
W W W WA A
ZZ Z
Z a aW
��
Z�
Z
��
A�
AW
��
Z�
Z
��
A�
AW
�� �
�� �
W W WZ
W WA Z
WZ
Z
W W WZ
W WA Z
WZ
Z
WZ W
W
WW
Z
WZ
Z Z
+5
+ +5
5
5 5
+ 2 2 2 2 + 2
2 2 2 +
+ + +
+ + + +
+ +
+
+ + +
+ + + +
X� �
X � �X � �
X X
� �� � � �� � � �
� � ! !
� � � �
M
�
�
FP� �
� �
� � �
� � �
� �
� � �
�
� � � �
10 FEYNMAN RULES
In this Section we present the complete list of Feynman rules correspondingto the Lagrangian of SM (see (9.16 { 9.20)).
First of all we de�ne the propagators by the relation
� ( ) = 0 ( ( ) (0) 0 (10.1)
where presents any �eld. Curly, wavy and zigzag lines denote gluons, pho-tons and weak bosons respectively, while full, dashed and dot lines stand forfermions (leptons and quarks), Higgs particles and ghosts �elds, respectively.Arrows on the propagator lines show : for the and �elds the ow ofthe positive charge, for the fermion that of the fermion number, and for theghost that of the ghost number.
The vertices are derived using , instead of usual usage of . All themomenta of the particles are supposed to ow in. The only exception wasmade for the ghost �elds, where direction of momentum coincides with thedirection of ghost number ow. This convention permits to minimize thenumber of times when the imaginary unit appears.
It should be noted ones more, that all �elds can be "divided" into twoparts:
:(photon), , , (gluon), , (Hiigs).
:, (pseudogoldstones), , , , ( ghosts).
Charged fermions have the electric charge (in the positron charge units) asfollows:
( ) = ( ) = ( ) =
( ) = ( ) = ( ) = +
( ) = ( ) = ( ) = +2
3
( ) = ( ) = ( ) =1
3
52
k i d x e < T � x � >;
�
W !
i
A W Z G H
! z c c c c
e
Q e Q � Q � e;
Q e Q � Q � e;
Q u Q c Q t e;
Q d Q s Q b e:
j j
�
�
�
�
ijikx
i j
i
z Aa
4
+ +
+ + +
Z�
�
� �
� � �
L i L
physical �elds
non{physical �elds
10.1 General Remarks
I I
The electric charge (or strong coupling constant in QCD) is related tothe �ne structure constant (or in QCD) as follows:
=4
=4
The electric charge, the sin , and Fermi constant are related as follows:
2 2 sin=
2(10.2)
Finally, every loop integration is performed by the rule
(2 )(10.3)
and with every fermion or ghost loop we associate extra factor ( 1).
1
+1
+
1
+1
+
1
+1
+
1
+1
+
k � ^ +
+=
^ +
+
53
e g� �
� �e
�; � �
g
�:
# G
e
#M
G:
d k
i �;
W W
k M i"g �
k k
k � M i"
Z Z
k M i"g �
k k
k � M i"
A A
k i"g �
k k
k i"
G G�
k i"g �
k k
k i"
k m
k m i"
k m
m k i"
� �
p p
�
� � � �
� � � �
� �
� �
� � �
s
s
QED QCD ss
W F
W
WF
d
d
� �
W
�� W� �
W W
� �
Z
�� Z� �
Z Z
� �
�� A� �
a�
b� ab
�� G� �
2 2
+
2 2 2 2
2 2 2 2
2 2
2 2
2 2 2 2
s
Z
� � !
� � !
� � !
� � !
�
10.2 Propagators
1
+
1
+
1
+
� 1
+
� 1
+
� 1
+
� 1
+
� 1
+
54
� �
k m i"
! !
k � m i"
z z
k � m i"
c c
k � m i"
c c
k � m i"
c c
k � m i"
c c
k i"
c c�k i"
� �
� �
� �
� �
� �
� �
�
�
H
W W
Z Z
W W
W W
Z Z
Z Z
A A
a b
ab
2 2
+
2 2
2 2
+
2 2
+
2 2
2 2
2
2
�
�
�
Here we discuss the explicit forms of the propagators for some popular gauges.Let us consider a theory with free boson Lagrangian:
=1
4=
One can �x a gauge in one of three ways [3, 20]:
to impose a gauge condition,
to add a (GFT) to the Lagrangian
to �x a form of the Hamiltonian.
In a rigorous theory one should impose two gauge conditions. However,as it is usually accepted, we write only one condition. It should be consideredrather as a symbol which denotes acceptable for a given gauge procedure ofquantization, described somewhere in literature.
In practical calculations one needs an explicit form of a propagator withsatisfactory prescription for poles (which plays a key role in the loop calcu-lations). For this purposes it is su�cient to �x a gauge as mentioned inand . Polarization vectors of physical bosons and ghosts should be chosenin accordance with a detailed quantization procedure applicable for a givengauge.
1.
Notation ( ) = ( )
GFT =1
2( )
Propagator
=1
+[ (1 )
+]
Comments
= 1 is Feynman gauge, while = 0 is Landau gauge. For the photon(gluon) propagator one should write ( ) (see Subsection 10.2).
55
F ; F @ A @ A :
@ A x B x
L�@ A
Dk i"
g �k k
k i":
� �� �
L � �
���
�
� �
�� �
�
�� �� � � � �
��
GF�
�
�� ��� �
G A
2
2
2 2
Gauge Fixing Term
Generalized Lorentz gauge.
i
ii
iii
ii
iii
Covariant gauges.
10.3 Some Popular Gauges
2.
Notation ( ) ( ) = ( )
GFT =1
2( )
Propagator
=+
[ (1 )+
]
Comments
The gauge parameter = ( ) for the case of ( ) boson (seeSubsection 10.2), 2 is the vacuum expectation value of the gauge�eld, are generators, is the vector boson mass. = 1 is 't Hooft{Feynman gauge, = 0 is Landau gauge, corresponds togauge. Non{physical gauge bosons should also be taken into accountin loop calculations. They also have gauge{dependent propagator, seeSubsection 10.2.
3.
Notation = 0 = 1 2 3
GFT =1
2( )
Propagator
=1
+[ ]
Comments
The proper corresponds to the case = 0.
4.
56
R
@ A x i� v; � � B x
L�@ A
D�
k M i"g �
k k
k �M i":
� � � W Zv=
� M �� �
~@ ~A ; k ; ; :
L�@ A :
Dk i"
gk k k k g k k g
~k
�k k q
~k:
�
� �
� �
�
� � � �
�p
!1
�
� �
�
� � �j j � j j
�
�
� a�
a a
GF� a
�
ab��
ab
��� �
W Z
a
GF k k
�� ��� � � � � � � �
2
2 2 2 2
2
2
0 0 0 0
2
2
4
't Hooft gauges ( -gauges).
unitary
Coulomb gauge.
Coulomb gauge
The general axial gauge.
Non-covariant gauges
Notation ( ) = ( )
GFT =1
4[ ]
Propagator
=1
+[
( + )
+
( ) ( )
( + )]
Comments
Feynman rules in this gauge usually do not contain ghosts. As it hasbeen shown in [20] one has to consider an additional gauge vectorin order to have a correct prescription for poles. The quantization inthis gauge was considered, for example, in [21, 22].
The gauge vector has the form:
= ( ; ) = ( ; ) = ( ; )
The explicit form of the component structure of and should beconsidered separately in the cases 0 = 0 and 0. Thefollowing widely used gauges are obtained in the limit = 0:
4a. 0.
=1
+[
( + )
++
( )
( + )]
= ( ; ); = ( ; )
4b. = 0.
=1
+[
( + )
+]
= ( ; ); = ( ; )
4c. 0.
=1
+[
( + )
++
( )
( + )]
= ( ; ); = ( ; )
5.
57
n A x B x :
L�n @ n A :
Dk i"
gn k k n n k
n k n k i"
�k n n k
n k n k i"k k :
n
n
n n ~n n ~n ; n n n ; n ; n :
n nn > ; n n <
�
n >
Dk i"
gn k k n n k
n k n k i"
n n k
n k n k i"k k ;
n n ~n ; i ~n n n ~n ; i ~n :
n
Dk i"
gn k k n n k
n k n k i";
n ~n ~n n ~n ~n :
n <
Dk i"
gn k k n n k
n k n k i"
n n k
n k n k i"k k ;
n ~n ~n n ~n ~n :
�
� � � �
�
� �� � � � �
� ��
� �� �
�� �
� j j j j
� �� �
j j j j �
� �� �
�� �
j j j j �
��
GF
�� ��� � � �
� �
�
�
�
� �
�� ��� � � �
� �
� �
�� ��� � � �
� �
�� ��� � � �
� �
� �
2
2
2 2 2
2
0 0 3 0 1 2 3
2 2 2
2
2
2 2
2
0 0
2
2
2
2
2 2
2
�
�
�
�
�
�
?
�
�
�
�
�
? ?�
? ?
�
�
�
�
�
�
�
?�
?
Temporal gauge:
Light{cone gauge:
Proper axial gauge:
Planar gauge.
Notation ( ) = ( ) = 0
GFT = [ ( )]
Propagator
=1
+
( + )
+
= ( ; ) = ( ; ) if 0;
= ( ; ) = ( ; ) if 0
Comments
Yang-Mills theory is not multiplicatively renormalizable in this gauge.Quantization in this gauge is also poorly understood. This gauge hasthe same denotation as the axial gauge, that is not suitable. However,that should not lead to confusion (see the beginning of this Subsection).
58
n A x B x ; n :
L @ n A :
Dk i"
gn k k n n k
n k n k i";
n n ~n ; i ~n ; n n ~n ; i ~n ; n >
n ~n ~n ; n ~n ~n n < :
� 6� ��
� �� �
� j j j jj j j j �
�
��
GF n �
�� ��� � � �
� �
� �
2
12
2
2
0 02
2
" #�
�
? ?�
? ?
?�
?
2
cot ( ) + ( ) + ( )
( ) + ( ) + ( )
( ) + ( ) + ( )
( + 2 ) cot ( + 2 )
59
ZW W
p
WW
q
Zk
e # k p g p q g q k g
AW W
p
WW
q
Ak
e k p g p q g q k g
GGG
G
p
G
q
Gk
ig f p k g q p g k q g
AAW W
W
W
A
A
AZW W
W
W
A
Z
e g g g g g g e # g g g g g g
� � �
� � �
� � �
� �
�
�
W �� � � � �
�
�
�� � � � �
b�
c
a�
sabc �� � � � �
�
�
�
�
�
�
� �� �� � �� �W
� �� �� � �� �
+
+
+
+
+
+
+
+
2 2
� �
� �
� �
�
�
�
�
�
�
�
�
Gauge Boson Three{vertices
Gauge Boson Four{vertices
10.4.1
10.4.2
10.4 Vertices
cot ( + 2 )
sin( + 2 )
( ( )+ ( )+ ( ) )
�
�
�
�
2 2 sin(1 )
2 2 sin(1 )
60
ZZW W
W
W
Z
Z
e # g g g g g g
W W W W
W
W
W
W
e
#g g g g g g
GGGG
G
G
G
G
g f f g g g gf f g g g gf f g g g g
W
W
W
W
e
#V
e
#V
�
� �
� ���
p � p �
�
�
�
W� �� �� � �� �
�
�
�
W
� �� �� � �� �
a�
b�
d�
c
srab rcd � �� �� �
rac rdb �� � �� �
rad rbc �� � � ��
I i
i I
�
i I
I i
�
WiI
�
W
iI�
+
+
2 2
+ +
+
+
2
2
2
+
+
+ 5 5
�
�
� �
�
�
�
�
Gauge{boson{fermion Vertices10.4.3
�
�
sin 2
1
2(1 ) 2 sin
�
�
sin 2
1
2(1 ) 2 sin
�
�
�
�
( = )
2 sin( )
2 sin( )
61
Z
Z
e
# Q #
Z
Z
e
# Q #
A
A
qqG
q q
G
eQ n i; I g t
� ! W
!
p q
�
W
� ! W
!
p q
�
W
i e
#p q
i e
#p q
� �
� � �
� �
I I
I I
�
W
�I W
i i
i i
�
W
�i W
n n
n n
�
A B
a�
n�
saBA
�
� �
W
�
W
�
5 2
5 2
+
+
+
+
� �
� �
� �
�
�
�
�
Gauge{boson{Higgs Three{vertices10.4.4
2 sin( )
2 sin( )
cot 2 ( ) ( )
2( )
cot2
sin 2
62
z ! W
!
p
z
q
W
z ! W
!
p
z
q
W
e
#p q
e
#p q
! ! Z
! !
Z
p q
! ! A
! !
A
p q
e # p q e p q
� zZ
z �
Z
p q
i e
sin #p q
� W W
W W
�
� Z Z
Z Z
�
e # M ge
#M g
� � �
� � � �
�
� �
W
�
W
�
� �
W� �
�
W
�
� � � �
W Z��
WZ
��
+
+
+
+
+
+
+
+
+
+
�
�
�
�
�
�
�
�
�
�
sin
sin
2 sin
2
sin 2
2 cos 2 cos
63
! W Z
W Z
!
! W A
W A
!
i e # M g i e M g
! W Z
W Z
!
! W A
W A
!
i e # M g i e M g
� � W W
W W
� �
� � Z Z
Z Z
� �
e
#g
e
#g
� ! W Z
W Z
� !
� ! W Z
W Z
� !
i e
#g
i e
#g
�
�
�
� � � �
W Z��
W��
� � � �
W Z��
W��
� � � �
W
��
W
��
� � � �
W
��
W
��
+
+
+
+
+
+
+
+
+
+
2
2
2
2
+
+
+
+
2 2
�
�
�
�
�
�
�
�
�
�
�
�
�
�
Gauge{boson{Higgs Four{vertices10.4.5
2 sin 2 sin
2 sin
2
sin 2
2 cos 2 cos
2 sin 2 sin
64
� ! W A
W A
� !
� ! W A
W A
� !
i e
#g
i e
#g
z z W W
W W
z z
z z Z Z
Z Z
z z
e
#g
e
#g
z ! W Z
W Z
z !
z ! W Z
W Z
z !
e
#g
e
#g
z ! W A
W A
z !
z ! W A
W A
z !
e
#g
e
#g
�
� �
� � � �
W
��
W
��
� � � �
W
��
W
��
� � � �
W
��
W
��
� � � �
W
��
W
��
+
+
+
+
2 2
+
+
2
2
2
2
+
+
+
+
2 2
+
+
+
+
2 2
�
�
�
�
�
�
�
�
�
�
�
�
�
�
2 sin2 cot 2
2 2 cot 2
3
sin 2
sin 2 sin 2
65
! ! W W
W W
! !
! ! Z Z
Z Z
! !
e
#g e # g
! ! A A
A A
! !
! ! A Z
A Z
! !
e g e # g
� � �
� �
�
e
#
m
M
z z �
z z
�
! ! �
! !
�
e
#
m
M
e
#
m
M
�
� �
� � � �
W
��W
��
� � � �
��W
��
W
H
Z
W
H
Z W
H
Z
+ +
+
+
+
+
2
22 2
+
+
+
+
2 2
2
+
+
2 2
� �
�
�
�
�
�
�
�
�
�
�
Higgs Three{vertices10.4.6
3
sin 2
3
sin 2
sin 2 sin 2
sin 2
2
sin 2
66
� � � �
� �
� �
z z z z
z z
z z
e
#
m
M
e
#
m
M
! ! � �
! !
� �
! ! z z
! !
z z
e
#
m
M
e
#
m
M
� � z z
z z
� �
! ! ! !
! !
! !
e
#
m
M
e
#
m
M
� �
� �
� �
W
H
Z W
H
Z
W
H
Z W
H
Z
W
H
Z W
H
Z
2
2
2
2
2
2
2
2
+
+
+
+
2
2
2
2
2
2
2
2
+ +
+
+
2
2
2
2
2
2
2
2
�
�
�
�
� �
�
�
Higgs Four{vertices10.4.7
�
�
sin 2
�
�
2 sin 2+ +
�
�
2 sin 2+ +
�
�
�
�
sin 2 sin 2
67
�
�
e
#
m
M
!
!
i e
# MV m m m m
!
!
i e
# MV m m m m
z
z
z
z
i e
#
m
M
i e
#
m
M
�
�p �
�p �
�
n n
n n
W
n
Z
I i
i I
W ZIi i I i I
i I
I i
W Z
iI I i i I
I I
I I
i i
i i
W
I
Z W
i
Z
+
+
+ 5
5
5 5
�� � � � �
�� � � � �
�
�
Higgs{boson{fermion Vertices10.4.8
�
�
�
�
cot cot
�
�
�
�
�
�
�
�
cot cot
68
c c W
c
p
c
W
c c W
c
p
c
W
e # p e # p
c c W
c
p
c
W
c c W
c
p
c
W
e p e p
c c W
c
p
c
W
c c W
c
p
c
W
e # p e # p
�
�
�
Z
Z
�
Z
Z
�
W�
W�
A
A
�
A
A
�
� �
Z
Z
�
Z
Z
�
W�
W�
+
+
+
+
+
+
+
+
+
+
+
+
�
�
�
�
�
�
�
�
�
�
�
�
Gauge{boson{ghost Vertices10.4.9
�
�
�
�
�
�
�
�
cot cot
�
�
�
�
�
�
69
c c W
c
p
c
W
c c W
c
p
c
W
e p e p
c c Z
c
p
c
Z
c c Z
c
p
c
Z
e # p e # p
c c A
c
p
c
A
c c A
c
p
c
A
e p e p
c c G
c
p
c
G
ig f p
�
�
�
�
A
A
�
A
A
�
� �
� �
W�
W�
� �
� �
a b
c�
s abc�
+
+
+
+
+
+
+
+
+
+
+
+
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
cos 2
2 sin
�
�
�
�
2 sin
cos 2
2 sin
�
�
�
�
2 sin
70
c c !
c c
!
c c !
c c
!
i� e #
#M i� e M
c c !
c c
!
c c !
c c
!
i� e
#M
i� e #
#M
c c !
c c
!
c c !
c c
!
i � e Mi� e
#M
� �
�
Z
Z
A
A
W W
WZ W W
Z
Z
Z
Z
Z
WZ
W W
WZ
A
A
Z
Z
W WZ
WZ
+
+
+
+
+
+
+
+
+
+
+
+
�
�
�
�
�
�
�
�
�
�
�
�
Higgs{ghost Vertices10.4.10
�
�
�
�
2cot
2cot
�
�
�
�
1
2cot
1
2cot
�
�
sin 2
71
c c z
c c
z
c c z
c c
z
i� e # M
i� e # M
c c �
c c
�
c c �
c c
�
� e # M � e # M
c c �
c c
�
� e
#M
�
� �
�
W W Z W W Z
W W Z W W Z
Z Z
Z Z
Z
WZ
+
+
+
+
+
+
+
+
�
�
�
�
�
�
�
�
11 INTEGRATION IN -DIMENSIONSN
11.1 Dimensional Regularization
A powerful method of the evaluation of the loop integrals (which very oftenare divergent) is (DR) [23]. The idea of DR is toconsider the loop integral as an of { number of dimensions.Then one can calculate this integral in that region of the complex plane,where this function is convergent.
A typical loop integral looks as follows:
(2 )
( )
( ( ) )
where ( ) are 4{momenta (masses) of external particles; ( ) isa function of masses and momenta and .
To use the DR method one needs to transform the product of denom-inators into expression such as : + ( ) + , where is the linearcombination of momenta and is a combination of , ( ), and .That can be done by using of :
1=
�( + )
�( )�( )
(1 )
[ + (1 )]
1 1=
( )
[( ) + ]
1=
�( + + )
�( )�( ) �( )
( ) (1 )
[ + ( ) + + (1 )]
where �( ) is the Euler .Using the Wick rotation and replacement 4 , one can
obtain a typical integral in -dimensional Euclidean space:
=( )
( + 2( ) + )Re 0
The di�erential has the form:
= = = 2 �(2) (11.1)
72
Dimensional Regularizationanalytic function
Feynman parameterization
Gamma function
nn
d p
�
P q ;m ; p
m p k;
q m P q ;m ; pm q p
p pk M kq M q q q m
a b
� �
� �dx
x x
ax b x;
a b
n a b dx
a b x b;
b b : : : b
� : : : �
� � : : : �dx dx : : : dx
x x x : : : x
b x b x x : : : b x;
zp ip n
n
J d pP q ;m ; p
p pk M; � > :
d p
d p p dp d ; d � =n;
Z Q
ZZ
Z Z Z
Z
Z
4
4=1
2 2
2 2
2 2
1
0
1 1
+
1
0 +1
1 2
1
1 2
1
01
02
01
11 2 1
11
1
1 1 2 2 1 1+ +
0 0
2 2
1
�i i
�
li i i
i i�i i
�
i i
�
i i i j i
� �
� �
� �
n n n
� � �m
m
m
x x
m
�m m m
� �
m m m m� ::: �
n�i i
�
�
n
n nn n n
� �
��
� ��
� �� �
! !
� �
�
�
� � �
� �
� � �
�
1 2
1 2
1 2
1
2
m
m
m
m
n
�
11.2 Integrals
= (sin ) (11.2)
= (sin )(sin )
where 0 0 2 (The last equality in (11.2) obeys for theinteger .)
Let us introduce the following notation:
^ ( )1
( + 2( ) + )( ) (11.3)
( ) �( )(11.4)
Then :
= ^ 1 =( )
�( )
�( )= �(
2)
= ^ = ( )
= ^ = �(2) +
2�( 1
2)( )
= ^ = �(2) +
1
2�( 1
2) ( )
= ^ = �(2)
1
2�( 1
2)( )( + + )
= ^ = �(2) +
+ 2
2�( 1
2)( )
For calculation of the basic integral one can use the well{known relation[24]:
( + )=
�( )�( )
2�( )( )
73
d # d# d
# d# # d# : : : d# ;
# �; # �:n
J f p d pp pk M
f p ;
Ji� i
M k �:
I Ji�
M k
�
��
nJ :
I J p k I ;
I J p J k �n n
�n
M k ;
I J p p J k k �n
�ng M k ;
I J p p p J k k k �n
�n
M k g k g k g k ;
I J p p J k k �n n
�n
M k :
I
x
x Mdx
� M:
Z
Z
21 1 1
21 1
32 2 1
1
2 2
0
2
2 2
0
2
2 2 22
0
0
22
02 2 2
02 2
0
2 2
22
02 2 2
0
0 2 2
+12
2 12
2
nn
n n n
nn n
nn n
i
n�
n= n
�
n=
� n=
n
� � �
�� � � � � ��
��� � � � � � �
�� � �� � �� �
� � �
�
�
� � �
�
� � � �
�
� �
�� �
�f � � � � g
f � � � � gf� �
� � � � g
� f � � � � g
�
� � �
�
� �
�
� �
�
�
1� �
�
2
+1
2
n
�
11.3 Spence Integral (Dilogarithm)
As a rule the �nal expressions for the loop integrals include so{calledor [24, 25, 26]:
Li ( ) = Li( )ln(1 )
=ln
[ (1 ) ] (11.5)
Dilogarithm is a special case of the polylogarithm [24, 25, 26]:
Li ( ) [ 1 or = 1 Re 1] (11.6)
The main properties of Li( ) are as follows:
Li ( ) + Li ( ) = 2 Li ( )
Li ( ) + Li ( ) = 4 Li ( ) 2 Li ( )
Li ( ) Li ( ) = 2( 1)
(2 + 1)[ 1]
Li ( ) =Li ( )
( = 1 2 )
Li ( ) =1
Li ( ) = ln(1 )
The Riemann sheet of the Li ( ) has a cut along the real axes when 1,and
Im Li ( ) = �( 1) ln( )
where the �( ) is the step function (see Subsection 16.1).The equation ReLi ( ) = 0 has two solutions on the real axes
= 0 and 12 6
ReLi ( ) achieves its maximum at = 2:
Li (2) =4
and at this point the Li ( ) has the expansion as follows [9]:
Li (2 ) =4 4 6
5
48 15
74
Spenceintegral Euler dilogarithm
z zt
tdt
t
t zdt arg z < � :
zz
kz < ; z ; � > :
z
z z z ;
iz iz z z ;
iz iz iz
kz < ;
zt
tdt n ; ; : : : ;
zz
z; z z :
z z >
z i" � z z ;
xz
z ; z : :
z z
�;
z
�� � � � �
: : :
Z Z
X
XZ
20
1
0 1
=1
1 2
1 4 1 2
=0
2 +1
0
1
0 1
2
2
2
1 2
2
2
2
2
2
2 2 3 4 5
z
�
k
k
�
n nn
n
n nn
nn
n
n n
k
k k
n
n
zn
� � �� �
� j j j j
�� �
� � � j j
� � �
� � �
�
� � � � � �
�
1
�
� �
1
�
One easily gets:
Li (0) = 0 Li (1) =6
Li ( 1) =12
Li (1
2) =
12
1
2ln 2
Li ( ) =48
=( 1)
(2 + 1)= 0 915965594
The various relations with Li are as follows [24, 25, 26]:
Li ( ) = Li (1 ) +6
ln ln(1 ) [ (1 ) ]
Li ( ) = Li (1)
1
2ln + ln +
3[ ( ) ]
Li ( ) = Li (1
1) +
1
2ln (1 ) ln( ) ln(1 )
6[ ( ) ]
The Hill identity has the form [9, 25]:
Li ( ) = Li ( ) + Li ( ) Li1
Li1
ln1
1ln
1
1
11
1ln 1
1
1ln
where the function compensates for the cut in the Riemann sheet of thelogarithm [9]:
ln = ln + ln + ( )
A typical integral, which can be expressed via the dilogarithm, is, for exam-ple:
ln( + )= ln ln Li ( ) + Li ( )
The Euler �( ) is given by the integral representation [24]:
�( ) Re 0
75
Gamma function
;�;
�;
�;
i�
i ;k
: : : :
z z�
z z argz ; arg z < � ;
zz
z i� z�
arg z < � ;
zz
z z z�
arg z < � :
!z ! z! !z
!z
z !z
!z!
!z
z
!z
� !;!z
! � z;!z
z;
�
xy x y � x; y :
p qt
tdt p
b
abq
paq
p:
z
z dt t e ; z > :
X
� � � �� � � �� � � �
Z
Z
2 2
2
2
2
2
22
2
2
=02
2
2 2
2
2 22
2
2 22
2
2 2 2 2 2
2 2
0
1
k
k
b
a
z t
� �
�
� � � �
� � � � j j j � j
� � j � j
� � � � � �j � j
� �� � �
�� �
���
� � � � � �
� � �
�
1
1
� �
G G
The main properties of the �( ) are as follows [24]:
�(1 + ) = �( ) �( + 1) = !
�( )�( ) =sin( )
�( )�(1 ) =sin( )
�(1
2+ )�(
1
2) =
cos( )�(2 ) =
2�( )�(
1
2+ )
�(1) = �(2) = 1 �1
2=
�( )1+ � (1); � (1) = �(1)(1) = (1) = = 0 577
where is Euler constant.
76
z
z z z ; n n ;
z z�
z �z; z z
�
�z;
z z�
�z; z
�z z ;
; �;
zz
: : : : ;
� �(2 1)
0
z
z
� � �
� pp
j ' � �
�
!
0 0
12 KINEMATICS
12.1 Variables
The nice book by E. Byckling and K. Kajantie [27] contains a lot of infor-mation about relativistic kinematics. Here we present a brief description ofrelativistic kinematics following the Review of Particle Properties [18].
Initial (�nal) particles total momentum (energy) squared will be denoted by:
= (12.1)
Let and be energy and momentum of a particle. The energy and mo-mentum of this particle ( ) in the frame moving with the velocity aregiven by the Lorentz transformation:
= ( + ) = ( + ) = (12.2)
where = 1 1 and ( ) are the components of perpendicular
(parallel) to .The beam direction choose along the {axes. 4{momentum of a particle
= ( ) can be written as:
= = ( )
= cos sin = sin sin = cos (12.3)
where is the azimuthal angle (0 2 ); is the polar angle (0).
Another parameterization of looks as follows:
= cosh = sinh (12.4)
where = + is the transverse mass ("old" de�nition), is therapidity.
is de�ned by
1
2ln
+= ln
+= tanh (12.5)
77
Rapidity
s p p :
E ~pE ; ~p ~�
E E �p ; p p �E ; ~p ~p ;
= � ~p p ~p~�
zp E; ~p
E p ; ~p p ; p ; p ;
p ~p � #; p ~p � #; p ~p #;
� � � ## �
p
E m y; p ; p ; p m y;
m m p y
y
yE p
E p
E p
m
p
E:
� X � � X �
� � � � � �
2 2
2
0
2 2 2
1
initial
i
final
j
�
x y z
x y z
�
x y z
z
z
z z
�
p �
j j j j j j
� � ��
� �
0 0
0jj
0jj jj
0> >
> jj
>
> >
> >
>
�
12.2 Event Shape Variables
Under a boost along {direction to a frame with velocity ,
+ tanh
is de�ned by:
ln(tan( 2)) (12.6)
sinh = cot cosh =1
sintanh = cos
For and 1 one has : .Feynman's = variable is given by
=max
( + )
( + )maxin cms =
2(12.7)
The last equation is valid for two particles collisions, and here is totalenergy squared (see (12.1)).In the collider's experiments the following additional variables are used:
= sin transverse energy= (� ) "missing" transverse momentum
= (� ) "missing" transverse energy
where sum is performed over all detected particles.The "distance" in ( ){plane between two particles (clusters) 1 and 2 isgiven by
� (� ) + (� ) � = � =
The "transverse" mass of the particle (cluster) with momentum and the
"missing" transverse momentum (energy) ( ) is given by:
( ) ( + + ) ( + )
In this Subsection we describe in brief event shape variables for {particle�nal state (for details, see, for example [28]). None of the variables presentedin this Subsection are Lorentz invariant.
78
Pseudorapidity
z �
y y �:
�
� #= ;
� #; �#; � #:
p m # = � yx x
xp
p
E p
E p; x
p
s:
s
E E # ;~p ~p ;~E ~E
�; �
R � � ; � � � ; � � � :
c ~p
~p ~E
M c; ~p m p p ~p ~p :
n
q
q
1
2 21 2 1 2
2 2 2 2 2
F
z
z
z
z
z
mis
mis
c
mis mis
mis c c mis c mis
!
� �
� � �
� p
�� �� �
� � �
� �
�
?
? ?
? ?
? ?
? ? ? ? ? ?
The tensor is de�ned as [28, 29]:
(12.8)
where = 1 2 3 corresponds to the and components. By standarddiagonalization of one can �nd three eigenvalues
with + + = 1
Then, the is de�ned as:
3
2( + ) 0 1 (12.9)
Eigenvectors can be found that correspond to the three eigenvalues .The eigenvector is called the , while the
is spanned by and .Sphericity is essentially a measure of the summed with respect to spheric-ity axes. So, one can use another de�nition of the sphericity:
=3
2min (12.10)
where is a component of perpendicular to . So, the sphericity axesgiven (12.10) by the vector for which minimum is attained. A 2{jet eventcorresponds to 0 and isotropic event to 1.
Sphericity is not an infrared safe quality in QCD perturbation theory.Sometimes one can use the generalization of the sphericity tensor, given by
(12.11)
The is de�ne as [28, 30]:
3
20
1
2(12.12)
79
sphericity
sphericity
sphericity axes sphericity eventplane
aplanarity
Sp p
~p;
a; b ; ; x; y zS
� � � ; � � � :
S � � ; S :
~s �~s
~s ~s~p
S~p
~p;
~p ~p ~n ~s~n
S S
S~p p p
~p;
A
A � ; A :
PP
PP
PP
2
1 2 3 1 2 3
2 3
1
1 2
2
2
( )2
2
ab iai
bi
i i
ab
i i
~n
i i
i i
i i i
r ab i ir a
ibi
i ir
�
� j j
� �
� � �
j j
� �
� j jj j
�
� � �
>
>
>
�
Sphericity
Aplanarity
The aplanarity measures the transverse momentum component out of theevent plane. A planar event has 0 and isotropic one .
The is given by [28, 31]
max( ) 1
21 (12.13)
and the is given by the vector for which maximum is attained.2{jet event corresponds to 1 and isotropic event to .
In the plane perpendicular to the thrust axes, a andmay be de�ned in just the same fashion as thrust [28], i.e.
max( )
(12.14)
Finally, a third axes, the , is de�ned perpendicular to the thrust( ) and major ( ) axes. The is calculated just as thrustand major values.
The is given by [28]
In general, 0, corresponds to an event symmetrical around the thrustaxes and high to aplanar event.
The , = 0 1 2 are de�ned by [28, 32]:
(cos ) (12.15)
where is the opening angle between hadron and , and is the totalvisible energy of the event. ( ) are the Legendre polynomials [24]:
( ) = 1 ( ) = ( ) =1
2(3 1)
( ) =1(2 1) ( ) ( 1) ( )
80
thrust
thrust axes
major axes majorvalue
minor axesminor value
oblatness
Fox{Wolfram moments
A A
T
T~n~p
~p; T :
~t ~nT T
~mM
M~n~p
~p:
~t ~m M
O
O M M :
O~t O
H l ; ; ; : : : ;
H~p ~p
EP # ;
# i j EP z
P z ; P z z; P z z ; : : :
P zk
k zP z k P z :
PP
PP
X
� �
12
=1
12
=1 ( )=0
1
1
=12
0 1 22
1 2
~n
i i
i i
i
a
a
a~n ; ~n~t
i i
i i
a i
a i
l
l
i;j
i j
visl ij
ij vis
l
k k k
� �
�
� j jj j � �
� ��
� j jj j
�
� ��
�
� j jj j
�
� � �
j j
j j
� �
1
Thrust
Major and minor values
Oblatness
Fox{Wolfram moments
12.3 Two{body Final State
Neglecting the masses of all the particles, one gets = 1. If momentumis balanced, then = 0. 2{jet events tend to give 1 for even and
0 for odd.The summary of the discussed quantities are presented in Table 12.1.
Summary of event shape variables.
all = 0isotropic 1 - 1 -
2{jet 0 - 1 0 1= 0
1 0planar - 0 - 0 1 -
In the collision of two particles of mass and and momenta and
= ( + ) = + + 2
where the last equation is valid in the frame, where one particle (second one)is at rest (Lab frame).
The energies and momenta of the particles 1 and 2 in their center{of{masssystem (cms) are equal to:
=+
2=
+
2(12.16)
= =[ ( + ) ][ ( ) ]
2(12.17)
or
=1
2( )
where ( ) is the so{called [27]:
( ) ( ) 4 (12.18)
= + + 2 2 2
= ( + ) ( ) (12.19)
81
kinematical function
HH H l
H l
S A T OHm
H
HH ; H
m m p p
s p p m m E m ;
Es m m
s; E
s m m
s;
~p ~p ; ~ps m m s m m
s;
~ps� s;m ;m ;
� x; y; z
� x; y; z x y z yz
x y z xy yz zx
x y z x y z :
q
0
1
0
12
12
1
2 2 +1
1 2 1 2
1 22 2
122 1 2
1
21
22
2
21
22
1 2 1
1 22
1 22
11 2 2
122
2
2 2 2
2 2
l
l
il
k k
Lab
=
��
� ��
�p � p
� j j � � �p
j j p
� � � �� � �
f � p p gf � p �p g
� �
� � �
�
Table 12.1.
12.4 Three{body Final State
Let us now consider the two{body reaction (4{momenta of the particles arepresented in the parentheses):
( ) + ( ) 1( ) + 2( )
+ = +
The Lorentz{invariant Mandelstam variables for reaction 2 2 are de�nedby:
= ( + ) = ( + ) = ( ) = ( ) (12.20)
= ( ) = ( )
and they satisfy+ + = + + +
Two limits of t (corresponding to = 0 and ) equal:
= + 2 2 = (12.21)
= +1
2( + )( + )
1
2( ) ( )
Let us consider three{body decay of particle with mass
( ) 1( ) + 2( ) + 3( )
De�ning+ (12.22)
then
+ + = + + +
and = ( ) = + 2
The 1 3 decay is described by two variables (for example, and ).If is �xed, then limits of variation are equal to:
82
a p b p p p
p p p p
s p p p p ; t p p p p ;
u p p p p ;
s t u m m m m :
# �
t m m E E ~p ~p
m mss m m s m m
s� s;m ;m � s;m ;m :
a M
a P p p p :
p p p ; m p ;
m m m M m m m ;
m P p M m ME :
m mm m
1 2
1 2
21 2
21
22
2
22
12
2 2 21
22
2 21 1 1
2 21
2 2 21
22
1 2 2 2 1 2 21
22
1 2 3
2 2
212
223
213
2 21
22
23
2 2 2 2
12 13
12213
a b
a b
a b a b
a b
a b
cm
a a a
a a b
=a b
=
ij i j ij ij
ij k k k
!
!
� �� �
� � j jj j� � �
�
!
� �
� �
!
�� � � �
12.5 Lorentz Invariant Phase Space
= +1
2( + )( + )
1
2( ) ( ) =
= ( + ) ( ( )
where = and = .2 3 scattering is described by �ve independent variables. For example,
= ( + ) = ( ) = ( )
Lorentz invariant phase space (LIPS) of particles with 4{momenta ( =1 2 ) and the total momentum = is given by:
( ; ) ( )(2 ) 2
(12.23)
Through of this Subsection we use the following notation:
This LIPS can be generated recursively as follows [18, 27]:
= ( ; )(2 ) ( ; ) (12.24)
where = and ( + + + ) ( ) , or:
= ( ; )(2 ) ( ; ) (12.25)
here = and
( + + ) ( )
83
m m mm
m M m m m m
m� m ;M ;m � m ;m ;m
E E E m E m ;
E E
s p p ; m ; m ; t p p ; t p p :
n p j; ; : : : n P p
dR P p ; p ; : : : p � P pd p
� E:
s P :
dR dR P p ; q � dq dR q p ; : : : p ;
q p m m : : : m q P m
dR dR P q; p ; : : : p � dq dR q p ; : : : p ;
q p
m : : : m q P m :
� �
q q
PX Y
P
PX
213
21
23 2
12
212
2 23
212
21
22
212
1 2 212
2 23
1 2 212
21
22
1 32 2
121
23
23
2
1+
2 3 2
2 212
223 1 1
22 3
2
=1
1 2(4)
=1 =1
3
3
2
23 2
1 1 1
1=1 1 2 1
2 2 2 2
+1 +13 2
1
=1
12 2 2
= +1
2
= =
m m m
m
M m m
m
a b q b
jnj j
n n
n
j
j
n
j
j
j
n n n n
ni i n n
n n j j n j j
jl l
j
n
l j
l
� � �
�
� � � �
!
� �
� �
�
� �p
�
� �p
�
�
� � � �
� � � � �
� �
��
�
2
12
2
1
2
2
12
2 2
12
2
3
12
12.6 Width and Cross Section
The integrated LIPS for = = = = 0 equals:
(0) =1
(2 )
( 2)
( 1)!( 2)!( )
Two{particle LIPS equals:
=1
(2 ) 4 =
1
(2 )=
1
(2 )
where is momentum of �rst (second) particle in cms (see (12.17)).
Di�erent choice of and leads to:
=1
(2 )
[ ( + ) ][ ( ) ]
2( + )
=1
(2 ) 21
4= =
=1
(2 ) 2(1 ) = 0
=1
(2 ) 2= = 0
Three body decay �nal state LIPS equals:
=1
(2 ) 4=
1
(2 )
where and are de�ned in (12.22), ( ) is the energy of the �rst(second) particle in rest frame. This is the standard form of the Dalitzplot.
The partial decay rate ( ) of a particle of mass into bodiesin its rest frame is given in terms of the Lorentz{invariant matrix element
by:
� =(2 )
2( ; ) (12.26)
84
partial width
m m : : : m
R�
�=
n nP :
R�
p
Pd
�
�p
P �
�p
s;
p
m m
R�
� s m m s m m
s; m m s;
R�
� m
s; m m m;
R�
� m
s; m ;
R�
�; m m :
dR�
�
sdm dm
�� dE dE ;
m m E EP
M n
M
d�
MM dR P p ; p ; : : : ; p :
Z
q
s
1 2
3
12 2
2 61
2 1 61
2 61
1
1 2
2 6
1 22
1 22
1 2
2 6
2
1 2
2 6
21
2
2 6 1 2
3 9
2212
213 9
21 2
12 13 1 2
42
1 2
n
n n
nn
fi
fi n n
� �
p p p
� � � � p
�
�
j j
�
�
�
�
� �
�
The di�erential cross section of the reaction + 1 + 2 + +( + ) is given by:
=(2 )
2( ; ) (12.27)
= [ ( + ) ][ ( ) ] = 4[( ) ]
85
a b : : : np p P
d��
IM dR P p ; p ; : : : ; p ;
I s m m s m m p p m m :
42
1 2
2 2 2 2 2 2
a b
fi n n
a b a b a b a b
!�
j j� � � �
13 DECAYS
13.1 Standard Model Higgs Decays Rates
Standard Model Higgs is expected to have a mass between 45 Gev and 1 TeV,and, since it couples directly to the masses of other particles, to decay intoheaviest available particles. The SM Higgs decay rates, calculated withoutradiative corrections are as follows (see [33] and references therein):
� � =4 2
where = 1 4 and = 1(3) for = lepton (quark).
( ) � =8 2
1(3 4 + 4)
where = 4 , is ( ){boson mass.Higgs decay into two photons or two gluons proceeds via loops. Its decay
rates are equal [34]:
� =8 2
where = + + + , and (1).
� =4 2 9
where 3 is the sum of contributions from quarks = 1 2given by [35]:
=1 4
1= 2 + (4 1) ( )
where , and
( ) = 2[arcsin(1
2)]
1
4
( ) =1
2ln
1 + 1 4
1 1 4 2+ ln
1 + 1 4
1 1 4
1
4
86
H ff;N G m
�m � ;
� m =m N f
H W W ZZ ;G M m
�
x
xx x ;
x M =m M W Z
H ;� G
�m I ;
I I I I : : : I O
H gg;� G
�
mN ;
N N N j ; ; : : : ;
N dx dyxy
xy i"� � � G � ;
� m =m
G zz
; z ;
G zz
z
�i�
z
z; z :
q
PZ Z
" # " #
23
2 2
+2 2
2
2 2
2
3
3 2
2
3
32
1
0
1
0
2 2
2
22
c F fH
f H c
F H
H
FH
lepton hadron W
s F H
j j j
j
x
m
m
j j j j
j j H
! p
�
! pp � �
! p j j
j j �
! p j j
�
�� �
�
�
� p �p �
�p � �p �
�p � �
�
�
�
2
2
H
j
13.2 and Decays
vanishes for and 1 3 for .
� � =307
( ) =
� (except �)
� =3
512( ) =
� � =2048 cos
(740
3sin +
160
9sin ) ( ) =
( ) =3(1 8 + 20 )
4 1arccos(
3 1
2)
(1 )(27
2
13
2+
1) 3(1 6 + 4 ) ln
The partial decay widthes for gauge bosons to decay into massless fermions� are equal to [4, 18]:
� =6 2
227 1 MeV
� � =6 2
(707 3) MeV
� � =6 2
[ + ]
=167 1 0 3 MeV ( �) 83 9 0 2 MeV ( )298 0 0 6 MeV ( �) 384 5 0 8 MeV ( �)375 2 0 4 MeV ( �)
For lepton = 1, while for quarks = 3(1 + + 1 409 12 77 ),where 3 is due to color and the factor in parentheses is a QCD correction.
87
N m m N = m m
H W ff ;g m
�F � ; �
m
m;
H W ff ; W tb
g m
�F � ; �
m
m;
H Z ff;g m
� #
# # F � ; �m
m;
F zz z
z
z
z
z zz
z z z:
f f
W e � ;G M
�;
W u d ; CG M
�V V ;
Z ; CG M
�g g
: : �� ; : : e e ;: : uu ; : : dd ;: : bb ;
C C : :
X
X
8><>:
4
3
+
4
3
4
3 4
2 4
2 4
2
2
3
2 22
2 4
1 2
+ +3
+3
2 2
32 2
+
( )
q q H q q H
H W
H
H W
H
H
W
W WZ
H
eF W
i iF W
ij ij
i iF Z
iV iA
� M�
��
��
� ! �
!! !
!
� ��p �
�
� � � � �
! p � �
! p j j � � j j
! p �� �� ��
�
� 0
� 0
0 0
�
2
2
3
3
s V s s
W Z
13.3
13.4
Muon Decay
Charged Meson Decay
In the SM the total muon decay width is equal (up to 100% accuracy) to thewidth of the decay
�
The matrix element squared for this decay equals [4]:
= 128 ( ) ( )
Then the total muon width is given by [36]:
� =192
( )(1 +3
5)[1 +
( )
2(25
4)] (13.1)
where ( ) = 1 8 + 8 12 ln , and
( ) =2
3ln( ) +
1
6136
For pure coupling (and neglecting of the electron mass) in the restframe of the polarized muon ( ) the di�erential decay rate is:
�( ) =192
[3 2 (1 2 ) cos ] (cos )
where is the angle between the electron momentum and the muon spin,and = 2 .
The decay constant for pseudoscalar meson is de�ned by [18]
0 (0) ( ) =
The state vector is normalized by ( ) ( ) = (2 ) 2 ( ). Theannihilation rate of the ( � ) � decay is given by
�( � ) =8
(1 ) (13.2)
where = 1 for decay and = (3 ) for � one, andis the heaviest �nal fermion mass.
88
� e � � :
M G p p p p :
G m
�F
m
m
m
M
� m
�� ;
F x x x x x x
� m ��
m
m �:
V A�
d �G m
�x x # x dxd # ;
#x E =m
f P
< A P k > if k :
< P k P k > � E � ~k ~kP q q ff
P ff CG V
�f m M
m
M;
C P l� C V P q qm
2 2
2 5
3
2
2
2
22
3 4 2
1 1
2 5
32
3 3
1 2
2 22 2
2
2
23 4
e �
f � � e �
tot�
F � e
�
�
W
�
��
e
F �
� �
P
� P �
q
F q q
P f Pf
P
l q q
f
!
j j
�
� � �
� �
�
� � �
j jj �
!
! j j �
! j j !
� �
� �
�
�
0 0
0 0
0
0
1 2
3 4
e �
0
0
13.5 Quark Decay
In the region the total quark width is given by [4]:
�( � ) =64
(13.3)
For the case of + the width of the heavy quark decay+ equals [37]:
�( + ) =8 2
2( ) (13.4)
180 MeV
where
( ) = (1 ) + (1 + ) 2
=1
2[ ( + ) ][ ( ) ]
here is (or ) momentum in the {quark rest frame.The width of the heavy decay
+ ( )
is given by [37]:
�( + ( ) =192
( ; ;�
)
where
( ) = 2( ) 1 + + 2( + + )
[(1 ) + ]
( 0 ) =2[ 3(1 )] + 2 (1 ) [3(2 ) (2 + )(1 ) ]
= ln+ 1
+ (1 )=
1[arctan(
1) arctan(
1)]
89
m M
Q q q qG m
�V V :
m m m QW q
Q W qG m
�V
k
mf
m
m;M
m
Vm
m;
f x; y x x y y ;
km
m m m m m m ;
k W q QQ
Q q W l�
Q q W l�G m
�V F
m
m
m
m m;
F a; b; c dtf b; t b t b bt t
at c;
F a; ; c
ac a A a a a a c a a B;
Ac
c a; B
a c c
a
c:
� �
q
Z q
2 3 4
2 5
32 2
32
2
2
2
2
23
2 2
2 2 2 2
2 5
3
2
2
2
2
2
2
(1 )
0
2 2
2
42
2
q W
F QQq q q
Q W q
F QQq
q
Q
W
Q
QqQ
W
Q
QQ W q Q W q
F QQq
Q
W
q
Q
W
W
b Q
�
! j j j j
� !
! p j j
� j j
� �� � �
! !
! ! j j
��
� � � � � � �
� p p � �p
0
�p
2 3 4
2
0
13.6 Heavy Quarkonia Decays
Suppose that the matrix element of the vector state decay isgiven by
= �( ) ( )
Then
�( ) =12
=12 �( )
Denote 4 (0) , where (0) is bound state wave function in theorigin.The width of the decay of the quark antiquark vector state 1 equals:
�(1 ) =4
3where = 1(3) for colorless (color) quarks, is the e�ective charge:
= ( � �) = ( + ) =
= ( � + �) = ( ) =
= � == � =
� = � =
For positron annihilation (with = 1) one has:
�(0 ) =4
�(1 ) =16
9( 9)
For quarkonia annihilation one gets:
�(0 ) =12
For the two (three) gluon annihilation one need to change : 2 9( 5 18):
�(0 ) =8
3
�(1 ) =40
81( 9)
90
V V l l
M g e u l u l :
V l lg
�M ; g
� V l l
M:
R �
l l N� Q
MR :
N Q
� uu dd Q ;
! uu dd Q ;
� ss Q ;J= cc Q ;
bb Q :
Q
�
MR ;
��
�
MR :
� Q
MR :
� Q � =� � =
gg�
MR ;
ggg��
�
MR :
s
+
+
+2 +
20
2
+2 2
220
12
2 12
23
13
2 12
12
2 12
23
13
2 118
2 19
2 49
2 19
2
220
23
220
2 4
220
2 4 2
3 3
2
220
23
220
V�V
�
VV V
V
cq
c q
q
q
q
q
q
e
q
q s
s
s
s
!
�
! !
� j j
!
� ) j j) j � j)))
!
! �
!!
!
!
! �
�
�
��
��
�� �
p p
p p
�
��
�
�
��
QQ( �)
14 CROSS SECTIONS
14.1 Annihilation
For pointlike spin{ fermions the di�erential cross section in the cms for� via single photon and {boson (with mass and total width
� ) is given by [18]:
=
41 + cos + (1 ) sin (14.1)
+4
(1 + )[1 + cos + (1 ) sin ] (14.2)
+ (1 + )[1 + cos ] 8 cos
42 [1 + cos + (1 ) sin ] (14.3)
2 cos
where = 1 4 is the velocity of the �nal state fermion in the center
of mass, is the charge of the fermion in units of the proton charge,
=1
16 sin cos
( )
( ) + �
=1
256 sin cos ( ) + �
= 1 + 4 sin = 2 4 sin = 2
here the subscript refers to the particular fermion and
= +1
2for
=1
2for
The �rst (14.1), second (14.2), and third (14.3) terms correspond to the� process via single photon annihilation, via {boson exchange,
and photon { {boson interference, respectively.For (i.e. 1) the annihilation via single photon exchange (14.1)
91
e e ff Z M
d�
d
�
s�Q # � #
�
s�� V V # � #
� a V # �V V a #
�
s� Q � V V # � #
a � # ;
� m =s
Q
�# #
s s M
s M M;
�# #
s
s M M;
V # ; V T Q # ; a T ;
f
T �; u; c; t;
T l ; d; s; b:
e e ff ZZ
s m �
n on
ono
q
12
+
22 2 2 2
2
22 2 2 2 2
2 2 2 2
2
12 2 2
2
1 2 2
2
2 2 2 2
2 4 4
2
2 2 2 2
23
23
3
3
+
2
Z
Z
f
f
f f f
f f
f
f
f
W W
Z
Z Z Z
W W Z Z Z
W f f f W f f
f
!
�
��
� ��
�
��
�� �
�
!
� !
�
�
�
e e+ �
14.2 Two{photon Process at Collisions
tends to:
=4
3
86 3
(GeV )nb (14.4)
When an and collide with energies and , they emit andvirtual photons with energies and and 4{momenta and . In
the equivalent photon approximation (EPA) [38], the cross section for thereaction
(14.5)
is related to the cross section for by:
( ) ( ) = ( ) (14.6)
where = 4 , = 4 and
= 1 +2 ( )
After integration (including that over in the region ( )( ) ), the cross section is
( ) = ( ) ln( )
1ln
3( ) (14.7)
where = , and
( ) = (1 +2) ln
1 1
2(1 )(3 + )
The value ( ) depends on properties of the produced system . Forexample, ( ) for hadron production ( = ), and ( )
for the lepton pair production ( = ).For the production of a resonance of mass and spin = 1 one has:
( ) = (2 + 1)8 �( )
(14.8)
( )(ln 1)1
3(ln )
92
���
sQ
: Q
s:
e e E E dndn ! ! q q
e e e e X
X
d� s d� s dn dn d� W ;
s E E W ! !
dn�
�
!
E
!
E
m !
q E
d!
!
dq
q:
q m ! =E E !q q
� s�
�
dz
zf z
q
m z
z� zs ;
z W =s
f zz
zz z :
q Xq m X h q
M X l lM J
� s J� R
M
fM
s
sM
m M
s
M;
h i
Z " ! #
" #
22
2
2
+1 2 1
2 1 2 1 2
+ +
1 22
1 22
1 2
2
2
2 2
2 2
2
2
2 2 2
2 2
2
2
1 2
2
2 3
2
2
2
2 2 2
2 +
2
3
2 20
2 22
23
ff
EPA e e e e X X
ii
i
i
i
e i
i i
i
i
i
i
i e i i i i
i max
EPAz
max
e X
max
max � max
ll
R
EPAR
R
e R R
�
!!
�
� � ��
� � �� � �
� �
�� � � �
6!
� � �
�
� �
! !
!
�
+ +
th
� �
e e+ �
14.3 Reactions
where is the mass that enters into the from factor of the tran-sition: for = and for = � or �
resonances.
The reaction of the lepton hadron deep inelastic scattering (DIS)
( ) ( ) ( ) (14.9)
is described by the following invariant kinematic variables (the 4{momentaand masses of the particles are denoted in the parentheses) [18]:
= is four{momentum transferred by exchanged particle ( , , or) to the target,
= = is the lepton's energy loss in the lab frame, and arethe initial and �nal lepton energies in the lab,
= = 2( ) if sin ( 2) then4 sin ( 2), where is the lepton's scattering angle in the
lab,
= = in the parton model, is the fraction of the target hadron'smomentum carried by the struck quark,
= = is the fraction of the lepton's energy lost in the lab,
= ( + ) = + 2 is the mass squared of the system recoil-ing against the lepton,
= ( + ) = +
The di�erential cross section of the reaction (14.9) as a function of the dif-ferent variables is given by
= ( ) =2
= ( )
93
M RM m R � ; � ; !; �; : : : M M R cc bb
l k;m h P;M l k ;m X;
q k k ZW
� E E E E
Q q EE ~k ~k m m ; EE #= m ; m ;Q EE #= #
x ; x
y ;
W P q M M� Q ;
s P k M :
d �
dxdy� s M
d �
d�dQ
�M�
E
d �
d dEx s M
d �
dxdQ:
0
00 0
0
2 2 2 2 2 2 2
2 2
2 2
2 2 2 2
2 2
22
2
2
22
2
2
� R
l l
q PM
l l l l
QM�
Qq P
q Pk P
�E
Qxy
lab
!� �
!
�
�
� � � � � ��
�
� �
0 0
0
�
� 0 0
0 0 0
0
�
�
�
0 0
2 2
2
0
0 0
l h
14.4 Cross Sections in the Parton Model
Parity conserving neutral current process, , can be written interms of two structure functions ( ) and ( ):
=4 ( )
(14.10)
(1 ) +( )
Parity violating charged current processes, and , can bewritten in terms of three structure functions ( ), ( ), and
( ):
=( )
2 ( + )(14.11)
[(1( )
] + (2)
where the last term is positive for and reactions and negative for and� reaction.
In the framework the reaction
(14.12)
where is a particle (or group of the particles) with large mass (invariantmass) or with high can be considered as a result of the hard interactionof the one {parton from hadron with {parton from hadron. Then thecross section of the reaction (14.12) can be written as follows:
( ) = ( ) ( )^( ) (14.13)
where sum is performed over all partons, participating in the subprocess; ( ) is in {hadron; is a typical momentum
transfer in partonic process and ^ is partonic cross section.
94
parton model
parton distribution
l h l XF x;Q F x;Q
d �
dxdy
�� s M
Q
y F y xFM
s MxyF :
lh �X �h lXF x;Q F x;Q
F x;Q
d �
dxdy
G s M
�
M
Q M
yM xy
s MF y xF y
yxF ;
l � l�
h h C X;
Cp
i h j h
� h h CX f x ;Q f x ;Q � ij C dx dx ;
ijC f x;Q h Q
ij C �
h i
n o
XZ
12
22
2 2 2
4
22
1
2
2 2
12
22
32
2 2 2 4
2 2 2
2
2 22
1
2
3
+
1 2
1 2
1 2 12
22
1 2
2
NC NC
NC NC NC
CC CC
CC
F W
W
CC CC CC
ij
hi
hj
hi
!
�
� � � �! !
�
� � � � � �
!
! !
!
!
� �
�
>
1 2
14.5 Vector Boson Polarization Vectors
Let us consider a vector boson with mass and 4{momentum ( = ).Three polarization vectors of this boson can expressed in terms of ,
= ( ) = +
as folows [39]:
( = 1) = (0 )
( = 2) = (0 0)
( = 3) = ( )
(14.14)
It is easy to verify that
( ) = 0 ( ) ( ) = (14.15)
For = 0 (i.e. = ( 0 0 )) these polarization vectors can be chosen asfollows:
( = 1) = (0 0 1 0)( = 2) = (0 1 0 0)( = 3) = ( 0 0 )
(14.16)
Massless vector boson has only two polarization states, = 1 and 2, on itsmass-shell.In the axial gauge for the polarization vectors of the gluon there appearsan additional condition (see Subsection 10.3):
( ) = 0
where is axial gauge �xing vector.For this case polarization vectors ( = 1 2) can be chosen as follows:
( ) = ( )( )
(14.17)
where ( ) are given in (14.14) or (14.16).
95
m p p mp
p E; p ; p ; p ; p p p
" p; � ; p p ; p p ; p ;
" p; � ; p ; p ; ;
" p; � ; p ; p ; p :
p " p; � ; " p; � " p; � � :
p p E; ; ; p
" p; � ; ; ; ;" p; � ; ; ; ;" p; � p; ; ; E :
�
�
� p; � n ;
n� p; � ;
� p; � " p; �" p; � n
p np ;
" p; �
q
9>>=>>;
9>=>;
2 2
2 2
1 2
1
1
�
�
�x y z x y
�~p p x z y z
�p y x
� Em ~p
~pE x y z
��
��
��
�
�
�
�m
�g
�g
�
�g
�g
� �
�
��
�
� ��
>
j j >
j j
0
>
2
>
>
0
For the system of two photons (gluons) with momenta and thepolarization vectors can be written in the explicitly covariant form:
( ) =1
2�( ) ( ) ( ) (14.18)
where sign +( ) corresponds to positive (negative) helicity, is any arbitraryvector, which is independent on and (it may be a momentum of someparticle), and
� = = ( )(2 ( )( ) ( ))
These vectors were considered also in Subsection 6.6.Projectors on various combinations of the helicity states look as follows:
1
2(+) ( ) + ( ) (+) =
1
2( )( ( ) )
1
2(+) ( ) ( ) (+) =
2 ( )1
2(+) (+) + ( ) ( ) =
1
2�2[( )( )( )
+ ( ) ( )(( ) + ( ) )]
+ ( )( ( ) )1
2(+) (+) ( ) ( ) =
2�(( ) ( ) ) + (( ) ( ) )
=( )
2�+ ( ) + ( )
96
p p"
" p p q qp p qp p i" q p p :
qp p
� p p qp qp q p p :
" " " "p p
p p p p g ;
" " " "i
p p" ;
" " " " p p qp qp g
q q p p p p qp p q qp p q
q p p p p p p g ;
" " " " u
ip p q qp p " p p q qp p " ;
i p pq " q " qp " qp " :
� �
� �� �� �
� �
� �
1 2
1(2)
31 2 2 1 1 2 1 2
1 2
3 1 2 1 22
1 2
1 2 1 21 2
1 2 1 2
1 2 1 21 2
1 2 1 23
1 2 1 2
1 22
1 2 1 2 2 12
1 2 1 2 1 2
1 2 1 2
31 2 1 2 1 2 2 1
1 2
31 2
�
�i
� � � ���� �� �
qp pqp p
� � � � � � ��
� � � � p p ��
� � � � ��
� � � � � �
� � ��
� � � �
� � �qp p � � �qp p
� �qp p � �qp p p q�� p q��
�
� p � � �
�
�
� � �
� � � �
� � f�� g� � �
f � � g
1 2
1 2
1 2
1 2 1 2
1 2 1 2 2 1
Two Photons (Gluons) System
15 MATRIX ELEMENTS
15.1 General Remarks
In this Section we present the matrix elements squared for variousprocesses in the Standard Model. Almost all of these were presented inthe book by R. Gastmans and Tai Tsun Wu [14]. The symbol is usedto denote the square of the absolute value of the matrix element summedover the and degrees of freedom (polarization and color), but
averaging over the state degrees of freedom.So, one can use the well{known crossing relations to obtain for pro-
cesses di�ering from each other by repositioning the �nal and/or initial par-ticles. The averaged over the initial state degrees of freedom matrix elementsquared can be obtained from by trivial procedure:
:1
2
1
2(spin) =
1
4
� �� :1
2
1
2(spin)
1
3
1
3(color) =
1
36
� :1
2
1
2(spin)
1
8
1
3(color) =
1
96
:1
2
1
2(spin)
1
8
1
8(color) =
1
256
For the 2 2 processes the di�erential cross section is related to theas follows:
(2 2)=
16(15.1)
where and are de�ned in (12.20) and (12.27).The notations, used through of this Section, are the same as in Section 10:
is the electric charge of the positron, = ,
is the charge of the quark in units of the positron charge,
is the QCD coupling constant, = ,
is the Fermi constant.
97
MM
MM
M
M M
e e ; e ; M M ;
qq; qq; qq M M ;
gq; gq M M ;
gg M M :
M
d�
dt
M
�I; I s ;
t I
e � �
Q
g � �
G
2
2
2
2
2 2
+ 2 2
2 2
2 2
2 2
2
2
22 2
41137
4
QEDe�
f
s QCD sg�
F
j jj j
j j
j j
j j j j
� ) j j j j
� � ) j j j j
� � ) j j j j
� � ) j j j j
! j j
! j j �
� �
�
� �
2
2
s
initial �nalwithout initial
15.2 Matrix Elements
As in Section 12 for the reaction 2 2
( ) + ( ) 1( ) + 2( )
+ = +
the Lorentz{invariant Mandelstam variables for reaction are given by
= ( + ) = ( + ) = ( ) = ( )
= ( ) = ( )
+ + = + + +
�
( = , = ).
= 81
+ + ( + )(2 ) (15.2)
= 8+
for = = 0
�= 3
The detailed description of the process � with {boson exchangeis presented in Subsection 14.1.
= 81
+ + 8 ( ) (15.3)
+2( 2 )( 6 )
= 8+ +
for = 0
98
(no {boson exchange)
(no {boson exchange)
a p b p q q
p p q q
s p p q q ; t p q p q ;
u p q p q ;
s t u m m m m :
e e ff Z
e e l l l e l �; �
M es
t u m m s m m ;
et u
s; m m :
e e qqM Q M :
e e ff Z
e e e e Z
M es
t u m s m
stu m u m ;
es t u
s t; m :
� �
n � �o
1 2 1 2
1 2 1 2
1 22
1 22
1 12
2 22
1 22
2 12
2 2 21
22
+
+ +
2 42
2 2 2 2 2 2
42 2
2
+
2 2 2
+
+ +
2 42
2 2 2 2
2 2
44 4 4
2 2
a b
e e f e f
e f
q f e
!
!
� �� �
!� ! 6
j j � �
� !j j j j
!
!
j j �
� �
�
� �
�
�
� �
15.2.1
15.2.2
( ) + ( ) ( ) + ( ) + ( ) = 0
= 8( )( ) ( ) + ( )
( )( )
= = 0For the case of = ( + ) 4 , i.e. in the limit
= = ( 0)
the is given by [2]:
= 64 + + (15.4)
where is {photon energy in cms.
( ) + ( ) ( ) + ( ) + ( ) = = 0
Invariants:
= 2( ) = 2( ) = 2( ) (15.5)
= 2( ) = 2( ) = 2( )
= , for example,
= 4 ( )+ + +
(15.6)
= , i.e.
= 4 ( )( + ) + ( + ) + ( + )
(15.7)
where in (15.6) and (15.7) we use:
( ) ( ) ( ) ( )(15.8)
99
e e
e p e p k k k ; m :
M ep k p k p k p k
p k p k:
e e ; m m :s p p m
p p m; ;
M
M em !
! !
m !
! !
m !
! !;
! i
e e l l
e p e p l q l q k ; m m :
s p p ; t p q ; u p q ;
s q q ; t p q ; u p q :
l e e e � �
M e v vt t u u
ss:
l e e e e e
M e v vss s s tt t t uu u u
ss tt:
vp
p k
p
p k; v
q
q k
q
q k:
P � �Q
�� � � � � � �
+
+1 2 1 2 3
2 6
3
=11 2 1
22
2
3
=11 2
+
2 2
2
2 6 1
2 3
2 2
1 3
2 3
1 2
2
+ +
+1 2
+1 2
1 2 1 1 1 2
1 2 2 2 2 1
+ +
2 6 22 2 2 2
+ +
2 6 22 2 2 2 2 2
1
1
2
2
1
1
2
2
e
ii i i i
ii i
e
e e
e e
i
e l
p q
p q
�p
� ��q
� �
!� !
j j
� ! 6!
j j
j j � � �
!
!
� �� �
� 6 !
j j � �
� !
j j � �
� � � �
�
�
�
� �
� �
0 0 0
� �
0 0
0
� �
0 0 0 0 0 0
0 0
+
+
�
�
15.2.3
15.2.4
�
For this reaction the invariants are the same as in (15.5).
= 16+ + +
( )( )(15.9)
�
For this reaction the invariants are the same as in (15.5).
= 12 ( + )+ + +
(15.10)
where and are de�ned in (15.8).
� = = 0
The �nal �{pair can be in color or color �nal states.
= 161
3= 16
7
36
= + = 168
36 (15.11)
where
= + + 4 + (15.12)
4 +
=( )( )
(15.13)
For = 0,
=+
=
100
,
singlet octet
e e qqg
M e Q gt t u u
s q k q k:
e e qq
M e v Q vt t u u
ss;
v v
gg qq m m
M g � ; M g � � ;
M M M g � � ;
�m t
m u
m u
m t
m
m t
m
m um
m t
m
m u;
�m t m u
s:
m
�t u
ut; �
ut
s:
� � � �� �
� �� �
+
2 4 2 22 2 2 2
1 2
+
2 6 22 2 2 2
2 40
2 40 1
2 2 2 40 1
0
2
2
2
2 2
2
2
2
2
2
2
1
2 2
2
0
2 2
1 2
f s
p f q
p q
q
singl s oct s
tot singl oct s
q
!
j j
!
j j �
! 6
j j j j �
j j j j j j �
��
�� � �
� � �� �
�
0 0
�
0 0
0
15.2.5
15.2.6
15.2.7
( ) �
�= 32
�= 24
= 8
� � = 0 = = 0
= 16+ + 2 (2 )
(15.14)
= 0
= 16+ + 8
3(15.15)
� � = 0
= 161
[ + +8
3] (15.16)
= 288( + + )( + + )
(15.17)
� �
( ) + � ( ) ( ) + � ( ) = 0
= 128( )( )
( ) + �(15.18)
where = 1 for � � , = 3 for � � ( � �), and = 9for � � , and � are the mass and total width of the {boson.
101
, ,
,
,
g ff
g qqM g e Q � :
qqM e Q � :
e eM e � :
qq QQ m m m
M gt u m s m
s:
qq qq m
M gs t u
t u
s
tu:
qq qq m
M gs t
s t u stu :
gg gg
M gs t u s t u
s t u:
f f W f f
f p f p f p f p ; m :
M C G Mp p p p
s M M;
C l � l � C l � qq qq l � Cq q q q M W
" #
2 2 2 20
2 4 40
+
2 40
2 42 2 2 2
2
2 44 4 4
2 2
2
2 42 2
4 4 4 2
2 44 4 4 2 2 2
2 2 2
1 2 3 4
1 1 2 2 3 3 4 4 1 2 3 4
2 2 4 1 4 2 3
2 2 2 2
1 2 3 4
s f
f
q Q
s
q
s
q
s
s
; ; ;
F WW W W
W W
!� !
j j� !
j j� !
j j
! 6
j j �
!
j j �
!
j j �
!
j j
! !
! 6
j j �! ! !
!
�
�
� 0� 0 � 0 0 �
15.2.8
15.2.9
15.2.10
15.2.11
15.2.12
15.2.13
� �
( ) + �( ) ( ) + �( ) + ( ) = 0
= 256( ) + �
(15.19)
=1
( )( )( ) + ( )
( + )2(( ) + ( )) ( )( ) ( )( )
=2
( )( ) ( ) + ( )
=2
( )( ) ( ) + ( )
102
l � dug
l p � p d p u p g k ; m :
M G M gA A A
s M M;
Akp kp
s p p p p
m ms
p p p p p p p p p p p p ;
Am
kpp p p k p p ;
Am
kpp p p k p p :
n � �� �o� �� �
1 2 3 4
2 2 4 2 1 2 3
2 2 2 2
13 4
1 42
2 32
2 21 4 2 3 1 3 2 3 1 4 2 4
2
2
42 2 3 1 1 4
3
2
32 1 4 2 2 3
d;u
F W sW W W
u d
u
d
!
! 6
j j � ��
� � �
�
�
15.2.14
16 MISCELLANEA
16.1
16.2
Miscellanea
Properties of Operators
Let us consider the recursion = + for given and .Then
= +
=2[1 1 + 4 ] = =
Various representations of the {function:
( )1
(2 )
( ) =( + 1)
; ( ) =( + )
0
( ) = ( ) =sin( )
( )1
=1
( )
{functions �( ) and ( )
�( )1
(2 )=
1 00 0
( )1
( )=
1 01 0
1
( )=
�( )0
( ) = ln+
+
The various properties of the operators can be found, for example, in [5,40, 41]. Let ( ) be any function from the operator (matrix) , which can
103
Dirac
Step
A aA bA A A
A �z �z ;
za
b=a ; �A z A
z z; �
z A A
z z:
�
� x�
e dt;
� x; ��
� � x; � � x; �
�
� x �; � ;
� x; ��
�e ; � ; � x; �
�
�
�x
�x; � ;
x i" xi�� x :
x " x
x�i
e
t i"dt
; x >; x <
" xi�
e
tdt
; x >; x <
a i"
i
ke � d�; k ;
e edt
t
b i"
a i":
f A A
q
Z
Z (Z (
ZZ � �
1 2 0 1
1 2
1 22 1 2 0
1 2
1 0 1
1 2
2 2 2 2
0
( + ) 1
0
n n n
nn n
;
ixt
� x
ixt
ixt
k
ki� a i" k
ita itb
�
� ��
��
�
�
!1 !
p !1 !1
� P �
�
� �
� P ��
� �
�
� �
1
�1
�
1
�1
1
�1
1
� �
1
2 2
16.3 The Baker-Campbell-Hausdor� Formula
expanded into series with respect to operators (matrices) :
( ) =
Let be a parameter, then:
= 1 = =
( ) = ( )
Let and be noncommuting operators, and be parameters ( inte-ger). Then:
= ( )
( ) = ( )
= + [ ] +2![ [ ]]+
3![ [ [ ]]]+
Let be an operator and there exists the inverse operator . Then forany integer :
= ( ) ( ) = ( )
Let ( ) be an operator, depending on the scalar variable , then
( )= ( )
( )( )
=( )
Let and be non{commuting operators, then :
= (16.1)
where
= + ; (16.2)
104
A
f A c A :
�
e e ; e Ae A; e A e A ;
e f A e f A :
A B � n n
e B e e Be ;
e F B e F e Be ;
e Be B � A;B�A; A;B
�A; A; A;B
A An
AB A ABA ; Af B A f ABA :
A x x
dA x
dxA x
dA x
dxA x ;
de
dxe
dA t
dte dt:
A B
e e e ;
Z A B
X
Z
P
=0
2 3
1
1 1 1 1
11 1
( ) 1
0
(1 ) ( ) ( )
1
n
n
nn
�A �A �A �A �A n �A n
�A �A
�A n �A �A �A n
�A �A �A �A
�A �A
n n
A xt A t tA t
A B Z
�
�
� � �
�
�
�
1
� � �
�
� �
� �
�
�
� � � �
�
� �
�
=1ii
1
=1
2[ ]; (16.3)
=1
12[ ] +
1
12[ ] ; (16.4)
=1
48[ ] +
1
48[ ] ; (16.5)
=1
120[ ] +
1
120[ ] (16.6)
1
360[ ]
1
360[ ]
1
720[ ]
1
720[ ]
The other terms can be evaluated from the relation (see [5, 41]):
1
( + 1)![[ ]] = +
[[ ]]
!(16.7)
where = ; = ; = . The repeatedcommutator bracket is de�ned as follows
[[ ]] = [[ ]] = [[ ]]
Since relation (16.7) must be satis�ed identically in , one can equate thecoe�cients of on the two sides of this relation. In particular, = 0 1 2 3 4gives (16.2, 16.3, 16.4, 16.5, 16.6), respectively.
105
Z A;B
Z A; A;B A;B ;B
Z A; A;B ;B A; A;B ;B
Z A; A;B ;B ;B A; A; A;B ;B
A; A;B ;B ;B A; A; A;B ;B
A; A; A; A;B A;B ;B ;B ;B ; : : :
kZ ; Z A �
A ;B
j;
e e e Z � Z Z n� Z
A ;B B; A ;B A; A ;B :
�� j ; ; ; ;
� � � �h � �i h� � i�h � �i � � h� � i�� h� � i� �h � �i �� h � �i� �h� � i �
X X
P P� �
2
3
4
5
=0 =0
=1 =11
0 +1
k
k
j
jj
Z �A �Bn
nn n
nn
n n
j
� �
� �
1
0
1
1 0 1 �
REFERENCES
[1] Bogolyubov N.N. and Shirkov D.V.,(Chichester: Wiley{Interscience, 3rd edn, 1980).
[2] Berestetskii V.B., Lifshits E.M., and Pitaevskii L.P.,(Moscow: Nauka, 1980) (in Russian).
[3] Itzykson C. and Zuber J.-B., (New York:McGraw-Hill, 1980).
[4] Okun' L.B., (Moscow: Nauka, 1981) (in Russian).
[5] Veltman M., (Cambridge:Cambridge University Press, 1994).
[6] Dubrovin B.A., Novikov S.P., and Fomenko A.T., in ,(Moscow: Nauka, 1979) (in Russian).
[7] Cartan E., (Paris: Hermann, 1966).
[8] Green M.B., Schwarz J., and Witten E., in (Cam-bridge: Cambridge University Press, 1987).
[9] van Oldenborgh G. and Vermaseren J.A.M, , 425 (1991).
[10] Penrose R. and Rindler B., (Cambridge: Cam-bridge University Press, 1986).
[11] de Causmaecker P., Gastmans R., Troost W., and Wu T.T.,, 215 (1981).
[12] Bogush A.A. et al., in(Moscow: Nauka, 1989).
[13] Rogalyov R.N., , 384 (1994).
[14] Gastmans R. and Tai Tsun Wu,(Oxford: Clarendon Press, 1990).
[15] Dittner P., , 238 (1971).
106
Introduction to the Theory of Quan-tized Fields
Quantum Electro-dynamics
Quantum Field Theory
Leptons and Quarks
Diagrammatica { The Path to Feynman Rules
Modern Geometry
Theory of Spinors
Superstring Theory
Z. Phys.
Spinors and Space-time
Phys. Lett.
Proc. of the XI Workshop on Problems on HEPand FT
Teor. Mat. Fiz.
The Ubiquitous Photon, Helicity Methodfor QED and QCD
Comm. Math. Phys.
C46
105B
101
22
[16] Cvitanovic P., , 1536 (1976).
[17] Aoki K., Hioki Z., Kawabe R., Konumu M, and Muta T.,, 1 (1982).
[18] Montanet L. et al. (Review of Particle Properties), ,Part I, (1994).
[19] Faddeev L.D., in (Proc. Les Houches SessionXXVIII, 1975), ed. R. Balian and J. Zinn{Justin.
[20] Liebbrandt G., (Singapore: World Scienti�c,1994).
[21] Burnel A., , 1221 (1990).
[22] Bassetto A., , 2012 (1985).
[23] t'Hooft G. and Veltman M., , 189 (1972).
[24] Bateman Manuscript Project, , ed.A. Erd�elyi (New York: McGraw-Hill, 1953) vol. 1.
[25] Prudnikov A.P., Brychkov Yu.A., and Marichev O.I.,(Moscow: Nauka, 1986) (in Russian).
[26] Lewin L., (London: Macdonals,1958).
[27] Byckling E. and Kajantie K., (New York: J.W. &Sons, 1973).
[28] Sj�ostrand T., ,CERN{TH.7112/93.
[29] Bjorken J.D. and Brodsky S.J., , 1416 (1970).
[30] MARK J Collaboration, Barber D.P. et al., , 830(1979).
107
Phys.Rev.
Supplementof the Progress of Theoretical Physics
Phys. Rev.
Methods in Field Theory
Noncovariant Gauges
Phys. Rev.
Phys. Rev.
Nucl. Phys.
Higher Transcendental Functions
Integrals and Se-ries (Supplementary Chapters)
Dilogarithms and Associated Functions
Particle Kinematics
PYTHIA 5.7 and JETSET 7.4, Physics and Manual
Phys. Rev.
Phys. Rev. Lett.
D14
73
D50
D40
D31
B44
D1
43
[31] Brandt S., Peyrow Ch., Sosnowski R., and Wroblewski A.,, 57 (1964);
Fahri E., , 1587 (1977).
[32] Fox G.C. and Wolfram S., , 413 (1979).
[33] , Ed. J. Ellis and R. Peccei, CERN-86-02, vol. 1, 1986.
[34] Ellis J., Gaillard M.K., and Nanopolous D.V., , 292(1976);Gaillard M.K., , 31 (1978);Ansel'm A.A., Uraltsev N.G., and Khoze V.A., ,113 (1985);Resnick L., Sundaresan M.K., and Watson P.J.S., , 172(1979);Wilczek F., , 1304 (1977).
[35] Georgi H., Glashow S.L., Macahek M.E., and Nanopolous D.V.,, 692 (1978).
[36] Marciano W.J. and Sirlin A., , 1815 (1988).
[37] Bigi I.I. et al., , 157 (1986).
[38] Budnev V.M., Ginzburg I.F., Medelin G.V., and Serbo V.G.,, 181 (1975);
Brodsky S., Kinoshita T., and Terazawa H., , 1532 (1971).
[39] Hagiwara K. and Zeppenfeld D., , 1 (1986).
[40] Louisell W. H., (New York:McGraw-Hill, 1964, Chap. 3).
[41] Wilcox R. M., , 962 (1967).
108
Phys. Lett.
Phys. Rev. Lett.
Nucl. Phys.
Physics at LEP
Nucl. Phys.
Commun. Nucl. Part. Phys.Sov. Phys. Uspekhi
Phys. Rev.
Phys. Rev. Lett.
Phys.Rev. Lett.
Phys. Rev. Lett.
Phys. Lett.
Phys. Re-ports
Phys. Rev.
Nucl. Phys.
Radiation and Noise in Quantum Electronics
J. Mat. Phys.
1239
B149
B106
828
D8
39
40
61
181B
15CD4
B274
8