Professional Documents
Culture Documents
Origin of Symmetries PDF
Origin of Symmetries PDF
ORlGIN OF SYMMETRIES
CopyriaJM 0 1991 by World SdmtUIC f"IIbIbbin& Co. PIe. Lad..
NI n,,," rucned. TIU boot, (X fIIIN tJwnof, - , _ be T~" ±''Xd iIlOJl,1-
(X"'lIICl_. 'LttdTDftkor-.::"""'CIIl. ~~.TI~onIiIItortuty
UV-'- lIOrap GIld TltT;"VGlI)lJklR _ .t..o- or f,o be ilfwlll4d, willw1wl
_il,... ,."..u.iotc /rotft 1M Pllhfulw.
CONTENTS
Preface y
Chapter I. Introduction
REPRINTED PAPERS
[1] The Role IUld Value of the Symmetry Principles and Einstein'.
Contribution to their Recot;,nition
by E. Wiper I in S,mmetriu ill Science, eds. B. Gruber and R. S.
Millman, (Plenum Press), pp. 13 21 193
Chapter I
INTRODUCTION
Symmet.ry is a vast. subject wit.h !feat sipificance in art and nature. 1 In this
book we shall confine our attention to the synunetries of the laws of nature. These
symmetries playa very important role, both in the derivation of the consequences
of the laws and in the development of physics (Papers 1 and 2]. A notable example
is the close connection between a symmetry and It. conservation law provided by
Noether'a theorem.'
It is a remarkable fact that. the laws of nature have such an arsenal of symme-
tries as translational, rot.ational and Lorentz invariance, gauge symmetries, isospin
invariance etc. The literMure abounds wit.h applications of and prop06als for sym-
metries of the laws of nature. Howe\'er we think it is fair to say that the question of
explaining why there are such symmetries bu not been so widely studied . It is the
purpose of this book to review the development in our understanding of the origin
of symmetries and to reprint a selection of papers giving derivations or explanations
of various symmetries.
We do not intend to present explanations of an essentially philOllOphical nature .
For example we do not discuss the anthropic principle,3 according La which some
symmetries have to be present because they are necessary for the existence of life
and observers. In fact we restrict ourselves La explanations whereby a symmetry
is understood as a consequence of other features of the physical laws , possibly in
some restricted regime of physical phenomena. In order to illustrate what we have
in mind, let us consider how one might imagine deriving parity conservation in a
quantum field theory with only spinless fields.
In a toy model with only spinless fundamental fields tP-(z) , (0 = 1, 2, ... , N) ,
the most general renormalisable Poincare lnvariant action is
5= Jd'.q.) (I)
2
where
N
C(z) = ~ '£, 8,4>'8"4>' - V(4)I). (2)
. ::: 1
Here V(¢') can be any polynomial up to (Ol.lrth order in the spinless fields q;'(z) . By
dimensional counting, renormaJiaability requires that there be no coefficient in the
Lagrangian ! (z) having dimension of mass to a negative power . This requirement
prevents the occurrence of terms with vadients other than the Wiual kindie energy
term !8"4i-O,,,A. Consequent.ly there is no way to make use of t.be Levi-Civita
symbol (,..,,., in It renormalisablt! action with only spinll'lflll fields. It follow8 that the
action must be invariant under the ' parity operation'
x __x
(3)
~'("x) - ~' ( ' , -x).
Under this operation we are treatinA: a ll the spinless fields as scalar (not pseu-
doscalar) fields . We can consider the above argument as an explanation or deriva.-
tion of parity symmetry in our toy world . It is a prediction of this "derivation"
that all the fundamen~al particles in the toy world are scalars under ~he derived
parity. For special forms of the polynomial V(,') ~here could, in addition, exist an
alternative conserved parity operation, under whieb some of the fields ¢' are pseu-
doscalar. Our derived symmetry (3) might not. then be called parity, hut rather
he considered as a combination of parity with a symmetry under sign shift. of the
pseudoscalar fields .
The requirement of the existence of a renormalisable field theory for the spinleas
fields played a crucial role in the above derivat.Kln of parity symmetry. If the spinless
particles were not really fundamental. but. only bound states, then our Lagrangian
(2) would become an effective Lagrangian not constrained by renormalisability. An
effective term such as
,5
A/<I
(1'''''''8 .1.18 .1.'8 .1.58
I'Y flY PY tlY
.1.<1 (4)
would then be allowed, provided there are at least five types of spinlesa fi elds. Here
M is a constant having the dimension of mass, and the parity operation (3) would
be an approximate symmetry at energies low compared to M .
The above type of argument based on renormalisability, but applied to more
realistic Yang-Mills theories. provides an explanation of many of the symmetries
of the standard SU(3)x SU(2)x U(l) model of particle physics . Thus parity, charge
conjugation , time reversal and strangeness (or, more generally, flavour) conservation
are no longer considered as fundamental synunetries, but as natural consequences
of a gauge field theory of litrong and electromagnetic interactions. The development
in the interpretation of these symmetries , from being G priori principles to being
automati c consequences of gauge theories, is discussed in [paper 3] . Thia paper
J
also discusses tbe derivat.ion or the approximate symmetries of the st.andard model,
such as chiral symmet.ry and Gell-Mann 's SU(3) flavour symmet.ry in the limit. of
negligible quark masses. The symmetries of t.he standard model a re the subject of
Chapter III.
Encouraged by the derivation of the standard model based symmetries, it is
tempting to speculate that even the supposedly fundament.al symmetries of Poincare
invariance and gauge invariance may be derivable , in some physical limit. The
extreme point. of view , that all the symmetries of the laws of nature should be
derivable in this way, is the subject of the last chapter. It forms the nWn content
of the ambitious "random dynamics" program1 [Paper 301 .
The more conventional response to the successes of the standard model and its
symmetries is to assume that the m08t fundamental laws of nature mllSt have a
large degree of symmetry. M&IlY of these symmetries would then be broken, one
way or another, as one descends in energy to the present experimentally studied
ener!), regime. This is the point of view manifested by Grand Unified Theories and
by supersymmetry or supergravity models which we discuss in Chapter IV. In effect
this philO6Ophy amounts to p06tulating the observed gauge symmetry group , since
the symmetry is only explained by the existence of an even bigger gauge symmetry
group, which is itself not explained. However, this is t.o take t.oo negative an attitude.
For instance, the N = 8 extended supergravity model can be 'explained ' or rather
specified, by requiring t.he maximum amount. of supersymmet.ry consistent with
the absence of elementary fields having spin greater than two. Currents wit.h spin
greater t.han t.wo would give such strong restrictions on scattering processes t.hat.
they would enforce an essentially free and therefore uninteresting theory.$ Similarly
it appeared for some time that superstring theory was only consistent for an 50(32)
Of EaxEs gauge group [Paper 21], but now other possibilities are known (see chapter
4.6).
A distinction is often made between geometrical and non·geometrical symme.-
tries. However the content of such a distinction can be somewhat arbitrary. Space
uanslational and rotational invariances are clearly geometrical. But it is only since
the publication of Einstein 's theory of relativity that Lorentz invariance (or Galilean
invariance) and time t ranslational invariance have been considered geometrical. Fur·
ther it is a matter of taste whether a supersyrnmetry (should it exist) is called
geometrical, since it is inteItwined in a non·trivial way with the geometrical sym-
metries of space and time translations. Also it is questionable whether the general
cc> ordinate invariance, or diffeomorphism symmetry, of Einstein's theory of gravity
should be called a geometrical symmetry, since it is such a formal symmetry. On
the other hand the gauge symmetries of Yang·Mills theories are usually not called
geometrical, unless one takes a rather extended definition of "geometrical" within
a fibre bundle formulation. However a natural generalisation of the work of Kaluza
and Klein [Paper 20] showed how the diffeomorphism symmetry, or reparameteri·
sation invariance, of a higher than four dimensional space.-time manifold could give
rise to the gauge symmetry of a Yang· Mills theory. So, using the Kaluza· Klein idea,
4
one mAY -derive- ,;aut;c symmetries (rom the Seometrical symmetries of a hisher
dimensional space-tUm. In rad part of the diffeomorphism symmet.ry of gravity
in the hi,;her dimensions becomes a gauge symmetry in four dimenaions. In some
sense, however, "his jut meana that one Uflumed ayrrunetry is interpreted 811 or i.
transformed into another one.
Af! emphasized in Wigner's article [paper 11, we must aeparatc the symmetries
of the physicall.". from the symmetries of the whole world &8 it now e.xiau. In
general the state of the world is not invariant under the symmetries of the laws of
nature . One eays that the "initial conditiona" are not invariant.
The distinction between the laws of nature and the initial conditions becomes
rather blurred in tbe cue of spontaneous symmetry breakdown . Spontaneous sy~
metlY breakdown occurs when the vacuum state is not invariant under the symmetry
in question. In this eue, should the state of the vacuum be con.idered as part of
the laws of nature or just &S part of the initial conditions? This ambiguity plays a
role in some of the derivations of gauge .ymmetries discussed in Chapter VI.
When the vacuum is no1. invariant under a symmetry of the laws of nature,
most physical processes do not. manifest this .ymmetry. However there are .till
phy.kai consequences which make the .ymmetry experimentally testable . In the
case of a .pontaneously broken continuou. global symmetry, the Nambu· GoldsLone
theorem predicts the existence of a masaleu particle. This particle is a boson, unless
a supersymmetry is broken. The prediction can be avoided by the Higgs-.Kibble
mechanism when the spontaneoWily broken .ymmetry is a loe.al gauge .ymmetry.
The predicted Nambu·Goldstone boeon can then be shown to be unphysical, by
an appropriate gauge choice. At the same time , the otherwise massiest spin 1
gauge particle acquires a nOli-zero mass. The degree of freed om associated with the
Nambu-Goldstone bceon is transformed into the required helicity zero component
of the massive spin 1 particle. Even after "Uiggsing" "he gauge symmetry in this
way, there are still traces of the symmetry left.. For instance the coupling constant.a
of various particles to the gauge particle are related . These traces of the gauge
symmetry remain due \0 the requirement of renormalisability. RenormaJisability
forbids terms in the Lagrangian density baving coefficients of dimension mass to a
negative power. If such irrelevant (i.e. non.renormalisable) terms were allowed , tbe
last traces of the gauge symmetry would vanish . We make use of this p068ibility
in Chapter VI , when an arbitrary non-gauge invariant lattice theory is written &S a
"Biggsed" theory.
The successes achieved by tbe application of symmetry principles in physics have
led to the consideration of ~caUed dynamieaisynunetries.' Dynamieal symmetriea
are nol true symmet.ries in the sense of being exhibited by the laws of nature. For
dynamical s)'tlUlletr~, tbe Hamiltonian H i.s a function of the symmetry groop
generators but H does not commute wi"h all the generators. The multiplew of the
dynamical symmetry group are then split by H . but not mixed. Thus the dynamical
symmetry can be important for the classification of the Hamiltonian eigenstat.es,
even though the act.ual system does nol. really exhibit the symmetry in question . A
5
CHAOS?
Chopl" W
FUHDAIIII:NTAI.
SVMIIIII!:TIUES
Chapter IV
SEYOfW nlE ST.IINOARD
""""
•, •
" .
HIGtlER
" ~
ENERGY
SMALL[A
04SU.HCE
Chapt.,. ill
THE STAH~RD
..o"
PHYSICS
Fir;. 1.1. The Quantum Sw.irusc; the upper part d of eoune .peculalive and can be chan,ted to
accbmmodate the ~ader'. favourite theory of everythin,.
Rcfc rcJu:c.
1. H . Weyl, S ,mmtl,., (Princeton Univenity Preu, 1952).
2. E. L. Hin, Rn . Mrnl . Pit,•. 2', 253 (1957) .
3. J. Ba.rrow and F. Tipler, Tilt ,hlltl'O,i( Cum~I~lie'" Pri.ei, Ie (O:dord UnJversity Preas,
1986).
<t . H . B . Niel6en, G. .,e Tlteone. oj lite Ei,ltliCl, " AkUlompolo, Finland 1982, eds. R. RaiI.O
and J . Lincifon, p . 288 (SpriDlcr-Vt:rlq;, 1983); H. B. Niellcn, D. L. BelUu,tt and N. Brene,
~Rccen' Devclopmew in Qu.mwn Field Theory,~ P,.«cc il4fl ~J lite Nitl Bolr C.II'cn i.1
COII/er.llce, Copenh&«en. I985, u . J . Amb~, B . Durhuus and J . L . Petenen, p . 263 (North-
HoI.l&nd, I985).
5. S. Weinbers, Pit, •. Re.. B13B, 988 (196.5 ); R Behrends, B. de Wit , J . nn Holten and
P. van Nieuwmhui~en , J . Pit, • . , AU, 1643 ( 1980).
6. A . Arima and F . lacheUo, An. Pit, •. (NY) 111 , 201 (1978).
7. J . P. Elliot, P nc. Ro,. Soc. M.S, 128 and Mi2 (1958).
8. J . lliopolOUf, Pncee4i.,. oj 197!J I .'ena,liOll.l COII/ ernee o. I1i, 1t Ell e,.,., Pl.,.ie., Gene va,
Vol.. I , p . 3n (CERN, 1980).
9. F . EDJlert, ~Recent Development' in Quantwn Field Theory~. Procuci.,. oj lite Nidi B ob
Cellltlllli,I Co II/enllee, Copt:nhaJen 1985, edt. J . Ambj.m, B. Durhuus and J . L. Peter-sen,
p .39 (North-Holland, ISM).
7
Chapter II
We commence with an example from the bottom of the quantum staircase and
consider the derivation of the scaling symmetries of macroscopic physics. The laws
of physics are not themselves invariant under a change of scale, as first pointed
out 300 years ago by Galileo in his discussion of the sizes of living creatures. 1 The
physical effects of scalin,; are very often studied using the method of dimensions.
Dimensional analysis is particularly useful in tbe design of smaIl scale models for
testing an aeroplane or a ship .
~ a simple example from hydrodynamics, suppose the motion of a body in a
viscous incompressible fluid is to be modelled. The model body is geometrically
similar 1.0 the prototype, differing from it only in size. Then , provided the Reynolds
number
(1)
is the same for the model and the prototype, the flow patterns are dynamically
similar .' Here p and p are the density and coefficient of viscosit.y for the fluid , I
is a characteristic length of the object and v is some representMive velocity. For
simplicity we shaH just consider one fluid , so that p and pare const.ants. There is
then a symmetry under the operation of scaling the site of the model up by a factor
{" and , at the same time, reducing velocities by t.he same factor .
It is clear, from the atomic structure of matter, that the above scaling law cannot
be exact.. Indeed, if we scale down to a model size so small that only a fraction
of a molecule of fluid is required , the scaling law becomes meaningless. Thus we
can really only expect. the scaJing law to be approximately true, corresponding to
the situation when there are many molecules present . In practice, of course, the
number of molecules will be very large for any real model and the scaling law can
be a very good approximation.
This scaling symmetry is usually derived by applying dimensional arguments
to the hydrodynamical differentiaJ equations - Navier-Stokes equations.' Let. us
8
bere derive the scaling law directly from the underlying molecular dynamics, in
the limit when the number of fluid molecules becomes very large. The scaling law
can be stated in the following form: The time development of two flows of the
same incompressible fluid around two solid bodies are dynamically similar, when
the second flow is related t.o the first by scaling (a> all geometrical lengths by &
factor {. (b) all (non·thermal) velocities by a factor {-I and (e) aU time intervals
by a factor {~ .
FiS. ~.l. Hydrodynamic&! Ko!WJl& .ynuneuy illUfU'&ted by aame 8uid 8owin& out or two slrNlar
tube. reJ..ted by .. ~ ... Cac:tor ( :z 1/2. The lull-line &ITOW. repl'e.e:nt the di.p1a.can.ent.. 01
molecules due to the .. verase ftow of the Suid durin&: time inlervaI. 6 t and (2 A I ~vdy. The
arTO".
d ..hl:<l. r'epf'Cllent the total ddplacemenb includin& the eRects of Brownian moti«!..
The derivation of the sealing law from molecular physics proceeds along tbe
following lines. The velocity of t:ach molt:cult: of 8uid is consideroo to bt: comp06t;d of
a direded motion component Vi and a Brownian or thermal motion component VB .
Wt: now consider the development of the two flow patterns, during corresponding
small time intervals 6.t and ~2At respectively. First SUpp06t; each molecule only had
the directed motion component of its velocity. Then molecules from corresponding
regions in the two flow pattt:rns (see Fig. 2.1) would travel with vclocities Vi and
~-lVd , for time intervals 6.t and ~26.t respectively. It follows that a molecule in the
second flow travels a distance ~ times further than a corresponding molecule in the
first flow , during these time intervals. Now we must considt:r the Brownian motion
due to the thermal fluctuation8 of the molecules, which is 8uperimp06ed onto the
direet.ed motion. The root mean squlU"e displacement of a molecule in a given fluid ,
due to this thermal motion , is proportional to the square root of the time interval
considered. Thus the thermal displacement of the molecules in the second flow
is also ~ times further than that in the first flow, during the corresponding time
9
intervals. This follows simply because we ale considering the same fluid, with ~he
same local properties, in both Row patterns, and the time jntuval for the second
flow ise times that for the first flow.
We ha.ve shown above, for both components of their molion, that the displace-
ment of molecules Crom a region of the second flow is related to the displacement
of molecules from the corresponding region of the first flow by ..he scaling fac tor { .
e
Does it now (ollow , after the time intervals ~t and 2 6t in the two floWl! , that the
average (Le. directed) velocities in corresponding small regions are still related by
a factore- 1 , as required for dynamical similarity? Yes, indeed it. does, as is easily
seen by considering the molecules in small corresponding regions of the two flow
e
patt.erns at some instant . Since the scaling factor applies to the displacements
due to both component.s of their motion, the same fraction of these molecules must
arrive in two other small corresponding regions, afler time intervals ilt and {2ilt
respectively. Thus the avera,e molecular velocities, in corresponding regions of the
two flow patterns, are still related by the scaling factor e- t.
corresponding areas of the two solid bodies is the same, and the stresses on the
body scale like e- 2 • Hence the body would break for a sufficiently small C i.e,
the strength of the solid material violates the scaling law. Also, for small e, the
velocity of the fluid and the pressure become high. In practice the velocity of a
real fluid would approach the velocity of sound and the fluid could no longer be
considered incompressible , The scaling law in the above form then breaks down,
since the dimensionless Mach number becomes relevant to the flow pattern &8 well
as the Reynold number.
As a second example from macl05copic physia, we consider the mechanical
properties of an organic compound , such as sugar, which has parity non-invariant
molecules. It has been known, since Pasteur's work in 1848, that all sugar molecules
produced naturally from living things have the same kind of thread or handedness .3
The mirror image molecule is not produced naturally. Sugar is thererore optically
active and when polarised light is passed through a solution of naturally produced
sugar its plane of polarisation is turned to the right. However when we manu-
facture sugar artificially, from substances which are not themselves asymmetrical,
both kinds of molecules are produced in equal numbers. There is thus a kind or
spontaneous breakdown or parity symmetry in naturally produced sugar, arisillg
from the common origin of life on earth right back to the completely molecular
level. Despite this parity violation in the structure of sugar molecules, the purely
mechanical properties of a susar crys~aJ or of amorphous sugar are parity invariant.
10
--~ , ,
I
I
iii"
r ____ , '
Fi,. 2.2. Suev and ill; mimw irn&&t have identical elasticity ~. delpite the parity non.
invariance 01 ill; moleculeJ.
What is the origin of this parity .ymme'r), in 'he elastic properties of flusar?
The important. point is that the parity violation in sugar ia mic.re»copic (i.e. the
handedness of single molecules) and thus can only affect the local form of \he elastic
deformation (FiS. 2.2). The local deformation of a material is described by a second
rank .ymmehic WlSOl - the atrain tensor .· The Cree cnere density of a material
thereCore only depends on the local atrain tensor, which is invariant. under puity
.imply because the atrain tensor is second rank and not a p8eUdoten80r. There is
simply no way t.he elasticity coefficienLa CAll be made complicated enough to violate
parity Iymmdry. Even if the micf08Copic parity violation mre due to truly parity
violating forces, lUI in weak interactKma, the elast.ic propert~ of augaz could not
violat.e parit.y symmet.ry.
We now proceed up t.he quantum staircase and consider symmetries in non-
relativistic quant.um mechanic.. We first consider ~he appazently accidental degen·
erades of energy levels, which occur for some dynamical ayst.el1l8 . In particular the
origins of the underlying 0(4) and SU(n) symmetries, responsible for the degenera,.-
cies in the hydrogen atom and t.he n-di mensional harmonic oscillator, are presented
(Papers" and 5] .
The best known example is that. of t.he SchrOdinger equation for the electron in
a hydrogen atom, which bas the symmetry of the four dimensional roLat.ion group
0(4). The same symmetry of course applies to any particle in a Coulomh-Hke
: potential, such as (or planet.a.ry motion. The great progress made in science
during this millennium is due in l&Z'ge part. to the tractability of the ~ potent.ial
11
problem, which is a consequence of this very 0 (4) symmetry making tbe behaviour
of the aYlitem much simpler. The D( 4) symmetry has been very helpful in makins:
the Keplerian law simple, as .....ell as in the development. of Bohr's atomic model,
although Kepler and Bohr were unaware of the symmetry at the t ime.
The 0 (4) symmetry of the hydrogen atom is a rather hidden symmetry, which
Fad [Paper 4] first. made manifest by writing the SchrOdinger equation in momen·
tum representation . By stereographic projection onto i.he surface Sa of a unit four
dimensional Euclidean sphere (Fig. 2.3) , the points in momentum space Me ass0-
ciated with the points on S,. After a simple transformation of the wave (unction ,
Fock then obtains a new Schrooin,!\er ~uation for the hydrogen atom , in which the
Hamiltonian operator is expressed as a convolution with the fundion
constant
(2)
sin 2 ,
!!.
where w is the distance along a great circle on the 5 3 -sphere. In this way, it is
seen that the Hamiltonian for the hydrogen atom is invariant under rotations, in
4-space. of this Srspbere around ita centre.
I
,, " I
, I" /
" I /
........... - ' ' '
... - J. .......__ ..... /.
- --- ---
Fir;. 2.3. IDu.uation ol the atuoor;raphK p-oject.ion pwn by Eq. 3 of P-.per <I. One dimeru.icn
baa been auppR:Med.
The above derivation of the 0(4) symmetry for Ute hydrogen atom is exact, as
long as the finite size of the nudeus and the effects of spin and relativity theory can
be ignored . It is simply a somewhat hidden symmetry which had to be discovered .
In a similar way Jauch and 11m [Paper 5J showed that the Hamiltonian for the n-
dimensional harmonic oscillator has a symmetry under the SU(n) group. Thus the
Elliot SU(3) dynamical symmetry of nuclear physics, mentioned in the introduction ,
would be a true symmetry of the nuclear shell model Hamiltonian, if the nucleons
in the outer shell of the nucleus moved in a t hree-dimensional harmonic oscillator
12
potential wit.hout. any residual interact.ions. It has also been point.ed out. 5 that. , in
the presence of a weak magnetic field , the symmetry groups (or the hydrogen atom
and the three-dimensional harmonic oscillator both reduce to SU(2) .
An important symmetry in non-relativist.ic quant.um mechanics arises from tbe
deeoupling of spin in atomic physics (for low Z atoms) . In atoms wit h low al.omic
number, Z ..... 1, it is well known t.hat 1he order of magnit.ude of t.he electron velocity
is given by the fine atructure constant Q . Here, and in the rest of the book , we Wle
natura l units with h = c = 1. It is thus the sma11nesa of the fine structure const.ant
(1' , which makes the non-relativistic approximation applicable in a tomic physics. To
leading non-vanishing order in a it can be shown, from the Dirac equat.ion for an
atomic electron in the Coulomb field of the nucle us and the other atomic electrons ,
that the spin degree of Creedom Cor the electron completely decollples. The spin
then just act. as a label Cor two dHre rent types of electron, and its presence is only
Celt through the effects of Fermi statistics for t.he electron .
In a light atom, Z _ 1, we readily find the following orders of magnitude for the
electron variables (in the rest frame of the atom), in t erms of its mass In and the
fine structure constant Q = e2/41( .
p'
momt ntum p .... O'm, tner!), E= - ..... Q ~ m . (4)
2m
Similarly the electromagnetic potential A,. , in Coulomb gauge, satisfies
(5)
The character ist ic time scale for an appret:iable variation of a dynamical variable is
given by
1 1
6t ..... - ..... -2- (6)
E Q m·
Using the above orders of magnitude, we can make a Foldy-Wouthuysen
transformation s , 7
t/I = e -is 1/J' (7)
which derouples the large and small components of the spinor 1/J' for the atomic
electron, to leading order in Q , The Dirac Hamiltonian
The three contributions to H in Eq. (8) are of order m , crm and cr 2 m ~pectively.
To leading order we t.ake
which is a small quantity of the order of the fine structure constant cr , and obtain
p'
H I = pm + 2m + tAo + O(o'm). ( 12)
The second and third terms in Eq. (12) are of order crllm and are obtained by
including terms from H , in Eq. (10), up to order om in [S,H) and just t.o order
m in [5, [5, H)). It follows from Eq. (6) and Eq. (11) that S is of order a3m and
therefore does not contribute.
After this Foldy·Woutbuyaen transformation and neglecting terms of order Q3 m
and higher. there are no spin dependent t erms in the Hamiltonian H' at. all. This
leads to tbe separate conservation of the spin of each electron in tbis approximation
and, a fortiori , the total spin S of all the atomic electrons together i. conserved.
Since the total angular moment.um J is conserved, it follows that the tot.al orbital
ansular moment.um L of all the electrons together is also conserved. We have there-
fore derived , to leading order in 0', the symmetry of H' which underlies the Russel-
Saunders LS coupling scheme in atomic physics. It is an excellent approximat.ion
for light a.nd medium a.toms.
The neglected terms of order a'm include a spin-orbit. term, which violates
separate L and S conservation and ads as a pert.urbation, splitting t.he ot.herwise
degenerat.e energy levels. ~ Z increases t.he spin-orbit term grows and becomes
of the same order of magnitude as the angle dependent. part of the elect.rostat.ic
interact.ion (i.e. t.he residual Coulomb interaction between the electrons len after
subtract.ing the central Harl~Fock potential) . The LS coupling scheme then be--
comes unrealistic and other coupling schemes have been considered.s However the
alternat.ive j j coupling and jl coupling' schemes have a much more limited use,
being restricted to certain types of atomic confi&nrations.'
The Wi&ner SU(4) symmetry of nuclear physics (paper 6] is, at first. si&ht, of
a similar nat.ure to t.he spin decoupling symmetry of atomic physics. In an 5U(4)
symmetric theory all the charge-spin states of a nucleon are completely equivalent .
This would be the case if, for instance, both spin and iaospin variables were absent
from the nuclear interaction.
The Wigner SU(4) symmetry is defined as a symmetry ofthe nuclear Hamilto-
nian, under the simultaneous transformation of all the nucleons by the same group
element of 5U(4) . The transformation of each nucleon is defined by the operation
of the appropriate 5U(4) matrix on the four component column vector coDsisting
of the four spin-i.aoepin states of the nucleon p T,p 1, n Tand n 1.
A Majorana nucleon-nucleon force is proportional to the factor (1+4rl " 2) · (1 +
"'1 . "'2) times a space dependent fundKm . Here •• and ri( i = 1,2) denote tbe Pauli
14
matrices (or the spin and u;06pin of the two nucleons . Thus the Majorana force is
an exchange (orce which interchanges both the spin and isospin of the nucleons. It
is clearly 5U(4) invariant, since the 5U(4) operation simply rotates every nucleon in
5U(4) space. Majorana plus Wigner (spin-isospin independent) forces alone would
therefore give an 5U(4) symmetric model of nucleonic interactions.
However , it is not possible to derive the Wigner 5U(4) symmetry as a non-
relativistic limit. analogous to the spin decoup!ing symmetry limit in atomic physics.
The spin one vector mesons exchanged in nucleon-nucleon interactions have finite
masses and large (strong interaction) coupling eonstants. Also, aL larger range l
spin zero scalar (0' meson) and pseudoscalar (r meson) exchange are important .lo
In rad the nucleon-nucleon interaction is rather complicated and the Wigner SU(4)
symmetry is only a very approximate symmetry. NeverUtele:Sl there is a cancellation
between the teneor poten~ia.ls from p vecLor meson and ,.. meson exchanges, and
sensible result.s have been obtained l l applying the SU(4) symmetry to the ground
state energies of medium- heavy nuclei , 30< A < 110.
We have no convincing explanation for the origin of the approximat.e Wigner
5U(4) symmetry and perhaps it should not therefore have been included in this
book . However it served as an inspiration for the introduction of another approxi-
mate symmetry, the SU(6) spin and unitary spin symmetry of strong interactions
(Paper 7]. This SU(6) symmetry is interpreted 12 as the generalisation of the Wigner
SU(4) symmetry obtained by using quarks instead of nucleons . The transformation
of each quatk is obtained by multiplying the appropriate 6)(6 5U(6) matrix into a
colunm vector, with elements denoted by all six combinations of the three lowest
quark flavours u, d, s and the two spin at.at.es T and 1. The SU(6) transformation
matrix is the same for every quark. The approximate SU(6) symmetry of hadrona
is then considered to be a conaequence of the additive quark model.
In the simple additive quark model, the quarks are treated as effectively free
particles bound inside hadrona. In such an approximation, when the effective quark
masses are taken to be equal, there is no apin dependence nor 8avonr dependence
in the hadron spectrum. Consequently there is a symmetry under 5U(6) in the
simple additive quark model. It la, of course, hoped t.o derive the simple additive
quark model as a non-relativistic limit of quantum chromodynamics (QeD), the
relativistic quantum field theory of quarks. In the next chapter we consider t.he
aymmetries derived from t.his ,auge theory of stron, interactions and the Glashow-
Weinberg-Salam gau&e theory of the ele<:troweu interactions.
1. O ' An::y Wentworth Thomson, O. C.......d. n~ Fo"" (Cambrid&e Univa.ity PreM, 1917) .
2. G . K. 8atdldor, F'.i~ D, •• miCl (C.unbrida;e Univen.ity ~ , 1967) .
3. H. Weyl, S, ..""d,., (Princeton University Pnu, 1952).
4. L. I..nd... _d £ . M. Li!ah.itz, nu,., 0/ Elu/ici/, (Persamon P ........, 1859).
5. M. Modunsky, N. M~. E . Murow and J. W.B. Huches, A.a. Pio, • . 155,231 (1934).
6. L. L. Folody and S. A. WouthlJyHn, Pi, • . Rev. 7', 29 (1950).
7. C. Itzybon and J . 8 . Zuber, Q... I.m Fid~ nu,., (McGra • • HiU, 1980); J. D. 8jorken and.
S. D. OteU, Rd&ti .. u/i e Qua /.m Met;i.,.it;, (McGraw.Hill, 1964).
15
Chapter TIl
U(2)
o o o
o o o
Uc detU ;: 1 ( I)
o o
o o U(3)
o o
This S(U(2)xU(3» group is a subgroup of SU(5) and has the same Lie alt;ebra &8
U(I)xSU(2)xSU(3). Following Michel," we here give a physical meaning to t.he Lie
group as well as to the Lie algebra, by requilin,; that all t.he particle multipleta of
the theory must. form genuine (Le. sint;le-valued) representations of the Lie gro"p.
or course the coverinr; group associated with a given Lie aJ&ebra can always be
represented in Lhis way. but. we also require the true Lie group of a theory to be the
'smallest' one that can be represented on all the particle multiplets. The standard
model group S(U(2)x U(3)) turns out' to be representable on precisely those particle
multiplets which obey the electric charge quantis&tion rule
(mod I) . (2)
17
Here "triality" is 1 for quarks, -1 for antiquarks and zero for colourless stat.es, while
y is weak hypercharge (conventionally normalised to be int eger for leptons) and t3
the third component of weak isospin.
Let us now write down the Lagrangian densit.y for the standard model as &. sum
of fi ve terms.
(3)
(4)
contains the gauge invariant kinetic energy contributions from the U(I) , 5U (2) and
5U(3) gauge fields A,. , AJ',i and A,. .. JIi , expressed in t erms ofthe field tensors
(5)
(6)
and
Here Al'ii and A,... JIi are respectively 2x2 and 3x3 Hermitean traceless matrices
with vector fi elds as elements. The indices i,i = 1.2 run t.hrough a basis for the
defining representation of 5U(2) and Q , fJ = 1,2,3 run through a basis for the defin-
ing representation of 5U(3) . As usual a repeated index implies summation . The
gauge coupling constants 91 , 9, and 93 have been absorbed into t.he definition of
the corresponding U(l), SU(2) and SU(3) gauge fields and therefore do not appear
explicitly in the definitions , Eqs. (5)- (7) , of the gauge field tensors.
Next we introduce the matter fields pven in Table 3.1, making explicit. all group
and generation indices as in Paper 12. Here we have listed. the fermion (lepton
and quark) fic1d combinations i;IIL , Ge;RT etc., which are 'len- handed' in the sense
that. the parLicles which they can annihilate have negative helicities (when fermion
masses are ne&lected) . Len-handed and right-handed Weyl s pinol'S satisfy
and (8)
18
Table 3.1. The irredllCibie I'ep,......nleljon. for the leCt-handed Weyl ramlon field. and the Hiep
.e.I... field in the It.aIldanl model. I = weak .pin, 13 :: third c»mponcnt ol .w i.o.pm, , :::
weak hypCTCbN'&e and Q = electric char&e.
ir=Q- 13 ,
1,
~"L -l I
T I 0 I
CC. R
,, ,
-.,,
1
fi(uL t
C-u ... R T 0
Ca;;;;;;r "
0
"
.; t ,
! I
Here the covariant derivat.ives D,. , Dl'ii I D,.,,~ and D,.i{/ are those appropriate to
the different irreducible representations in Table 3.1. For nampk, the eov&riant
derivative for the lefl.-handed quark doublet field qjP IIL becomes
1
T he fac tor of multiplying the U(l ) gauge field is just the value orihe U(I) quant um
number , !!I. 9J,.£
for the fi eld given in Table 3.1.
The final field in Table 3.1 is a complex sealar Hig&! doublet tPi . which generates
masses for t.he weak gauge bOSOM and fermiona, by Ipontaneous breakdown of t.be
electroweak gau&e,symmetry down to the electromagnetic U( I ).". gauge symmetry.
The Higgs particle is the least reliable element of the standard model and its exis-
tence has still to be established. The gauge and self interadions of the Bigs field
are given by
c, = D,. ,J ~JD+"ii41+j - V(41;fI+J ) (12)
where the scalar p ot ential is
(13)
• The Yukawa couplinl between the scalars and fermions takes the form
' h , /, i . L .......ie.R
"'4:: ..
,
(14)
tt, e, + h ..
" - i ..
rt .LtPid'o.R
26) + Hermitian Conjugate.
The coefficients h!.> h:. and h~. are G 1'';0'; arbitrary complex Yuk.awa coupling
constan's and £i} is the antLaymmetric symbol with £12 :: 1.
Finally there are the SU(3) and SU(2) topologie&1 terms
, _ 8 1 0 ' F- I'~ ..
..., - 1611"2 r l'." "
+ 8, 1611"2
1 F iF-/A·;
/An } (15)
( 16)
22
(39)
(40)
These are all the fermion fields which enter £ST+BM . We do not include the
neutrino in CST+BM because it does noL interact. The gr&viton is omitted from
I
the standard model Lagrangian density C on the same grounds. It follows tbat
CST+EM describes a vect.orlike tbeory. in which the len.-handed and right-handed
components of each fermion fieJd have the same g&use quantum numbers. The
fermion mass terms are therefore gauge invariant.
The Lagrangian density CST+BM becomes
1 I"0 1'''0'F-"" IJ co ·
+6 1611'2 (4 1)
(43)
(44)
and
(45)
are conserved, where there is a sum over the repeated colour index 0' but not oYer
the generation index Q . These 'flavour charges' are simply the number of quarks
24
LI' = Qi (47)
(~O)
Here ,,(x, t) is a generic symbol (or all t.he fields and ~C(x. t) denote t.be charge
conjugation transformed fields . The fermK»n fields are taken to be Grauman (anti-
commuting) variables , as in the path integral formalism. We list. below the charge
i
conjugate lauge fields and Q::; quark fields (as a typical fermion field)
. AC "o--,,~
~ _ A 0, ,- -A,
AC - (~l)
FC~-F.0 (~2)
,,"0 - - ""~ • r P" ::; - ' " ' '
Bere T den0t6 the tranapoee and C is a " x " Dirac matrix utisf'ying
The kinetic and topological terms for the gauge fields in CST+EM are clearly
invariant under the above charge conjugation transformation . Let us now explicitly
verify that. the fermion kinetic and mass terms are also invariant. We consider first
tbe kinetic term for the Q = t quarks.
~ ' (0 < .
u .1 vl'0a - I....1'''• - 1'.23..."Cl<a ' ) 'UfJ. (56)
. 2 ... <.)-T,
= 'UT ..4'JT(!IoUp"'"
co
+ I"... ,./J • + 13' "'UfJ U " (58)
= .".
-U.1
,(7
v ,.0"
,0
+ I' ...I'll 0 <.) U aa
.2... ,.UfJ
+ '3 (59)
The minus sign in Eq. (59) arises from commutin,; the order of the GraaemaD
variables ~ and U OG _ The arrow on the derivative in Eq. (59) indicates that. it
is actin, ~ t.he len.. The derivative acts to the right &8 usual in Eq. (60). which
follows from Eq. (59) modulo an irrelevant pure derivative term. Bence the kinetic
term for the Q = j quarks is charge conjugation invariant, as are thOR for the
Q= -1 quarks and charged lepLona.
The tn&8S term for the Q = j quarks transforms &5 follows
(61)
(62)
(63)
where we have used C'2 = -1 in Eq. (62) and the Grassman variable nature of u",.
in Eq. (63). The fermion mau terms are thw: seen to be invariant under charge
conjugation . So charge conjugation is a symmetry of the strong and electromagnetic
Laganpan density L.$T+BM.
In the a.baence pf the topological Lerm, the vectorlike natu~ of the theory of
strong and electromagnetic interactions would aULomaticaily enau~ tbat t. ST +BM
is invariant under parity
= U"".( -x, th"[81'.s~ - iAl'coP( -x,t) - i~AI'( -x, t).se]up.( -x, t). (72)
The anticommutation relationa oft.he Dirac l' matrices are uaed in passint; from Eq.
(71) to Eq. (72).
The vectorlike or non·chiral nat.ure of t.he fermion representat.iona under the
Itront; and eledromapdic t;aup t;rOup is, of eourae, crucial in t.he above derivation
of C and P invariance [paper 8] . So we may ask if i!Uld why this feature bas been put
into the st.andard model. Since the U(3) ,au,e goop is unbroken, the ...umpt.ion
that. all fermions have a non· zero mass requires t.he fermioDII to belon, to vedor·like
representations and have parit.y invariant pUle int.eraetioDII.II However t.here could
exist m&lJlllesa fenniona with parit.y non·invariant laule interactions. This theore~
ical pouibility can be ruled out, by requirint; suffieiently small repreaent.ations of
the U(3) t;aut;e goup and no pUle anomaly for the photon and t;luons. 10 In fact
it • sufficient to . .urne thM all fermions have elechie marIe lQl < 1 and beton,
27
The above 'explanalion' or the veetorlike nature cI. the fennion repreeentatiolUll in
l,ST+BM , therefore, implies C invariance .. well .. P invuianee.
Time reveraal. T , ayromdry of CST+EIII (with 8 = 0) now follows as a conae-
quenec of the CPT theorem [paper 23] to be discussed in Chapter V. It is however
instructive to vuify T invarianee expliciUy. Time revenal is an anti-linear operator
and the condition for invariance is
(79)
= tu<" <I(X, -t)'y,ll [8p cS! - iA,IIQ'(x, -t) - iiA,II(x, -t)6!]u'<I(x, -t) . (85)
Tbua we have derived the t.hree discrete symmetries C, P and T for the st.ronl
and eledromagnetic sector of the standard model. Strictly speaking, however, Lhe
'derivations' of P and T invariance are not valid, in t.he absence of an explanation
for the vanishing of the coefficient 8 of the topological term. Such an explanation
requires us to somewhat extend the standard model [paper 9].
AI. mentioned in our discussion of t.he diagonalisation of the quark mass matrices
M" and Md, chira! transformations of the quark fields Eq. (24)-(25) , induce a
change in the value of the coefficient 8. In particular, an axial phase rotation of aU
the quark fields
(86)
under which right banded quark fields are multipled by e ler and len handed ones by
e- iQ , leads to the transformat.ions
(87)
(88)
(89)
Here NF denotes the number of quark flavours under considelation. The need for
the ehange in the value of 9 arises from the axial anomaly 7 in QeD. Due to the
anomaly, the functional integral measure for the quark fields is not invariant under
Eq. (86), but undergoes the transformation'
(90)
whele
(9\)
The combination
J = 9 + arg[deL M" . det Md] (92)
is invariant under all chiral transformations. It is therefore possible to rotate away
the original topological term in CST+£M, obtaining instead an overall phase e"/N,
for the quark mass matrices. So all tbe P and T (or CP) symmetry breaking can
be arranged to come in via the quark mass matrices . ConsequenUy, if the masses
of the relevant quarks &re small, the effect of tbe oripnal 9·telm is suppressed. In
the case of a massless quark, say the up quark u , tbe effect of the topological telm
can be entirely transformed away, by an axial phase transformation
(93)
on the massless quark alone . This transformation just changes 6 to 9 + 20 , without
any change in the mass matrix if m.. = O. The ZelO mass implies chiral invari--
ance under the transformation Eq. (93) , except for the anomaly. Thus 8 can be
30
transfonned into any value , without changins the physica of the field theory. ]t
follows that P, T &nd CP are symmetries of CST+EM ' The problem of explaining
the vanishing of 8 is then replaced by explaining why m.. = O. Phenomenologically
it. seems unlikely t.hat any quark m&88 is zero [Paper 10), although mu = 0 cannot
be entirely ruled out .11
More qUMtitativeiy the effect of the 6-term can be calculated , treating the mass
term for the NF = 3 lightest. quarks lA , d and 8 as & perturbation. The 6-term is
replaced , to lowest order in e, by the CP violating m&S8 term
(94)
The contribution of Ccp to the electric dipole moment of the neut.ron can then be
calculated ,s wiinS current. algebra techniques and standard quark masses (paper 10)
to be Dn ~ 5 x 1O-lfie em. Experimentally it is known that ID.. I < 10-2<1 em and
hence 161 < to- 51 •
We have seen that chiral phase invariance is broken in the standard model,
explicitly by the quark masses, as well as by the axial anomaly. Consequently the
topological term gives P and CP violations . Peccei and Quinn [pape r 9) t.herefore
suggested embedding the sLandard model in a larger theory possessing a chiral
U(I) invariance, which is broken only by the anomaly. This global chiral U(I)
invariance is int.roduced into t.he Higgs sedor of the theory, by the addit.ion of an
extra weak isodoublet. scalar field . The U(I) symmetry is spont.aneously broken
when the t.wo Higgs fields develop vacuum expecLation values . The relat.ive phase
of the vacuum expectat.ion values is determined dynamically, by t.he anomaly and
strong interact.ion effects (instantons) . It. turns out. t.hat. instanton activit.y is very
likely to al ign the vacuum, in j ust such a direction that this relative phase precisely
cancels out the effect of the 8 term. In other words, the eft'ective parameter 8
of Eq. (92) becomes zero, in agreement with the P and CP symmetry of strong
interactions.
In fact it can be readily shown that t.he vacuum energy is invariant under the
sign change 8 - -J (Le. under parity) . The effective potential V,(¢) t.herefore haa
an extremum at J = 0 (and also at "I = r ). Dynamical calculat.ions suggest that.
'8 = 0 corresponds to a true minimum oft.he vacuum energy densit.y. So the vacuum
adjusts itself to t.ake precisely that. value of t.he '1 parameter, which ensures P and
C P invariance for the strong and electromagnetic interact.ions . These symmetries
are thereby explained.
The spont&lleous breakdown of the Peccei-Quinn chiral U(l) invariance leads to
a Nambu-Goldstone boson . Explicit symmet.ry breaking by instantons generat.es &
smaU mass for this particle, called the axion. l l Experimentally a particle with the
properties of this axion does not seem to exist . 13 However it is possible to make
t.he axion in pract.ice invisible, by furt.her extending the model. It is necessary to
introduce a third Higgs field , with a non-zero Peccei-Quinn U( l ) charge and trivial
under the standard group, which develops a very large vacuum expectation value. 1..
31
Of coune all theee models, invoi.villl an extra chiralaymmetry, reaDy take WI oulaide
the .t.andard model.
We now tum our attention to lOme approximate symmetries of the It.rong in·
teraction sector of the standard model (papers 8 and 10]. These approximate sym-
metries arise due to the existence, for some tf!a&OD, of & set of NT quark flavours
with exceptionally small ma_ee,
(95)
Here AQcn refers to the charaderistic strong interaction mass scale of a few hundred
MeV. The quark mass m, refers to the mass parameter appearing in the L&!I'angian
density and not to the constituent quark mUll (\lied in the 'naive' qUal'&; model),
which cannot be small compared to AqCD [paper 10]. See Fi&. 3.2.
--
Constituent
7
'50
-
con1ribution f,,-
CJ AQ.c.O.
, • •
Fi,. 3.2. Rdatiomhip between tho IXJIpatitueat quuk ~ of no~rdac.iml.ic: quark IIIIOdel. aDd
the current ~bra m. oco:w'I'iAt; in the QeD Lap-anp.an. The ciiffen:r:tc:e b e t _ them i.
due to the momentum BIad"·';""· ariaiq hom CCIIlfiD_t and ;. p:&CIJKi'1'ica.al to Aqcn . Tb,e
numben indicate the c:urrent. aJ,seh.-a ma.v in MeV.
(96)
32
(101)
where t is it.a weak isospin and 20 is t.he number of lefi.-handed spinor indices in the
Lorentz group representation (o , b) of the field . Due to Lorentz invariance and SU(2)
gauge invariance, F parity is multiplicatively conserved. F parity takes the values:
F=+l for quarks and leptons; F = -1 for antiquarks , antileptons, gauge fields , the
Higgs field and the differential operator 81" Baryon number violating fou r-fermion
operators must contain three quark (or antiquark) fields, coupled together to from
a colour singlet, and a lepton (or antilepton) field . It then follows, from F parity
conservation , that t.he allowed terms either annihilate three quarks and one lepton
or three antiquarks and one antilepton . Thus the 'charge' B - L is conserved by
the allowed d=6 operators .
It must be admitted, however, that there are aHowed d=5 terms , involving the
Biggs boson field fi' which violate lepton number L wit.hout changing the baryon
number B :
j'ei.L Ij'L tPl< tP/€il< €;I , (102)
1\.LljaLtPl<tP/€/;€I</ ' (103)
These terms clearly violate B - L , although they do not contribute to proton decay.
If no elementary Higgs field is available, as in technicolour models, then both tP's
in Eqs . (102) and (103) should be replaced by fermion bilinear expressions . The
dimension of these terms is thereby increased from d = 5 to d = 9. In such a
t.echnicolour-like model B - L would in fact be conserved including all effect.ive
interactions up to and including dimension d = 6. However in the pure standard
model extended to include all effective interactions up to and including dimension
d = 6, B - L is only conserved for certain processes, such as proton decay.
36
We now CODiider another c:oue~icm I•• , .hich • only valid for a certain
special type of procesa : flavour conservation for neutral currents [paper 13]. A. we
have already seen, the fermion flavour cbarges, Eqs. (43}-(45). are conserved by the
.troog and electromagnetic interactions. However strangeness and other fl.avours
are not conserved in charged current weak interactions, Eq. (28) , mediated by the
W:i: boeon. The absence, experimentally, of strangeness-changing neutral current
weak interactions was, for several yean, considered to be evidence against the ex-
istence of the neutral weak intermediate vedar boson ZO . It was then pointed out
by Glashaw, Iliopolous and Maiani (GIMf23 that the suppression of strangeRes&-
manling neutral eurrenta could be explained by the introduction of a fourth quark
flavour: ch&rm. More generally, flavour conservation for neutral currents is a con-
sequence of the fermion generations all having the sart'M!: representation , Table 3.1,
under the standard group and the existence of precisely one neutral Higgs boson in
the standard model (Paper 13].
The zO couplings cause tr&Mitions between fermions of the SArt'M!: electric charge,
belonging to the same weak isodoublet . By lUing the doublets of Eq. (24), (u , delL
i
etc. , &8 a basis for the Q = quarks (and the doublet. of Eq. 25, (ue , d) etc ., as a
buis for the Q = -1 quarks) , it is eaaily seen that the ZOb080n couples each quark
to itself only. Similarly the ZO couplings are diagonal in lepton flavour . The YukaW&
couplings of the Hig. particle are proportional to the fermion masa matrix and ,
thus, also diagonal in tbe m&88 eigenstate basis. As noted earlier, the W::t couplings
conserve the lepton number (or each generation . Bence all the intera.ctions respect
the separate lepton number coDlervation laws.
However the W::t couplings to quarks are not. diagonal in generation number
space due to the non-vanishing off-diagonal elert'M!:nts K.. of the Kobayashi-Maskawa
matrix. Quark generation number is conserved by the neutral currents, but not by
the charged currents. In addition to quark Havour conservation in second order
(single b080n exchange) neutral weak interactk>ns, the GIM mechanism suppresses
higher order induced neutral cunent effecu. in which a quark undergoes It. flavour-
changing but electric charge conserving tr&Mition . All higher order flavour-changing
neutral current intera.c:tions vanish, in the limit that all the Q = I quark muses
are equal and all the Q = -1 quark masses are equal . In pra.c:tice this limit is
u.sed to mean the approximatk>n, in which all relevant quark masses are negligible
compared to mw .
The fact that all ftavour-changing neutral current interactions vanish, in the limit
of totally degenerate quark masses, is easily seen, by analogy to the separate lep-
ton number conservation laws. In this degenerate situation , the ' Cabibbo-l'Otated'
quarks. de etc. and U e etc . are all mass eigenstates. Let lU now consider a single
quark line, correspondin~ to a Q = i quark in the initial state, passing through
a Feynman diagram, Fig . 3.3. We choose the doublets of Eq. (24) , (U ,de)L etc .,
to define a quark generation number ba&is in this mass degenerate situation. The
W::t couplings to the quark line then conserve generation number, as do all the
other standard model interactions. A similar result applies to a Q = -1 quark in
37
F"". 3.3. The int~ of. mI.' Q='J/3 quark in an arbitrary neutral current proceu.
t.he initial ,tate. in a generation number basis defined by t.he doublets of Eq. (25).
(Uc,d)L etc. Since quuk generat.ion numbers are unchanged, it. follows t.hat quark
flavour is conserved in neutral current pr0cesse8 to all orders of perturbation t.heary.
When real non-degenerate quark masses are used, the actual degree of sup-
pression of any hi&her order flavour-changing neutral current process depen& on
the convergence properti~ of the Feynman diapams under consideration. A truly
rourtb-order weak process, in which two heavy b080DS are exchanged , suffers a power
law suppression?' 80 that t.he amplitude is of order
(105)
(106)
The physical quark fields Uta_' and d 2a6 L are defined in Eqs. (24) and (25) . In
discussing the CP transforma.tion properties of the charged current, one mWlt allow
for relative phases between these quark fields . All other terma Me diagonal in the
quark 8avoura.
38
(112)
For CP invariance of the charsed current couplings, we require that the transformed
exprcs8ion of Eq. (112) should equal the &«ODd term of Eq. (106). The condition
for C P invariance thus becomee
(ll3)
(ll.)
must be real.
The weak mixing matrix K•• is unitary and thuB haa N2 real degrees of freedom ,
where N is t.he number of generation•. For CP invariance, we require K~. to belon~
to the N(N - 1)/2 dimensional manifold of ortho~onal matrices. Therefore, in
~eneral , we need N' - N(N - 1)/2 independent adjuatable parameters, in order
to ensure CP symmetry. There are 2N phase (actors, '11. and ",., which can be
adjusted. However a common phaae factor for all the quark field. would leave all the
parameters '1i.'12' unchan~ed . Hence there are 2N -1 independent phases '1i.'1»
available. Thus, in order to aa\,e(y the ,enera! eondition for CP symmetry. we
require
, I
N - :iN(N - I) < 2N - I. (llS)
This condition is equivalent to
I
:i(N-I)(N-2)<0 (ll6)
which is only satisfied for N=l or 2. For N=3 ~enerations we have (N - l)(N-
2)/2 = 1 and obtain just one nontrivial CP-violatin~ phase factor in the Kobayaahl-
Maauwa matrix [paper 14J.
39
In ihe IeCODd order (ODe boeon e:xehanp) proeeu invoIvini OI1ly enema! quark
Savou,. belonpnl t.o, eay, t.he first. two leneratiol18, thee can be no CP violat.ion.
This ronows, since the relevant quark couplings only involve a 2 x 2 sub-mat.rix
of Oat: full mixing matrix K... A CP·vioiatin, prOCe8$ mw:t either (i) be fourt.b
order in LIle weak interactions or (il) involve external quarks from three different
Je,Derat.ions.
The only place where CP violation has been observed is in the neutral bon
syat.em. The coefficient of admixture t of the CP- even state K1 • relative to the
CP-odd state K" in the long-lived eigenstate KL is given approximately by 25
He..
o -0
M" = (K IHeffi K ) ( liS)
is the KO- KO transition matrix element of the effective fourth order weak HarnilLl>
nian densit.y Rd' changing strangeness by two units. The CP violating amplitude
1m MI2 neeesaarily involves couplings to a t.hird generation quark and is, therefore,
naturally lIuppressed relative to the CP conservin& amplitude R.e Mn. This sup-
pression is due to Lhe observed smallness of the quark mixing matrix elements K.,. ,
connecting the two lowest mass &enerations to the third gener&t.ion, compared to the
'Cabibbo' matrix element Kn.21S The empirically small value of the CP violation
parameter
1<1'" 2.3 x 10-' (1l9)
is thereby understood, without requiring the CP violatin& phase in the mixin&
matrix to be small (or dose to r).
Finally we eonsider scaling symmetry in the standard model. We use natural
unita Ii = c = 1, and measure dimensions in units of mass. By analogy with the
discussion in Chapter II of scaling symmetries in macroscopic physics, we CAn apply
dimensional analysis t o the action, S = J tJ4zC , of II. Lagrangian field theory.
The action for a field theory with no dimensional parameter (Le. IT\aSSes and
non·dimensionl_ couplin, constants aU set equal to lero) i. invariant under a .we
transCormation 27
'Z~ _ Z", -_ ..., z,. , (120)
where the transformed fields are given by
Here ,p{z) and ¢(z) denote generic boson and fermion fields respectively. The scale
invariance of the action is broken by particle masses. These masses should be
negligible at very high enere or very small distances, where we focmally obtain
40
uymptotie Beale invariance. However the scale symmetry of & masalMl theory is
broken by a quantum anomaly,7,27 simillU to the axial U(l) anomaly which breaks
t.he chiral invariance of I1l&S8less fermions .
The divergence of the scale current 51" for a renormalis&ble field theory. is given
by the trace of t.he cnero-moment.um t.enso! 6,.~ :
/JI's,. = 9~ . ( 123)
Formally t.he trace 9: is given by m&!lll terms, hut. another anomalous cont.ribu-
tion arises from the renormalisation of the theory. The renormalisation procedure
introduces a momentum scale, r =_p'J, at. which the renormalised dimension-
less coupling constant g(p) is defined (for simplicity we consider a theory with
a single coupling constant). The renormalisation scale p is an arbitrary parame-
ter, which breaks scale invariance and introduce8 an anomaly into the trace of the
tner&y-rnomentum un&Or. This trace is proport.ional to the renormalisat.ion group
p_function :2S
dg
P(g); "dp (124)
(126)
41
X=--. .'
2p · q
(127)
of the structure functions are not constants, but definite powers of logarithms. I,.,
The predided approximate Bjorken sealint;, with logarithmic violations, appears to
be in agreement with aperiment.2!I
It is interestint; to note that seale invananee implies conformal invarianee for
a renormalisable field theory.28 Conformal transformations are a four parameur
manifold of .pac&time transformations of \he form
(129)
Poincare
STANDARD
MODEL "'..... ---- .....,
,",,:-...r -- ~I FloYOlJf conservaTion \
\ for neulral currents :
----- -
, GIM ,/
"
Slrono and
elecTromagnetiC
interoctions
Sma ll
C
,,"
PT
CP
GO'
T
Fir;. 3.4. The auumed and derived .yrrun.e~rie& 01 the .t&ndanI model.
For a renormalisable field theory, t.he divergence of the four conformal currents
K~I', associated with the transformations of Eq. (129) , CAll be expreMed in terms
of the trace of the energy-momentum tensor
(132)
Apart from mass terms , Ot is given by the haee anomaly discU86ed above. Thus
the conditions for asymptotic scale invariance and for asymptotic conformal invari-
43
anee are the same in a renonn.aJisable field theory, namely the vanishinS of the
P-function .28
It has also been pointed ou130 that, for an effective fi eld Lheory action which
is invariant under general co-ordinate transformations, local scale invariance (We)'l
invariance) implies conformal invariance in flat space.
We have seen that a rather large number of symmetries arise naturally out of the
standard model. Poincare invarianee and gauge invariance are the only fundamental
input symmehies of t.he model. The symmetries derived from the model, Logetber
with the auxiliary assumptions, are summarised in Fig. 3.4 .
RelereUCe8
1. T .-P. Chen( and L.-F . Li, G•• ,~ TIe .. ..., I;If Slem ... ,..,., P.rtid. Pl,.ie. (Oxford UniYel'Sily
PreM, I984).
'2 . K. Huanl, Q ...,..h. Lc,fou ••• a..,. FieU. (W(II"ld Scientific:, 1982).
S. C. Qui". C ...,. n.oriu oj 51"'''1, Wed u,; Efednma"uti. 1111.,...1;0., (Benjaminl
Cumming, 1983).
t. L. Michel, Gro., Tle~nl;,.. 1 c~.cc,~, ••111 Mell GIII, i. E'emn~ • .., Parlicle Pl,.., . , Le' ~.n'
GJ tle [" .... , S.mmer S,hGI GJ T4tGnliul PIt,,;u U6t, ed. F . Guney, p . W (GOI"don
and Breach, 1964).
5. L. 0' Raireartai,h, Cro., Slrach" GJ Cn,e TlteGriu (C ambridlle Uniyer-.ity P reM, 1986) .
6. K . Fujikawa, Pit, •. Ru. LeU. !!. 1195 (1979).
T. S. B. Ttoeiman, R. Jac:k.iw, B. Zumino and E. Witten, C.rr"e.1 AI,el ..... 1II A. Gm.l1u (World
Scienlific, 1985).
8. V. Baluni, PIt, • . Ru. DUI, 2227 (1979); R. Crewlher, P . di Veahia., G. Venma.o and E . Wit--
ten, PIt". Lett. 1GB, ll3 ( 19T9).
a. Ken·lchI Hlkua, PA,,;e. Scri,.a ~ lQf (l98G).
10. S Chadha and H. B. Nielsen (unpubli ..hed).
lL D. B. Kaplan. and A. V. Manahal-, Pl., •. Ru. Lell. §.l. 2004 (1986) .
1l. S. Weinbers, PIt, •. Ru. Lett tJ.. 223 (1978); F . Wilczek, Pl., •. Rn. Lell. 40, :lI9. (1978).
l.3.. S. Yamada, Pro"di." GJ J9UI.lCn&aIiG.at S'm'G,i .... G" L c,tG" a"d PhIG" 1"le ... eliG'"
at Hi,' E.er,iu, CornelI, p . S25 (Comell Uni.vtni~)', 1983); W. A. Bvdeen, R. D. Peccei and
T . Yanar;ida, Nacl. Pl." . B2T9, 4m. (1967).
It. M . Dine, W. FiKhler and M. Sredni.ck:i, Pit, •. uti. 104B, 1B9 (1981).
a. F . E. Cla.e, Aa lalrod.dio- tel Q .. r« .. III ParlG .. (Aeademic Pre&I, 1979).
1.6. C. Vala and E. Witten, N.d. Pl., •. BU", 113 (1934).
11. S. L. Adler and R. F . Duhen, C....ru. AI,cb., .. III A"I;eali n .~ Parl.ielc PIt,,;u (Benjamin,
1968); V. de AHara, S . FUbini., G . Furlan. and C. Raueui, C.nub'. HalliN. P",i" (North-
Holland., 1973) .
l8. M. Gell.Mann and Y . Ne'eman, Tlte £.,ltl/./.I Wa, (Benjamin, 1964)
l!l.. E. Fathl and R. JadOw, Dr"amical an,c S,mmd.., Bredi", (WOI"ld Scientific, 1982).
2Il. A. ConIcie, C. D . FrogaU and H. B. No.:J..en, Pl., •. LeU. 1618, 3fi (198$) .
21. G. 't 800ft, Pl., •. Rn. Left. ~ 8 (1976); V. Ku.unin, V. Rubakoy and M. Shapc.hni.koy,
Ph».. LeU. USB, 36 (1985)-. -
22. S. Wein-her" Pl,•. Rn. D22, 169-4 (1980) .
2l..
u.. M. K. G.illvd and B. W. Lee, P.,•.
S. Gluhow, J . Diopoloua and L. Maian..i, Pl., •. R~ •. D2 , 1285 (1970).
Rn. DI0, 897 (1974); M. K. G.iUud, B. W . Lee and
R. E. ScN-od:, Pit,•. R n. DU, 2674 (1976).
:u.. J. E.Ili., M . K. Gail1anl and D. V. NanopoiOWl, N.d.
and M. B. Wise, Pit, •. R n. D20, 239'2 (1979).
P.,•. 8109, 113 (1916); f . J . Gilman
lti. F. J. Gilman, K. Kleinknecht and B . Renk , Pvtide Dat.a Group, Pit, •. LeU. 2048, lIU. (1988).
:11.. S. Coleman, Aq",," oj S,mmd.., (C amhrid,., Un.ivenity Preu, 1985).
~ B. Scbroet, Naowo Dim e"!,, L eU. 2, 867 (19n) ; N. K. Nieben, N.d. P., • . BeT, 527 (1975);
N.d. Pl, •. B120, i l l (1971).
29. P . SOd... .-l O . Wolf, A . .. Ru. N.cl. P.rl.. Sci. st, 231 (1.1); F . ScnaJIi , PY"Kcdt.,••/
1985 1",1,", .li~.al S,....".i.m,II.Lqoln •• 1/ Plol~'" 1",lcradi,•• d Hi,. £.e"iu, Kyoto.,
p . 8, 1986
30. B. Zumino, Led.re. i. Eltmt.le.,., p.,.,it!e Plt."iu •• 11 Q ••• I.m Fit/II T1eorJ, P~ulli."
of 1170 B,..IIl/eu S.m",,, 1.,~i~,ft, Vol. 2, p . 4U (MIT Preu, 1970).
4S
Chapter IV
The standard model , toðer with Einstein'. tbeory of lI'avity, seelJlB to explain
all the fundamental interactions of pbys.ics known today. However there art several
reasotll 1 to look for theories that go beyond the standard model, in the sense of
havinl: t.he latter u a IOW-eOB«Y approximation. The st&nda.rd three generation
S(U(2)xU(3» model involves 20 arbitrary parameters; three independent gauge
coupling constanta, six quark maases, four quark mixin, paramete1't, three charged
lepton messes, lhe W.ID&S8. the Higgs particle mass and the coefficients fJ and 9' of
the 5U(3) and 5U(2) topological terma. Many of these paramete.ra are unnaturally'
small. The smaJ1ness of the quark masses are responaible for the chiral symmeuy
and the Gell-Mann 5U(3) flavour symmet.ry of t.he strong int.eradiona . Similarly
parity and CPinvarianee require t.he B·parameter 10 be effectively zero. We therefore
need a model for the parameLen, if we are to underat.and these symmetries . We
Ihould also like to understand the oripn of the puge symmetry goup S(U(2)x U(3»
it.aeIL These symmetry and other 1 consideration. strongly suggest the existence of
a more complete theory containing the sL&ndard model.
An attractive method of e.xtending the sLandard model ia 10 postulate the
unificationS,. of the strong, weak and eledromapletic inLetadions in a lIimple gauge
goup G. The simplest such gand unified theory (GUT) is the Georgi-Glaahow
G = SU(5) model [papu Hi]. Twelve new gauge boeona are introduced by the
SU(5) group, which mediate quark-lep1on transitions and must be made super-
heavy. The global baryon and lepLon number conaervation laws of the IItandard
model are thereby violated. In fact , pro1on decay and the existence of superheavy
mlllDetic monopolea are generic features of GUTs.
The grand unified gauge group G ill arranged to be spontaneously broken, at a
auperheavy ma&II scale mx I by the Higgs mechanism, down to the standard model
group. In fact precisely the standard model group S(U(2)x U(3» , and not the group
SU(3)xSU(2)xU(\),;. .sub""u. ofSU(5). The <buS" quantioa.ion rule
iAI thus automatically obeyed in the SU(5) model. Each generation of len-handed
fennions fits exactly into the anomaly-free reducible 5- +10 representation of SU(5).
However it is an exaggeration to claim that tbe standard model group has been
derived within such a GUT model. In reality the standard model synunetry is built
into t.he gauge group G 06 initio. So, strictly speaking, GUT models do not qualify
for inclusion in this book as examples of symmetry derivationa.
Nevertheless, some GUT models do have symmetries which are not. II priori
obvious and are not. imposed on the model from t.he outset. The moat important
example of this type is the eonaervation of B - L (baryon number minus lepton
number) in tbe simplest. version of the SU(5) Lbeary, despite t.he separate viola-
tion of B and L. In its simplest version, 5U(5) is broken down to the standard
S(U(2)xU(3» group by an adjoin~ representat~n of Higgs, 24H , developing asu-
permassiw: vacuum expectaLion value. The standard group is then broken by a
fund&mental representation of Bigs. 5H. which is just the SUeS) extension of the
familiar SU(2) x U( 1) Higgs doublet of the standard model. The Lagrangian for this
minima] SU(5) model posaessea a global U(l) symmetryl , with the fonowing U(l)
quantum number (called X) aaaignmenLe.
(2)
Here tbe subscript F refers to lef\...handed Weyl fermion fields . The remaining fields
namely the 24H Higgs field and the gauge fields, are assigned zero X-charge. The
SU(2)xU(1) breaking vacuum expedation value of tbe 5H Higgs field also breaks
the X -charge spontaneously. However the linear combination
4 Y
Z=X+-·- (3)
• 2 '
wbere Y denotes the weak hypercbarge leaves the 58 vacuum expectation value
invariant. The Z-eharge is therefore conserved globally and the appearance of a
Goldstone boson is avoided .s H turns out tbat for fermiona
Z=B-L . (4)
We must treat Z as a generalised B - L charge, in the sellBe that some bosons cauy
this quo.n\um number althougb neitber B nor L quantum numbers are assigned to
them.
Exact B - L conservation appears more or less acddenlally in the minimal SU(5)
model and fails if additional Higgs fields , sudt as a l5H or ION ' are introduced. For
instance, a 15H Higgs field would generate Majorana mass ter ms for t he neutrinoe,
47
2
lin Bw = 0.228 ± 0.0044 (5)
sin 2 Bw = 2g~ , = !
(at the unification scale) (6)
gl + g2 8
at 8uper· higb energies, where the breaking of the grand unified group G can be
neglect.ed (paper 16). Also theories based. on larger groups, 8Ueb as SO(10) or
Ee,' in which the standard model group is embedded in an 5U(6) subgroup. pvc
the lame prediction, Eq. (6), (or ain 2 8 w at the unification aeale. Renormalisation
JOOup techniques can be used to calculate the dependence of the sause couplinS
constanu 9i(p) , and hence sin' 9w(p ), on the momentum. scale p at which they
are defined (Pllpet 16]. Below t.he unification mass scale mx, the couplinp, 9i(P)
vazy in a G non· invariant way. For the minimal SU(5) model, or any simple GUT
satisfyinS Eq. (6) with no new physics in t.he 'greal desert.' between p = mw and
p = mx, the corrected value of the Weinbers ansle at p = mw agrees with the
experiment.al value, Eq. (5), within errors . (Note adt/ed in proo/: Recent LEP
precuion meuuremenb o( ain' Sw are inconaisl.ent with the minimal SU(5) value.)
Assuming t.he &reat desert hypothesis of no new phyaia between p = mw and
p = mx , the unification mass scale is predicted to be'
He1:e AQco denotes the effective (our flavour QeD scale parameter (in the modified
minimal subt.raction scheme of Ref. 7) . Super heavy sallie bosoIUI of ma.ss mx
mediate proton decay at a rate proportional to mi\ leading to a predicted partial
lifetime for the decay p _ e+'II'° ot<")
(8)
nu. decay rale is c.a1culated ua;umins that all the fermion mOOns matrices, which
appear in hazyon number violating proa ma, are equal to the usual Kobayashi-
Mubwa matrix, as predicted in minimal SU(5) . The factor 10:l:o.t il an indication
olOae "heoretieal unurtainties in the ealeulation. We therefore obtain the folio_inC
theoretical boundss on prot.on decay, using present experimentallimiLs on AQCD
(9)
and
1'(P -- e+rO) < 1.4 X 10'2 yr for AQCD < 400 MeV . (\0)
These results are in contradiction with the experimental bounds
The simple SU(S) model is thus ruled out by the experimental bound on proton
decay. It is neeeaaary to introduce new physiea at a maaa scale below mx, in the
form of scalars, ferrmons and/or gauge boson. , in order to obtain a GUT with
compatible with the limits on proton decay. This suggests tbe existence of a larger
gauge group, such as tbe superstring motivated Ed X Sa symmetry [Papers 21, 22],
which is broken down in steps as one goes down tbe quantum staireaae. Tbe stan-
dard model group then consists of "he symmetries which survive near the bottom of
tbe s\aircase, and can be considered to arise fr om a sort of "survival of the fitteat"
mechanism.1
An appealing modification of the standard model , with new physiea below the
unification m&88 seale mx , involves the introduction of simple N 1
supersymmetry.4,lO Supersymmetry relates bosons and fermions and their interac-
tions. In the supersymme\rk version of the standard model, the spin 1 gauge bOSOM
are a.c:companied by new spin! giuinos , photinos etc., spin! fennions are accom-
panied by new spin zero squarks and sleptoOll, and spin zero Bius particles are
a.c:companied by new spin i Hiwinoe . Superaynunetric theorie8 have remarkable
renormalisation properties and in lOme cases are completely finite in perturbation
"0
theory. These properties can be exploited make the maaa hierarchy, mx »mw,
technically natural in supersynunetric pand unification , if global N = 1 superaym-
metry is broken at an enerlY around 1 Te V. In addition the &rand unification mue:
scale mx is increased, as required for consistency between experiment and proton
decay mediated by superheavy boson exchange.
The commutator of two suecessive supusymmetry transformations is equivalent
to a spac~time translation. Thus, if the supersymmetry transformations are made
local and gauged, the spin 2 graviton gauge field is automatically ineluded, as a
partner to the spin i gravitino gauge field associated with local supersymmetry
transformations. Local superaymme\ry therefore includes Einsteinian ,;ravity and
is ulually called lupergravity. Gravity can be unified with other particle interactions
in N-e.xtended superpavity, which contains N spinoria1supersymmetry geneI&tors
and N gravitinoe. The large.t of these modela i. N = 8 supergravity [paper 18). For
49
N > 8, the model necessarily cootains massless particles with spin &reater than two,
and the corresponding conserved currents are so restrictive on scattering procC:IIIses
that the S-matrix must be trivial. 11
The N = 8 luput;ravity theory is truly unified , in the sense that all fundamental
fields of the theory appear in a single lupermultiplet. However despite the improved
I
(17)
obtained by letting z be any ordered set z = (%1, %, ... . I z.. ) of n complex numbers
not all being lero, z i O. This means that, for any pair of rays [%) and [yJ, tbere
exiata an element g of G IUch that
In fact , there is a one-tc>one corr~PQndence between the ray. (z] and the coset.. gH
given by
[z)_ (. e GI.[1 . 0 .... . 0) = [zll . (20)
It follows from Eo. (19) that if. e (g e GI.(1,~, ... ,0) = [zll th,n.h e (. e
GI.[1.0 . ... . 0) = [zll and. thu., th. ." (. e G(g[1 .0.... •0) = (z)) "' of thdorm
of. rooet.H = (.h lh e H) .
It. it a remarkable fact t.hat, by a rat.her t.rivial rewriting of the t.heory, a sigma
model taking values in G I H is found to have a gauge symmetry for the group H .
51
We may simply express lhe model in terms of & field theory taking ....Jues in the
group G itself, rat.her t.han in the coset. apace . However we must t.hen declare t.he
replacement. of a field g(z) E G by g(.r)h(z} w be a gauge transformation, where
h(z) is an arbitrary ',auge fundion' taking values in H .
The Lagrangian denaity for lIuch & sigma. model wiD, in general, contain deriv&-
lives of the coset-valued field ¢(z) = g( %)H . How should we translate tbis derivative
8,.¢(z) into the G-valued formulation? Mathelll4l.ically 8,.¢ is & laDlent vector to
the coeet space. This tangent vector space is in natural correspondence to a sub-
space of the tangent vector space of G , which as orthogonal to the t.&ngent vectors
along the coeet (viewed 88 a 8ub-manifold of the group manifold G) . Ortholonality
is defined here with respect to the Kinin, form derived metric for the Lie lWup
G. In the G-valuecl formulation , we therefore want to replace 8,.¢ by & derivative
D,.g(z) which is paranteed to be a t&DIent vector to G orthor;onal to the tan-
lent vectors alan, g(z)H. Formally this is achieved by introducing the covariant
derivative
D,,(z) = 8,,(z) + ',(z)A,(z) (21)
where A,,(z) is constructed from .(z) and 8,.9(Z), usiD, the projection operator PH
from the Lie al&ebra • of G onto the Lie al&ebra JI of H :
(22)
We should now like to include AI'(z) as an auxiliary field, in aucb a way that
varYln& the ac"OO with reepeet to AI'(z) pvee u.s Eq. (22) . It is easily teen, Fi,. 4.1,
that we require A,.(z) to lie in tbe Lie a1J:ebra 11 and to m.inimiae the expression
(24)
IMI'=M+M . (25)
More abltractly, we minlmiae the Killing form for G of g(z)-18/1-9(% ) +iAI'(z) with
ii8elf.
We can immediately recopile tbe expression, Eq. (24), after minimisation , as
the kinetic enerQ term
(26)
foc the GIH valued sigma model. Hue cPa(er = 1,2, ... ,dim(GIH» is a set of
CCM>rdinatee enumerating the points on the sigma model tar,et apace GIH, and
53
.br.
rIC. (,2. SdI_u
val~
d.iacr- for the A"ls)
.:alar field ..,(s).
lidd. The eoIKIliD. mdicaie propaaaton Cor the Lie
(33)
where ,.(z) is a Lie alt;ebra valued field . A perturbation expansion of the act.ion,
Eq. (28), 'hon P"'"
1
= 2/ Tr«8,,(.) + A,(.»')
•
- 2/ Tr(8,,(·)h(·),8',(.)])
The existence of & term of t.he form t'n-(A.. (z)8P'Y(z» in the action means
that., in t;eneral, the A.. {z) and 1(%) fields mix. However we choose a ,.use in
which this mixin& vanishes. [n t.he Lorenb r;auge, lJI'A.. (z) :::;: 0, the intepal
f dl'zTr(AJt(z)lJI',.(z» becomes a pure bounda.ry term. In !.he -unitary gaule".
PH(-y(z» = 0, the term Tr(A,.(z)81',),{z)) eimply vanishea. The propelaLora for
A.. (z} and r(z) do not. then mix. The hare proPAIator for ,.(z) becomee tht of
& maaste.. scalar particle, while t.he bare prop&&aLor for the AI'(:) field ia -12/6:
(35)
54
where ,..(p') turns out to be diver,ent in &eneral Now we reeognise (pI'POl _ p'6:>
as the usual gauge field kindic enerlY term written in momentum apace. So, the
one loop correction haa generated a kinetic energy (or AI' Md, to this order the A"
I
(38)
In this sense, the dynamically leoerated A,II laule field is • priori Higsed.
We note tbat an n~loop FeynID&D diagram corresponds to a term of order 'An, in
a power series expa.n.aion in Planck'. constant h. Hence T(P') is of order h and lobus
mA is proportional to ,,-1/2. So, in the classical limit ,,- 0, the mass rnA diver,u
and t.here is really no A,. field particle. This is reasonable , since the A,. field is &
purely formal object initially.
We now consider whether the A,,(z) gauge pa.rticle. can obtain zero ma.as by
quantum 8uctuations of ~he g(z) field . Surpriain,ly enou&h, it is indeed possible
to generate an unbroken local laUle .ymmetry dynamically in this way. This is
iUustrat.ed by our example of the Cp,.-l model.
In the G::p,.-l model, the IallIe particle associated with the Abelian U(l) factor
&roup of H is shown to be tnaallea in d = 2 dimensions, usinl the lIn expansion
(paper 17]. A masalesa gauge field in two dimenaions haa no real physical pa.rtide
assoc.iated with it, .ince it has d - 2 = 0 transverse components. However it lives
rise to a linear confining Coulomb potential, V(r) ::::=: r . On the other hand , a
ma88ive vector field in two dimensions p,ves riat to a Yukawa potential of the form
V(r) ~ ,.e.xp(-mAr). Thus, even in d = 2 dimensions, there is some phy.ical
content in a gauge field beinl ffia&8Ie&8. n follows that the cp.. - 1 model provides an
e.xample of the reveree of the HiUl' effect, dynamically generating a gauge symmetry
[Pap., 19J.
It is a detailed dynamical question whether or not quantum fluduationa can
l enerat!! a phy.ical gaule .ymmetry, corresponding to the fOl'mal gallic &roup H
(or to some subgroup of H) . When an H gauge &roup .ynunetry is leneral.ed, it
appe&ra thaL the quantum ftuduations cause tbe probability distribution of the field
g(z) over G to be invariant, under the .ymmetry operation of rigbt multiplication
by elements of H, at. any point in the va.cuum. For instance, in tbe c:.aae wben
the fundament.&! model has a &Iobal G invarianee, the distribution of g(z) could be
completely evenly distributed over G, like tbe Bur measure (see Fi&. 4.3). When
55
Fie- 4.3. ~ ol ". v.aNm apllRllClJy in • _11_ t.ipMo model. The licwe illub"ates
.ymboUall)' bow quNltum Buctuationa in ~ field ,(~) caD. be invariUlt under ri&ht mwtiplieati_
by element, 01 H, """" the ~ u-.npk of .." 51 ~et spfC't .
The other p08libility is that the probability distribution or g(z) over G in the
vacuum is not invariant under H transformat.ions, but rather is peaked somewhere
in G. Then we sbould expect the theory to remain in a Hiw-lilr.e phase with
massive , or perhaps non-existent, gauge particle..
ICC (or G/ H) is a non-compact. space, it seems unreasonable to expect the quan-
tum fluct.uations to spread tbe field g( z) over the whole non-compa.d apa.ce. In fa.d ,
a G-invarianl distribulion cannot be normalised in a non-compact space and, &0,
cannot be used u a probability distribution. There(ore we do nol expect lhe in-
verse Hig:I effect to work in a non-compact group space. Indeed, detailed analysis l5
aeem8 to confirm thal the phenomenon, o( dynamical generalion o( maaa1esa gauge
hoeoos, does not occur in non-compact sigma models.
The idea., behind lhe analysis of Ref. 15, is to consider the effect 01. a renor-
mali..tion group block-spinning on the vacuum values of the GI H valued sigma
model field ;(z). This block-spinning corresponds to integrating out the momenta
in an internl between, say, p and pIn , where JJ is the cut-otr energy acale. There
is, thereby, a transition 10 a more coacse-grained field formulalion , in which n" val-
ues of the field are blocked together. However I in order to take averages over the
non-linear si&ma model field ;(z), we must allow it to take values in a larger linear
'pace, conesponding to the convex closure of lhe GI H manifold. The model must
therefore be apresaed in tertn8 of a field 4t(z), which lakes n1ues aD the target
,pace of the coneaponding linear sigma model (i.e. tbe convex. closure of GIH).
At the re¢arisaiion scale Il of the model, 4t(z) is constrained to lie in GIH. This
is .ymbol&.ed in Fig. 4.4 by (a) a full-line circle for a compact target apace, and
(b) a full-line hyperbola for a non-compact target spate. A typical block of field
values is shown and the mean value is denoted by a star. The target. space of the
56
Fi,. 4 .4. ill.ration of thoe dl'ed of ~-.pinniD.J the vacuum v.aJ.ws of dw! a>pu. model field
o)( r) . (_) FOf"" COttlpKt lipna~. w tared. apace become. amaI.Icr _d unall.er iD tM infra.
red. (b) For .. nOl>-co~ 'i&ma model, the 'VIet apace becom.lqer ia the inCr..nd..
•
gmn=em • en rJd , m , n=4,5 .. . , 10 (39)
associated with the seven compactified dimensions. Here the internal flat metric
'1" = -6•• . The remaining seven scalar fields ¢m(m = 4,5 , ... 10) are obtained from
58
in the (ree field approximation. Here and subsequently, we use square bracket.
[ I to denote the antisymmetrized sum over all permutations of bracketed indices,
divided by the number of these permutatiou. It followa t.hat the dual field atrengt.h
- , ",%=2"
F () 1 ""F,. ....... ()
1: (42)
(44)
Selda. Thia matrix S"J', with primed indicel tuMin, over 8 values each, is con-
.trueted (rom a field V·',I, which ia an extension of the aiebenbein e·, = ei· ' A.
indiea.ted here, the order of the upper and lower indices on the sieben-bein is irrel-
..,
evant. The upper index is '6at' on the siebenbein e·, and 'curved' on ita inverse
'
The extended siehenbeio, or acbtbein, Vo'i' haa unit determinant and i. con·
strueted from the siebenhein e·; and the 1.calar fields' .... as follows:
.' , _ e";
II .,_u... -1/8 ( 0 ... 0 (46)
where
t.. = (dete"Sl = -detgij . (47)
The extended metric tensor Si'J' is then constructed from V·';"
(4S)
where ~J = 9jl" and ".'" = -6.,,, . It follows that the rea.laynunetrie 8x8 matrix
St'P satisfies det s.'j' = 1, and has 8x9/2 - 1 = 35 degrees offreedom to represent
the 35 scalar fields .
It is not. difficult to see that the values of the S;'i' tensor are in one-tcKme
correspondence with 1-he cosd space SL(8, 1R}/SO(8). The achtbein v·' f' is an 8x8
matrix with det v·' i' = 1 and can, therefore, be considered to be an element of
the poup SL(8. JR.) of special linear maps of an 8 dimensional real vector space.
However v·' i ' and the transformed achtbein JtI" .,v·' i ' (with det R'"'., = 1, so that
the transformed achtbein haa unit determinant) correspond to the same tensor
~'j" when R'"' .. belong. to tbe group SO(8). Thus a scalar field configuration, or
equivalenUy a particular tensor Sf'i', corresponds to the set ofSL(8,1R) matrices
(50)
60
with 'flat.' indices. Then we {annally add an extra indu, set equal to 11, by definiDl
'he totally antisymmetric field
(51)
wit.b primed indices taking 8 values (4,5, . . . , 11). Using the Levi-Civita symbol
with 8 indices, we can also define the dual field
(52)
"hich is z:~o if one of its indices is equal to 11. It is now pOl.8ibJe to pack t.he
pseud06calar fields into a 56x56 matrix
(53)
where we consider the fields A.,. ,c' ''' and • A·I.' c' ot' as 28x28 matrices with roWI
and column. labelled by non-ordered pairs, (a'lI) and (c'd") respectively, of unequal
indices. The matrix V_ can be recognised as an element of the E1 group in its
fundamental 56 dimensional representation (Appendix B of Paper 18).
We must now introduce a 56x56 E7 IJUltrix V+ to describe the scalar fielda ,
80 that we can eonstrud the 56)(56 matrix V =
V_ V+ referred to earlier, which
describes
, all 70 spin zero field.. The matrix V+ iI formed by ·.quar~· the a.chtbcin
v· i'
(54)
where
., t' ·, .,
v.'' = '1.'t'V ;oS'1 . (55)
The rowl of V+ are labelled by a non-ordered pair or unequal Sal indicea (a'b') -
upper indices for the first 28 and lower indices Cor the lut 28 rowl. The columna
are labelled, in an analoloUl way. by curwd indices (i',l) .
Under an 50(8) lau«e tranafonnation on the ac.htbein, we have
v
.' i' - ~
" ,
t'll " (56)
(57)
where
R.," = (R _1 ) " . ' = R' , .' . (58)
It Collowl that the correspondinl loc.al 50(8) transformation on V+ it pven by
61
wh...
(59)
Under this 50(8) transformation on the 8at indices, V_ transforms &8 follows
(60)
(61)
V_RV - (62)
(;:,.,'.' )
56-column
(63)
obtained by selecting specific values for the curved indices (i' ,l) . In order to
consider the general form of the SUeS) transformation matrix U , it. is convenient to
pack the above 56-column into a complex 28-column
Z II'" . .. ,.,
+ IY
(64)
J2
The 50(8) group corresponding to the transformation matrix Ris not embedded
in SU(8) in the standard trivial way, but is related to the trivial embedding by one
of the outer autorn01'phisms of SO(8). In otber words, tbe components of the 28-
column in Eq. (64) do not transform simply &8 the antiaymmetric product ZA8 of
two fundamental 8 dimensional representatioIUI of SU(8). However, &8 dillcuased in
the Appendices of Paper 18, they can be carried into such a representation by the
linear transformation
+ i YI .,,) (r""') A8 .
zAS -_!4 (4.'"/2 (65)
am
(66)
is the antisymmetric product of two 8x81'5_ proje<:ted 1'-matrices , appropriate to a
Weyt spinor in 8 dimensions.
62
(67)
(69)
(70)
IlIld the symmetry property A" AS = A" SA hanslates into the anti-self-duality
condition
'<" _ ."",,"'c',t (71 )
""0"','. ' - - "" .
We now wish to establish the advertised resu)t that the sealar and paeud06Calar
fields parameterise the homogeneous space Er(+7)/(SU(8)/Z2), by showing:
I) The SU(8) transformations U acting on the set of matrices V obtained from the
spin zero fields,
UV = UV_V+ , (72)
generate all the 56x56 representation matrices of & ( +1) '
and
II) For no matrix V = V_ V+ does the coset {UV IU E SU(8)) contain ¬.her V,
representing a different spin zero field configuration .
We shall also see below that the action for the spin zero fi eld sector is invariant
under global E7(+7) transformations, but this will not be relevant to our discussion
of local SU(8) invariance.
The group E7( +7) may be defined. in the fundamental 56 dimensional represen·
tation , as the aet of matrices
(73)
63
Rere, 1':.'''c'.' is any real totally antilymmetric fourth tank teD.Ior (70 parameters)
and A-'._ = -A,,-' iI any real traeeleu second order tensor (63 parameters) . It.
SU(8) subgroup is obtained by restricting AG'" to be antiaymmetric and E.,••c'.'
to be anti-selfdual. The symmetric part of A·\. and the selfdual put. of E.,t'c'.'
parameterise Er transformationa , corresponding to the generatora orthogonal to
SU(8) . Property I above requires that these transformations can be constructed by
multiplying an SU(8) matrix, U, by a matrix of spin zero fields V ::: V_ V. o
We have already seen that the IIcalar field confilUrations parameterise the ho-
1llOIeneoua space SL(8, lR)/SO(8) . with the general achtbein field 11-' i ' being any
element 0(SL(8, R) . Thus V+ parameterises the SL(8, it) subgroup of E7(+T)" Fol-
lowing Clemmer and Julia, we shall be satisfied to show that UV_ V+ parameterises
the £7(+7) goup in the neighbourhood of the identity I .
An infinitesimal scalar field configuration pves an achtbein of the form
(74)
(75)
and
(76)
(77)
where
-AO .=
.. -A-.' 0' • (78)
It follows that, La leading order, UV_ V+ is an Er<+7) matrix of the form of Eq. (73)
(multiplied by a unit matrix converting flat t.o curved indice. ) with
(79)
and
-
E.,. ,c' ''' = E .. •••c,,,· + A.,.,c'''' . (80)
In order to derive property I, we must now show that any set. of E7 parame-
ters (A·' . " E., .. .,..,.) can be obtained in this way. F'tom Eq . (74) and (79) • .6.v·'. ,
and A·'., are arbitrary in~nitesimal traceless second order tensors. The infinites-
imal anti-selfdual tensor E.,.,c'. ' has 35 independent components, which can be
chosen to be the components with no index equal to 11 (Cor which Eq. (5 1) and
(80) give E.,. ,c'.' = E.,.,c'~)' The infinitesimal p&Cudoscalar fields A.,.,c'~ can,
then , be chosen to give any required infinitesimal value to the otber 35 independent
components oC E.,.,,'.' = =
E."'e'.' + A."'e'.' with d' 11. Thus we generate ar-
bitrary infinitesimal values Cor the E 7 (+7) parameters (A·' " , E."'c'eI' ) and establish
statement I in the neighbourhood oC the unit element .
Let us now verify statement II above, but again to lowest order in the pseu-
dosealar fields. We first notice that the matrix V+V is invariant under the SU(8)
transformation V - UV. In order to establish property 11, we must show that the
invariant matrix R = V+V(= vTv when V is simply V = V_ V+ and not tran&-
Conned with U), which has only curved indices, specifies the values of the physical
scalar Si'i' and pseud06calar Am", fields .
We find , to linear order in the paeud08calar fields , ~hat
It is not difficult to see that the diagonal 28x28 blocks of R completely speciCy
the metric tensor Si'i', because the blocks have a s uperOuous number of componenLs,
compared to the 35 independent scalar field components of Si'i" Similarly, knowing
Si'i' , the olT-diagonal blow of R determine the 35 independent p&eud06calar field
components of Ai'i'.'" (or equivalently of its dual· Ai'j'.·"). We have thereCore
verified statement II , for all scalar fields Si'i' and infinitesimal pseudoscalar fields
A .....p .
We have thus established that the 70 spin zero fields of N = 8 supergravity pa-
rameterise the coset space E7 (+7)/(SU(8)/Z2), in the neishbourhood of the identi~1.
We now simply asaume, as in [Paper 18J. that the manifold of the spin zero field. if
the full coset space. Accordins to the general discussion of the previous section, the
theory should then have a formal SU(8) gauge invariance, with a set of auxiliary
gauge fields Q,.A B . Here it is convenient to use the basis of Eq. (65), with capital
letters, A,B = 4, 5, .. . 11 , which features the SU(8) subgroup of £? In ~his basis,
the 56x56 maw describin& tbe .pin zero fielde tues the block form
u aMN
V' = ( ijlBMN (83)
where the traceleae antihermitian 8x8 matrix AAC(AA c) acLa on an 8(1r) repre-
sentation. The set of (tracelesa antihermitian) gauge fields QI'A B is defined, by
projectin, the E7 Lie al~bra elements (8I'V')V'-1 onto the SU(8) subalgebr&.,
"hich we: have just seen, Eq. (85), corresponds to the block diagonal elements :
Q I'(A(C6 S }D)
(8I' V')V'- l -_ (2 PI'ABCD PI'ABCD)
2QI'[A[c6 BIDI .
(86)
Using QI'A S as SU(8) g&.uge fields, the cov&.riant derivative of the spin zero fields is
given by
(DI'VI)V ' -l ;;; (pI'A~CD PI'A~CD) (87)
which is clearly ortho~nal to the SU(8) Lie algebra. The complex totally antisym-
metric rank-4 tensor PI'ASCD satisfies &. se:lf.du&lity condition and, therefore, haa
70 degreee of freedom. We note tht Q,.A S and PI'ABCD &re: inv&ria.nt under the
global E7 tra.nsformation., which act on the right of V'.
We conclude tb&.t, at leut formally, N = 8 supersr&vity contains a composite
SU(8) Yang Mills field QI'AB . However, whether or not this ,ause ,roup appears
with zero mass ,au,e oo.oIll is a dyn&mical question . We now turn to the global
~+7) symmetry, which is not purely formal: it is a true, but hidden, synune:'ry of
N;: 8 supergravity.
As we have: already seen, detailed calculations e8~abliBh that the 70 scalar and
paeud06Calar fields or the N ;: 8 supergravity multiplet take values in the coset
Ipace E7(+7)/5U(8) . This means that 'hen: is a way in which the group E1(+7) acts
on the spin zero fidds , but doell not in it.aelf require the action to be invariant under
,lobal E 7 (+7) tranlformatKlRB. In fact , direct calculations {Paper 18] show that t he
Lagangian demity for the spin-zero fields can be written in the form
L 5 -- ..!-.'I'<[(D
48K2 I'
V'V' - ')'] (88)
J-
where e == det e,. 0" == defog,." is the determinant olt.he vierbein , and 1e 2 == 4.'rG",
is the t;ravitational coupling constant. The Lagranpan density Ls is mllPif5tiy
invariant under pobal E1(+7) transformations, as well as under loc&!. SU(8) tr~
formations. The local SU(8) and global Er(+1) groups ad non-line&rly 00 the spin
zero fields . However there it a global SU(8) symmetry ading linearly on the fields,
which correeponda to combining a constant. SU(8) tr&llBformation of loca.l SU(8)
wit.h the same SU(8) transformation of E7(+7) - When restricted to SO(8), this is
the usual global 50(8) invazianee of N == 8 supergravity.
We have restricted our above discussion of the local SU(8) and global Er(+7)
symmetrielll to the spin zero &ector of the theory. These symmet.ries are aleo estab-
lished for the fermion and vector fields in Paper 18. The fermion fields (8 gravit.inoe
and 56 Majorana IIpin-! fields) are invariant. under E7(+7) , but transform conva-
riantly under local SU(8) . The 28 vector fields of the supersravity multiplet are
Abelian and invariant under SU(8). The only term in the N = 8 super,ravity
Lagrangian density, which is not invariant under E7(+7) . is the kinetic term for
these spin- l vector fields . However, the ,lobalsymnletry Er(+7) is realised on the
field equations - exchan,in, the equations of mot.ion of the vector fi elds with their
Bianchi identities. When both field equations and Bianchi identities are salisfied
(on shell), there is invariance under Er( +T) adin, linearly on the 28 vector field
strengths and their 28 generalised dual tensors , which together form a fundamental
56 dimensional representa.tion of Er<+7) . Thus the global ~+7) ,roup is a symme-
try of the equationa of motion, although not of the complete action. The complete
action c.an be made manifestly invariant under the local SU(8) symmetry.
Finally, we mention tbe symmetrtea of the alternative gau,ed N = 8 super-
gavity model,1' in which the SO(8) subgroup of E7(+7) is gauged . This SO(8)
subgroup is realised on the 28 vector fields of the supergravity multiplet, which
become the SO(8) Yang-Mills fields . The global E 7(+7) invariance of the field equ~
tioos is thereby broken . Nevertheless, the ET/SU(8) coset structure of the spin-zero
fields remains intact, and the local SU(8) invariance is not affected by the laug-
ing of SO(8). Consequently, the gauged N = 8 supergravity model has a local
SO(8)xSU(8) symmetry.
Unfortunately, it is difficult to reconcile either version of N = 8 supeJ'lI'avity
with the well-est.ablished standard model phenomenoJoc. At least some of the
SU(8) Yang-Milia fields QI'AB must dynamically develop poles corresponding to
physical gauge particles, such &8 tbe W± bosona. Quarks and leptons must also
appear as bound states of the fundamental supergravity multiplet . Attempts to
obtain realistic particle spectra in t.his way are beset with unresolved dynamical
problems.l4.,l&
( (~ • "'» = (g,.(z.)
gAB , 0;- 0
0) '
"rij (tP'") (90)
Here g",,(.%O ) is the ordinary metric tensor of the four-dimensional world , and
1iJ (tP'") is the metric \ensor of the int.ernal space B havins co-ordinateB 41'" , i =
1,2, ... , n o
Symmetries of the compact inl.ernal space B , which generically has dimensions
of the order of the Planck lensth GN 1 /2,.., 10- 33 em, appear as gauge synunetries
in the effective four-dimensional world . If the space B has a continuous group G
ofisometries (transformations leaviIll the metric tensor l'ij(tP'") form-invariant) . we
obtain a four-dimen sional Yang Mills theory with gauge gro up G. The condition
that the infinitesimal C(K)rdinate transformation
., -., +,KM) (91)
should leave ")'ij(IP.I:) form-invariant leads to the Killing vector equation
D;KJ + DjKi = 0 , (92)
where Di denotes the eovariant derivative for the space B. For an N dimensional
symmetry group G, there are N Killing vector fields Ki (,), a = 1,2, ... , N , which
obey the Lie algebra
r
where k are the structure constants for the group G.
We now consider small ftuctuations cOflel!lponding to maasleat excitations in the
off-diagonal components of the metric tensor
(94)
The four dimensional fields A,II-(zO') are massless gauge fieldt of the gauge group
G. This may be seen by noting that. there is a symmet.ry under the infinitesimal
gauge transformation
Fie . 4.S. The ddormatioD 01 the ~ ,,.--.. Eq. (86). co.. liP c.Jdina to' . pup tramCar..
matiOll., Eq. (95). in. Kal ....... Klein model.
(97)
...
s = -......!...-, jatzrf' ¢lJldet9AB IR
or into some other diffeomorphism invariant action, must dearly give an action for
(98)
the A~ ( z ) fields which is invariant under the gauge symmetry of Eq. (95). The
effective action , obtained after int.egration over the compactified co-ordinatea ¢" I
therefore contains the usual Yang Mills kinetic term
(99)
69
for the case of a simple goup; if the symmetry poop or the internal "Pace B is Dot
simple a different coefficient. 1/(491) is needed [or each basic invariant subpoup.
In the above discussion we neskcted the effects of any ma.tter fields. In partie-
ula: , we implicit.ly assumed that matLer fields with nOD-zero vacuum expedation
values transform as singlets under G. The gauge symmetry group G is then not
spont.aneously broken by the matter fields. However the value of the gauge cou-
pling constant. 9' and thestrudure oftbe non-Iineaz terms in the massless excitation
anAatz (or gAB depend on the detailed form of the maUe r-field interactions, as do
the spin-zero massless modes.
At first sigM we seem to have an example of a derived symmetry, namely Yang
Mills gauge symmetry for t.he gauge &roup G of isometries for the space B . However
this symmetry is simply a ~pression of the diffeomorphism symmetry under the
special transCormation of Eq. (96). tn rea1ity we do not have a derivation of a
symmetry. but rather a metamorphosis of one already present. Even to obtain
such a metamorphosis of the diffeomorphism symmetry into a gauge symmetry, it
is crucial to assume that the eompactified Riemannian space B has an isometry
group G. Otherwise the produced gauge fields get BiUsed .
The symmetries of the apace B should arise as a result of minimising the vacuum
energy. The expression for the vacuum energy of a space B bas a diffeomorphism
symmetry, and its minimisation can easily lead to the space B being symmetric
under some isometry group G. It is really a question of whether or not there is
a spontaneous breakdown or the diffeomorphism symmetry. In practice the form
of the eompactified space B and the consequent continuous isometry group G are
usually just assumed, which is tantamount to putting in the gauge symmetry by
band.
As illustrations of the Kaluza-Klein mechanism for obtaining gauge symmetries,
we brie8y reconsider the two versions or N = 8 supergravity discussed in the ~llevi·
OU8 section as different compactifications of eleven dimensional supergravity.lS The
Cremmer-J ulia dimensional reduction corresponds to taking the seven dimensional
compact space B to be the seven·tOrll8 TT, with isometry group U(I)7. There are
thus seven Ka1uza-Klein U(I) gauge bosons in tbe Crernmer·Julia N = 8 superpav·
ity. In addition 21 Abelian spin· 1 gauge b080DS arise from the components Allmn
of the third rank antisymmetric tensor present in superp-avity. The deWit-Nicolai
gauged SO(8} version of N = 8 supergravity corresponds to taking B to be the
seven sphere 51, which haa 50(8) as ita isometry group. In this case all 28 of the
SO(8) gauge bOSOM arise as Kaluza·Klein gauge fields, and the four index gauge
invariant curl of the antisymmetric tensor ANPQ
(100)
develops a non·zero vacuum expectation value, in a necessarily four dimensional
space. The existence of the four index field strength FMN PQ here provides a dynam-
icaJ reason for the compactification to four space· time dimensions. 19 The potential
spin-l «a.uge bosons of the hidden local SU(8) symmetry of N = 8 supergravity
70
would be dynamic.&l bound states of the spin-O fields and nol Kaluz..Klein gaup
fields.
There are many other p08Sible compadificationa of eleven dimensional super-
gravity, with some or all of the N = 8 lIupenymmetries broken in four dimen-
sions. In Paper 20, compadifications to a space B having SU(3)xSU(2)xU(1) as
ita isometry group are considered. However the fermion spectra obtained from these
models are vedorlike, in contradiction to the complex representations of the stan-
dard model. This is & general problem for Kaluza-Klein theories, in which all t.he
gauge fieJd, arae aa components of the metric tenaor in higher dimenaions. 20 A tbe-
orem due to Atiyah and Hirzebruch shows that, in t.he absence of elementary ,aule
fields , the Dirac equation in 4 + n dimension. alway. leads to non-chiral fermion
quantum numbers in "dimensions. There is 8. similar chirality problem for the
Ratita-Sc.hwinger field .
In order to circumvent the chiral fermion problem in Kaluza-Klein theory, both
(i) chiral fermions and (ii) explicit gauge field. must be present already in 4 + n
dimensions. The extra number of dimensions n is required to be even , since it is
not possible to define a generalised "'Ys Dirac matrix, and thus chirality, in an odd
number of dimensions. Also to ensure the survival of chirality on compactifica'ion
to 4-dimen.sions, tbe gauge fields must assume a topologically non-trivial structure
on the compaetified space B.
As a simple example 21 with n = 2 , the space B could be an S2 sphere having
a constant magnetic field FS8 on it, corresponding to a Dirac monopole in the
embedding space for the S2 sphere. The integal of the m&8oetic field over the
52 sphere is, apart from a normalisation factor , the Pontryagin index for the two-
dimensionallpace. The Atiyah-Singer index theorem then ensurea that a fermion
field , chiral in 6 dimensions, will have one or more lero modes of the Dirac operator
for the two-dimensional space B . These zero modes are observed as masale88 chiral
fermions in four dimensions. Here the natural mass scale is given by the inverse of
tbe radius of the 52 sphere, which is generically of the order of tbe Planck mass
GN- t/2 _ 101IIGeV. The 'massless fermions' can obtain small masses from low
energy gauge symmet.ry breaking, u in the st.andard modeL
Inclusion of explicit gauge fields in the higher dimensions is fundamentally dif-
ferent in spirit to the Kaluza-Klein idea. The oripnal idea oC getting gauge fields
from hieber dimensional gravity is given up , and the gauge fields are put in by band.
The presence of chiral fermions coupled to gauge fields in 4+ n dimensions means
tbat tbe problem of anomalies must be faced.
Clams, sueb u Fig. 3.1, in D = 4 dimensiona and from hex8lon diag&mB, FiS. ".5,
in D = 10 dimensioDI . These quantum anomalies violate gauge invanance and uni-
tarity of the S-matTix. Consistency then requires the cancellation of all anomaliea.
Fi&. ".6. Hexacon diap"am 'llll'ith alunU .......41 b<»ON« sr_vi.t.c.u, whkb can live PUle, g .....i-
lational or mixed anonwlis in ten dimemiON.
Table 4.'2. Supasymmetric Yan,·Mill. multiplet in 10 dirnenaion. ror a.allle goup G 01 dimerW_
".
Field (Oqne. of &eecbn) De.c:ripti __
(10 1)
(102)
(103)
and
(104)
73
'I1:Ua construction is ambilUoua up to a dosed form. but the int.e&ral or Eq. (102)
specifies a unique anomaly corresponding to JD + 2 •
The gravitational, gauge and mixed anomalies in D = 10 super Yang Mills plWl
supergravity theory can be constructed from a 12 form, which is p roportional to
ITrF' + 24
I 12 = - 15 ITrF' t r R'
F= ~F,."d;r"dz" (106)
in the adjoint. representation of the gauge algebra, and R is the curvature two form
The Riemann curvature tensor RI''' is expressed in the zehnhein formalism , with
two suppressed flat indica. Thus t.be two form R is a 10x l0 matrix, belonging
to the fundamenta1 representation of the Lorentz algebra SO(9 ,1). In the above
formula we suppress the wedge product symbol so that , for example, F 2 denotes
F AF. The symbola Tt and t.r are used to denote t.races in adjoint and fundamental
represent.atiollB respectively. The number n of mat.ter Weyl Cermion species is equal
to the dimension of the Yang Milia gauge group G.
The anomalies associated with 112 are clearly non~ vanishing for any gauge group
G . However Green and Schwarz pointed out the existence of a non &&uge invariant
local counterterm that cancels these anomalies, whenever 112 faclorises int.o an
expression of the form
(108)
where k is a constant and Xs is 8. gauge invariant eight Corm made out of F and R.
The two necessary and sufficient conditions Cor this Cactorisation to be p06Sible are
and
Tr 1" = ~Tr F'Tr F' _ 1 (Tr F' )' (110)
48 14400
witb .c uniquely determined to be
1
k = -30. (lll)
74
It .. these two conditions "bieb characterise the aU~d poupe 50(32) and Et x Ea.
In addition there are just. two other groups, U(I)498 and E. x U(1)2-M, "bich satisfy
the conditioOJ rather trivially.
When the In fadorisation condition is satisfied, the key to the anomaly can-
cellation lies in the addition to the action of II higher derivative counterwm of the
form
Sc - J BX,. (112)
1 1 1
6B = Wn - 30W,y (114)
The t.wo forms W~L and ""~y are obtained by descent Crom tr R' and Tr F2 respec-
tively. The superscript 1 indicates that they are linear in t.he infinit.esim&l gaule
parameters J.(z). They are constructed by applying infinitesimal transformations
to the Lorentz and Yang·~1il18 Chern·Simonl three forms WSL and W3Y
(115)
(117)
(119)
The field strength HI''''' lUlSOciated with B"" is made invariant under local Lorentz
and Yang-Mills r;auge transformations, by the definition
1
H = dB +WlL - 30WlY (120)
The basic point in the Green·Schwarz mechanism is t.hat t.he new terms intro-
duced into the action generate anomalous B exchange diagrams, Fig. 4.7, which
just eanceJ the anomaly from hexagon diagrams, Fig. 4.6.
It is thus the Green-Schwan factorisation condition , Eq. (108) , for anomaly
cancellation which selects 80(32) and Es x Es as the allowed gravity-coupled super
Yang-Mills gauge groups in 10 dimensions . However what. is the motivation for
considering N = 1 8upergravity in 10 dimellBioDa? It is possible to have nOD-
trivial anomaly cancellations between particles of different spin in higher than 10
dimensiona,'8,27 but these theories suffer from incorWstencies. They either contain
I
a massless spin particle (a "avitino) without being supersymmetric, or ma.saless
particles with spin greater than 2. Chiral supergravity theories in (even) dimensions
higher than 10 have more than N = 8 supersymmetry generators when reduced to 4
dimensions, as is easily verified by counting the number of spinor component.s for the
gravitino. The graviton multipld for chiral N = 1 supergravity therefore contains
maaslese particles with spin greater than 2, unless the number of dimension. D < 10.
So the maximum number of dimensions in which it is p068ible to construct a
consistent N = 1 supergravity model with ehira] fermions is D = 10. Howe ver
in it.selC thia is not a convincing reason Cor seleding a ten dimensional model. In
Cad, at present, the main interest in N = 1. D = 10 super gravity coupled to super
Yang-Mills theory lies in it.s identification as the low energy effective field theory
limit oC a consistent superstring theory. Indeed the anomalous B exchange diagram,
Fig. 4.6, and the associated higher derivative counterterms, discussed in Paper 21 ,
were sunealed by the low energy expansion of type I superstring theory. The
critical dimension, D = 10, of superstring theory is determined by the uquirement
oC invariance under infinitesimal reparameLerisations of the two-dimensional world
sheet of the string (confonnal invariance) .2S
In .tring IMpage the above anomaly analysis means that the unorient.ed closed
superstring,(25) which has the N = 1, D = 10 8upergravity multiplet of Table 4.1 as
its 'pectrum of massless states, suffers from anomalies. For consistency it is neces-
sary to introduce an open superstring, with Chan Paton facton(2$) corresponding to
the unique gauge group 50(32). The massless states of the open string correspond
to the Yang-Mills supermultiplct of Table 4.2. Thus we have the rt:markable resul~
that anoma1y cancellation, which rcaJly means quantum meehanicaJ consistency,
implies that once we consider non-orientable dosed strings then open strings are
forced to exist also.
The realisation of E, x E" as a string theory gauge group , required the con-
76
at.rudion of the oriented dOlled heterotic string [paper 22]. It is just the Yan,·Milll
I,"ule groups 50(32) or Es x E" which un iquely em~ r,e ~ required, but rather
hidden, symmetries of the D = 10 heterotic IItrin& with N = 1 spacdime super--
symmetry. The origin of these specific groups is discussed in the next section. The
crucial inl!:redient, which lUarll.nLees the anomaly factorisation and cancellation by
the Green Schwarz: mechanisms, is the invariance of the two-dimensional string
world sheet under co-ordinate toran.formations not continuously connected to the
identit.y (modular invariance).27
4.6. Strings
Superstring &beory 25 has recently aroused &reat interest, as a candidate theory for
unifying all fundamental forces in II. 'theory of evetythin,'. In particular quantum
string theories requiu gravity in mod casea. 21 lt also appears, under 'Very resuictive
conditions though, tht.t they could be consistent. a.nd finite . Thi, ia in cont.rast. to
qua.ntum poiot part.icle theories or gavity, such as supergravity models, which all
have non-renormalist.ble infinit.ies.
In the critical space-time dlmension D = 10, there is t. near uniqueness of the
superstring t.beory. There are just three models wi~h N = 1 apace-time supenym-
metry and a Ya.ng Mills gt.uge group: the SO(32) type I.uperst.ring a.nd the E, x E.
and SO(32) heterotic strings. The gt.uge groups, SO(32) and Es X Ea , au: the &&rne
u those suggested by the anoma.ly canedlation requirement. from ten dimensiont.l
N = 1 lu persravity. Of these models, the E. x E. heterotic string .cerna the mo.t
promising phenomenologically.
On reduction to four space-t.ime dimensions, however, the uniqueness of t.he het.-
erotic string essentially disappears." Generalised 'compactifications' to four dimen-
sions can be mt.de, which treat the cl>Ordinatea for left..-moving and right.-moving
modes on the closed string differently. It. is tben difficult to interpret tbete co-
ordinates conventionally, as describing six extra space dimensions compactified on
a scale of the order of t.he Planck length. It is more appropriate to formulate
.ueh model. directly in .. space-time dimensions, and t.o interpret t.he remainins
string world-shed degree. of freedom (which a re required to avoid an anomaly in
conformal invariance) u internal degrees of freedom . There are very many four
dimensiont.l superstring models, having gauge groups of rank 22 or less. These may
be constructed, in a fermionic formuiation 2Sl , by modifying t.he periodicit.y condi-
tions (boundary conditions in t.he ease of open strings). By t.aking eombint.tions: of
different sets of boundt.ry (periodicity) conditiona, in the two string co-ordinates tr
and T, it is p06Sible to construct many modular invariant and , thereby, consistent
models.
In thia section we consider (1) the Ftenkd- Kac-Segt.l mechanism responsible for
the origin of a no n-Abelian symmetry in the heterotic string, and (2) the general
appet.ranee of gauge symmet.ry in string theories.
77
--
The torus-valued fields Xl can take aa values all real numben , where we then
ident.ify seta of Xl values congruent modulo a lattice A in the RIS space.3D This
means we regard the torus aa a quotient space TIs:::; Rls/A . It is coovenient
to write A :::; dr, where tbe fundamental string length scale I :::; (flO)-1/2 will
hencefortb be set equal to unity. We t.hus chooee uoita in which the string tension
To:::; 1/211a' = 1/11.
From the requirement that the disturbances in the Xl variables corresponding to
soliton states be purely left...movinr;, it follo.,s tbat tbe soliton momenta pi should
78
lie Oft th~ l&ttiu r . Quantum meehanieaDy, the .,liton momenta pI tntlSt aleo lie
r,
on the dual lattice since the alrin,; has II. sinr;le-valued wave function on the tofWl .
Physical sLates are coJUltructed by combinint; ri&bt.- and lef\-mO\'int; oeci.I.lator and
soliton modes, which satisfy the condition
N = N _ 1+ ~ ~)pl)' • (121)
I
(mass)' = 8N . (122)
Here Nand N are the normal ordered number operators for the rir;ht.- and left..-
moving 06cillator modes. Since N and N au integer-valued , it follows that. the
squares of the allowed soliton momenh. LJ(pl)2 must be even integers:... Finally "he
consistency of strinr; t.heory requires that. the lattice be self-dual r = r , otherwise -
modular invariance, and thus unitariLy, breaD down. This means that one-loop
amplitudes develop anomalies, which_dest.roy £Iabal reparameteriaation invariance
of the string world sheet, unless r = r .
The above requiremenLs can only be sat.isfied if t.be lattice r is even and self-
dual. A lattice is said t.o be even if the 1en3t.h .quared of any latt.ice vector is; an
even integer. There arejuat two even, self-dual, 16-dimensionallatiices, r. x ra and
ru; . The first possibility is t.he IM~ice of roots for tbe group Sa x EI; the second is
a certain subset. of the possible weir;hLs of t.he Lie r;roup Spin(32) , in fact. the wei&bt
lattice of the factor group Spin(32)j Z,. So remarkably the same groups, E. x Ea
and Spin(32)/Z" are .elected .. t.hose con. istent. with anomaly cancellat.ion in 10
dimensions. The crucial requirement in aeiedinr; these two POOP', rather than any
ot.her simply-laced Lie group of rank 16, is modular invariance. As mentioned in
section 4.5, it. is alao modular invariance which &narant.ees anomaly cancellation, by
t.he Green-Schwarz mechanism, for the heterotic .t.rinr;.(21)
However, II priori, the .tring running on the torus T t " defined by t.he lattice
r. r.
x r
or llt , has no symmetry under t.he goup. Es x E. or Spin(32)/Z2 . The
X [ degrees of freedom correspond to the Cartan sub-algebra of the Lie group,
but there are no fields corresponding to the other directions in the Lie algebra.
Nonetheless it turns out - and here we have an example of a hidden symmetry -
tbat the quantised system of the Xl variables, running on t.he torus Ttl, indeed
does have the full symmetry under the r;roup E. x Ea or Spin(32)/ Z2 - The groups
are represented, in this 1 + 1 dimensional field tbeory, by transforminr; XI-phonona
and XI_solitons into each other (Fir;. 4.8) . It is, of course, a prerequisite (or such
a symmet.ry to occur that the two-dimensional world sbeet enert;)' and momentum
should he the same for t.he phonons and .olitons. Classically this is; not. possible,
since then the soliton energy is qU&n\iaed but the phonon energy is not. Quantum
mechanically, the equality is arranged by a fine-tuning oUhe radii and angles oUhe
torus . Theaixteen Xl-phonons with N = 1 can then lie in the same rrwltiplet as the
79
480 IOlitona "it.b E,{,pl)2 = 2. Neverthelml it. stiR seerm 8Omewh&\ miraculOQl
t.hat. such fine-tunings are sufficient to make the quantum system invariant under
the group E, x E, or Spin(32)/Z2_
We will now demonstrate the presence of the symmetry by writing down t he
group generators as quantum operators,30 using the Frenkel-Kac-Segal
construction.' l - 54 These generators commute with the mass squared operator and,
thus, the physical string st.at.es provide a representation of the synunetry group at
each m&88 level.
The commuting generators HI, of the Cartan sub--algebra U(1)18, Me simply
represented by the momentum operators along the torus directions
(123)
The basis generaton EX. not belonging to the Carlan lub-algebra, are each repre-
sented by an integral over a normal-ordered vertex operator
EK =AKCK(P) ( 126)
where
AK = - I[ V(K,
• 0
Z)dT ( 127)
f d,
=
."
pV(K.,)
and CK(P) is a sip factor . The factors CK(P) are functiollJ of the 16-momentum
( 128)
in order that the leDerators EK have simple commutation rules. The scalar product
K . K ' is of. course defined to be
..
K . K'= L:K1K'/ . (130)
1=1
80
In order to cloee the at,ebra and obtain tbe eotted eornmutation rules, we aJ.o
require
(131)
where £( K, K') = ±1.
There are many solutions to Eq. (129H131) . A particular explicit 501ution2$
is expressed in terms of an ordered * product, which i. defined by chOO8in& some
definite order ins of the 16 basis vectors e{, i = 1, 2, ... 16, Ci • ei = 2, of the lanice
r . x fa or fill . Any two lattice vectors K and K' can be expanded in tums of Ci
with integer coefficients
KJ = "
Ernie! (132)
;=1
Wi~h the definitions Eq. (123) and (126) of the generat.ora, the Lie alsebra
commutation relations are readily verified . In Cad Frenkel and Kac!!1 and Se,alS2
constructed not just the Lie algebra but a larger infinite-dimensional KavMoody
algebra. The Ka.c.Moody algebra, in string theory, ad.. as a partial spectrum
generating algebra, linking states of different maae. The extra generators e: and
H~ , of t.he affine E,)( E, or affine 50(32) algebru, are cOD8truded by inttoducins
a factor zn, for integer n , under the intet;ralsigns in the expressions , Eq. (126) and
(128) , definint; eK , and in a similar expresaion for HI as an integral over ~ .
By the above construdion of the generators, we have demonstrated tbe ~oba1
Es x Ea or 5pin(32)/ Z2 symmetry of the ten-dimensional heterotic string. Among
the physical zero mass, N = 0, string states are vector particles belonpng to the
adjoint representation of Ea x E. Of 5pin(32)/Z, . These string states are gause
particles, in the 9 + 1 dimensional space-time, and would thus .isnify the presence
of a gauge symmetry, if the string theory wa.s written a.s an infinite component field
theory.
81
(137)
for t.he neutral vector bosona, arising from the Carlan l ub-algebrA, and
for the other 480 charged vector boson!_ Here li)R are tbe ten-dimensional spin 1
&round states of the ri,ht-handed sedor, which are singlets under the symmetry
goup E. x E. or Spin(32)/Z:z_ The leR-moving sector Xl-phonon modes ii ~110}L ,
having if = 1, and the Xl-soliton modes 1pJ' ;E[(pl)'2 = 2) together make up the
adjoint. representation of the group E, x E. or Spin(32)/Z2 _ These len-moving
modes are seaJan in 100space.
Tbis leads us into a general discussion of gauge symmetries resulting from string
theory.
(139)
The quantum creation operators Q~ , n < 0, for the 08C.iIIator modes, i.e. the
phonona, on the open bosonic 26-dimensionalstrinl, are then defined by t.he Founer
expansion of t.he p08ition variables in tbe 26-dimeJUlional Minkowski space-t.ime
manifold
X"(D", r) = Ill'
.,. "
+ Q'~.,. + i E .!.o:e- iftT eoancr . (140)
Here q" and ~ = pi' are the centre of mass p08ition and momentum of the IttinS.
P hysical states rib) in the string theory formalism must obey the conditions
and
(L. - I)I ~) =0. (142)
The Viruoro operators L" are defined as the Fourier component.e of the two-
dimensional cnerQ-momentum tensor Tap and are pven by the equations
(143)
The massless pUKe boson, which we shall call the phoLon, is described by the
string states
(144)
(145)
Here ,~ is an arbitrary polarisation vector, and we consider strin« states havin«
a definite centre of mass momentum t,. . The photon staLes must satisfy the non-
trivial physical condition
(146)
where
~
Thit condition impliea that the polarisation vector satisfies the equa.tion
( 1(8)
(150)
(152)
10 the photon state It) ofEq. (145) . The state aL_tIO) represenLl the change in the
state IO}. under & repacamet.criALion of !.he ~"ordiD&1.ee (11, r) of the atring WOtld-
sheet. It is an example or 8. nun physical state, being orthosooal 10 all physical
string states including itaelf. In (ad for any physical.tate ItP), satisfying Eq. (141) ,
we have
(153)
Thus the string .tates Ic} and 1£ + i'\J:} = It) + iAL_1IO) have the same physical
significance. The unphysical nature of 8. contribution to £,. of the form i.\.l:" and
Eq. (148) together ensure t.he disappearance, as physical states, of both time-like
and longitudinally polarised vector part.icles, just as in quantum electrodynamics.
It foUows that the ,au,e symmetry of the photon, in strin, theory, is just part. of
the reparamet.erisat.ion symmet.ry of the strin, formalism .
We should also emphasize here that the diffeomorphism symmetry of ~neral
relativity arises, in atrin, theory, in a similar way to sau,e symmet.ry. There is a
musle811 Ipin 2 l\.aloe in the dosed Ityin& lector. The existence of zero norm ltatea,
which decouple from the S-matrix, ensures ,eneral covariance and the identification
of this striQl state with the Uaviton.
Finally we ment.ion an • priori different way of obtaining gauge particles in
at.rio, theory, propoeed by Virasoro.3$ He considered a model having & condensate
of cloaed atrinp in the v&Cuum.
84
. . . . . . . .CtlS
I. H . Hu.n, Fundamental FGroeIt, Procnii.,. 0/ lie t1/Jr, Scotti,l U..i.crliliu S.""ncr Scl .. l
j" Pl,.ie •• St, ADdrew., p . 3.57 (SUSSP Publications, EdiJIbur&h Ulliftnity PreM, 1985), M.
Duff, P"cuii'll,' oj IAt 1I,'cMldin&l £.,..,1"j" Co-Jerncc "fI H i,ft E.c", Pl,.iu, Bui,
198.5, p . 611iI (European Ph¥akal Society, 1986).
2. G. 't Hoolt , Rec",1 Dnti",mc." i. G•• ,e rlr.uriu , p. 135 (Plenwn PreM, 1980).
3. P. ~,PI., •. Re,. nc, 1&5 (1981); P. Lancadlu, Proucii.,. 0/1I8S 1.lc...... tio ••l
S,m,o,i.m •• £C,lo. .,,; Phi ... I"'erod;,., at Hi,l E.r"iu, Kyoto, p . 186. 1986; P. Lan.
&&dtu, Ni.,l W.rJ:do, n G....; U.ific.1ioa. Ai.·L-B.h., 1988, p . 3 (World Sciem.ific,
1988).
4. G . G . Rou, Grn; U.ific. nconu (8eQ,jamin/Cwnminp, 1985).
S. F . WikzeJr. and A. Zee, Pl." , LeU. ItB, 311 (1979).
6. G . 't. Hooft, NuL Pl,•. B:U , 49 (1971).
7. W . A. Banleeo, A. J . Bur.. , D. W. Dub azul T . Muta, Pl,., Rn. D18, 3998 (1978).
8. Y. Totaub, Proccc;i." oJ 118S 1.'enl"i••• 1 S'III' .....'" •• Lc,lo. •• ~ PIa.'n I.tt,..eti ...
• 1 Hi,i E.rrrc#, K,-oto, p . 120. 1988.
9. H . B . Nm.m and N . BJ"me, N.d. Pi, •. B22.... 396 (1983).
10. J . We. and J . B-uer. S.,rr.,...rfFJ .. l S.,cfJ,.. ...". (prinoet~ UniYenity p.-.. 1983),
p. O. O. ~d, I"trol.clin 10 S.,n"""''''FJ (Cunhridp Uniwnity P ....... , 1986), P . Wett,
Iatrol.,I;,. I, S.,rr6fmmrlrp •• l S.'r",.. ...,' (World ScientiIic:, 1986).
11 . F. A. Berend., J . W . van HolLen. 8 . IU Wit and P. van Nieu-.-huaen, J. Pia, •. AU. 1643
(1960).
n . P. Howe and U. LindstrOm, N.d. Pia, •• Bill , 481 (1981); N . Muew: and A. Sapotti, N.d.
Pi, •. B250 77 (198$).
13. B . IU Wit and H . Nicolai, N.,I. P.,•. B20l, :ttl (11iMn).
14. J . EUl&, M. K. Oaillard and B. Z.. m ....., Pia, .. utL I14B, 343 (1i80); J . Elli&, M. K. Oaillud
_d B . ZumiDO. Ad. P.,.;" Pol•• ;" BU, 2$.3 (1982).
15 . A. C. Dayill, M. D. fho,em ... and A. J. ~,N-u:L Pia, .. 825',393 (19&$).
16. Th. Kaluu., SitsW!pbu. rn.-. Abel Wo.. Bedln, AI.,.. P.,•.
11. O . Klein. Z. Pl., •• n, §5 (ltnCl); O. KIeia. Nat." 111, 516 (lInG).
Xl . 066 (lint).
18. M. J . Duff, B. E . W. NiJ.oa. aDd C. N. Pope, Pl,•. Re,n1. UO, 1 (1986); T . AppelquU4,
A . Chodo. and P. G . O. Fr-euDd, M.ler. X.lou.·Xir;. nClFJ ••• A"iir.,i... (BatiIlQl.i.Q.
Cwnrninp. 1987) .
19. P. G . O . Freund and M . A. Rubin, Pl,• . UIL 9T8, 233 (1980) .
20. E . WilLen, Sirhrr 1.1... /1; P",uui.,••, I.r 118J Shhrr 1,1••• C.,.jr".u .. Q••• , • •
Fid. n~orp ••• t.h Fu •• m,.tal P"'/eIM
P ........ 1965).
0' P1,nel,n. R. Jacki. If .1. p . n7 (MIT
GoIdI,_.
35. P. Gocldud, J . C . Rebbi and C. B. Thom., N.eL Pl., •. lUe, 109 (1973) .
38. M. A. Vn-a, Pl,•. Lett uB. 436 (1979).
86
Chapter V
In fad only a weak form of the second assumption is required. This weak local
commutativity condition is the statement that the vacuum expectation value of any
product offi eld operators w(%) satisfies the equation
(Ol~(_,) ... ~(_.)IO) = ;F (01"(-. ) ... "'(_,)10) (\ )
when all the CCH>rdinate differences Xj - Xj are spacelike. Here F is the total number
of half-odd integer spin fields in 'he product.
The CPT theorem may also be proved diredly, in the more restrictive framework
of Lagrangian field theory. In this approach (Paper 23) , the most general form of
Lorentz invariant local hermitian Layangian density is constructed from the field
operatora. Aner appropriate normal orderin, and quantization with the normal
spin-statistics relation, CPT invariance is readily verified .
We will now outline the ideas underlying the general argument for CPT invar""
ance. Then , as an example, we will verify it, by explicit construction of the CPT
operation , for t he standard model Lagrangian density discussed in Chapter Ill.
One way of understanding the CPT theorem is via the related concepts of cr05&-
ing symmetry and the S-matrix 2 , which involves introducing Lhe asymptotic cond""
Lion necessary Cor the existence of in-stat.es and out-states. Any S-maiJix element,
87
-+-_R.V'
Fil. S.I. Uh..'ralKm of the .ipo", _ _ clthe yO_component cI. unit time-lib +YedOl" Vii, by
analytic c:oQtmu,'j,m 01 .. ~. t.oo.t to oompMlI ...a- 01 the rapidity ,_
The above complex Lorentz transformation A it easily shown t.o leave the spin
&nlUlar momentum of a particle invariant. For inalance, the result immediately
follows if we choose the zl-axii along the direction of the spin component under
considerat.ion . So, under the complex transformation A, the spin of & parti.cLe it
unchanged wbile ita 4-momentum PI' changes sign. Hence t.be beHcity of a particle
also changes si&n, l. _ -l., under tbe transformaLion A. By crouint;, we now
replace incoming (outgoing) particles by outgoing (incoming) antipartieie. with the
oppOflite sign of 4-momentum and spin angular momentum. So each antiparticle
carries the same: 4-mome:ntum PI" but the oppcait.e helicity -l., La that. which the
corresponding particle had before applying the transformation A. Thus, ignoring the
phase factors which arise: in a precise definition of particle and antiparticle he:licity
states, we are led La the equality of tbe scatterin, amplitudes for two prOCf"'u.
related by croesing all the particles.
For example, tbe sUUerin5 amplitude for the process
Here we have used the notation (X, P X , ~x) for a particle X having J...rnomentum
P x &nd helicity AX and X denota the antiparticle of X. This result ea.n be written
in terms of elemcnt.ll of the S·matrix
(4)
Simply writing the right.·band side of Eq. (5) in terms of its complex conjugate , we
can express the result &I a relaliooship between amplitudel, for which the antipar.
tides corresponding to incoming (outgoing) particles are also incoming (out.going):
This is the expression ahbe CPT theorem for 1-he proc:ml (2) and (3) .
By definition, t.he CPT operat.or
S=CPT (7)
has t.he following act.ion, up to a phase factor , on a lingle particle helicity state
(8)
The moment.um PAis left. invariant, because it is inverted by bot.h P and T . The
spin is inverted by T and unchanged by C and P . Bence the helicity .\A is inverted
by 9 . H ls, of coune, C that. transforms t.he particle A into ita antiparticle A. The
combined operation, 9 = CPT, may exist even when the individual operatora C,P
and T are not defined.
The .ynuneuy derived by applying the complex Lorentz transformation A and
crouing to a scattering amplitude, for general multip&rticle states Ie} and 16), can
t.herefore be writ.ten in the form
(bITIQ) = (Sbl:r+ISQ)"
= (SQITISb) . (0)
90
-e . - .
F,. .. /(x ,t) = F,. ..;'(-x, -t ) . (15)
The left-handed quark field ql iO'aL(X, t) and the right-handed Q = 2/3 quark field
u~aR have the following CPT transforms:
_'eia
q aL (x, t) = Iq
. 'r ;O'aL ( -x , - t) l' , l' , (17)
U '. ( t ) = 11'
..aR X , ."'Y U- 'To aR ( - x , - t) (18)
U 90' aR ( X, t)
_' . ' T O'aR ( -X,- t )1'1'
= IU , , . (19)
91
Here the superscript T on a spiner denotes its transpose . We note that (/8 i",,,L(X, t)
is a risht.-handed antiqulU'k field and u'e Q.R(X ,t) a lefi·handed antiquark field , as
.
required by Eq. (8). As a final example, tbe CPT transformed Higgs field tPi(X, t)
(20)
The CPT transFormations of the other K&uge, quark and lepton fi elds in Table 3.1
follow , from these examples, by analogy.
It i. now readily seen that, under the above CPT transformations of the fields
and the reversal of the space-time co-ordinates ,
(22)
the standard model Lagrangian density, Eq. (12) , satisfies the condition, Eq. (11),
for CPT invariance. The CPT invanance of a r;eneral Lorentz invariant local ber-
mitian field theory is similarly proved , by explicit construction, in Paper 23 .
R.eCeteDCn
1. R.F. StnI!ater and A.S. Wiptman, PCT, S,ill .. J $Iat;";,,, ... Ii All Tl., (8erUamin/
Cwmninp, 1964; -=ond primin" with addition. and QOQ'CC;t;CIN, 1978).
2. R.J. Eden, P.V. Landthotf, 0.1. Olive and J.e. Polkingaome, Tlc A •• I,I;c S.M.lriz (C.....
hrid&e Univen.ity Preu, 1966).
92
Chapter VI
6.1. Introduction
Poincare invariance and &.ule invariance are the basic input symmetries of the
standard model. These syrrundries au usually considered to be t.ruly fundame.n1al
and not derivable, even in theories beyond the standard model. For example, they
are both input UIIumptiol1l in Grand Unified Theoriet and Poineare invariance
is needed in the proof of the CPT theorem. Therefore, Crom the conventional
standpoint, Yang· Milla gause invariance, Lorentz and traJlllation invariancc are all
expected to be valid at the top of the quantumatairC:Ne (Fig. 1.1) . In thi.. chapter we
consider the alternative point of view I according to wbich even these "fundamental-
symmetries can be derived, albeit at a rather hi&h point on the quantum staircase.
We have already touched on the possibility of the dynamical ,eneration or a
gauge symmetry in our discu.ion or Papers 17-19 in Chapter IV. We have abo
diac.uued , in Chapter IV, the oripn of gause invar1anee in Itrio, theory. A third
approach to derivin, ,ause invarianee w the renormalilalion goup method, in which
the symmetry becomes a better and better approximation u one ,Deldown the
enere aeale (or quantum staircase). Theee three approachel have alao been appl~
to the derivation or Poincare invariance.
We claaaify the attempts to derive Poincare invariance and ,au,e invariance in
Table 6.1, accordin, to tbe IOllowin, three methods:
1. Formal Appearance. Derivations or this type reveal the synunelry to be a purely
formal one, which nevertheleu attainl physicalaipificance, in some phase or the
vacuum, due to quantum fluctuations.
2. Renormaliaation Group. In thw method a symmeirY. which is not . . umed
valid at ahod disla.nces, becomea more and more acc!urate at lu,er and larser
distances. In other worda, the renormaliaation UOUP ,8-funct.ioaa imply the
luppreaaion or Iymmetry breakin, terDll towarda the infr..red.
3. Stria, Theory. This method applies to Iymmetries which arise, without bein,
93
Table 6.1 . C1aai6ca.tion of methods for cleriviq poiftQft in¥ariaDc:e and pup ~.
~
Poin.caR lnvariam:e Lou!
Lo~l:l Translational G .....
M.<hod In¥Ni-.no;e Invariance Invari&Dce
(1)
The two co-ordinate ayatellll zI/I and zl' are, by definiti on, related to each other by
a Lorent.a transformation A: followed by a tranalation 0./1 . Thil iI illustrated, fo r an
arbitrary co-ordinate synem z/l , in Fip. 6.1 and 6.2. The cCKlrdinate systems zl'
and z'/I are in each case denoted by full and dashed curves respectively, while the
eo-ordinate axes are drawn in heavier print . In this attitude of Poincare symme-
try being just part of diffeomorphism symmetry, one only ha.s Poincare invariance
provided the gravitational field is tran.sformed as well a.s the matter fields .
Accordin& to attitude lI, 'he maner fic.ld.!i Me transformed under the Poincare
traJUlformation, but the gravitational fieJd is left unchanged. There iI then, of
couree, only Poinca:e symmetry to the extent ~hat the gravitational fie1d can be ne-
glected, i.e. in the approximation of flat apace-time. If, however, space-time is flat.
and we choc:.e e.;ordinates z/l 80 that the metric tensor is constant as a fund ion
of zl', then diffeomorphiun ayDll1letry can be used to derive Poincare symmetry.
This means that, once we have a reparameterisation invariant theory, the question
of deriving Poincare syJlllIletry, in attitude II, has been transformed into the c0s-
mological question of why space-time is almost flat nowadays. This appraximate
flatness is due to the Hubble expansion, having scaled up the size of the Universe
by a big factor.
Let ua now consider rotational invariance, as observed in daily life. It would seem
that the up-down axis is singled out, and that there is only rotat.ional invariance
around a vertical axis. For instance, a pendulum suspended (rom a support will
direct it.eelf downwards, after it haa had time to lose any kinetic en er~ via fri ction,
independent of the orientation of the support. So rotational invariance is broken,
95
with the up-down direction being special, in attitude 11. It is possible to formally
restore exact rotational symmetry by taking attitude I. In att.itude I, when rotating
the apparatus, we must also :remember to rotate the gravitational field and the earth
creating it.. This is achieved by a diff'eomorphism of t.he form z'I' = A~z" which
rot.atea everything physical relative to the c(>-ordinate system.
The above remarks are illustrated in Fig. 6.3 by di&8:rams of a simple pendu.
96
lurn experiment. When the supporting stand is rotated about ill. horizontal axis,
rotational invariance appears k) be broken as shown in the top two diagrama. It
is easy to introduce ill. formal rotational symmetry; ODe invent.s the existence of a
gravitational field - symbolised by a little demon in the bottom two diagrams -
and rotates it as well as the lupportin, stand. Rotational invariance of the law8 of
nature is thereby formally restored.
Fie. 6.3. The top "'''0 dlacr-- illu.tr&te the lack ci rotational. invari&nce ill daily life, by meNU
01 a pendulum upmmf!I'J.t. The bottom two diacraml ah.ow how l'OC.at.ianal invariaDa! • _W'ed
when the pavitational fi.o!ld, ~t.ed by • little d _ •• rotat.ed .. well .. the pendulum.
AJ long as we aruy cORsider the ullual daily life situation, we ean ignore the
idea of asaodating the sravitational field with the earth . The gravitational field of
everyday experience can be treated as an immutable property of our region of space-
time , giving a constant downward acceleration. The introduction of a gravitational
field of th~ type, uninftuenced by the presence of matter, means that we now bave a
non-rotational invariant absolute object in the theory. Rotational invariance would
tben indeed only be a formal symmetry, introduced basically by definition . One
simply postulates a field , or little demon , giving tbe rotational symmetry breaking
effect. Tbe existence of rotational symmetry becomes very mucb a question of
semantics. By identifying a symmetry breaking effed with a field in this way, one
can formally introduce synunetries wherever one wishes.
However if we view the situation from a larger distance scale, we immediately
recognise tbat the gravitational field is due to the earth. The gravitational field
would be modified by moving the eartb. So the demon, i.e. the gravitational field, ~
not really an absolute object but a dynamical object, determined by the distribution
of matter . We can tberefore conclude that the formal rotational invariance, in fact,
eorresponds to a true physical symmetry.
Analogowly it is quite easy to introduce Poincare invariance formallY i it simply
97
(2)
in some co-ordinate system, where the metric tensor g,. .. (z'} is approximately con-
stant. This does not occur in standard f!;eneral relativity theory, where any scalar
fields present take on constant values in the vacuum.
A true derivation of Poincare invariance must therefore explain the absence of
fields, like 1·(z') , taking space-time dependent vacuum values, such as in Eq. 2.
There appear, at first , to be two p088ible ways in which this could happen :
Ca> The fields 1-Cz'> may take on Poincare invariant (i.e. constant) value. in
the vacuum.
(b) The fields J-Cz'} may quantum fluctuate with the same distribution for all
.'.
The degrees of freedom correspondinf!; to the fi~ds 1-(2:') have to be interpreted as
some matter def!;ree5 of freedom , e.g. four , as yet to be discovered, scalar particles.
P088ibility <a> would seem attractive, since scalar fields can easily take on con-
stant value. in the vacuum. However, if the fields 1-(z' } are to be interpreted as
"fundamental ~ordinates" at some level, the ordered set 1-(z'} should not take
on the same value more than once:
(3)
One could imagine that 1-(z'} fluctuates quantum mechanically over a broad-
peaked distribution, without taking the same value twice. Then the average could
98
both exist and be constant. This would require the existence of weak conel.Liolll
between the valuee of ]"(z') at different pointa. There could be a problem with
topological obstructions, in constructing such a probability distribution on a set
of continuous (undions 1"(%'). Thia problem with topolosy can be avoided , by
introducing a fundamental space-time lattice instead of fundamental apace-time
co-ordinates. S
The above picture for possibility (al relies 10 much on quantum fluctuations
that it differs very little, physically, from possibility (b) . However the quantum
fluctuations , in possibility (b), may be so large that it is not possible to assign
well-defined average values to the fields ]"(z') in the vacuum. This essentially
occurs in the lattidsed quantum Vavity model of Ref. 3, in which the supposedly
fundamental lattice lites (and linu) are dynamical variables. The sites fluctuate
quantum mechanically over a Riemannian space-time manifold, in the functional
integration, like tbe molecules of a gas . The fields [4(%') must be interpreted, in
this model, as numbers specifying tbe name of tbe site, which happens t.o be present
near tbe point %' on tbe manifold. One of the ma.in conclusions of Ref. 3 is the
uistence of a phase, in which the sites fluctuate , with a flat distribution, allover
.pace-time. This means that the [ 4(%') take on extremely uncertain values in the
vacuum, but the probability distribution for the [4(%') is the lame for all %' . Thus
Poincare invariance is derived in this pregeometry model.
It is now natural to ask why only Poincare invariance is derived in this way,
and not any other part of d iffeomorphism synunetry. The vacuum values of the
fields [4(:1") may indeed be fuUy reparameterisation invariant, but the vacuum
state it.self is not. The metric 91''' of the flat space-time vacuum of general rela-
tivity is invariant under precisely the diffeomorphisms corresponding to Poincare
transformations. The full diffeomorphism symmetry of the general relativity action
is thereby spontaneously broken down to Poincare symmetry. Indeed the graviton
may be considered to be the Goldstone boson associated with the broken GL(4 , IR.)
group of transformations .·
Recently an attempt was made to give a more explicit derivation of time transla-
tional invariance as a formal symmetry.' In this approach the original time vaziable
of the time non-translational invariant model is made into a dynamical variable,
which can essentially be identified with the variable 1 4 (%') discussed above . How-
ever, a severe problem arises with this treatment of time as a dynamical variable
since, as pointed out by Pauli , there is then no lower bound to the Hamiltonian.
This problem is not manifest, and therefore easily forgotten , in a Euclidean formu-
lation.
tum electrodynamics (paper 24] and non-covariant Yang-Mills theory [paper 25J,
The main assumptions made in these DOD- Lorentz invariant field theory models are
translational invariance, PUJe invariancc, chiral (massless) fermions and renormal-
isability. Scalar fields are ignored on the &rounds that they generically become very
massive and therefore irrelevant Lo low cnerO' physics, unless protected by some
additional syrrunetry. A similar mass protection principle, for Iilht fermion8 , was
used in Chapter 3.2 to exclude observable fermion slates which are vectorlike under
the standard model gauge group S(U(2)xU(3)) .
Under the above assumptions, tbe most &enual allowed form of local Lagrangian
density has terms of the following type.
a) The kinetic term for gaule fields in an anisotropic vacuum, baving mapletic
susceptibility and dielectric properties depending on direction and Lorentz
Crame:
c. = -i'1""""'F" .. CZ)F,u(z) . (4)
Here F" .. (z) is the &au&e field stren&tb tensor and the 256 componenLs of
Jf"'" are dimensionless couplinS constanLe, wbich do no~ transform under
Lorentz transformation. There ace just 20 independent componenLe of rf"'"
which effectively contribute to C• .
b) The gauge covariant kinetic term for each (lefl.-handed) Weyl fermion field
tPP = !(l- ls)¢ p :
C. = i¢Pl"VJP)"D",pp . (5)
Here P denotes the fermion flavour and, for Vans-Min. theory, tPP is a1ao
an irreducible representation of tbe &au&e &roup. The vierbein vJ P )" for tbe
fermion of flavour P i. just a llet of 16 dimensionless couplin& constanu. The
&au&e covariant derivative is
-
where A" is the &auge field in the appropriate representation of the Yang-
Mills uoup or, for the Abelian case,.4,. = qA,. and q is tbe U(l) chac&e of
"'p . A motivation for usin& IUch Weyl fields ",p , without Lorentz invariance,
is pven in [Paper 30).
c) Momentum shift terms for the fermions :
The four coupling constants {: here have the dimension of mass. There
could also be flavour mixing terms of thiB type.
d) A topological term, oripnally IU"ested by C .H. WOO, of the Chern-Simons
type:
(8)
100
The four couplin& constants q,. also have the dimension of mass.
(9)
The fermion kinetic enetK)' term C•• when written in terms of ¢'p , develops a term
which cancels £c o Thus C c can be simply transformed away and ipored. The
term C~ can also be forbidden by appealing to gause inva.riance, provided that we
aaaume the exil~ce of mq:netic monopoles. ThiB arfOUmenL is explained below.
Thus we should really include the exiatence of m&«netic monopoles as one of our
input assumption.; otherwise an alternative method of excluding Ctl is called for ,
We now explicitly show, for the Abelian model, that the non-eovarian.. Lapologi-
cal term £. is not laule invariant in the presence of a non-zero malnetic monopole
current deDJ!lity J&.-c ' The dual field tensor
(10)
(11)
(12)
~
~. -- '1,.'"""A •F,,, (13)
We obt.ain
(IS)
( 16)
(17)
(18)
(19)
So t.he act.ion 54 is not gauge invariant and is therefore forbidd en if t.he t.heory
contain. mapet.ic monopoles.
We the~fore drop the terms C c and £4 . leaving us with t.he model non-covariant
Lar;ranpan density
IJI""" = drf~"'(~) (2 1)
• d logl
and t.he corresponding ,8-functions (or the seale dependent vierbeina v~l"(.\) are
unambiguous. Explicit calculation of the p..fun ctions (Papers 24 and 25) showl that
the effective coupling cooltants approach Lorentz covariant values more and more
osely, as the energy scale .\ is lowered.
The physically significant content of the vierbeios ia provided by the associated
ormalised metric tensors
(22)
102
"hue
-~ j)
I 0
o~ _ 0-1
1J - ( 0 0 (23)
o 0
Note that each Weyl fermion field ~p(z ) has i'.
own scale dependent metric
9~)"¥P.). It is also possible to define a mdric g~)"'''(A) for the gauge field, by
requiring it to minimise the expression
(24)
and the gauge coupling constant g2p.} is free to be adjusLe<i in tbe minimisat.ion. We
then denote the deviation from covariance, with resped to this metric, of rf~"'(.\ )
by
(27)
In t he cue oC massless non-covariant electrodynamics there are three metrics:
one each for the photon field and the lefl.-handed electron and pOIitrco Weyl fields.
Introducing the notation of [paper 24J, we have the photon metric
(28)
the electron metric
(29)
and the positron metric
(30)
For Lorentz invariance, of course, we require the three metrics to be identical and
the non-covariant part of the photon coupling constant.s 6!f"' '' (l ) to vanish. 1\ is
therefore convenient to introduce the deviation metria
and
Hm
1
.(l) = •• .'(l) (36)
is the running fine structure constant in non-covariant eledrodynanUca .
It is easily seen, from the signs in the expressions above for tbe p..functioD, that
the various metrics approach each other as the renormalisation point goes towards
the infrared , Le . as the energy seale>. - O. This is illustrated in Fig. 6.4 , where
the planc symbolizes the space of all normalised metric tensors. The development
of the photon, electron and positron metria as >. decreases, due to renormalisation
group effects, is indicated by arrows. In the infrared limit all three metria meet at
the weighted averat;e
~(',nl) + ,~'(l) + ,~'(l)J . (37)
Fi,. 6.4. Approach 01 the thHoe IMtne. , ~ " (1), ,':" (A) and .:" CA) towU'da the Loren"
invariant in!r&ftld fj"od point, in DOn-<:ovariant electrodynamic:..
Also it follows , from the expression for 11:"'14 in (paper 24] , that the non-covariant
part 6'1""'" (A) of tbe coupling conatants tends to zero relative to tbe covariant part
1fc!!'''P) in the infrared limit. Thus the ,D-fundiona show that Lorentz invariance
is simulated more and more accurately as the energy scale is lowered.
When various non-covariant Yang-Milia fielda are included in the model (pa-
per 2:)), different metrics are introduced for each simple gauge group, by minimisinl
104
expressioru analogous to Eq. (24). For example, the metria g~~ t::t\P.) and g;~ 3 p.)
would be derived (rom the (ouplinK constanLl '1!';~;'(2)(.\) and 1J~~U(3)(.\) for ~a(2)
and SU (3) gauge groups. Provided that all the various gauge groups couple to some
common Weyt fermion , all the metria approach a common limit in the infrared .
The ,8-fuDctions also show that the non-covariant part 61'/~"~(.\) of the coupling
constants '1:';:~(A ), for ea.ch simple gauge group G, becomes smaller and smaller
towards the infrared , relative t o the covariant part C~(.\) .
We have thus shown that if Lorentz invariante breaking is appreciable at. some
very high energy scale, the breaking will be much smaller at the low enerIY scale
where present-day experiment.a are performed . We would, of course, like to assume
that the coupling constants 1/;"'(1 and yJP)" of the non-covariant model are all of
order unity at t.he Planck m.au seale. The renormalisation group development of
the couplinS constants must then ensure Lorents invariance, to the observed hi&h
accuracy, at low energy. This requires the ,8-functions discussed above to be of order
unity, 80 that they can act effectively over a larse ranse of energy scm. In other
words we require a strongly interacting theory over many orders of magnitude of
energy, 80 that Lorentz invariance improves a~ an appreciable rate 118 l goes down
the energy scale. The gauge group fine structure constant O'G(J.) mu.d therefore be
oCorder unity over a similarly large range oCenergy scales. This in turn requires
the Yang-Mills p-function , determining the l dependence of O'G(l), to be small,
which can be arranged by introducing an appropriate number of Cermion field. .
There can then be an almost exact cancellation between gauge boson and fermion
contributions to the Yang-Mills ,8-function . However it is not p088ible to achieve
the required degree of Lorents invarianee in this way in the standard model, Cor all
three gauge groups U( I), SU(2) and SU(3) simultaneously, by simply introducing
extra generations of quarks and ieptons .e In particular, for the U(I) gauge particle,
we would then expect Lorentz invarianee breaking effects to be of order 0' ~ lS"
in obvious conflict with experiment. It seems that extra structure, in the form of
new particles and new interactions, is required between presently available energies
of 100 GeY and the Planck mass of 1011 GeY, if the hi&h accuracy of Lorents
invariance is to be explained 118 a renormalisation group effed .
The renormalisation p-oup method derivel Lorentz invariance as an approximate
low energy symmetry, in contrast to the exact formal Lorentz invariance obtained
Crom general relativity. It is thereCore natural to uk why non-covariant coupling
constants, such as rf'''''', do not occur in gravitation theory. Their absence from
the sravitational Lagrangian density, in fact, follows Crom the assumption that
they should be comtant over space-time, i.e. translational invariance. In general
relativity, this means that they should be covariantly constant and obey
D, rf"'~ = 0 . (38)
The Christoffel symbols r~", occurring in the ,ravitational covariant derivative D,. ,
are defin ed to make the metric tensor g"" covariantly constant. It is then, in general,
lOS
impoeaible to satisfy Eq. (38) in .. curved space-time, unless rf"" takes the usual
COVUlant form proportional to (9"'9" - g"" g .').
(40)
We now consider two interaction vertices 9,; • 64 (Eop!) and 9" . arising from
.e'i(Z) and .e,.(z) re!pectiveiy, which have the same form. apart from the m0-
mentum conserving 6· function . The coefficients 9'i and 9,. must have different
dimensions. In fact we have
(41)
and hence
(42)
106
We now assume that the interactions derived from eli and Cu are of the same order
of magnitude at sorne fundamental JI1lLII8 !Kale nlf..t>d, such as the Planck mass. We
then have the simple dimensional result
(43)
= lO- s1 . (45)
must correspond to an inverse lattice vector for the crystal. Thus for a crystalline
model of the vacuum, having a lattice constant of order mfu~' the amount of m0-
mentum non-conservation would have to be of order mtund - Since we have really
failed to derive time translation invariance from dimensional analysis, let us take
exact energy conservation as one of our assumptions. So we only need to latticise
three-dimensional space and can take time to be continuous. For a regular lattice
momentum conservation is then exact at low energy. This follows because all the
partielefJ have momenta P small compared to rnrund . due t.o enerC' conservation,
and any violation of momentum conservation must be of order mtund .
In an amorphous or glasa-like model of the vacuum, the amount of momentum
non-conservation in an "Umklapp reaction" could be of any size and magnitude.
The phase space for momentum violation by an amount IPI < Rp is proportional
to RJ,. We therefore end up wi~h the strong suppression factor of Eq. (45), in the
amplitude for a momentum non-conserving process at low energy.
In conclusion the method of dimensional analysis does not really s ucceed in
deriving energy conservation as a long distance symmetry. \Ve have only shown
that the energy non-conserving amplitude is suppressed , provided we assume that
the 4-momenta for both incoming and outgoing particles are small. However, if
exact energy conservation is assumed , J..momentum conservation results as a low
energy symmetry, without explicitly assuming that the final state 4-momenta are
small. Thus the method of dimensional analysis is successful in deriving space
translational invariance as a low energy symmetry.
(i) The 2 dimensional fields describing the string consist of a synunetric second
order metric tensor 90'(0') and a set of real scalar fields X P (/1), which are
interpreted as position coordinates in the exterior space-time.
(ii) Reparameterisation invariance under transformations of the two coor-
dinates 0' = (/1°,0' 1); this is the usual general relativity diffeomorphism sym-
metry in two dimensions.
(iii) Translational invariance in t he exterior space-time under the following trans-
formations:
(46)
(50)
we have the transformation properties
d2 (T _ l.',/l(T (51)
and
~_).-1~ (52)
8tr' IJrro .
So the string action can only remain iDvariant under the Kaling transformation
Eq. (50), while satisfying the combined requirements of reparamet.erisation and
We)'l invariance, if the Lagrangian density contains precisely two derivatives.
The above arpment, for the presence of just two derivativeI , "aciUy uaumes
the absence of derivatives in the denominator of any term in the Lagrangian den-
sity. The justification for disallowing 8uch denominators, consisting of a non-trivial
homogeneous polynomial in derivatives, is as follows . A positive definite term in
the Hamiltonian density havior; derivatives in the denominator, 8uch as
with ij" .. some constant real symmetric matrix, gives an infinite contribution t.o the
energy for X' = O. The pres~ce of such a term makes it energetically unfavourable
to have :tetO derivatives, X' = 0, in the ground state. So the scalar fields X"(c:r)
take on IT-dependent values X:ac(lT) in the vacuum. The Hamiltonian deJUlity can
then be re-expressed in terms of new shifted scalar fields.
X"(IT) = X"(c:r) - X!'K(IT) (54)
which describe the deviation from the !found state. This new form of the Hamilto-
nian density no longer containl a denominator which il a homogeneoua polynomial
in derivatives. So either lcale invariance is IpontaneoUily broken violating &88ump-
tion (ii), or any denominator just becomes equal t.o a constant.
It followl that the mo&t general form of action, allowed under the above &88ump-
tions, is
1
- 2W"
J ,8X" ..
dvt Drill x,. .. X (v) (56)
which can be interpreted as tbe action (or a string having electric charges at it. ends
and moving in a constant background electromagnetic field . The boundary term
arising from the third I.erm in the action leads to inconsistent equatton.8 of motion,
and this term is therefore forbidd en. The boundary term arisin,; from the second
term, which is just the two dimensional Einstein action, is a topological invariant
proportional t.o the Euler characteristic X of the strin,; world sheet. It contributes
a factor to the functional inte,;ral for a string &mplitude equal to a constant raised
t.o the X-th power and, therefore, it effectively renormalises the string interaction
couplin,; constant.
We have now euentia.lly reduced the action to the single term
(57)
where '1"" is a constant metric t.enaor in the exterior space-time. By a linear chlUl,;e
of buis for the aealar fielda X "'(C7) , the metric tensor '1,." can be brousht into a
standard dia,sonal form
+1
+1
o
'1"" = (58)
o
-I
-I
with just +1's , zeros and -1 'I alons the dia,sonal. The zeros alonS the diasona.l are
easily eliminated, by discarding those linear combinatiolUl of X"' {(7) fields that do
not occur in the action . The last step is to &rsue that, in order to avoid nesative
norm modes on the strins, there can be at most one +1 on the diasonal .
110
Bere JJ refell to the direction of the link ;----z + 0.61' connecting the .ites with c0-
ordinates r.' and z ' + 06: . The other term in the action S corresponds to a photon
mass term, which is not gauge invariant. The remarkable result of {paper 261 is tbat,
provided P is sufficiently large and Q is sufficiently small but still nOR-zero, quantum
fluctuations can generate an effectively exact gauge symmetry in this model. This
gauge invariance is obtained via an inverse Higgs mechanism (Paper 19]: the massive
photon is converted , by quantum effects , into a ma.ssless phoLon plus a m&88ive ICaIa.r
particle.
Gauge invariance is initially introduced into the model as a purely formal sym-
metry, obtained by expressing t.he action in terms of a new super8uously large set
of field variables (U.(-) , H(-». These new "human" fields , UiI( ........... ) and H(o ),
afC defined on the set of links and sit.es respectively and take values in the t;roup
U(I) '
u.(-) E U(I) , H(-) E U(I) . (63)
They are related to the oripnal fundamental, or "God 's", variables U( - ) by the
definition
he link variables U(-) and UIIo(-) are strictly speaking functions of oriented
inks satisfying
u.(n) -- ut(G)
= A- '(z)U.(n)A(y) , (68)
H(z) _ A-'(z)H(z ) (69)
y=x + a61' ' (70)
It. foUow. that any action S[U(-n. which ill a functional of the fundamental
field U(-) only, is automatically invariant under the formal ga~e transformation
of Eqs. (68)-(70). In particular the act.ion of Eq. (59), for U(l) latt.ice electrody-
namics, manifests this formal gaule invariance when expressed in terms of the new
variables:
(78)
(H(.)) = VH (79)
where VuJo and VH take on the same real value for each link and siLe respectively.
The real expectation value VuJo is independent of the orientation of the link, as
follows from Eq. (61) . The real expectation value of H-l(zo) is VH . as follows from
the equality of H-l(zo ) and H· (zo) . It also follows that VuJo and VH should both
have a norm less than or equal to unity.
Il3
i. easily obtained . Sim.ilacly each site liaa 2d uei&hboucing linb twd we oLt.ain t.he
effective .in&ie-sit.e action
(81)
Usmg the elrecLive single-link action in the defining functional inLe!!,al expreaaion
for VU., we obtain the self-consistency condition for the mean value of the link
variable
(83)
for the Haar meuure in the U(l) group integration.' The self-consistency condition
then take. the form
Vo, = I,[2(d-I)PVJ, +o~il (85)
Io[2(d-l)PVJ. +aVHl
"hue 1.. (X) denotes the modified Be.el function
VH = II(odVu • VH ) . (87)
10(odVu.VH)
We ITlUIL now look for aelf-wnsilltent solutionl of Eqs. (85) and (87) in the plane
= =
01' the two eouplin~ constanta (o,P). Since 11(0) 0 and 10(0) I , it immediately
follows that. "he trivw solution
(88)
114
Fie. 605. Grapbicaholution of EQI. (89) and (90) for (a) o. VUa.< I , (b) ... VU" "" I and (e) ...
VUII;> I .
aatisfiea t.he equations for any values of 0' and p. In lOme tel\:ions of the (cr. P )
plane, another non-triviallOlution can be oMained graphically. This is iIIustrat.ed
in Fig. 6.5 f<x the second seif--consist.ency condition, Eq. (87), written in the form
of two simultaneous equations
(89)
and ,
VH = "";7-
odVu.
(90)
The function 11 (:)/10(:) ::: z for ,mall z and its slope then decreases monotonically
to zero as z - (X) , where the function approaches its asympt.otic value of unity.
In particular, since d = 4 and !Yu.1 < I, only the solution VH = 0 exista when
a< t.
Similarly, when VH = 0 and fJ is small enoush, the first self. consistency condi-
1
tion , Eq. (85), only has the solution VUII = O. Thus, (or a < and small p, there
is only the trivial self-consiatent solution of Eqa . (85) and (87) with VII = 0 and
VUl = O. For VUl ¥- 0, the right-hand side of Eq. (85) tends to unity tI8 fJ __ 00 .
It follows that, for sufficiently large p, there is a solution with VUII> a little below
unity, VUl < I . This non-trivial, VUII> :F 0, solution of Eqs. (85) and (87) will have
VH = 0 for 0 < iand VII ¥- 0 for sufficiently large o .
For each combination (0, (J) of the action parameters, there is jUlIt one physical
solution of the self-consistency conditions. This physical solution is the one having
115
the lowest free energy, i.e. having the largest value oClog Z where Z is the partition
Cunction
z= J DU,DHexp[S(U" H )). (92)
dominate the entropy contribution to lOS Z. since S{VUII, VH) depends linearly on
Q or /J. The non-trivial solution will therefore be realised physically for iar,;t a or
(J, rather than the trivia1 80lution with zero action S(O,O) . In particular, for large
!
fJ the physical mean field solution has VUh #- 0, with VH = 0 (or Q < and VH #- 0
for large Q. For small Q and fJ there is only the trivial mean field solution, VUh = 0
and VH :::: O.
The complete mean field phase diaAtanl (or the gauge-Higgs action can be de-
termi ned numerically.u It turns out that there are three phases in mean fi eld ap-
proximation:
I. 5t1'O"g co.pling or confin~d phau, which includes the region of small 0" and fJ
values and corresponds to the trivial mean field solution with VH :::: VUa = O.
2. Higgs phGse, which includes the region of large 0" and fJ values and corre-
sponds to a solution with VH #- 0 and VUA #- O.
3. Co./om6 phGse, which includes the region of large fJ values with a < and l
corresponds to a solution with V H = 0 but VUh #- O.
These phases are illustrated in the phase diagram of Fig. 6.6. In reality tbe fillit two
phases are analytically connecled ;IO the boundary separating the confinement and
DiW phases, shown u a dashed line in Fig. 6.6, terminates in tbe interior of the
diagram and does not extend down to fJ :::: 0 in Monte Carlo lattice calculations. 11
However our main point is the existence of the Coulomb phase: a finite region in
the (o , fJ) plane with VH = 0 and VUllo #- O.
We now want to argue that, in the Coulomb phase, there exist long range cor·
relations corresponding to a massless photon, due to the formal gauge invariance.
The appearance of a massless gauge particle in a theory is determined by the gauge
properties of the vacuum. For the discussion of these propert ies, it is necessary to
fix the gaugel l and we choose the Lorentz gauge (81'A" :::: 0) . In this gauge, we
consider the behaviour of the vacuum expectation values VUllo and VH under (a)
global gauge transformations with a constant gauge function 0
(93)
and (b) loc.al gauge transformations with a linear gauge function O'''z"
(94)
116
1\ follow, from Eqa, (68}-{70) ~ba\ UDder lbe PoOal ,ause \rauCormatioD
(95)
and under the Cauge transformation with a linear lauge funelion
A =AL : VVIl _ eiO'··"VVA . VH _ e-f""··VH . (96)
Here all is the appropriate lattice link vector.
The laule symmetry properties of the vacuum, under Ao and AL, are readily
deduced from Eqe. (95 )-{96) (or the phMet (wnd in mean field approxima\ion, and
ate presented in Table 6.2.
VH .. 0 YU,\ = VB =0
Noa-iA.....-iant NOft-la~
V__
HiIP V .... p.m
VH'" 0 VUIIJl 0, VH '" 0
In...... Noa-inftliaD1
C......... V~ V~
VH = 0 VUUlO
117
large to violate asymptotic freedom. In such a eonfi.ninl phase there will, iporinl
matter fi elds, be no massless st.ates but only glueball states, i.e. gauge group sin-
glet bound states of t.he gauge field . The glueball maB8 seale arises by dimensional
t.ransmutation,i in an analogouB way to t.he strong int.eradion mass aea1e AQco in
the standard model. This mass scale is exponentially suppressed as a functi on of
t.he inverse gauge coupling constant squared , p, defined at some fundamental lattice
scale.
A non-Abelian generalisation of the gauge symmetry violating lattice action of
Eq. (59) is ea:!iiy cons'ructed, by requiring the link yuiablc U( -) w take values in
the non-Abelian group . As for the U(l) case, a new set of "human" variables can be
introduced, including a Hig.like field H(·) which takes values in the group mani-
fold . Block-spinningl4 leads to a more coarse-grained field t.heory, where H(o) can
presumably be approximated by a field taking values in a small fait.hful repreaenta--
tion of the group , such as t.he fundamental represent.ation . The action expressed in
terms ofthe "human" gauge-Higgs variables automatia1ly P06SesSes a formal gauge
.Invanance.
.
In the Don·Abdian theory there is no region , in (0' , .8) puameter space, cor-
responding to a Coulomb phase. The phase diagram for a latt.ice non-Abelian
gauge-Higgs model is expected to have the form shown in Fig. 6.7, which has been
verified by Monte Carlo studies for SU(2) and SU(3). At. large value. of .8, there is
a phase boundary bet .....een t.he ,mall a confinement. phase and t.be large a spont.a.-
neously broken Higgs phase. The phase boundary terminates in the interior of the
diagram: tbe confinement and Biggs phasea ue analytically connected l O and really
form just one big phase without any maaslesa: putides. However sa .8 becomes
luger and larger , for small enough a , we enter what would be the Coulomb phase
in t.he Abeli&n case . In this region, shaded in Fig. 6.7, the glueball mass tends
towards zero in an exponent.ial way:
a
" Higgs"
I-
.3
,
structure in a real glass, that we use the term "field theory ,lass" . The action
for a field theory glass is not even strictly local at the fundamental lattice scale,
which we take to be the Planck length. The field theory glass idea is used in the
forrrwiation of the random dynamics project discussed in Chapter 7. Here we use
it to demonstrate the very general nature of the inverse lIiggs mechanism and the
spontaneous appearance of gauge symmetry.
The construction of a field theory glass model is most easily visualised in terms
of an imagined MenLe Carlo computer simulation. The computer program first
selecl.s a randomly distr ibuted set of points, or sites, {i} in four-dimcnsional spa.ce-
time . Next it follows an algorithm for constructing, by means of random numbers,
a manifold Ali at each of the points i on the random lattice. The manifold M;,
somewhat unusually, changes randomly from point to point . The fundamental dy.
namical variable is a generalised quantum field f( i) which maps each point i onto
the corresponding manifold M;. The parameten of a very general semilocal action
S lU'e in tUrD chosen as random numbers. Thereby one finally has a field theory
glass model, with random degrees of freedom ~(i) and random action, whose long
wavelength properties can be studied by Monte Carlo methods. Our claim is that
the resulting physical degrees of freedom, wit h the most long range correlations,
are similar to the gauge degrees of freedom obtained in the translational invariant
lattice models discussed above. This means that it should be possible to introduce
some new "human- variables, analogous to U" and H of Eqs. (64) and (65), and
hence an exact formal gauge invariance . Then some of this formal gauge symmetry
is realised physically, in the sense that it gives rise t.o massless gauge particles or to
low energy confinement. \Ve outline below how such an exact gauge symmetry may
be generated in a very general type of fie ld theory glass .
We take the field theory glass semilocal action to be a sum over contributions
S,. of quenched random form , from very many overlapping small regions r of space-
120
Here ¢o dellote. the rellult of transforming ¢ with an element n fcolII the dircd
product oC all the local symmetry groups G(a). At a particular site i, of course, the
field tPlI.(i) can only transform non· trivially under those groups G(s) for which the
gauge ball B(a) contains i .
The original action 5[¢) can he written in terms of the new variables
This new action 5[tPlI., H] is automatically invariant under the formal gauge trans.-
Cormation
The field t.heory glasa, expressed in terrm of (fJlI. H), thus manifests a formal gauge
symmetry of a thaotic nature, in t.hat t.he symmet.ry group cbanges randomly fr om
place to place.
In general, for any group K. we expect to find gauge balls dist.ributed th roughout
space-time, within which K is an approximate gauge symmetry of the fundamental
action 5[4'1. We are, of course, interested in the situation where the associated Biggs
field H , in the new action S(¢It, H] , has no long range correlations but shong local
flu ctuations; so that ita "average value" is zero in the vacuum. (In order to define
such an "average value" , the group K has to be embedded in its convex closure.)
Thus we restrict our attention to gauge balls within which the syIllJ1'letry breaking
terms of the fundamental action are rather small, corresponding to the small Q'
situation in our earlier lattice Saulte.-Higs examples. The symmetry breaking terma
in the fundamental notation are transformed into correlation terms, between the
Higgs field at different points , in the human variable notation. For sufficiently
small symmetry breakins, it follows from Iteneral decay correlation theorems l6 that
the correlation function between the Higgs field at two points, H(z} and H(y) ,
does indeed fan off exponentially with the separation. So we now assume that the
vacuum expectation value (H) = 0, as is needed Cor the invariance of the vacuum
under global transformations.
We now wish to introduce a continuum gauge field A:(z) for the group K ,
with generators ~· /2 , describing small deviatioI15 from the globally gauge invariant
vacuum state. Therefore we need a rule to implement the modification of the
vacuum state described by a smoothly varyinlt continuum Yang-Mills field A:(z) .
So let us consider the human field variable f.(i) at an arbitrary site i in the vacuum
stal.e. We now locate all the gauge balls which contain i and belong to the restricl.ed
set , with sufficiently small K-symmetry violating l.erms in the fundamental action
La satisfy the conditions of the decay correlation theorems. We may consider the
continuum field A:(z) to be essentially constant over all the Itauge balls containins
the site i , having coordinates zf . The modification of the field 'theil , relative to its
vacuum value, is then constructed from the vacuum value , by applying the linear
gauge transformation which would set up a constant continuum field with the value
A:(Zi) . In other words, we apply a series of gauge transformatioru;
( 107)
tof. (i), one afier the other; one for each gaulte ball containing Z; . The coordinates
z: are those of the sauge ball centre s . In this way we modify the field flo at each
site and set up a new configuration corresponding to the continuum Itauge fi eld
A:(z) .
The gauge transformation A,(Zi) depends on the choice of gauge ball centre
z~ . However, this dependence is simply equivalent to a gauge transformation corre.-
sponding to the gauge ball at 8 independenl of Zi , i.e. it is the same for every field
variable fA(i). Here again we make use of the fad that the continuum Yang-Mills
122
field A:(~) is smoothly varying. So, in the abaenee of any physical dependence
upon the choice of z" the modification corresponding to the continuum gauge field
A:(z) , as given by Eq. (107) , is well defined up to a microscopic sauge transforma-
tion. The latter has only formal significance. In any event the centre z, should of
course be d06e to the sites involved in the gauge transformation A,(z/) and is there-
fore rather well defined. It can happen that two or more isomorphic groups K are
found as subgroups in G(.). In order to avoid ambiguity in this case, it is necessary
to apply the same gauge transformation A.(Zi} for them all; thus we only consider
a continuum gauge field for the diagonal subgroup. There is a similar ambiguity in
setting up a continuum gauge field for any group with an outer automorphism;l7
complex conjugation is an outer automorphism for SUCH) groups with H > 2. Our
construction of a continuum gauge field fails for a uoup with an ouLer automor·
phism j it can however be rescued if the field theory glass representations of the
group are not symmetric under the automorphism. We noLe that, although the
standard model group S(U(2)xU(3» is symmetric under complex conjugation, the
chiral quark and lepton representations are not .
By the above construction, for each smoothly varying continuum field configu·
ration A:(z) , we assign a new configuration of the field theory glass. The action
can be evaluated for each new configuration and it must be invariant under the
gauge group K . This follows from the natural correspondence between a gauge
transformation on the continuum field A~ ( z) and a gauge transformation on the
field Lheory glass variables ;.(i). The effective action for the continuum fi eld A~{z)
is therefore invarilUlt under K gauge group transformatioll5. In this way we have
apparently set up a Yang· Mills field theory for an arbitrary group K without outer
automorphisms. With outer automorphisms, our "demon" would have to make ar·
bitrary choices allover space· t ime, or else one would have to rely on matter fields
to specify which way to implement the group.
In order to avoid spontaneous symmetry breaking of the gauge group K by the
Higgs field H , it was necessary to make a careful selection of gauge balls; so there
may be only rather few gauge balls selected. 1n this case the majority of sites i do
not lie inside any gauge ball, let alone inside several. It follows that mosL of the field
variables f lo(i) transform trivially under gauge transformations and are unch&nged
by setting up a continuum gauge fi eld A:(z) . The action is then very slowly varying
&S a fun ction of A:(z) j this means that the vacuum is in a strong coupling phase,
corresponding to the small fJ situation in our earlier lattice gauge-Higgs examples.
The gauge field A:(z) is thus confined at the Planck scale and the gauge symmetry
is not realised physically in the long wavelength properties of the theory.
Clearly several conditions must be satisfied before a formal gauge symmetry
group K of a field theory glass manifests itself physically, as a conventional gauge
theory at large distances. In particular the fundamental action S[~l must mani·
fest the symmetry to a r;ood approximation over a large fraction , locally, of the
field theory glass, and the coefficients of ~he non·trivial symmetry co nserving terms
should be large . The chances of a fi eld theory glass satisfying these requirements,
123
by accident, are better the smaller the number of degrees of fr~om involved . Thus
inv&I'iance groups K with a few generators and small representations are favoured
to show up with massless gauge boson. or low energy confinement.. The represent ....
tions ofthe standard model gauge group S(U(2)xU(3)) ate indeed small. For the
purposes of this discussion, we may consider the W:t: and ZO particles to be massless
gauge bosoM, since their masses are negligible at the Planck scale. We postpone, to
Chapter 7, further discussion of the conditions which a gauge group should satisfy,
in order to survive from the Cundamentalscale down to the low energy scale.
We conclude that low ener!), gauge symmetry can arise spontaneously in a very
general class of theories, although we do not have a complete proof of the effed. In
principle we sbould make real Monte Carlo computer calculations for a field theory
glass , io order to verify our speculations and to find out which gauge groups survive
at long wavelengths.
It has been emphasized (Paper 27) that the gauge symmetries of a theory in
the infrared must also be symmetries in tbe ultraviolet, in order to avoid noo-
renormalisable ultraviolet divergences. If a gauge symmetry is broken at the funda.-
mental cu!,.off seale, the divergences arising fr om loop di&&rams with internal vector
bosons will not caned. For instance, the phenomenological successes of the stan-
dard model would be destroyed, if the gauge invariance of the model were broken
at the fundamental lattice scale. At first sight , this infrllIed.-ultraviolet connection
is a disaster for the inverse Higgs mechanism u the origin of low energy gauge
symmetries. However the physical gauge symmetry, arising from the inverse Higgs
mechanism, is a low eners,y manifestation of a formal gaule invanance, which is
exact in both the infrared and the ultraviolet ; the formal gauge invariance is purely
a consequence of the definition of the human variables (tP/o, H) . Tbua tbe formal
appearance of gauge symmetry it not in conflict with Veltma.n's result .
The infrared-ultraviolet connection does, however, pose a threat to a renOI-
malisation group derivation of gauge invariance at an infrared fixed point . The
renormalisation group approach to the origin of gauge symmetry is the subject of
the next subsection.
... 2A
1
= 6_e4e
1-'( ... ( III )
These expressions imply that the running couplir.g parameters 9 and ~ get smaller
and smaller towards the infrared ; gauge invariant spinor QED is an infrared at-
tractive fixed point. The dimensionless coupling parameters approach their gauge
symmetric values logarithmically ; the approach is t.oo slow to realistically c.laim that
it may account for the observed high accuracy of gauge symmetry in quantum elec-
trodynamics. This problem with tbe accuracy of the derived low energy symmetry,
in the renormalisation group method, is discussed in Sect. 6.2.2.
125
We note here that in (Paper 28) the term {(8,.A"r1 is ignored, on the grounds or
it jU6t fixing the gauge in the symmetric limit , and a term of order 9 2 is included in
p, . The term {(8,.A")' is eonsidered in [Paper 29), using a Lorentz non-covariant
<
formalism . It is pointed out that { and the coefficient oC a Lorentz symmetry
breaking term go to zero in the infrared; gauge symmetry and Lorentz symmetry
are simultaneously recovered at the infrared attractive fixed point.
Scalar field QED however does not have a gauge symmetric infrared fixed point.
In fact it is sbown in [paper 28] t.hat the running coefficient Q of the seagull term,
O'A,.A"'¢+ 41- , does not go towards the gauge symmetric: value, e2 , in the infrared
limit. Rather the parameter Ih = a/e 2 -1 , measuring the deviation from this gauge
symmetric value, has the one-loop fJ function
(112)
in the extreme infrared limit. Here ~ is the measure of anot.her sause symme'ry
violating term which does go to zero in the infrared, as does the coefficient ~ of
the term -l~(,+r)~ in the Lagrangian density. It follows , from the sign of the
fJ functi on in Eq. (112), that 61 does not go to zero and that the gauge symmetric
theory is infrared unstable.
It is well known that non-Abelian gauge theories are asympLotically free ,18 unless
a sufficiently large number of matter fields are included. Asymptotic freedom means
that the wave functi on renormalisation group effect of the precursor gauge field, in
a non-Abelian theory with gauge symmetry breaking terms, has the opposite sign
to that in an Abelian theory. The vector b060n wave function renormalisation is the
dominant effect, responsible for achieving gauge symmetry in the infrared for spinor
QED. So it should not be surprising that gauge symmetry is an infrared repulsor
for all non-Abelian groups.
A general non-Abelian theory, with both gauge and Lorentz symmetry violating
terms, is considered in [paper 29) . The Lorentz and gauge invariant fixed point
is explicitly shown to be infrared repulsive, in the absence of matter fi elds. If
sufficiently many fermion species are introduced that the fJ function for the precursor
Yang-Mills sauge coupling constant changes sign, then both Lorentz and gauge
symmetry are obtained in the low energy limit .
By approaching the infrared fixed point via a class of theories which violate
Lorentz invariance, the threat posed to renormalisability by the infrared-ultraviolet
connection is avoided. However asymptotic freedom is a property or QeD in the
standard model (with up to 16 quark flavours). So we must conclude that t.he renOf-
malisation group approach fails to explain the origin or Yang-Mills gauge symmet.ry
in the standard model.
(Note Gdded in proof: We should also mention an alternative auempt~l t.o derive
gauge symmetry based on the idea t.hat some scalar fields - the so-called "spoiler
fields" - would adjust t.hemselves so as to make the effective gauge symmetry
breaking terms vanish .)
126
6 ..... Superlymmetry
The renormalisation group method has also been used to study the stability of
superaynunetry as a low energy symmetry. The infrared stability of N = 1 global
auperaynunetry was firs~ investigated by Curtright and Gandour,I' who found that
in general a supersymmetrie infrared attractive fixed point does not exist.
A simple example, for which global N = 1 8uperaymmdry is an infrared attrao-
tor, is presented in [paper 28). The model involves a Majorana spinor VJ(z), a scalar
A(z) and a pseud08ular B(z). The class of theories considered is described by the
Lagrangian density
1 ,121.- .-
£ = - ,(O,A) - ,(O,B) - ,'''''' - 'I¢¢A
_ i/.,r,I/JB - ~l(A2 _ 8')2 _ gA'B' . ( U3)
This, of course, is not the most general form possible for the Lagrangian den-
sity; there could have been different coefficienLl multiplying the scalar "'t/JA and
peeudoscalar "'1,;'8 Yukawa terms, and also different coefficient. on the At and
84. terms. M in our previous applications of the perturbative renormalisation
,roup, we have i~ored mass terms. The supersymmetric limit is then obtained for
~=g=f2.
It is convenient to use the parameters
>-g
6,= 7' (U4)
and
6, = (~ - 1) + ~ (;, - 1) (lIS)
and
(1l7)
cloae to the lupenymmetric situation. The ligns of the fJ functions imply that the
lupenymmetrie fixed point is &ll infrared attractor. Thus we have here an example
of derivint; N = 1 t;lobalsupersymmetry all a low energy approximation .
The renormalisation t;roup method cannot be applied 1.0 loeally supersymmetric
1heories, due to the requirement of renormalisability. The largest number N of
Ipinorial supersymmetry t;eneral.on, for which a globally supersymmetric theory
C&ll be cons\ructed is N = 4. It is shown in [Paper 29] how an N = 4 global
G t is investi!;ated , which has the foUowin! field content: a lange superfield V and
three chita! Buperfields ~j 1 i = 1, 2, 3, each being in the adjoint representation of G.
If the gauge group G is a SOotalled safe group, for which
(118)
References
1. C .W . Misner, K .S . Thome and J.A. Wheeler, Gr...ffaff"., (W .H . Freeman, 1973).
2. J .L. Andenon. Pri.ci,lu "J R~lafi_i', P",,;c" (Ao;Memic Pre., 1961); H.C . Ohanian, G,n-
ila li". a." S,acdi"lC, (W.W . Norton, 1916).
3. M . Lem.o, H.B. Nielaen and M. Ninomiy&, H.d. P .. , •• B212, 213 and 228 (1986).
4. A.B. Borisov and V.I. O&ie~t ..kii , Teor. Mal. Fi,. 21 ,329 (1914).
5. M. Lehto. H .B. NieJ.ez. and M. Ninomiy&, P.. , •. Lell. 219B, 87 (1989).
6. J . EIlia, M.K. Gaillani, O.V. N&I'IOpI.>Iow and S. Rud,q, Hacl. PA" . BlTO , 61 (1980).
7. C . Kittel, [.'ro"_diu ' " Soli" SI.le P",.ie., (Wiley, 1986).
8 . S. Weinbcra:, Proc. "J tie XXIII /.,_ Cu.J. o. Hil" EurfJ P Ar,ieo, Berkeley, 1986. (World
Scientific, 1981), p . 211.
9. M. Creuta , Quri., 01.0'" .... L...ou;cu , (Ca.mbridae University P ..... 1983) .
10. E. Fradkin and S.H. Shenker, PIo..,. Rn. 019, 3682 (19'19).
II . J. R.anft, J. Kripf&ana and G. Ranft, P..., . Ret. 028, J60 (1983).
12. S. Elit"",r, PA". Ret. D12 , 3918 (1975) .
13. R. Ferrari and L.E. Pk.auo, N.. d. P..... B31 , 316 (1971); E.A. Iv&nO¥ and V.I. O&ievet.tUi,
JETP Lell. 23, 606 (1916) .
1<1. K .G. Wilson _d J. Ko",t, Pl" . Re,orll12, 15 ( 1914).
15. H.B. Niet.en and N. Bnne, W"rl.A . , ". Sl:,..... ioa ••• " A•• malin, (World Scientific, 1981),
p. <193.
16. L. Grou, C.mm .... M.IA. PA" . 08. 9 ( 1979); M. Lehto, H.8. Nichen and N. Ninomiy&,
C"mm .... M . ti . PA ••. 93 , 483 (1984).
128
11. R. Gilmtn, Li. Gru,., Lif Af,dr&ll •• 11 ".c ./ I.h ir A"N,tlio ••, (Wiley. 1974).
la. O. Itaya- aDd J .B. Zuber. q.","Y1l Fid" ntol.." (McGraw.HiIl. 1980).
19. T . Cu:rt.ri&ht aDd G . GhuMIolil', A ••. Pl" . 1041, 209 (1977); 112, 231 (1978).
30. E. Witten. N.d . Pi, •. BII. , 513 (1981).
U. K. Cahill aDd P. DeneI, Nu .. aM, LIII. n , 184 (1982).
129
Chapter VD
CONCLUSION
In this book we have collected together several examples of cases in which sym-
metries of the laws of nature can be derived ; the symmetries are deduced under
some aMumptions not involving, too openly at. leut, the assumpt.ion of the .ym-
metry in question. We begin this chapter with & status report on how many of
the known symmetries can be derived . This provides a motivation (or t.he random
dynamics project reviewed in the second section . In the final section we attempt to
classify the mechanisms responsible for producint; symmetries.
metry appears and disappears twice &8 a function of scale. At very smallsub-nuelear
distances, where weak interactions are relevant, there is no parity syrrunetrY i then
at nuclear and atomic sca.le!, where only sttong and electromagnetic interactions
are relevant, parity symmetry is valid . In the case or sugar parity symmetry is spon-
taneously broken at the molecular level, as a consequence of biological effects ; only
species producing one handedness of sugar have survived. Finally, at macroscopic
scales, parity symmdry reappears 88 a consequence of the presence of a very large
number of lugar molecule:tl.
Parity symmetry is now understood &8 arising naturally from the low ener~
limit, or long distance behaviour, of the standard model. The same is true of time
reversal invariance; however the initial conditions in tbe world violate time reversal
symmetry so much that the second law of thermodynamics is valid .
The macroscopic effects of electrodynamic. manifest gauge symmetry and elec-
tric charge conservation. Any derivation of gauge symmetry has its o~in beyond
the standard model and must be considered speculative; sugested derivations are
discussed in Chapter 6.3.
At the macroscopic level, we have considered symmetries under the following
seven types of transformation: I) Rotation, 2) Space Translation, 3) Time Tran&-
lation, 4) Parity, 5) Time Reversal, 6) Scale and 7) Gauge. Although we have
presented derivations for all seven symmetries, four of the derivations are rather
speculative while three of the symmetries (parity, time reversal and scale symme-
try) have rather well-established origins. In these statistics we only include sym-
metries valid for the whole field of macro&copic physic. and not those specific to
particular dynamicalsituatiofl.5, such as the 0(4) symmetry or planet.ary motion in
a gavitational I j r potential.
At the standard model level, we can also ask how many symmetries are derived
sarely, i.e. rrom the standard model it.sel£, and how many are derived more specula..
tively, i.e. higher up on the quantum staircase. We consider eight symmetries at the
standard model level: 1) Space-Time Translational Invariance, 2) Lorentz Invari-
anee, 3) Gauge Invariance, 4) Charge Conjugation Invariance, 5) Parity Invarianee,
6) Time Reversal Invariance, 7) Flavour Conservation and 8) Chiral Symmetry. In
this list, baryon and lepton number conservation is subsumed under 7) and Gell-
Mann SU(3) flavour symmetry is subsumed under 8) . As summarised in Fill:. 3.4,
only the first three or the listed symmetries require a speculative explanation out.-
side the model itselr. The remaininll: five symmelJies are essentially derived within
the standard model, although with the help of some mild auxiliary assumptions
(see Fig. 3.4); it is necessary to assume the existence of small quark muses and
the absenee or the QCD topological 9-term. It is reasonable to suppose that these
auxiliary assumptions will be understood in t erms of physics beyond the standard
model. We can thererore claim that. five out or eight symmetries have been derived.
It may even be p08llible to explain the other symmetries, Poincare invariance and
gauge invarianee, near the top or the quantum staircase.
So what do we now learn rrom the above s'atistics? There appear La be two
main conclusions:
I. An experimentally well-established symmetry is not necessarily fundamental .
II. Approximate symmetries appear naturally as derived symmetries.
IJI
propoeed at random will pOllse. the regularity in, say, the low ener&), domain. If
indeed there is such a mecllaniam (or each of the known regularities, one could take
a1moe~ any model and all these replaritiea would appear in one or more limite, such
as at. low energy. However it would tben hardly matter what the fundamental 'the-
ory' is; it. would anyway give rile to the observed re«'liarities. This would mean that
almost any theory could explain 'everything' known and thus be good enough as a
theory of everything (TOE) . There would then be no reason to accept any special
model or TOE as the truth; it would be better to imagine tbat the most funda-.
mental physic. is chaotic - a random model - or noL to a.saume anything about
it. This is really the content of the random dynamics hypothesis: the fundamental
physics, or TOE, does not matter, since almost all models at the fundamental level
will have sufficient structure that they agree with the phenomenologically observed
regularities.
We may take the above random dynamics hypothesis as a replacement for a
fundamental TOE . In practice all one would gel out of a fundamental theory would
be the low energy regularities; the rest of a TOE cannot be realistically tested
anyway. If it is indeed true that we do not need any special fundamental model,
in order to obtain the low ener«y regularities, the existence of such a TOE might
just be a superfluous hypothesis . We could just as well chOO8e a random theory
from a very large class of dynamical models. This is really a rather simple ides and
random dynamics provides a realistic alternstive La superstring theory or any other
TOE .
If, for any reason, the fundsmental dynamical model was very complicated ,
random dynamics would seem to be the only practical approach. We would have
to rely on the hypothesis that the observed physical laws are stable under changes
of the fundamental model. This basic philosophy' was proposed1 several years
ago [Paper 301. A similar philoeophy can be found in some other approaches to
the laws of nature.' In particular, recent developments in quantum gravity lead
to a remarkably similar picture; this baby universe theory is discussed in the next
subsection.
The summation is over all possible local functions c." constructed from the metric
g(%) , the fields 1/1(%) and their derivatives, which are consistent with the gauge sym-
metries of the theory. The label i runs over infinitely many terms, since we include
non-renormalisable interactions which are irmevanL to low energy physics; of course
many of the coupling constants ~i could vanish . This fundamental Lagrangian den-
sity C.O is modified, by the inclusion of the effects of baby universe emission and
absorption, into tbe effective Lagrangian density
for distances large compared with the wormhole scale. We may ben think of the
operator 0;+ + OJ. , where i· denotes tbe CPT conjugate of a baby universe of type
i , as just some dynamical variable representing a third quantised degree offreedom.
135
Fi,. 7.1. A typical m~tion 0{ ...onnbole QClJ\neCtio..... between weakly curved .pace-time
manifolds.
The dynamical variable 4;+ +0;. is independent of space and time; once its physical
value a j is meaaurea, it will have the measured value over aU space forever . Thus the
effeet of baby universes is just to renormali&e all the fundamental coupling constants
A; . so that the observed coupling constanta become Ai + OJ.
The blatant nonlocal behaviour of wormholes is therefore effectively absorbed
into ·.hift.a of the fundamental coupling constants; this is because the Einstein field
equations guarantee that a baby universe cannot carry away any 4-momentum from
a weakly curved universe. For example, the Newtonian gravitational field emanating
from a region keeps track of the amount of ener&), within it; 80 if some energy
suddenly disappeared down a wormhole , the corresponding Newtonian field would
disappear violatins the Einstein equations. Since a baby universe does not take
up any 4-momentum, it must enter our universe with the same amplitude at any
space-time point, as a consequence of Heisenberg'S uncertainty relation. So a baby
universe couples with the same amplitude all over space-time, and this is simulated
by a change in the coupling constants in the effedive Lagrangian density Cetf.
The faet tbat the wormhole corrections 0'/ to the coupling eonstants Ai appear
as quantum mechanical dynamical variables means that, in I\:eneral, their measured
values are unpredictable. Before a measurement of the coupling constanta, the
initial state of the universe is not expected to be an eigenstate of the operators
136
~+ + Cli' ,
For instance the Hartle-Hawkins initi&l. ataLe condition lO corresponds to
lS8uminS that there are no baby universes in the initial state; this means that the
third quantised degrees of freedom are M first in harmonic OIICilIaLor ground states
10), satisfying a;lO) = O. The effective coupling constants Ai + 0; beeome a prio,;
random variables.
This predicted randomness of the effective coupling constants.\; +Oi haa &everal
interesting consequences:
1. Random dynamics may b e cOn5idered to be a consequence of baby universe
theory. A theory baving random couplinp i. a lood step in the direction
of being a random theory. According to t.his attitude, random dyn&miea
would be an effective theory applicable bdow the wormhole ~ersy sale.
It .....ould not be the fundamental underlyin, theory ; the liause poup and
matter degrees or freedom may not be random.
2. Purely global conservation lawl are violated by baby universea carrying a
non-zero global charge. Then 0 priori vanishing constanta, >'J = 0, which
measure the stren&th of the gobalsymmet.ry violating interactioDll, are renor-
maHsed by the impact of such charged baby universes; the effective symmetry
violating coupling constanta >./ +0'1 = O'J are non-vanishing in general. How-
ever gauged charges remain conserved even after wormhole renormaliAation;
a gauged charge cannot escape into a baby universe without upaetting the
Coulomb field len behind . Thus a baby universe is forbidden to carry a
gauged-charge just as it is forbidden to earry 4-momentum. It follows that,
according to quantum gravity, we do not expect any of the observed global
conservation laws to be fundamental. A &lobal conservation law must. have
some explanation at an energy lower than the wormhole scale, as the baryon
and lepton number conservation laws, discussd in Chapter 3.3, are under-
stood in the standard model.
3. Discrete symmetries are similarly violated by the effects of baby universes.
As an example we may consider parity in a lell-rjpt. Iymmetric model, which
I priori has no parity violation:
Let us imagine we bve one Higgs field for t.he right.-handed gauge field and
another Biggs field for the ieft.-handed gallle field, each havin& the aame
Bigs potential. This meana that one superposition tP.(z) of Biggl fielda
is a scalar and the orthogonal superposition ';,.(z) is a pseudOlcalar. The
branching off of a baby universe, containing one scalar and one pseudOlcalar
Higgs (or anti-Hias) particle, induces a term of the form O',..41,.(z)I/I.(z)
in the effective Lagrangian density 4.ff. This effective interaction violates
left-right Iymmetry; the 'tachyonic' maas degeneracy of the Higgs part.icles
is broken and parity is not conserved . So baby universes will, in general,
lead to violation of all discrete symmetries. Any obaerved discrete symmetry
must be understood as the result of some mechanism, operating below the
wormhole energy scale, which forbids the presence of synunetry violating
couplings. An example is the explanat.ion of charge conjulat.ion and other
discrete symmetries in the strong and elect.romagnetic interactions provided
by t.he standard model, as discussed in Chapter 3.2.
4. Any t.heory of everything, TOE, disappears down the wormhole, in the sense
137
p
= oxp [ex (SGN'(:)A(a)) 1. (4)
Here £(g, a) is tbe effective Lagranpan density as seen at very large, i.e. astronom-
ical, distances where the geometry of space-time is measured. £ (g, a) is supposed
to include quantum corrections from all the different interactions to all orders in a
loop expansion. Expandin, t(g,a) in powers of the Riemann curvature, the two
JJ8
where A(a) is the cosmological constant and ON(a) is Newton ', gravitational con·
stant. (We note that the usual cosmologic.aJ. constant of ,eneral relativity is defined
to be ~ = bONA .) The integration in Eq. (3) is over the space-time of a large
smooth universe, with the topology of a 4-sphere, conneded to our own universe
by wormholes.
The partition function Zeal clearly blows up when G~(Q)A(Q) = O. Thus
values of the OJ for which the long-distance or 'dressed' cosmological constant A(o)
vanishes are overwhelmins:ly favoured . This is how baby universe theory solves
tbe c06mological COnstant problem: why is space-4ime 80 flat. tha~ the to6ffiological
constant satisfies the astronomical bound G1A < 1O- 120 ,? The wormhole solution i.
to provide a distribution of 'dynamical ' coupling constants Ai +Oi , which is strongly
p~ak~d for Gk (a)A(a) v~ry small and pOl!litiv~ ; so th~ bound Gk(a)A(o) < 10- 120
is exceedingly Iik~ly to b~ satisfi~d .
In addition t.o a strongly p~ak~d distribution for C'iv-A, the rapid variation of
Z(o) should in principl~ d~termin~ all th~ oth~r physical couplinS constants. This
'big fix' of the physical parameters would effectiv~ly remove their randomness; the
version of random dynamics considered under point 1 above would disappear down
the wormhole. However the attitude t.o random dynamics taken in point 5 would still
survive; random dynamica at the fundamental level could lead to the appearance of
an effective diffeomorphism gauge group and hence of quantum gravity and baby
universe theory. Random dynamica misht also predict the gauge groups and their
matter field representations.
The above 'biS fix ' of the cOl!lmological constant and the other physical cou-
pling constants has been subjected to a number of serious criticisms. A C&r~ful
re-analysis 14 of the calculation of Zeal reveals a missing minus sign, SO that the
previously dominant fact.or in the partition fundion, Eq. (4), now becomes
(6)
spoiling the argument for G~A = O. It is important for the derivation of this result
that the inner exponent
(7)
should be real . This exponent is a large number and just a small phase, from say
a tiny CP violatins 8-term, might easily compensate the minus sign in Eq. (6) .
In fact such terms would occur in complex conjugate pairs in the path integral,
corresponding to the two orientations of the 4_sphere,lt and would introduce a
real prefactor / (0) multiplying the inner expo nential in Eq. (6) . If /(0) could b~
negative , the values of 0 for which l ea) is negative would be favoured and the
argument for G~A = 0 reinstated . However there is a general argument ,14 based
on the hermiticity of the Hamiltonian, that matter fields can only give a positive
139
prefaet.or I(er) . The vavitational field haa to evade this general argument , in order
to justify the introduction of the minus sign itself in Eq. (6) , and can only do so
due to the instability of the Euclidean action .
Another criticism is the claimed presence of wormholes of arbitrarily large scale,1$
which would imply strong non local interactions over arbitrarily large distances.
There are arguments t.haL this catastrophe could be averted .1$
We musLconclude that the status of the predictioIUI of the values of physical pa·
rameters from baby universe theory is very uncertain at. present. Indeed , apart from
the v&l.ue of the cosmological constant, the predicted values are not quite correct.
The effective topological 8-parameLer (sec Eq. (92) of Chapter 3) is predict.ed 13 to
=
take the CP-conser ving value "9 'If , up to weak interaction corrections, rather than
the phenomenologically preferred value 8 ;: O. Again although scalars by themselves
may become massless according to ba by universe theory,12 the origin of the sma11
eledroweak scale relative to the wormhole scale is not yet understood. Nonetheless
baby universe theory may well earry a good deal of truth, since it should be a con·
sequence of almost any theory of quantum gravity. Here we mainly eonsider it , see
point 5 above, as a motivation for random dynamics as the fundamental underlying
theory.
poaible to define the concept of small modifications Il, h . .. of the structure S. This
should be a modification which only chanties the number of repeated i uhltructurea
by a relatively small amount. Assuminr; that the random model obeys some axioms,
which are then of course also random, the system of small modifications will apprO'f-
imately make up some Abelian sroup; indeed we expect that the most important
small modifications could be naturally organised as a vector space V .
U.inr; the approximate topology suggested above, we may consider the restric-
t.ion of an allowed small modification to some neighbourhood with respect to the
Lopo)oK)'. We want to interpret IUch small modifications as wave functioDs of the
Wheeler-DeWitt type,IG which describe the situation for all times, acting as follows:
(8)
Here N is an integer which p06llibly depends on where we are in the topological
space Sr of the atrudure S . The component. of ..p measure the VafioUi amount.
of sm&ll modifications of different type in the 'region ' in question. The axioms will
impose linear relations b etween the simultaneously allowed small modifications in
neighhouring regions of the structure.
We define a formal restriction biG of an allowed and meaningful modification b
to a neighbourhood G £ S as follows : biG is that small modification which equals
b for the part of the structure inside G and equals no modification outaide G . This
formal restriction of a small modification will of course introduce problems, e.g.
disageement with the axioms OIl the boundary of G. Nonetheless these formal r&
s,"rietions biG may be used to generate an extended vector space "Ii. This extended
V«WI apace V _nlially has the (.haradeI oC a spac.e of CUD(.tioDS 1/1 on the wpo-
logical apace Sr . The truly allowed small modifications now appear as a subspace
V allowed by the 'axioms'; the lubspace can be charaderized by a set of corulraint
equations
ity and the existence of a vector space "Ii. There may therefore be a problem in
restricting suc.h a modification to a very small region G: if G is itself supposed to
be a relatively simple substructure the effect of any modification on it is likely to
be quite severe. A remedy for this problem is to choose regions , such as G, that
are sufficiently large as to contain a fair amount of repetitive structure. The region
G could still be extremely small compa:ed to, say, all of S and be approximately
a point in 5T. The physically relevant states '" should be superp06itions over 50
many local contributions, like biG, that the need 1.0 modiCy the same region G twice
practically never arises.
\Ve have now a:gued that one can construct, out of almost any random mathe-
matical structure S, a vector spa.c.e or Abelian group of 'wave Cunctions' l/i. These
wave functions " are identified with small modifications and constraints ensuring
compatibility with the axioms not only locally but also globally. The wave fun c-
tions are defined on a topological space Sr constructed Crom the structure S . The
constraints are local, since the I.opology is defined by means oC the relations between
the elements.
141
Although we have not yet introduced space-time, we may obtain a very gen-
era.! form of quantum mechanics from the mathematical structure provided we can
interpret some of the constraint equations, ¢Ii'" = 0, as a sort of Whceler-deWiU
equation. The Wheeler-deWitt equation of quantum gravity is noL an equation of
time evolution in the usual aense; in Cad time does not appear at all and it takes
the form of a Hamiltonian constraint equation. IS
(13)
The constraint Eq. (13) can now be interpreted as the SchrOdin«er equation for the
rest of the variables. In the same way we want to interpret some of the constraint
equatiollJl of our system, ;j1P = 0, to be a generalised Schrooinger equation.
The next step in such a random mathematical model is to introduce a space-t ime
concept. The identification of physical objects in the general mathematical structure
S is of course essential , if there is to be a physical interpretation of tbe structure.
These interpretive assumptions are to a high degree arbitrary, particularly in the
first st.epa of random dynamics. We bave already assumed that the vector space of
small modifications of the mathematical structure is to be identified with the Hilbert
space of a generalised quantum mechanics. As a further tentative interpretation,
let us now assume tbat the tQpolo«ical space ST is the configuration space for
a somewhat extended quantum field theory describing nature. In other words, we
imagine that eaeh point , i.e. each element, in Sr corresponds to a field configuration.
We would now like to consider the quantum field as a fu nction mapping all of
space-time into a target space. In this way we treat space and time on an equal
footin« and the equation or motion fot the field will take the fOlm of a constraint .
The interpretation of the configuration space as a space of (unctions requires
that ST is a very large, or infini te, dimensional space. The field values over all
space-time are then coordinates for the topological space ST , which must therefore
essentia1ly be a differentiable manifold. So we assume that it is possible to construct
a tangent vector space to Sr . For this purp06e, it is necessary to have an additive
142
ions; it eould happen that some of the points are invariant under diffeomorphisms.
Such trivially transforming points would have their associated degrees of freedom
Jut.side of space-time, in the &arne sense as the third quantised degrees of freedom in
~aby universe theory. We therefore expect these diffeomorphism invariant degrees
of freedom to act in the same wayan aU space.time points and, for practical pur·
~oses, just to influence the values of the parameters in the effective laws of nature.
~ this feature of exterior degreell of freedom is e.xpeded in random dynamics even
il, for some reason, genuine wormholes should not form. or course we expect that
~andom dynamics should lead to quantum gravity and hence to the existence of
I)aby universes. As discussed in Chapter 6.2.1 , general relativity result.s from the
~ontaneou8 breakdown of the above diffeomorphism gauge symmetry to an exac~
~oincare gauge symmetry.
t We have given above some preliminary ideas on how physically relevant conclu-
SlOns might be deduced ft om a random complicated mathematical model. There
ke clearly many gaps still to be filled in the argument . Our main motivation , in
~resenting such an incomplete discussion, was to convince the reader that it is not
~ forlorn hope to derive physical laws from a general mathematical model. Indeed
if something like the above construction is made to work on a general mathematical
s}ructure, we would be close to deriving the fi eld theory glass model of Chapter
q.3 .1 , with some gauge symmetries and some extra degrees of freedom outside of
~
ace-time . However we also introduced a diffeomorphism gauge symmetry and
us, in the sense of Chapter 6.2.1, gravity and translational invariance. Of course
e field theory glass is not translational invariant and we thereCore seem to have
derived too much symmetry at this stage. But this is presumably harmless since,
ib the end , the field theory glass is supposed to be smoothed out , by quantum flue-
thations, into a continuum model with reparameterisation symmetry. We had to
~ppeal to similar quantum ftu ctuations to obtai n diffeomorphism gauge symmetry,
+ d hence translational invariance, from the pregeometrical space-time P . 50 we
lually expect to obtain the continuum version of the field theory glass and the
iffeomorphism gauge symmetry Cra m quantum flu ctuations , on the same sLeps of
e quantum staircase .
The above discussion of the origin of space-t ime did not add ress the question of
1 dimensionality and how the diffeomorphism group of 3+ 1 dimensions is selected
i a random theory. We speculate below that fermionic degrees of freedom might
~lay an important role in singling out 3 + 1 dimensions .
. 1 So Car our discussion has been very abstract and we have only outlined how ,
in a very general model, we might identify some fundamental physical notions:
~ linearity in quantum mechanics, b) time, c) space- time and d) locality. We
'Y0uld now like to present some slightly more concrete derivations of some of these
~otions. These derivations will be based on different assumptions, which deviate
i detail from the above ex~ingly speculative discussion. This is consistent with
t e spirit of random dynamics, according t.o which the final physical results should
e insensitive t.o the input assumptions .
. QUClntum },ftchanic~
analyticity and uain& a Taylor expansion; it is then ncceesary to IlflUe that the
const.ant term in the expansion is zero or should be subtracted away. and that all
the terrns beyond the linear term are ncr;li«ibly small. It was precisely t.he smallness
of the small modifications, which was crucial for t.he speculat.ive identification of
quantum mechanics in the random gcncral mathematical structure discussed above.
A. the starting point (or our derivation of quantum mechanica, we assume the
existence of a time variable t and that the evolution of the world is described by a
general autonomous differential equation
Here X(t) has a buge number of components describing the state of the physical
world. Time-translational invariance has heen assumed 80 that the velocity field
F(X(£)) only depends on X(t }. In the spirit of random dynamica, F (X (t» can now
be taken to be a randomly chosen analytic field, in a computer simulation which
looks for the typical behaviour of the solution to Eq. (14). With a measure chosen
80 that a random number generaLor creates fields F{X{t » with many zeros, the
typical behaviour for the time development of X(t) turns out lS to be the approach
to a fixed point Xo :
X(f) _ Xo as t _ 00 . (15)
It follows that, after a long time, X (t) is very close to the fixed point Xo and
the Taylor expansion
dX
dI = F(X(' ll
8FI
= F(X,) + (X(.) - X,) 8X x. + ... (16)
is a good approximation , retaining just the fint ~wo terms. At the fixed point Xo
F (X,) = 0 (17)
( 18)
when we define
w(' ) = X(') - X, ( 19)
and
H = .8FI
Iax x•. (20)
This notMion suggests that we should interpret !/J(t) as the wave function for the
world and H as the Hamiltonian operator, so that Eq. (18) can be identified as the
SehrOdinger equation .
145
However there is no reason why the matrix H should be hermitean and ita
eigenvalues ~ will in general be complex. The sLability of the fixed point Xo requires
that
Im.\$O . (21)
The time development of the wave function can be expanded in terms of the eigen 4
vectors ¢" of H:
0(1) = L, ,-lA'., . (22)
AI time P&SSeI , all the components in the expansion wiU die out, except (or th()8e
with eigenvalues having a numerically very small imaginary part 1m >. ~ O. It
follows that only the almost real eigenvalues ate relevant after a long time and then
the Hamiltonian, restricted to this subspace of wave fun ctions, ma.y appea.r to be
hermite&n to a very ,ood approximation . However, in addition to the reality of the
eigenvalues, hermiticity requires the eigenvectors to form a complete orthonormal
basi•. It may therefore be necessary to adju.st the definition of the Hilbert space
inner product, so as to make the Hamiltonian H more closely hermit.ean with respect
to it.
The &«e of the universe is indeed very large in Planck units. Thus we can
claim to have derived some of the general principles , i.e. linearity and hermiticity,
of quantum mechanics from random dynamics; although hermiticity is not fully
derived. It is actually a prediction of random dynamics that the hermiticity of
the Hamiltonian is not aut, and thereby ' the probability of living at different
moments of time' is not exactly constant. Experimental tests looking for a p068ible
small antihermitean part of the Hamiltonian ,I ,lt and also for small deviations from
Iinearity,2° are therefore important.
B . J + 1 DimelUions of Space-Time
We have already suggested that space-.time could result from the appearance of a
diffeomorphism .yrometry in a rather general pregeometric space. This mechanism,
however, would Dot. priori explain why the dimensionality of space-time should be
3 + 1. In a slightly different scheme, there is a random dynamics argument for space-
time having precisely 3 + 1 dimensions21 [paper 30]. This argument presumes the
existence of very general fermion quantum fields in a random non· Lorentz invariant,
but space-.time translational invariant , model. This model would therefore Dot be
viable if indeed Lorentz invariance and translational invariance appeared together,
as special diffeomorphism symmetries in a pregeometrie model.
Assuming space-.tirne translational invarianc:e. but not rotational or Lorentz in-
variance, the general free fermion field equation in d-dimensions takes the form
(23)
random or senene matrix fundion of PI" In other words we look (or properties of
D(P) that would be true for whole regions in the space of matrix fUDctions aatisfyinS
D(P) = D(P)+ for real p".
The condition
d, tD(p) = 0 (24)
must be satisfied in order 10 have a solution of the free fermion field equation,
Eq. (23). This condition is generically satisfied on 8ubmanifolds in momentum space
of codimension 1. In d-dimensional space a aubmanifold of dimension d - c is said
t.o have a codimension c. We shall be interested in degenerate solutions of Eq. (23) .
Generically ODC finds q solutiona, with the aame value of PI" on submanifolds of
codimeD.ion 92. This can be seen by taking a basis for ~(p)-8p&Ce , in which the q
degen era~ solutions are taken as basis vectors. In order to stay on the q-degeneracy
submanifold, the q x q submatrix of D(P) corresponding w the q soluttons must
be zero. Thus q2 real conditions must be satisfied, since D(P) is assumed to be
hermitean.
For a. low-energy physicist , the only accessible fermion states are those near the
Fermi surface, which separates empty and filled level.!!l . We now want to consider the
possible relationships between the Fermi surface and tbe q degeneracy surfaces. We
will first show that the Fermi surface cannot consist solely of points in momentum
space on degenerACY surfaces with q ;;:: 3. Around a point in p,.-space with q ;;:: 3
degenerate solutions of Eq. (23) , there will ge.nericaJly be solution branches with
lower q-~uetl . In the nei&hhourhood of a point in p,. -,p ~ with q sol u~ion8 , tbe
relevant part of D(p) is a q x q bermitean matrix. The manifold in this neighbour-
hood with q solutions corresponds to such matrices havins rank q - q. If q - q = I ,
the 9-solution manifold is cut into two disconnected pieces when the q-flOlution sub-
manifold is removed . This result follows beca.use the single non-zero eigenvalue, of
the rank 1 q x q matrix, cannot change sign without passing through zero. However
if (q - q) > 1, tbere are at least two non-zero eisenvalueB and they can easily change
sign, without passing through a p,.-point having two of them zero simultaneously.
So, for example, removing the 3-solution points splits the 2-solution manifold into
pieces, but the I-solution manifold remains connected . We therefore conclude that
the Fermi surface, which must separate empty and filled states, cannot conslst of
q ;;:: 3 points alone.
The Fermi su rface might , however, consist solely of points in momentllm space
with q = 2 solutions . Indeed this seems to be the situation in nature when we
COlUider the fermions of the standard model to be massless Weyl particles, as is
suggested by the fact that the len-handed and right-handed fermions have different
gauge quantum numbers. In nature it appears that the Dirac sea of negative energy
states is just filled and the Fermi surface for a Weyl particle lies at the isolated
zero ener&y-momentum point p,. = 0. For all Weyl stales "ith PI' 'I- 0, the helicity
constraint that the particle should be, say. left-handed allows only one polarisation
state, satisfying the condition
Po = -~ ' f' (25)
Elowever for the zero energy-momentum state, with Po p= = 0, the helicity con-
straint, Eq. (25), does not restrict the spin £. and two states of polarisat ion are
allowed . The fact that the Fermi energies of quacks and leptons now essentially
I IQ
~;ncid' ~
w;Ih Ih, douhl, d,."",,,y po;nl, p, = 0, ;n I"., p.,1 du, \0 Ih,
Hubble expansion of the universe attenuatin~ the fermion number densities. The
k:tual values of the baryon and lepton numbers of the universe are of course not
~et understood .
I Let us now assume that, even in the hypothetical d-dimensional non-Lorentz
invariant theory, the Hubble expansion drives the Fermi su rface towards the su})..
dtanifold of d-momentum space having q = 2 solutions of Eq. (23) . A physicist
~errorming experiments at energies low compared to the Planck mau (here mean-
fug the fundamental mas&) , would on ly have access to states very dose to the Fermi
,furface. So the observed eners,y-momentum dispersion relation should be obtained
from a Taylor expansion of D(p) around values of PI' on the Fermi surface , which
* e have assumed are point.s with q = 2 solutions. Near a q = 2 point we may
~ffectively take D(p) t o be a 2 x 2 matrix , since the solutions in this neighbourhood
k dominantly composed from the two degenerate states. Denoting the q = 2 point
~bout which we expand by P(O) ... , the expansion of the effective 2 x 2 matrix takes
the form
D(P) = (~ ~) + (p, _ P,O),)· 8~(p) I ~ + .... (26)
PI' ". -"("~
The requirement thM D(P} be hermit.ean for real values of PI' implies that t~
I Eq. (26) is hermitean. Sinee there are only four independent 2 x 2 hermitean
Pauli matrices 0'0 = [ ,vI = (f~ , 0'2 = 0', and r
= o'~ , we may write
(27)
Thus the equation of motion for the free fermion field , Eq. (23) , in the neighbour-
.hood of the q = 2 point becomes
I (p, - p'O),)V:.·~(p) = O . (28)
e now renormalise the d-momentum and define the practical momentum to be
PI' = PI' - 1>(0) .... (29)
The equation of motion then becomes the Weyl equation
p"V:(f<>,,(p) = 0 . (30)
The vierbein V,: can easily be transformed away, by definin,; an affine basis in which
' he momentum components are p~ = V,:p" .
I The signature of the metric associated with the Weyl equation, Eq. (30) , may
be deduced from the dispenion relation condition
0= detD(p) (31 )
= det(p... V:O'°) (32)
=det
p,,(Vo" + Va") p,,(V.1' - iV2"») (33)
(
PI'(V1" + iV21') PI'(Vo" - V3 ")
= (pI'VO ... )2 - (p" V.I')2 - (p" V21')2 - (PI' V3" f2 (34)
= PI'P" Vo"V.6 "'1°~ . (35)
148
H.",
"Q ~ = diag(l , -1 , -1 , -1,0, 0, ... 0) (36)
is a metric with the usual (1.-1,-1,-1) signature, except for some degeneracy.
We conclude that the rank of the effective metric
(37)
for the fermion is only four I even when the dimension d of the enerC'·momentum
space is higher than four! The fermion "moves" with zero velocity eomponent.s in
the directions for which t.he met.ric vanishes. Any maLerial made from such fermions
cannot move in those directions. So the directions in which the metric vanishes are
effedively unobservable for purely fermlonic maUer . In this way the appearance of
3 + }·dimensional space-time is favoured.
The boson fields might still , a priori move in all d-dimensions. Similarly different
types of fermion field might move in different seta of 3 + 1 dimelUions. However
there is It. mechanism for aeill!ctingjult one 3 + l.dimensionalspace--time aa relevant
at low energy, if the fermion fields couple to a sause field. The fermion fields then
contribute to t.he renormaliaation of the non· Lorentz invariant couplinS parameters
'1"""" in the d·dimensional non-covariant Yanl-Milla action, analogous to Eq. (20)
of Chapter 6.2.2. The contribution of each Weyl field to the renormalisation sroup
bet.a function P:""" is non·\'aIlishing in the appropriate 3 + 1 dimensions, and the
correspondins componenLl of .". ..,.., in these 3+ 1 dimensionssrow relatively stronger
towards the infra.red. Provided the 3+ I-dimensional con~ributions from t.he various
Weyl fields are not too unparallel in the d-dimensional space--time, they should add
up t.o give a major term in the renormalisation group equat.ion along some 'average'
3 + I-dimensional space and minor terms in t.he other dimensions. The components
of 11"""" in this average 3 + i-dimensional space will then grow large in tbe infrared,
compared to the components in the other d - 4 spaee--time directions.
The coupling pa.rameters rf""" are essentially inversely proportional to the
square of the effective gauge coupling constant. Hence the above renormalisation
group behaviour implies that the effective Yang-Milt. coupling strength will be--
come greater in the extra d - 4 dimensions than in the average 3 + I-dimensional
space. This favours the formation of a ~called layer phase 22 with confinement,
at relatively high energy, in all directions except in those of the average 3 + 1-
dimensional space. In such a situation , there would be fou r·dimensional layers in
the higher d-dimensional spaee--time and particles with non-trivial gauge quantum
numbers would be confined to their layer. Thus the d - 4 excess dimensiOnB would
be unobservable (or gauge--charged matter .
As diseusaed in Chapter 6.2.2, the renormalisation group acale depend~ce will
also make the effective 3 + I-dimensional metrles gP" for the different Weyl fi elds
approach each other, and a Lorentz covariant theory, t.owards the infrared .
Under the influence ofthe low energy BiW vacuum for the e1ectroweak interac-
tions, neutrinos and ZO particles might be able to escape from a 3 + I-dimensional
space--time layer out into the d·dimensional world. However this would be avoided
if the diffeomorphism ~auge invariant gravity theory is also in a layer phase; en-
ergy and momentum are then confined t.o the 3 + I-dimensionallayel$ and particles
would not be observed disappearin~ from our 3 + I-dimensional space-time.
149
Fia. 7.2. A diffeocnorphWn whio;h only lr.... ronn. po.ihl.& iD • am.tJ.I neishbourbood.
ere 9 = I del 9,. ... 1and .c:. (¢(y;), tI,.'(II.», for i = 1, .. . ,m, are ordinary reparame-
tf:risation invariant Lagranpan density expreSlionl, dependent on a set of fields
;:(lIi) and their derivatives. Terms formed from an in~eA:ran d dependinA: on ~wo
~iDta z: and 11 in a combined way are Dot diffeomorphism invarian~> because i~ is
J:-ible to make a reparamet.e.risation which translates one of the points but not ~he
other. A diffeomorphism that only makes a chan&e close to one point is illustrated
i Fi&. 7.2.
ISO
(39)
This integral over pairs of space-time points % and ." has an integrand which itself
contains a functional integral over the set of all curves X(r) connecting the points
% = X(r;) and 11 = X(TJ) . The functi onal int.eual measure is denoted by DX(r)
and 6 is a constant. The expressioDs C1 and C2 are ordinary reparameterisation
invariant Lagrangian density Cunctions of the fields at. z and y.
Let us now consider the physical eonsequences of the actions S .. , and S~, re-
spectively.
A non-local action of the form 5 .. , does not give any truly non-Joeal physical
effects. All the separate inte,ual5
(40)
in Eq. (38) must, when evaluated , have some numerical valuCl; they ace constant in
time and over space . The equat ions of motion derived from 5 .., can thus be exactly
simulated by a local action
(4 1)
and the constants c:. are given in terms of the integrals I j" of Eq. (40) by
(43)
The action S", ean therefore be replaced by S and only l!,:ives rise to local effects.
Non·local actions of t.he form S~, involve the path lengths of space-t ime curves
between the interacting points z and y. Inter;rating out. the fun ctional intep-al in
euc.lidean space, one obtains the approximate distanee .behaviour up( - b~n . d~,)
(or the action term s:.,.
Here bren is the ' renorma1ised ' value of the constant 6 in
Eq. (39) and dr, is the space·time separation of the points z and y. On dimensional
grounds the constant b~n is expected to be of order the inverse Planc.k length (again
meaning the fundamental le8l;th) or zero. If bren vanisha the action 5;., degcDuat.es
151
to the product form 5", of Eq. (38), which we have just seen only gives rise to local
etrect.s, If bRn is of order the inver&e Pland, length, the non-local effects fall off
exponentially for dist.ances greater than the Planck iencth . So we would effectively
obtain locality at experimentally accessible scales.
(44)
,
is semilocal , being a sum over contributions S~h~(i» from very many small over·
lapping regions ,. in space· time.
We argued in Chapter 6.3.1 that the inverse Higgs mechanism, promoting ap-
proximate gauge Iymmetrie!l to exact phYlica1 gauge symmetries, should work even
152
roc a field theocy Sl.... Wit.h the action and field value manifold varying from point
to point, it is likely tbat some de~ of freedom will, by accident, approximate
onc or another diacreti.sed p.u,;e theory in various regions. We t.herefore int.roduced
a formal gauge symmetry
(45)
(46)
by defining a new so-called "human- field variable fll, and the Sauge group valued
'"«ius field" H , related to the oriA:inal Cundamental field by the equation
(47)
We the~by formally constructed a field theory ,lUll endowed with sause symmetries
of a random nuun, i.e. (or which tbe saule symmetry sroup varies randomly from
upon to repon. This is what we call a gauge gl. ..(23)
We also described how continuum gaule field deUees offreedom A:(z) might be
implemented on the lauge gI.... by a suitable modification of the formal gauge glass
dcpee8 of freedom ,,,(i). A priori we mi&ht attempt to implement a Yang-Mills
theory (or an arbitrary «au«e «roup K; we would probably find ,.uge ,lass degrees
of freedom correspondin« to it, here and there, throughout space-time. However it
may only be pouible to implement the ,au,e field A:(%) , for the group K , very
sparsely in space-time. Theefl'ective continuum,au«e field Lagrangian density then
acquires a term of the form
I
Cetr. = - 49' FIji, -(% )Flln(%) (48)
with a very small coefficient, _1/4g 2, because A:(%) represents relatively few gauge
glaae degreee of freedom. Thil means the gauge coupling constant, g2 , is strong;
10 the sause de,;reetl of freedom are confined close to the Planck scale and become
irrelevant to experimentally acceAible low enerl>' physics. In order for a gauge group
K to survive at low enerpe. , it iI necessary for the group to be richly represented,
as a,;ood approximate symmetry of the fundamental field theory &lass action S[I,6},
throut;hout space-time . Thil is more likely to happen, by chance, when the number
of degrees of freedom involved is arnall, Le. for sause ,;roups of small dimension and
for maUer fields belont;ins to small representationa. There are also technical reasons,
which we discuu below, why many «au«e symmetry groups would spontaneously
break down near the Planck scale.
There is a particular problem in implementing a continuum Yang-Mills field
A:(%) 00 a gause «lass, when the gauge sroup K has outer automorphiams. 24
This technical difficulty seel1lll to be of BOme importance, in random dynamia,
for uoderstandins the on,;in of the standard model group and of the number of
quark and lepton seneralioos. The group of outer automorphisms of a group K is
defined 24 as the factor sroup of all automorphisms I , calculated modulo the inner
automorphiama h which are juet the similarity transformations:
{/ : K _ KIf automorphism}
Ou«K) = {h ' K _ K I3bVg E K[h(g ) =bgb 'J) (49)
153
(.1)
.iIl
$r['., HJ to the action, from a small region r overlapping both neighbourhoods,
not be invariant under a convention shift in only one of the neighbourhoods.
fu. this sense a relative convention is fixed . So it is possible to extend the identi-
~cation convention along some closed curved r in space-time. But now we have &
CjOosiste.ncy condition: the convention on returning t.o the starting point must be
,'he same as the starting convention . In a gauge glass model it seems inevitable
~hat, among the many dosed curves, some of them will lead to an inconsistency
between the initial convention and the final convention . The gauge group on return
" said to get 'confused ' with its own automorphit; image. 13
I The fact that inconsistencies are lik~ly to arise, in the identification convention
lor the gauge glass degrees of freedom, may be seen by considering a change in the
gauge glass structure, in some small region r alonr; a closed curve r . A change in the
quenched random parameters , occurrinr; in the semilocal contribution Sr [ifJlt., H] to
(he action, may simulate the effect of making a relative convention shin between two
~uceessive neighbourhoods in r along r . The interaction between the human fi ehla
t .(i) and tPIIU) , in two successive neir;hbourhoods, and the Higgs field H(.) is then
~ffectivel y replaced by a similar interaction between the fields f(~II(i)),tPlI(j) and
fI(')' where ! CtPlt.(i» is the appropriate automorphic imace of tP.(i) . This change
JR ~he relative convention, between two auccessive neighbourhoods along r , requires
154
"..
leCt-right symmetr ic models do not arise as effective theories out of random dy nam-
t.brou,h all intepr value. b~h pOIIitive and nelative; thus the Dumber of particles i.
required to be infinite, with accumulation points at bypercharge values of zero and
infinity, unless 5 = -1. However one can say \here is an approximate symmetry
under acaline by a factor S, if there exist some fermion! 'hat transform into other
existinS fermion! under luch a scaling; i.e. if there exist lOme pairs of fermions with
bypercharges differing by a factor S,hui otherwise having identical gauge quantum
numbers.
The (ermion spectrum of tbe standard modd is almOlt completely devoid of IUch
an approximate symmetry under Kaling of the weak hypercharge. In mOl!lt Clllies,
Weyl £errruolli wit.h a siven combination of non-Abelian gauge quantum numbers
beloIll to exactly the lame weak hyperchar&e representation. The fermion represen-
tations are repeated, in each of the three quark..tepton generations, without vary-
in, the weak byperchar,e nlues. There is only one combination of non-Abelian
quantum numbers, for which more than one weak hypercharge value is found phe-
nomenologically: the lefl.-handed antiquarb, see Table 3.1, have b i
= - and
ill != respectively. So there u. a very approximate symmetry under swnS weak
hypercharge by a factor S = -2 in the standard model. Apart from this exception,
which has to be present in order to avoid sause anomalies, nature appears to avoid
even approximate symmetries under weak hypercharge scaling. Again tbe stan-
dard model seems well equipped to avoid inconsistencies due to generalised outer
automorphiams.
The confusion mechanism, causing the collapse of a gauge group K with outer
automorphiams near the Planck scale, can. be further clarified, by considering the
aimulation of a gauge &lass wing a generalisation of ordinary lattice gau&e theory.23
This approach also allows us to identify other collapse mechanisms,20 which may
prevent a lIaulle group K surviving from the Planck scale down to the relatively
low energy scale of presen~day experimental particle physics. The modifications of
ordinary lattice lIauge theory are made in a quenched random way, i.e. they are
chosen randomly but then kept fixed in the Feynman path integral or its Monte
Carlo simulation. We list the let of modifications below:
i) The regular hypercubic lattice is replaced by an amorphous glass-like struc-
ture, by letting the la.ttice sites take random positions separated by distancetl
of order the Planck len&th lp .
ii) The gause sroup i. allowed to vary from site to site.
iii) The link variables U( ......... ) for the gauge group K are coupled together to
form plaqueue variables Uo , defined in Eq. (61) of Chapter 6.3, and pJaquette
adion So cont.ributions. The plaquette variables and action contributions
are invariant. under the "confused gauge transformation"
(52)
('3)
Here I.,. are quenched randomly chosen outer automorphisms of the gauge
group K .
157
(55)
FiS. 7.3. A laUice p~e model with an irftsuW lanke and ru.dom p:oupt aft the Yuioualinb.
/.,.(A) = A (57)
for all the outer automorphisms I~ ., randomly chosen throughout the lattice. It
follows that the vacuum state is only symmetric under t he subgroup. which is len
invariant by all the outer automorphisms of K . So the gauge group K spontaneously
breaks down to a subgroup without outer &utomorphisms (or at least with very few).
The gauge particles corresponding to directions in the Lie algebra of K, which are
not left invariant by the outer automorphisms, acquire masses of the order of the
Planck mass. 13 Inner automorphisms can be transrormed into background gauge
fields. These background fi..elds may give masses to some of the gauge particles
via a Rigs-lib mechanism, which is essentially equivalent to the mechanisms to
be discussed below associated with frustration of the gauge glass and with other
vacuum fields in the gauge glass.
The confusion mechanism discussed here is, of course, essentially the problem
of identification inconsistencies for gauge glass degrees of freedom in another guise.
159
add up to a path in group space leading (rom I to F . Such a path must leave
the centre if I and F helons; to different connectedness components. It follows that
lOme of the deviations Ua pnr!Io....., -1 are non-central. Since the Ua pre!' are assumed
to belong to t.he centre, this means that sorne of t.he vacuum plaquette variables
Ua .,.., are non-central and the gauge SlooP K collapses. In order to avoid 8uch a
gaug: symmetry breakdown, it is necusary that the gauge group K haa a connected
centre. However it. is not Inflici~t.2.
IV. Coftjwgac, cia .. ' pate wilh onl, centrul ,jng.lariliu. The plaquette ac-
tion Sa is defined over conj~&Cy d&Sl space, Lui", the same value for two group
e1ementa related by a similarity bansformation. The minimum of the plaquette en-
ergy therefore tend. to occur at. the extremities, or singularities, of conjugacy class
space. The vacuum plaquette variables are thus likely to take up these sin!Ular
values, which must then belons to the centre of the sroup in order to avoid the
spontaneous breakdown of the sauge symmetry.
The sinsularities are typieally eorners or edges of conjugacy class space. For
example the eonjusaey class spaces for the rank one groups 5U(2) and 50(3) are
line segment. and their sinz:ul&rities are the end points. The conjugacy classes for
5U(2) and 50(3) are characterized by the angle of rotation about some direction in
the three dimensions. The end points eonespond to angles of 0 and 211' for 5U(2)
and to angles of 0 and 11' for 50(3). For 5U(2) both end points belong to the centre,
correspondins to the group elements land -I; while for 50(3) only the end point
correspondin,; to the unit element I is a centre element . The non-eentral end point
sinsularity of 50(3) conjupcy class space represents the class of rotations by an
angle 11'. If a plaquette variable in the vacuum takes on a value in this singular
,.--class, the 50(3) gau,;e group spontaneously breaks down . 5U(2) is favoured to
survive .. a sau.&e group, since it has only central eornell.
Another type of sinsularity is a ~eaned "top hat" point, which lies in the inte-
rior of conjusacy class space. For example the &loup of rotations in four dimensions
has a conjusacy clasa space with the geometry of a paper hat. The class space for
the covering group 5U(2»(5U(2) in the square formed by the cross product of two
line segment., representins the eonju,;acy class spaces of the two 5U(2) groups. The
conju,;aey class space of 50(") corresponds to the paper hat , formed by folding the
square along a diagonal and then gluing the two halves of the diagonal together:
the midpoint of the diaconal corresponds to the top of the hat. This singular point
at the top of the hat represents the class of .. x .. orthogonal matrices with two
eigenvalues equal to -1 and two eisenvalues equal to +1. It is non-central and , if a
plaquette takes on iLl value in the vacuum, the 50(") gauge group collapses.
The above four conditions favour the standard model group
as being particularly well suited to avoid spontaneoull collapse in the gauge glass
and to survive as a low energy symmetry group. The SMG is the one group with
the Lie algebra U(I)xSU(2)xSU(3) which has a non·trivial connected centre :
(64)
oft.he group U(1)xSU(2)xSU{3). Here ZN denotes the additive group of integers
modulo N and IN denotes the unit element of SUCH). There are no non-central
comera or top hat singularities in the conjugacy class space of the SMG. Also it
has only one outer automorphism, i.e. complex conjugation, under which the chira!
quark-lepton representations are anyway not. symmetric.
Let WI DOW consider more systematically the type of group favoured by the four
requirements I-IV. In general, the necessi'y for a continuous centre requires that
the gauge group have an Abelian invariant subgroup or U(I) factor . For the SU(N)
groups the extremities of conjuS&CY e1aS1 space all correspond to central elements
exp(i21fmjN), mE ZH . This is not true for other simple groups, which are therefore
expected to spontaneously break down in the sause SlaSl. So we are led to cORsider
groups with a Lie algebra consisting of a dired product of various SUCH) factors
and an abelian U(I) factor. Multiple occurrences of the same subalgebra do not
survive, due to the confusion mecl1anism of condition 1.
The centre of the coverins group for a Lie algebra, consisting of a direct prod·
uet of SUCH) factors and a U(l) factor, is not connected. In order to satisfy the
connected centre condition III , it is necesaary to divide out some discrete central sub--
group, which has a non-empty intersection with all the connectedness components
of the centre of the covering ~oup . Some elements in all connectedness components
of the centre of the covering group are thereby identified with the unit element. If
the N values for the various SU(N) factors are all mutually prime, it is p065ible to
generate the required discrete central subgroup from a single centre element, as the
discrete ~oup D3 is constructed, in Eq. (63), for the SMG from the centre element
of Eq. (64) . However if the various H values have common divisors, such a discrete
subgroup cannot be generated from a single centre element . An extra generator,
with zero component along the U(l) group, is then needed. This extra generator is
identified with the unit element , when the discrete subgroup is divided o ut of the
covering group. In this case, the resulting factor ~oup must have a non·central
singularity in conjugacy elMS space , analogous to the top hat singularity for the
SO(4) group of Eq. (60). Condition IV is therefore violated if any of the H values
have common divisors.
162
Since «aug!! groupi with a .ma11 number of dimensioDs are most likely to arise by
chance in a sauge glus , we expect the preferred N values to be as small as possible,
as well &II mutually prime. We therefore conclude that the gauge glass model , and
hence random dynamics, favours a gauge poup of the form:
where the SU(M) groups are taken for M running through all prime numbers greater
than or equal to 2 and less than or equal to P. The discrete group divided out
(66)
hp =(exp(i2~iNp) , -/2,ex.p(i2l1"/3)13 ,
exp(i2l1"m5/5)la •... , exp(i2"mp/P)Ip} . (67)
Here
Np = 2 x 3 )( 5 x ... x P (68)
is !.he product of all prime numbers less than or equal to P and the parameters mn
for n > 3. are integers not divisible by n . For P > 3, there are several different ver·
sionl of C< P ) corresponding to the different values of the integers mi . ro7" , . I mI' .
The first three members of the series of G<P) groups are
The groups with P > 3 contain SU(N) lubalgebru with numerically larger reno~
maJisatkm group beta functions , in tbe WlUa! notation,21 than tbose of the SMG j
therefore they might be expected to confine at a relatively high enere scale . We
make a more careful estimate of this confinement enere scale in the next s ubsection.
Chiral fermion fields are required to avoid spontaneous collapse of tbe gauge
poup G<P), by confusion under charge conjugation, in the gauge glass. However, in
general, we expect the maUer fields to belong 1.0 as small representations as possible,
if the gauge synunetry is to appear accidentally in a field theory glass. States
belonging to matter fi eld representations of (;f.P) must obey hI'1/! = 1/!, leading to
the quantisation rule for weak hypercharge:
~ + ~ "duality" + ~ "triality"
+ ~5 "quintality" + .. . ,+"; "P . ality" = O(mod 1) . (72)
16J
Here the "N-ality" is the rank index 27 of the representation I/J under the SU(N)
subgroup: it counts, modulo N , the number of Ii representations used to build up
the representation 1/1.
In the ease of the SMG , Eq. (12) expresses the usual electric charge quantisa-
tion rule. Eq. (1) of Chapter Ill, of the standard model. ~ we have already seen in
Chaptel 3.2, the experimentally observed patt.ern of SMG matter field representa-
tions is the smallest ORC, consistent with the ~uirementl of cancellation of gauge
and mixed anomalies and fermion ma.ss protection. This minimal fermion spectrum
is just repeated a number of times, corresponding to the number of quark-lepton
generations . We consider the number of generations, predicted by fitt ing the fine
structure constanta of the standard model using random dynamics, in the following
subsection.
The randomly selected gauge group K will in general be obtained by dividing out
some discrete subgroup D of the centre from K:
K=K/D . (74)
On the one hand gauge groups K which have a charge conjugation like automor-
phism, but no. cbiral fermions to protect them, will collapse by confusion with their
own cbarge conjugate. On the other hand it is most likely that the surviving gauge
groups have as few matter fields as possible, in small chiral representations. The
chiral fermions must, however. satisfy the conditions for the cancellation of gauge
and mixed anomalies. In order to obtain a minimal set of chiral fermions, one is
therefore led to consider fermions belonging to non-trivial representations of several
of the subgroup factors in k :
1) The same chiral fermions can thereby protect several of the factors against charge
conjugation confusion, and 2) the division of k by the discrete subgroup D may
.64
require the amaUcat allowed representations of K to couple to more than one sause
lubgroup factor .
As an approximation, motivated by the random dynamica u pectation of sm&ll
wral fermion representations, we IbaU ipore the pouible existence of fe.rmioru:
involving higher dimensional gauge groups than U(l), 5U(2) and 5U(3) . Even the
I1I1a.Ilest representation. for, uY. the SU(P) groups, with P prime and greater than
3, have P = 5,7 _. particles and quickly become rather large compared to the
"
irreducible representations of the standard model. FUrthermore if tbe representa-
tions are non-trivial under both SU(P) and 5U(2) or 5U(3) , even more particles are
required, Le. 2P or 3P. As discussed in Chapter 3.2, the anomaly cancellation con-
ditions (or chiral fermion. can be fulfilled in a very particle economic way, using JUBt
the U(l) , 5U(2) and 5U(3) goups of the standard model: in fact one quark-lepton
generation constitutes the smallest anomaly free and mass protected representa-
tion of the standard model group. This principle of small chiral representations
then fa..-ours the s.ituatk:m in which any higher dimensional SU(P) goups have no
fermion representations at all. We will estimate later the confinement energy swe
for such higher dimensional SU(P) gauge groups, should they exist.
Consequently we may il1'\aline reducing the gauge group K to a direct product
of several factors of U(l). SU(2) and SU(3) . each combined to form the standard
model group
SMG = S(U(2) x U(3)) . (75)
Each SMG factor is provided with jUlt one generation of chiral fermions; the min-
imum number required to avoid collapse by confusion. Any left over uncombined
factors of U(l) , SU(2) or SU (3) are expected to collapse by one of the mechanisms
discussed in the previous subsection . We are thus led to consider the di rect product
of N~n copies of the standard model group:
KN... = (SMG). x (SMG), x ... X (SMG)N.. . (76)
This direct product goup KNra has outer automorphisms. corresponding to the
permutations of the isomorphic SMG factors . It therefore. in turn. collapses hy
confusion to the diagonal subgroup:
SMG,;.. = {(h. h •... • h)lhE SMG) (77)
which has no outer automorphisms unprotected by chiral fermions . It is the 'mass.-
less' gauge b0600S associated with this diagonal subgroup, which are to be identified
with the phenomenologically relevant gauge particles. The remai ning gauge b080ns
all acquire a masa of the order of the confusion breakdown energy scale.
The breakdown of the gauge group KNra to SMGdi.. is expected to occur just
below the Planck scale, where the three gauge couplings (gndi-c of the diagonal
subgroup are related to the gauge couplings (g?h , (gl), •. ..• (9nN••• of the parent
sroup factors (SMGh . (SMGh •... • (SMG)N••• :
1 1 1 1
(g;')di.. = -g;')(I + -g"')( + ... + (gi') N.u (78)
165
This result is easily obtained by using the fact that (or an oscillation in the U(l),
SU(2) or SU(3) component of the diagonal subgroup field A:.I.~(%) ' all the paunt
fields A: 1(z) , A:,(z) •. .. , A: ..... _ (z) oscillate in the same way :
(79)
(80)
I( Igig
I
C,; .. (.) = -. -')( + -')( + ... + (
2
I)
')
9 N...
,
(F,:.,.,(,)) . (8 1)
(82)
provided Eq, (78) is satisfied (or the U(1) . 5U(2) and 5U(3) gauge coupling con-
stants.
It follows from Eq. (78) that the gauge coupling constant. (gl)di .. (or the diagc>
nal subgroup are s maller than the gauge coupling constanta (91)1. (gl), •.. . , (g?)N•••
for the parent group. In particular, if the latter are all taken to be equal we would
have
(g;h
(9i )d iac = r;;.r- . (83)
V",..n
There is thus a relationship between the standard model gauge coupling con-
stants, identified with (9;)di.. , and the gauge coupling constants of the parent group
KN.O& at the confusion breakdown enerr;y scale PI;. The confusion scale Pc is pre-
sumably of t he same order of magnitude but less than the fundamental cut-oR',
which we associate with the Planck mass pp . The requirement t hat the parent
gauge group K N ... should not be in a confining phase, in t he small energy gap
between Pc and pp , is a crucial ingredient of the random dynamics prediction re-
lating Nrn to the phenomenologically measured gauge coupling constants. Usually
confinement is defined by the presence, at sufficiently large distances, of a confining
force which prevents the separation of the confi ned particles. In the followin& we
shall use the concept of confinement at a certain scale of energy or of length. If the
running gauge coupling constant, at a certain enerr;y scale p , is strong enough that
a confining force is already active at distances of order p_l , we shall say that there
ill confinement at the scale p . In fact we are really not &0 much concerned with
166
confining particleS, as with the correlation length being less than or equal to }.I-1.
So we shall use the word 'confinement' 1.0 describe such a strong eouplinr; pbase,
even when we ignore matLer fields.
If the parent direct product gauge group KN.. ~ is in a confining phase, there
are no correlations over distances as large as the confusion iensth scale J.I; 1 . It is
then hard to ima~ne that any confusion breakdown of KN... can make .uch a fidd
theory fundion &8 a Yan,-Milla theory, which could be identified with the standard
model at large distances . We therefore expect that. the parent ,auge poup coupling
constants (9ih.(gih , ... ,('vi)N.- must have upper limits (gi)crit :
The critical values (9i)crit are determined from the requirement that. the direct prod-
uct gauge group KN l u must not confine at energies above ~he confusion scale Pc,
which is close to the Planck mass: pc .... 10111 GeV. Otherwise all the gauge bosons
would be replaced by g1ueballs with m&S8e8 of order 10111 GeV and not even the di-
agonal subgroup could survive as a low energy gaug: group . These critical couplings
are calculated in the mean field approximation (MFA) of lattice gauge theory, where
they correspond to a phillie transition between confined and Coulomb-like phlllles.
The MFA seems an appropriate way La charactert!ie ~he physical behaviour of the
fields at the I/Juice .tc/J/e. It is, namely, a very local approximation !.bat does not
take into account correlations over dis~aneea much larxer than the lattice spacing;
in this sense the MFA totally iXnores long waveleD.l;th ef£ecta. We thus obtain the
upper bounds
(gi (Pc»di.. (,; )<ri.
::; JNpn (8.)
for the standard model gauge coupling constants at the confusion scale Pc.
There are even reasons t.o believe that the inequality, Eq. (85), should be satu-
rated. The field theory glass random action, Eq. (44), should be imagined lUI chosen
from a probability distribution, leading dominantly to action contributions Sr(q,(i»
which are roughly constant, for continuity reaaons, over small regions in the space
of ,(i) configurations. The definition of the probability measure for the functions
Sr(,(i)) thus requires a metric to be introduced on the ,(i) configuration space,
so that. the typical chosen function is approximately constant over a distance of
order unity in this metric . In random dynamics the chances of a gauge symmetry
appearing accidentally are the better, the smaller are the orbita, as measured in this
metric, of any st81ting confil!;uraton ,(i) under the approximate gauge transforma-
tions. Whenever an approximate Yanl!;-Mills theory is present in a field theory ,1&88,
it should be pouible, at least crudely, to identify some co-ordinate:s of the field the-
ory glass configuration space with the link variables of a lattice gauge theory. The
approximate gaul!;e symmetry is m08t likely to occur by chance, when the variation
of a link variable over the gauge &roup volume corresponds to a variation over a
relatively small volume in configuration spate. In this case one also expecLs that the
167
variation of a plaquetLe variable, conatruct.ed from the link variables, over ita range
will eonespond to & relatively small variation in configuration apace. This, in turn,
means a slow variation of tbe randomly selected action contributions S .. (f(i» as a
fundion of t.he plaquette variables. Since the effective gauge field action is propor·
ir
tional to I we conclude that gauge symmetries are most likely to appear by chance
for strong sauge couplings g', As discussed above, 8uch a gauge symmetry cannot.
survi.ve at. long wavelengths, if the coupling is atrong enough to cause confinement in
the small ener«)" gap between the fundamental Kale pp and the confusion scale Pc.
So the most likely coupling reIIultin& from the field theory glass, which is still able
to contribute to low eoer!)' physica, muat be the largest p088ible consistent with
the existence of a Coulomb-like phase in the energy sap. This means uluration of
our inequality, Eq. (85) .
We have argued above that small orbits of the gauge group are favoured in the
field theory glass configuration space, by giving a better chance for the accidental
appearance of the gauge symmetry. This, in tum , suggests that the gauge group
it.self should be small in some physical sense, in order to favour such accidental
symmetry. Our condwion that strong gauge group couplings are most likely to
appear in a field theory glass actually corresponds to the gauge group being small,
in terms of a group metric normalised by the inverse squares of the gauge cou-
pling constants. The gauge coupling constants then act &8 units of distance in the
gauge group manifold; there are different such units along the different invariant
subgroups. Normalising in this way, the Yang-Mills Lagrangian density .cYM(J:) is
naturally expressed in terms of a mdric telllOr 9•• defined by
(86)
Here then
(87)
In first approximation we here ignore the difference bet~ U(N) and SU (N)
critical couplings. The predicted values of gi(P,,)diaa may then be extrapolated,
by means of the renormalisation group equations {paper 16], from Pc down to the
expe.rimentalscale p-l00 GeV. Inc.ludingjust the standard model fields for N,,,n
generations in the renormalisation group extrapolation , rather good agreement is
168
obtained with the aperiment.ally measured A:&uge coupling constants for Nee" ~ 3
to 4.
The concept of an MFA critical coupling (9t)crit for the U(l) group is ambigu-
ous by a factor of 6, depending on the choice of the weak hypercbarge quantum
lllqll&ntlim ' The standard model putieles which are neutral under t.be non-Abelian
groups SU(2) and SU(3), such as the right-handed electron, have even integer weak
bypercharge: hquant\lm =1, corresponding La "he critical value (gl)~t given in
Eq. (88). However generally the s\andard model particles have weak hypercbarge
values, see Table 3.1, which are multiples of one-third: il/qIlMtum = 1,correspond-
ing to a six times larger value for (91)mt - It is not a priori obvioua whether to use
1
!Jlqllantllm = 1 or as the U(l) quantum. A speculative random dynamics analysis
of the critical couplings for SMG = S(U(2) x U(3» lattice sause theory resolves
the ambisuity in favour of lYquMtum = 1 and, hence, the smaller value for (91 )erit
siven in Eq. (88).
In this way fiLs are obtained of Nrn to the experimental values of the U(l),
SU(2) and SU (3) gauge coupling conatanLs:
Almost any further particles, which couple to the standard model SU(2) or SU(3)
gauge fields , populating the 'desert' between p ~ 100 GeV and p~ ::::: lOll GeV would
effectively violate these inequalities, due to their modification of the renormalisation
sroup beta functions . In particular supersymmetric particles much below the 10 111
GeV scale are not allowed by random dynamics. Also technicolour models arc
ruled out, unless there arc very few tec.hni-particles. Random dynamics cuentially
predicLa the existence of the 'desert' . The crucial inpedient in these predictions
is tbe aaaumcd embedding of the standud model gause group, as the diagonal
subsroup, in a dired product of N,m copies of the SMG = S(U(2)xU(3» group at
the confusion scale pc - 10 1• GeV .
We will now briefly consider the possible physic&! existence of the higher dimen·
sional SU(5) , SU(7), ... ,SU(P) gause goupa, which appear as factors in the random
dynamics favoured series of groups cC P ) of Eq. (65) . Let us first estimate at what
ener~ scales they might confine in the 'desert'. For tbis purpose, we assume that
169
the above confusion scheme generalises to a direct product gauge poup of N&en
facton of C<P). which break. down to its diagonal subgroup at the confinement
scale Pc ~ lOll GeV. It turns out that the MFA critical coupling constants ( UN)cril.
for SU(N) gauge poups, are liven approximately by
Assumin, critical couplings for the parent direct product fact.or groups at the eon-
fusion scale leads, by saturation of Eq. (85) , to the result
'( » _ N(g),)<ri. _ ~
(N IN pc -
..'
(97)
N
...
- N .
The renormalisation p-oup beta funct ion for the coupling parameter (Ng'k)-l is
N -independent:
d ( I ) 11
dlnp. NgJ..(p) = P1/N'~ = 24 ...
2
(98)
ignoring the contribution of any matter fields . Thus, in the absence of matter fields,
the SUCH) gauge couplinp would all diverge at approximately the same confinement
energy scale PCOfIr:
_
Pr:onr - pcexp
(_ 24.' .
11
NI")
2.5 (99)
The inclusion of fermion matter fields coupled to the SU(N) gauge fie1ds would
lower the confining energy scale, as happens in QeD. The contribution of, say, an
l:!.. representation of fermion fields to the beta function becomes smaller, relative
to the gauge fie1d contributions, as N increases; so the higher dimensional SU(N)
groups should confine at higher energy scales, as intuitively expected.
According to the quantisation rule Eq. (72) , the matter fields for the SU(P)
groups, with P prime, should at least carry some weak hypercharge. We must there-
fore consider whether such matter fields, populatinr; the 'desert', are consistent with
the above random dynamics results for H len . In order to construct an anomaly free
and mass protected fermion representation, using ~ and~· irreducible representa-
tions, one is led to include at least one representation with I! I > 1. The contribution
quark-lepton generations, by roughly ~:::=:~ . For, say, SU(5) this would lower tbe
U( I) prediction from N,ft!. = 3.4 to N ltn :::::: 2.7, which is just consistent with th ree
quark·lepton generations.
However , if the confusion mechanism is to work properly, the same matter field
representations should he associated with each of the N~ facLors of SU(P) in the
parent dired product factor group . Then, (or three generations, the correction
to the fitted value, Eq . (91) , for N&efI would be increased by a factor of three to
3:: so the prediction , Eq. (91). would be lowered to N~ ::=: 1.3 or less , in strong
disagreement with three quark-lepton generat.ions. It. would he possible to avoid "his
disagreement, if the weak hypercharge quantum could he taken to be !I/q.. 1
antum :;:
instead of the preferred value ht·q.. ..,I .. m :;: I. We)'l fermions coupling as both a p .
dimensional representation of 5U(P), and as a doublet of 5U(2) or a triplet of
5U(3) , would lower the predictions of Eqs. (92) and (93) for Nitn by approximately
=. This could be tolerated for one representation , but not for the N,~n = 3 copies
required to make confusion work.
Thus, if matter fields are assigned to the higher dimensional SU(P) groups,
random dynamice does not really fit with three quark. lepton generations ; at least, if
tYq.....tUtft = I is used . We conclude that there are no such matter fields populating
the 'desert '. The higher dimensional 5U(P) gauge fields - should they exist -
would then be hard to detect: SU(P) glueballs might o nly function as dark matter
in the Universe.
Another nUlllerical reault from ralldom dynamica, but with oilly order of mAl;·
nitude accuracy, is a computer simulation of the quark.lepton mau spectrum and
weak mixing angles, using approximately conserved random 'horizontal' U(l) chiraJ
charges (Paper IIJ . Good quaJitative agreement is obtained with the experimental
masses and mixing angles, but with evidence for some unifying interaction beyond
the standard model:
a) The similarity between the mass spectra for the three charged fermion families ,
Le . the Q = I quarks, Q = -1 quarks and Q = -I leptons , indicates a need
for correlations between right..-handed quarks and between quarks and leptons.
These correlations are most easily introduced by postulating the existence of
righlrhanded currents and leptoquark currents. Without such correlations be--
tween the horizontal quantum numbers on rigbt·handed quarks, our computer
simulation predicts too large fluctuations in the logarithm of a fermion mass in·
side a given generation. In other words, the masses of the electron, up quark and
down quark are much more similar than expected from just the standard model,
when they are treated as the lightest members of three independent fermion fam-
ilies. This is also true of the second (e, 8, p) generation. The predicted spread
in the logarithm of fermion mass is smallest for the heaviest or third generation:
phenomenologically the third generation has the largest spread and , for a top
quark mass mE R$ 100 - 200 GeV , is in agreement with the model prediction
without using any right..-handed or leptoquark symmetry. This would suggest
that righlrhanded cunents and leptoquark currents are needed for just the two
111
lighter generations.
b) The smallness of the off-diagonal elements of the quark weak coupling matrir'2
also .uUests t.he existence of correlationl between the right-handed quark com-
ponenta. The large weak interaction transition matrix e1emenLs between quarks
in the same generation, u _ d, C _ I and ~ _ b, and smaIl inter-genuation
transition matrix clementa would only occur accidentally. if not enforced by a
correlation between the random horuontal quantum numbers inside a genera-
tion.
There au two (ree parameter. in the simulation , which can be fitted to give the
overall mass scale, set by the W -mass, and the strength of the horizontal symmetry
breaking interaction respectively. The reaulta of the computer simulation aze not
very sensitive to the number of types of horizontal cbiral charge introduced , nor to
the possible existence of further generations.
After elimination of the two fitted para.nw;ters, our main prediction for the
fermion maases (paper 111 becomes:
(102)
where m. denotes the ith generation mass within a family of quarks or leptons of a
given electric charge. It agrees rather well with experiment, but is of course not a
very strong prediction. If right-handed currents are introduced , the quark mixing
matrix elements are naturally reproduced, witbin the large statistical fluctuations
of our model,32 but with a somewhat low average value for the Cabibbo angle
which mixes d and 6 quarks. The pbase angle, in the standa.rd pa.rtide data group
parameterisation33 of the weak mixinr; matrix of [Paper 141, is of order unity in our
model. The correct order of m&«nitude is therefore obtained for the CP violating
parameter c in kaon decay.
Another general conclusion from our statistical analysis is that grand unified
models, such as SU(5) or SO(10), whicb put some Iefl.·banded fermions in the same
representation as their antiparticles, tend to give one or more cases of families with
a pair of almost mass degenerate particles.34 The lack , phenomenologically, of such
inter·generation approximate mass degeneracies disfavours grand unified models like
SU(5) 0' SO(\O).
Grand unified models based on simple gauge groups like SU(5) or SO( IO} are, in
any case, not expected. to occur in random dynamics, according to the general field
theory glass scenario discussed in the previous subsection. However gauge fields
coupling La the rigbt-.handed components of quarks and leptons, e.g. an SU(2)R
gauge group, are also l'Io'expected to survive the confusion breakdown mechanism of
random dynamiQ. Thus tbere is an apparent conflid between random dynamics and
the suU;ested existence of right-handed currenLs from our mass matrix simulation.
It is assumed in our mass matrix simulation model that the chiral horizontal
symmetry group commut.es with the standard model gauge p-oup. However, random
In
at the confusion Bcale; with one direct product factor (SMG); for each quark-lepton
generation. With 8ueh a direct product unified gaut;e &roup, it il possible that the
separate sause quantum numbers of (SMG}t, (SMGh and (SMGh could play the
role of horizontal quantum numbers and be responsible for the different mass scales
of the three r;enerations.
Let us now Bununarize tbe results obtained from random dynamics :
1) The standard model t;aup;e group SMG = S(U(2)x U(3» is 81.ron,ly favoured.
2) The number of generatioos, Npn = 3, ilsuccessfully related to the phenomeoo...
loKicai values of the gauge eouplinS constants fOf tbe three invariant subgroups
of SMG . This result essentially requires II. 'desert' between presently available
energies and the Planck scale.
3) The successful but rather crude prediction, Eq. (102), for the ratio of IOf!;arithms
of quark or lepton mass ratioe. Also tbe weak mixinf!; matrix is statistically
predicted , in qualitative ageemen\ with aU phenomenology: but the luuested
existence of an SU(2)R f!;auge group would violate the confusion mechanism of
random dynamics.
It is of course rather danf!;erous, in general , to conclude backwards from a suc-
cessful prediction that the underlying theory is correct. This is especially true of
random dynamics predictionl, b~ause they should follow from almost all models:
so if they turn out to agree with experiment, they may not be suUettive of any
particular theory. On the other hand if a random dynamics prediction fails, one
should really Jearn something.
It would indeed be moet unreliable to conclude anything about the truth of
random dynamics from the successful result 3) above. The computer simulation of
quark and lepton masses uses a type of mass matrix, which could crudely arise in
many models that would seem realistic from more conventional points of view.
The results 1) and 2) seem more promising evidence in favour of random dy-
namics, but they are far from conclusive. At first sight it may seem that one uaea
many unconventional assumptionl built into the field theory glus, such as dis-
cretized Ipac~time and many gauge groups of the same type at the fundamental
level. However, M the end , it is the confusion breakdown mechanism which is the
important ingredient in deriving both 1) and 2) . So the main supported element
of random dynamics, if anytbing at all, may be ' confusion' and the lack of outer
automorphisms in the gauf!;e ~oup of nature. AA previously emphasized , tbe fact
that so many of the symmetries found in the laws of nature can be derived is a
sttone argument in favour of the random dynamics model.
A priori the main evidence .,;ainst random dynamics is provided by the well-
known fine-tuning problema: 1) the hierarchy problem of why the W:i: and ZO
masses are so small compared to the Planck mass, 2) the vanishing coemologi-
cal constant problem and 3) the problem of CP symmetry in Itrong interactions.
173
Baby universe theory may resolve some of these problems, but this subject is still
controversial. Fine-tuning problems are of course especially worrying for random
dynamics , which is baaed on the principle of no fine-tun ing taken to its extreme.
with the group composition law . The &XtoffiS of sroup theory are so 'restrictive'
that, very often, they lead to different parts of the group becoming so similar that
it. is possible La find aut.omorphisms, which map different such structurally identical
pieces into each other.
For example, in QeD there a re several quark flavours in colour triplet represen-
tations, whose interactions are restricted by the following conditions: (a) Poincare
invariante, (b) colour gauge invariance, (e) renormalisability, (d) cancellation of
gauge anomalies and (e) smallness of representationa. These restrictions are 80
strong that, when the quark IIUUI8e8 can be neglected, a symmetry results under
unitary transformations independently on the left-handed and on the tight-handed
components oribe quark fields : there is a U(Nr)L x U(Nr)R chiral symmetry, but
with an axial U( l ) anomaly [paper 10} .
In addilion to having restrictions, it might be that the vacuum, or some other
important structure, adjusts itself in such a way that some symmetry results. \Ve
then say that we have a 'symmetry by adjustment', which we subclassify as category
1.2. An example of this phenomenon is the Peccei.Quinn mechanism [paper 9i,
leadin!!; to CP invariance for tbe stron!!; inLeractions. In this case it is really two
Kalar fields with non·zero vacuum expectation values, which adjust themselves to
minimise the vacuum energy density and whose relative phase then cancels the
effects of the 5U(3) topological 8 term.
It is only acceptable to consider symmctries that are not really present in the
fundamental theory &8 examples of symmetry derivation, if they exist as symmetries
for a new language describing the physics in terms of degrees of freedom relevant to
the limit of conditions under eonsideration. Such a new language is ofl.en introduced
when stepping down from one level to the next on the quantum staircase (Fig. 1.1 ).
A symmetry may then happen to be present in the language appropriate to the latter
but not in that of the former level. In the case of macroscopic scaling symmetry,
for example, we pass from the language of molecular dynamics to the language
of macroscopic physics. For group II symmetry derivations, we therefore h ave a
relation R corresponding to translation between the two languages. This relation
R between the 'fundamental language' of the original 'model ' and the 'effective
language' of the new field of physics will, in general , not be one to one .
If many sLat.ements in the effective language correspond to the same statement
in the fundamental language, it may be possible to identify a symmetry of the for·
mer simply by transforming the effective language, without changing anyth ing in
the fundamental language. We shall call an example of this type a ' formal sym.
metry derivation' and subclassiry it as category 11.1. Many of the gauge symmetry
derivations in this book are of this cat.egory.
On the other hand , if many st&tement.s in the fundamental language correspond
to a sin&ie statement in the effective language, it means that much of the content
in the fundamental theory is ignored in the effective language. Such a procedure of
ignoring structure opens up the p088ibility of finding more symmetries; these 'IiYm.
metries by ignoring structure' are subdassified as category 11.2. Scaling symmetry
I7S
in macroscopic physics is of this type, since one haa to ignore a larse amoun~ of
detailed information , about the positions etc. of the molecules, in order that such a
sealing symmetry may he implemented . A huge number of molecular configuratioJUI
are described, approximately of couree, by a given density and velocity field for the
8uid in the effective macroscopic language.
The above suggested classification scheme is not entirely free of ambiguity : it
turns out to be a matter of degree whether or not a symmetry can be considered as
really puaent in the fundamental model. It namely depends on bow much structure
is considered to be part of the fundamental model and is required to be respected
by the symmetry. A class of examples of such doubtful classifications is what we
could call the 'hidden symmetries', Taken literally, hidden symmetries should mean
thOR that are really present in the fundamental model hut are not immediately
recognised. So we should expect them to be classified under category 1.1; symmetry
by restriction. (We here use the term 'bidden symmetries' in a narrower sense than
in Chapter 4.2 and 4.3 where it was taken to include local syoundries, such as
SUeS) symmetry in N = 8 supergravity; local gauge symmetries are more properly
classified above as formalsymmetriea:.)
A typical example of a hidden syounetry i..!I the 0(4) symmetry of the hydrogen
atom or of a planet--sun system [paper 4]. For an exact non-relativistic Coulomb
force system, there is in one sense an exact 0 (4) symmetry; the Hamiltonian is
invariant under the four dimensional rotation group 0(4) . However it is really only
a true symmetry if certain structure is abstracted (rom the lIystem. There is, for
instance, D O underlying isometry of the geometrical space of positions of the electron,
or the planet, corresponding to the 0(4) transformations. An 0(4) transformation
ads on the full position and momentum phase space, in general mixing up position
with momentum, and is not compatible with the spatial metric, i.e ., it maps a
pair of point.. into a pair with a different spatial separation . This means that the
position space metric is part of the structure that must be abstracted from the
Cundamental model, iC the 0(4) transformations are to be considered a symmetry
group of the model. If this suucture - the metric - is taken to be an integral part
of the Cundamental model, we must reclassify the bidden 0(4) symmetry derivation
as 11.2: symmetry by ignoring structure. The 0(4) transformations only constitute
a synunetry of the effective model obtained by ignoring some structure, including
the position space and iLl metric .
The 50(32) and Es )( Es symmetries of the heterotic strin!: [Paper 22] are also
hidden symmetries, which can quite analogously be classified as category 1.1 or
category 11.2. In this cue it is necessary to ignore the structural difference between
a soliton and a phonon mode of excitation of the strinr;. Similarly the hidden non-
compact Er(+7) symmetry of the N = 8 superr;ravity model (Paper 18] may be
classified under 1.1 or 11.2, dependinr; on the point of view .
So we shall classify the symmetry derivations, in Tables 7.1- 7.5, under the fol-
lowing five headings:
1.0. Transformed symmetries
176
of a parameter limit in the group II symmetry derivations and we, therefore, have
& single column labelled b,6) in Tables 1.4 and 7.5.
The firat. column of Tables 7.1- 7.5 is used Lo pve a 8uggestin~ principle, where
appropriate, from which the idea of the symmetry group might be &aid to originate.
For inst&nu, many of the fundamental models considered contain the geometry of
Minkowski space-time, or of just three-dimensional space, as an ingredient in their
structure. 'True symmetries of such a model must transform, although perhaps
trivially, this geometrical structure in an automorphic way. This leads to the idea
that symmetries of the geometry are especially promising candidate symmetries
for the full model. Derived synunetries which can be interpreted in this way will
be ca]Jed geometrically lugested symmetries. We have found sev~al symmetry
proposal mechanisms useful in classifyinS symmetry derivationa and we list them
below:
Geometry
Fermion number
Analytic continuation
Repetition or permutation
Stability sub&roup
Approximate symmetry
The first four of the above symmetry sugestin& principles are used to subclassify
the restriction symmetries of Table 7.2. Some of these symmetry derivation exam-
ples were difficult for us to subclassify and. for such 'left-over ' cases, we len the fint
column blank. Tbe princip~ of' Analytic continuation ' is, in practice, applied 1.0 the
Lorentz group, in order 1.0 derive the CPT theorem and 1.0 motivate the related idea
of particle-antiparticle or mar&e conju,ation symmetry. The other two restriction
symmetry subclassifications - 'Repetition or permutation' and 'Fermion number'
- represent rather ,eneral ideas. In the case of ' Repetition or permutation' in-
spired symmetries, some objects in the model - e.g. particles - are restricted so
strongly that they have identical behaviour in a.lmost all respects; thus they be-
come related to each other by the permutation symmetry operation.. In quantum
mechanics, even superpositions of such identically behaving objects are considered;
so the permutation symmetry is extended to a symmetry under the transformations
of a unitary group. Similarly the idea of various types of 'Fermion number' sug-
gests the existence or generalised cbar&e conservation laws and synunetry under the
a8B0Ciated phase tranarormatioru.
The subclassification of the formal symmetry derivations in Table 7.4 required
us to introduce the last two symmetry proposal mechanisms listed above. Several of
the formal symmetry examples are sugested by considerin& a field takin, values in a
homogeneous space. This homogeneous space is identifiable with the space of coseta
GI H, where G is the group of transformations of this space and H is a subgroup in
G: the subgroup H is the 'Stability subgroup ' for a point in the homogeneous space.
The stability sub&roup H becomes the gauge symmetry group in the examples
considered, which we therdore identiry as 'Stability subgroup' suggested . In the
178
formal r;auge symmetry derivations of (paper 26] and of the field theory glass, an
approximate gauge symmetry of the fundamental model is shown to manifest it.seIC
as an exact symmetry physically, by the inverse Higgs mechanism. The gauge
synundry group derived is of course sugested by the 'Approximate symmetry ' of
the fundamental model.
The tranformed symmetries of Table 7.1 are already naturally suggested by the
original symmetry ~oup of the fundamentaJ model considered , whic.h simply gets
transformed into the derived symmetry. So we have crossed out the first column
of Table 7.1 as redundant. However it must be admitted that sometimes , as in
tbe case of general relativity, the symmetry group of the fundamental model is so
huge that the choice of subgroup to be transformed requires (udher motivation.
The Poine&re subgroup is luuested as the physicaJly relevant symmetry, since it is
the only surviving unbroken symmetry in the usual flat space-time vacuum. Our
IIG-called derivation of Poincare invariance from leneraJ relativity could therefore
be said to be 'sugested by the Oat universe'.
We now present Tables 7.1- 7.5 which constitute a classification of all of the
symmetry derivations discussed in this book, according to the above principles.
The number in front of each entry refers to Table 7.6, which is a complete list of the
symmetry derivations given in the order in which they occur in our commentary.
Table 1.6 also contains cro&&-reference& to the classifi cations given in Tables 1.1-
1.5 and indicates when a symmetry derivation does not work or only works rather
inaccurately.
LO Tranalonned .ynvneuies
Karu-.Kkin TrIlDll.tion.aJ.
"
sause .ymmetry
32
invuiance of &1_
G&\lP aymmetry
"
f1un atrinp
DiII'eomorphi.an
"
aymmetry from atnn,;.
30 PoUu:ar.! iD~
.) bo, bo,)
5061""'"
priKipie No liM" l&lea 5,,,, ..etQ' tral, p~.1 i.
_'Wo,Ii",,' po. • .mctu Ii"';!
c....mctry U
f, o,",
Lo, •• '" i • ...na.c.c
."'' 'SO
• Spi_ deca.pb,
i •• 1ooIaioc ,.,....,.
,f""0'"... ••_ ..
p
oIi .........
Lcpl.ollb"".111
fUlllio ........
" Lep",. . .""'".
£ • •£ • .£.
(... ddi., wu.I< ...,-...1,)
"
£ • .L•• £ .
(u.d.di", _ ....... _at,)
Lepl.cla . . _ .
"
dlf• ...,_ L . -L • .L. -L .
~L{......
"
S.udud Modd
11-£ ftom
"
SU(5) CUT
3 C""
Ikpdi ....
"f._
otriq:
SO(3~)ud 1:•• £.
1M ....rolic " c.uoll,.mmct.y
SU( .... ~)L. 5U (.... rll!.
oociJl.Io,
S-umlaa
priJlcipk 1'1.
.)
Ii,.it t . . .
....
5' __ "1 lnIb ~I ,.
... ,)
\ /~"Cpo-I"(>•.....,.
' our .,-_, ,.
X 22 H- I·"~ ,, __ t., ;&
S •.b;;IiI, .. bv-p
~ CIH_"'d
/ n SU(. h....c 1l'_"'"'7 i.
1'1 _' ' .PUI.a';"
Appnru ..... k .,...mdrJ
•wSU(a}-o,.met.,
-ic
01
ooribl«
oHIiaeasio.ol
..,\&1
•• Sep.t. •• t.: ............""" <II .pi_ uod 0 • _,_Iu - . 1 ...
ia .000_.dUioioUc ..'-'c plo.;pia (Spi. dec ... pI;",) ,...........,
1.I ..... c
• • 1. c ....... ;~u.;., •
". 8 ... _ ....be . ..i ... 1qo1.oa ....Iter B-J.. f ..... S U(~) · G U T 1. 1••
............ ",be.
n.
• . 2.
U(I )-&" ..,Q __ u,
ia CP"- ...........
Hidde. IDaJ . , . _. , ...t ", ...ic,.] , .... booooo. i. _-li_
lPapc:. i1)
11.1.""
....... -.lei •
...b;ti\J' .. ""... p
4.' . S,,;.p
H. SO(12) ......, .£, " __ 1}' f..,.. ~o.eooti<. oui., 1.1.- or 11.2••
[p.,... nl repe<i_
". Oi'_p~;""
olti.p
o,. .. md.lJ 01 ulc •• &I,cacfOl «1.li.;ll r._ 1.0••
183
1.0••
"
n . "haul&ti",...1 in .......... i. tu 10'"1 .a-...la&llo limit i • •
pa..lilr& • ..,.....
u.
[Weia'-al
[P~< 21]
C"'pl.cr V1L
QCD;
(,0_ bahJ aai_ CIlooaded S'....d ... d Mod" lU... o<.-l
.....l,l'lic COIIU...lio-. ud
&_etry
Some of the placements of the symmetry derivations in the tables deserve furiher
explanation:
p.-
p.'
w-
q z z
e- e' p.'
T- q T' T' p.- q
p.t e- y
e' w· Ii. T- 1'-
W-
e'
q
b b
Dressed Dressed
electron moon
Fi,. 7.4 . IDu..tr.uon ~ the compo&.iu. uructun or the dreNed. eie<:tn;lp....t the dn:a.cd rrI\lOn; thi •
• trudwe can be revul.ed by hip efleru probes..
( 104)
There are just two entries in column bap) corresponding to symmetry derivatiOILI
relying on a parameter limit: (i) chiral symmetry, and (ii) flavour conservation for
neutral currents (the GIM mechanism) . Both examples rely on the relevant quark
masse. being small , compared to (i) AQCD and (ii) the W and Z gauge boson masses
respectively.
gauge symmetry breaking effects. The massive vector bOllOns, which lose their man
by this mechanism, may either already be present as elementary particles or arise
as composite particles in the fundamental model. In the first case vector boeons
are present as elementary particles and tbe fundamental model p08lleS8e8 a manifest
approximate gauge symmetry; in the second case they are absent but the model
contains, for example, fundamental scalar fields.
The successful operation of the inverse HiUS mechanism and the consequent
existence of an unbroken gauge symmetry is & maHer of dynamics. The parameters
of the fundamental model must lie in the appropriate range. [n the C P"- t model
the coupling constant f has to be greater tban some critical value37 lei in d = 2
space--time dimensions /e = O. For the general GIH sigma model, the inverse Higgs
mechanism is not expected to work if G is a non-compact group, as is tbe case
for E7(+7) in tbe N = 8 luperuavity model. In general, for the compact group
models considered, tbere is a whole phase where zero mass gauge particles exist : it
is not necessary to take particular limiting values of the coupling condants, but juat
values lying within lOme extended region of parameter space. We therefore do not
classify the gauge symmetry as arisin, in a parameter limit, but rather as needed
to describe the degrees of freedom surviving in the low energy limit .
At low energy, the massless gauge particles can be produced but the massive
scalar particles of the would-be Higgs field H cannot. The formalism shou ld reflect
this physical property and the H field should be removed from the effective field
theory in the low ener!), limit. This requirement that the would-be Bigs field
H should disappear from the formalism in the low energy limit is not satisfied in
the fundamental models considered: the gauge is fixed in the original formalism by
requiring the phase of the H field to vanish , arg H = 0, which clearly makes no
sense once the H fields is left. out. In this way the low energy limit drives us to use
a new formalism , which corresponds to choosing another gauge and is thus strongly
suggestive of a gauge invariant formalism.
of two types: 1) phonon. and 2) solitons. The quasipartides form a basis for the
adjoint reresentation of the symmetry group, associated with the root diagram used
in the Cartan classification of the Lie algebra. Those basis vectors corresponding
to zero weight are physically the phonon., while those corresponding to the non~
zero weight.s are the soliton•. The twisting of the .trin,; in the 16-<1.imeosional toru8
space, whenever IUch II. soliton is present, is given by the weight of the corresponding
basis vector. The E. x E. transformations do not constitute aD exact symmetry,
if the structural difference between II. phonon and II. soliton is considered to be an
integral part of the model; the symmetry must then he classified M derived by
ignoring structure.
The many entries in the above discussed tables emphasize again that the origin
of II. large number of the symmetries of the laws of nature can , to a greater or lesser
extent, be explained. In a way, this main conclusion of our book is in conflict with
Einst.ein's well-known quotation: "Subtle is the Lord, but malicious lie is not". By
this statement, EinsLein meant that although nature might have a sophisticated
structure, she would not mislead us. However we would claim that some famous
physicists bave been misled about the fundamental physical laws by the experimen-
tally observed symmetries. For example, Heisenberg enshrined isospin symmetry as
one of the fundamental principles underlying his unified field theory of elementary
particles. l As we have already emphasized, isospin symmetry is now underst.ood as
an 'accidental' consequence of QeD and the smallness or the up and down quark
mas8e8. The moral of our book is that symmetries are not so holy.
a.efereaca
1. w. HeiH:oba-s, Ilttroe.clin t. 11e UltiJie~ Fiel~ n •• Y)' oJ £I ...ultl ..., P.rtid ., (Wiley,
1966).
2. V. K........m, V. RubakoY and M . Shapwhni....... P1, •. Lell. 1S5B, 36 (19M).
3 . S. Wein~, in Sccn~ Wo ...bh, OIl G,.It~ U.iji •• liu. (Birkb&UKT. 1981). p. 291.
4. J . C. Pati. in S.ctlt~ Wor.h"', OIl Gr... ~ Ultiji c.li ... (Birkhi....,r. 1981). p . 195.
S. J . C. Pati and A. Salam, PI" •. Re-. DI0 , 215 (1914); R. N. Mohap&tra and J . C. Pali. Pit, • .
Re.. Dll , 566, 2558 (1915) .
6. H . 8 . Nielac:n, in G••,c TIt.o"''' oJ lito Ei,lat;.., eck. R . R.aitio and J . Lind/on , (Sprir\&er-
Vcriac. 1983), p . 288; H. B. Nie!.en. D. L. Bermet and N. BNfte, in Recut D •• e/o,mCltt, i ..
O ... t .." Fief~ neo'l" , eck. J . Ambj."-, , B . DurhuUI and J . L. Pelenen, (E ...... icr SQence
PubUahera, 1985), p . 263.
7. D. Weift&wte:n. prj.ate oomnlunkatOon.
8. J . A. Wheder, ~Law withou~ La.~ , in Q .... hm T.h~Y)' alt.! Meanrtm elt l, edI.. J . A. Wheeler
-.ad W. H. Zw-ek, (PriDceton UniVCTlli~y PRH, 1983) , p . 182; J . A . Wheeler, MBeyond the black
hole~, in SOrlie Slnllt,cltu. ilt lite P....'orliolt, ed. H. Woolf, (Addi.on· Wesley, 1980) , p . 341 ;
R. P. Feynmaa. Tla. Claanl<ler .J Pi,.iu/ 1..111 (MIT P ....): G. F. Chew, in P .... erli •• pJ
lie F.,,~."Cltlall,,'eracti... , eel. E . ZK:hichi, (Edilrice Comp..ltori , 1973). p . 3; C . H. Woo.
~Mlsalon ImpwalbJe? A Look at Put Setbadu in ~he Search for Elementary Mat~r and
ror Univenal Synund.ri...~ , Zenlrum mr lnt.crdiAiplinin= FondtUJl&, Uni~nity of Bidelekl.
Preprint.
9. S. W. Hawkin,. Pi,•. Re.. DS7, 904 (1988): S. W. Hawkin, and R. Laflamme, Pit, •. Lel/ .
20eB 39 (1988); S. Coleman. Nul. P4, •. BS07, 867 (HI88); S. B. Giddinp and A. Stromin,a- ,
N ••1. Pit, •. BS07, 854 (1988).
10. J . 8. H&rt.leand S. W . H.wkir\& , P4, •. Re•. DU, 2960 (1983).
189
III
l~
Pl~
S. c......... H .. l Pl, •. BU • • 043 (, ...), J. P .....lI. N..l •. B." '. ,<1 ('''~).
8 . Cnnatelnand M. B. WIoH, Pl,•. Ldl. 212B, 407 (1988); 8 . CnNltem and C. T . H.n, Pi" .
Left. 220B, no (1989).
13:. II. B. NieIHD and M. N..nom.iya, Pl,.. lin. LdL 112, 429 (1989); J. PnUiU, S. P. 1'ri¥ledi and
M. B. WiH, Pl,.. WIL 22,B, 26 (1989) .
J . PokhinUi, Pi" . LeU. 219a, 2$1 ( 1989).
W. FiKhla'and L. Suukind, Pl, •. Leu. 217B, 48 ( 1989); S . Coleman and K . Lee, Pl,•. Lelt.
2218, 242 (1989).
1 J . A . Wheeler, in Billdl, Ru, co "I~' : 19'7 Lcchru i. Mellemali" . .. '" PA";,, , eda. C.
DeWitt and J . A. Wheeler, (Benjamin, 1968). p . '242; 8 . S. !leWin , P.. , •. Rn . 160, 1113
(1967).
1 r T . &.nb, N.cL P",•. 8249, 332 (1935).
IS, S. Ch..dha, C. Litwin WId H. B. Ntet.en, Ilnpublishecl.
uL H. 8 . Nid.ea, Ado Pl,';cl P,t..i" 820 , 421 (1989).
'lIi. S. Wdnber&, Pl,•. Rn. Leu• • 2 , .sa (1089)~ J . J . s..z'i""c:o- d d . , Pl,•. Re... Lei!, .3, 1031
I ('98').
2 ~. S . C hadha and H. 8 . NidRn. "Natu.ralneu 01 Wqol Equ.a.lioD and 3 + 1 Dimnw.ionA1ily". in
A Report _ the ReKan:b Aetivitte. at the Niea Bohr In.titute and Nordita, 1984 , p . 117.
n,. V . K . F\a and H . B . NicJ.cn, N.d. Pl, •. 82311 , 167 (1984) .
. H. B. Nict.cn and N. Brcne, in P ...u: .•f IAe XVIIII.'n•• ,i.",1 5,,,,, . ...,,,, (Aadcmie de..
Wi...,nacbaClen der OOR. Benin-leuthm , 19&) .
. R. Gilmo~, Lie G,01I", Lit AI,dn, •• ~ S."'e Qf Ilei, A"lic. ,i•• " (Wile)', 1974).
25. H. B. NidlUl and N. Brene. Pl, •. Lell. 223B, 399 (1989) .
26. H. B. NielKn and N. Brene, Nul. PA" . 8224, 396 (1983) .
,t
21. L. 0 ' Ralfeattai&h. Gr01l, S,nd ...., .f G•• Tluriu (Carnhridle Universit), Preu).
~. K . HMMn, Nidi Bohr JNltiwte Pnprint NB I-HE-88-60 ( 19M).
211. O. L. 8enDeu, H. B. NielKn and I. Pied:, PA, •. LelL 'l0'8 , 27li (1988).
30. J. M. DrovJJe and J . B. Zuber, PA, •. R" . 102, 96(1983).
31. J . O),dak, in Pr.c. •J lA, IStA I.,. C. -.1. • • Hi,A Eat,,, PA,iu, p . 3.
31. A . eo.we, C. D . FroWn a...:I. H . 8 . NidMn, PA, •. Leu. UnD , 347 (ISM).
33. Particle Data Group, Pl, •. Lell. 2UD (1990) .
34. C. O. f'rou;al.t and H. 8. Nieben, Pl, •. Lell. 101lD, 487 (19111).
M. F . R. Klinkhamcr and N. S. Manton, PA, •. Rn. 030 , 2212 (19&4) .
' . V. A. Rubakov , in PrK . •, Ih ISlA /.,. Co flj. f . Hi,l Eat,,, Pl,.iu, p. 309; L. B. Ohan,
i"~., p . 319.
3 J. Va. A~r'eva and S. I. Aukov, N.d. Pl, •. BI1I2, 298 (1980): T . KUIO, H. Tuao and S.
Uehara, p...,. Th.r. Pl" . 5.,,1. IS , 122 ( 1 98~) .
REPRINTED PAPERS