PHYSICAL
REVIE%
0
VOLUME18,
NUMBER 4Simple
modelfor
vector
bosoms15
AUGUST1978
Mustafa Ham
Department ofPhysics, Middle East Technical University, Ankara, Turkey (Received 20April 1978)
Using the analogy between the SL(2,C) gauge theory ofgravitation and the Yang-Mills theory, we propose amodel for massive vector bosons. The model is based on the Geroch-Held-Penrose treatment of gravitation in which a reduction from SL(2,C)to an Abelian subgroup ofit ismade. It is shown that the proposed model is unitary atthe two-loop level.
I.INTRODUCTION
Spontaneous symmetry breaking was considered to be the only possible method
for
introducing mass termsfor
the vector bosons.'
Recently Hsu and Mac' proposed a new SU(2) model where intrinsic'rather than spontaneous breaking ofgauge sym-metry
is
used. Their Lagrangianis
not invariant under the usual local SU(2) transformations but isinvariant under
a
local Abelian gauge transforma-tion. In this paper we propose still another SU(2) modelfor
massive vector bosons where the massesare
introduced without spontaneously breaking thegauge symmetry. Our Lagrangian also
is
not in-variant under the local SU(2) transformation butis
invariant undera
local Abelian subgroup Co ofSU(2). Our global C'-invariant Lagrangian con-tains charged
scalar
fieldsP'
anda
pair of Max-wellian fields as thecarrier
fields of the forma-lism. These fields can be replaced by spinor andProca
fields, respectively. Then extension to local C invariance requires the introduction ofamass-less
vector boson (photon) in accordance withUtiyama's theory ofcompensating fields. The
photon introduced by this method together with the
initial pair of Maxwell fields constitutes the local
SU(2) Yang-Mills' (YM)
triplet.
However, instead of Maxwellian fields we shall choose the initialcarrier
fields to beProca
fields and demand local C' invariance rather than local SU(2) invariance.The basic idea in our theory therefore
is
tore-duce from
a
non-Abelian group invariance toan Abelian subgroup invariance and exploit the local gauge freedom in the manner of U'tiyama. This choice provides us with the decomposition of thethree SU(2) YM fields into
a
photon and two mas-sive vector bosons. The same procedure can be generalized to gauge groups ofarbitrary rankwhich admit an Abelian subgroup.
For
the SU(N)case
thereare as
many photons as the rank, namely NI,
and one f-inds N(NI)
massivevec--tor
bosons. Similarlyfor
the group SU(2)x
U(l) thereare
two photons (thefirst is
the usual photonofelectrodynamics and the second comes from the
local C' invariance of the theory) and two charged
massive vector bosons.
The idea of formulating
a
non-Abelian gaugetheory within the context ofone of its Abelian subgroups seems an interesting concept although
it
is
nota
completely new one.%e
canrefer
toa
previous example of such an idea in the SL(2,C)gauge theory of gravitation. It
is
well known that the general theory of relatively, in the null-tetrad version ofNewman andPenrose'
(NP), can becast as a
gauge theory of gravitation with struc-ture group SL(2,C).
'
In a,particular version of the null-tetrad method, Geroch, Held, andPen-rose'
(GHP) have formulateda
reduction' from SL(2,C)to an Abelian subgroup ofit.
The resulting theoryis a
bona fide theory of gravity which, ina
class
of space-times, completely reproduces theresults of the SL(2,C)formalism. The procedure
for
sucha
reduction amounts to identification oftwo of the four principal directions of the Riemann
tensor
as
the direction of propagation of gravita-tional fields, and the gauge freedom left inthe problem turns out to be tetrad rotations for theprincipal
vectors.
Our procedurefor
YM theoriesamounts to the same procedure, namely to single
out
N-
I
directions of SU(N) in the internal space and study the theory within the reduced gauge freedom.Il.THE FORMALISM
Consider charged massive
scalar
fieldsp'
to-gether with given massive vector fieldsa'„all
ofwhich transform according to the adjoint
repre-sentation of an Abelian subgroupC'
of SU(2), namelywhere A denotes half of the angle of rotation around
inter-18
SIMPLE
MODEL FORVECTOR BOSONS
1273nal axis as the invariant direction. The Lagrangian of the uncoupled system is given by
(2) where
E„'„=~„a'„—
a„a„'is
a Maxwelltensor.
L,
is
invariant under the constant-phasetransforma-tions
a„-
e'"a„.
After making Xan arbitrary function of space-time, we introduce the compensating field
A„
inorder to preserve the local gauge invariance. In contrast to the
case
of electrodynamics weintro-duce Pauli-moment-like
terms,
"
so that we can make correspondence with the usual YM theory. The Lagrangian of the model becomesB„F'"+&ie(a„f""
—a'„f
"")
—i'"
-~
~"X'——
X'a"+
—
Xa'"
=0
132 2
together with the complex conjugate of
Eq.
(12).
HereJ„
is the conserved currentJ„=
P'8„f-
f
a„g'+2zeA„Q'P
.
(14)The remaining equations
are
the three constraintequations
for
the Lagrange multipliers~
„A~+
nMX' =0,
(9„—
ieA„)a'
+—
}t'=
0,
(16)(9
+ieA„)
f
""
—iea„F""+M'a"
-M(9
+ieA")y
=0,
(12)where
+lM'I"
I'-'lf'
I'--.
'F,
„',
(4)together with the complex conjugate of Eq.
(16).
Taking the divergence of (12)and
(13)
and using theconstraint conditions, we get
f'„=
B,
a„'—
B„a'—
ie(A„a„' —A„a',),
F„„=
9A„—
B„A — ie(a',a„—
a„'a,
),
(6) (6) and the local gauge transformations under which L is invariant
are
x'=
o.
(18)(
2
0+
—X +2l'eA 8"X
-e2A
A~X2 2
+
—
a,
(Xa"
—a 'y ') =——
a,
J',
(17)ix(x)
a„-e
a,
, (7)In the light of Eq. (18)we set
X'=0,
which by theconstraint equation implies
1
A„-A„-
—
e„x.
9A"=0
(19)
The correspondence of the YM part of the
La-grangian (4)with the usual YMtheoryis
providedby the identifications
A„=
A'„,
A',=A'„-
gA'„.
(8)
2
+zMy (9 —ieA
)a'
+—
y'X (10)The field equations derived from
L+L~
are
(9'
—
ieA")(9
—ieA„)P'+
m'P'=0,
In order to define the
scalar
parts a~ of thevec-tor
bosons a'„, we introduce a subsidiary Lagran-gianI,
due to Lee andYang":
1
(B,
A')'
—
2l(9,
—ieA„)a
"I',
where the masses of a~~
are M~'=M'/t
and n is a constant. We introduce further the gauge-fixing Lagrangian L~ of three Lagrange multipliers,"
and
X,
La=MX(9
A')+
~nM'y'+
~My(9„+ieA„)a
"
We next introduce a fictitious Lagrangian L& which contains a pair offictitious
particles D'
whosestatistics
we do not specify at the moment but consider them ofparastatistical"
nature. Weshall exploit the behavior ofthese nonphysical
particles
to cancel the contributions coming fromthe indefinite-metric, spin-zero part of the
vec-tor
bosons at the two-loop level. Such a fictitiousLagrangian can be constructed with the help of EQ.
(17),
'I'
—'eA„(9
D )D'+2 +
+e'A
A"
ID'I' +4
ID'a„—
Da' I'.
(20)The Feynman rules are derived from the effective
Lagrangian
L
~=I
+L(+
L~.
(21)It should be noted that the structure of
Eq. (17)
does not provide us with a compact unitarized Feynman amplitude forL,
«.
Those terms whichare
not suitable for the functional integration mustMUSTAFA
HALII.
III. UNITARITY
The physical fields of the formalism
are
f',
transverse photon, and spin-1 part of a'„, whilenonphysical fields
are
as andO'.
In order toveri-fy unitarity we examine the imaginary parts of the
self-energy diagrams for the physical vector
bo-sons a',
.
For
the one-loopcase
the nonphysical contribution comes from theprocess
a„-+„as
-a
which vanishes identically.
For
the two-loopcase
thereare
three types ofdiagrams. Denoting theiramplitudes by
t)„b„and
b„respectively,
we have the following:First
diagram:a„-
asasas-
aa„-A
„as
asasasIm b,=—
—
—
4(P,
«)',
where &„is
the polarization andP,
the momentumvector ofa„',
Third diagram:
a„-asD
D-a„,
e4
lm
l,
=-,
(P,
«)'.
The total contribution to the imaginary part
coming from nonphysical
processes is
ImB=
Im5,
6P2-Ms
5P3-Ms
6P4-Ms
j=1
x g(P,
P,
P, P,
)x
8(P„)8(P„)
8(P«)d'P,
d'P, d'P,
, (22)and one can easily show that it vanishes identically.
%e
have therefore verified the unitarity at the two-loop level. Let us note that the assigningbosonic or fermionic
statistics
for the fictitiousparticles
does not provide the unjtarity, and we should be forced to introduceexcess
fields in or-der to cancel the nonphysical contributions.Fi-nally, the formalism
is
renormalizable by means of standard power counting. Extension ofthismodel to SU(N) will be discussed elsewhere.
Second diagram:
a„-
asD D—
a„,
a~ A~as asD D a~q
e
Imb,
=~
(P~«)';
ACKNOWLEDGMENT
I
thankY.
Nutkufor
initial suggestions and en-couragements. Valuable suggestions and discus-sions withJ.
P.
Hsu andR.
Guvenare
gratefully acknowledged.~H. Georgi and
S.
L.
Glashow, Phys. Rev. Lett. 28, 1494(1972); G.'t Hooft, Nucl. Phys.
935,
167 (1971). 2J.P.
Hsu andE.
Mac, CPT report, Univ. ofTexas,Austin (unpublished)
.
3J.
P.
Hsu, Lett.Nuovo Cimento11,
525 (1974).4R. Utiyama, Phys. Rev. 101,1597(1956).
SC. N.Yang and
R. L.
Mills, Phys. Rev. 96, 191 (1954),~E.Newman and R. Penrose,
J.
Math. Phys. 3, 566(1962).
VM.Carmeli, GxouP Theory and Relativity
(McGraw-Hill, New York, 1977).
8R. Geroch, A.Held, and R.Penrose,
J.
Math. Phys. 14, 874(1973);R.Guven, ibid. 17,1325(1976).9J.Ehlers, Commun. Math. Phys. 37, 327 (1974).
M. Gell-Mann and S. L.Glashow, Ann. Phys. (N.Y.)
15,437 (1961).
~~T.D.Lee and C.N.Yang, Phys. Rev. 128, 885(1962).
~~
J.
P.
Hsu andE.
C.G.Sudarshan, Phys. Rev.0
9,1678(1974).