A NNALES DE L ’I. H. P., SECTION A
V. L. G OLO
M. I. M ONASTYRSKY
Topological charges and high dimensional instantons
Annales de l’I. H. P., section A, tome 29, n
o2 (1978), p. 157-167
<http://www.numdam.org/item?id=AIHPA_1978__29_2_157_0>
© Gauthier-Villars, 1978, tous droits réservés.
L’accès aux archives de la revue « Annales de l’I. H. P., section A » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.
org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
157
Topological charges
and high dimensional instantons
V. L. GOLO and M. I. MONASTYRSKY Institute for theoretical and experimental physics, Moscow USSR
Ann. Inst. Henri Poincaré, Vol. XXIX, n° 2, 1978
Section A :
Physique ’ theorique. ’
ABSTRACT. - We discuss
topological properties
of instantons of the theories with compact non-abelian gauge group. Anexample
of the solution with the groupSU(3)
is considered. It is shown that the solutions withhigh topological charges
definedby
thePontrjagin
classes i >1,
havea non-finite action.
INTRODUCTION
The finite action
solutions,
i. e. instantons orpseudoparticles,
ofJang-
Mills theories have been
extensively
used in the fieldtheory, especially
for the 4-dimensional space and the compact gauge group
SU(2),
i. e. inthe situation where
they
were first found in[1] [2].
The instantons for theSU(2)-group
are describedby only
onetopological
invariant ortopological charge,
i. e. thePontrjagin
number pl. The solution with p1 = 1 werestudied in
[2].
Then Witten[3]
and ’t Hooft[4]
found alarge
class of instanton solutions with thetopological charge where q
is aninteger
andBelavin and Zaharov
[26]
found a method to construct ageneral
solutiondepending
on8q -
3 parameters. As wegathered
M.Atiayh [27]
reducedthe
study
ofSU(2)-instantons
to aproblem
ofalgebraic
geometry.The
SU(2)-instantons
do not exhaust all thepseudoparticles interesting
for the field
theory. Recently Polyakov
hasproved
the confinementhypo-
thesis for the 3-dimensional
QED
with an abelian compact gauge group(cf. [7] ]
and more detailed paper[10]) by
the method which reliesheavily
on the
computation
of the contribution of thepseudoparticles
to the func-tional
integral representation
of correlation functions. There is anopinion,
that the
pseudoparticles
and some relatedthings
like fluctuationsplay
thecrucial role for the confinement
problem, though
for the groupSU(N)
l’lnstitut Henri Poincaré - Section A - Vol. XXIX, n° 2 - 1978.
158 V. L. GOLO AND M. I. MONASTYRSKY
with the
large
number of colours N the contribution of the instantons isexponentially
small Ihere v is a number of
instantons, g2
is thecharge [7] [8] [9].
Among
otherapplications
of the instantons we want topoint
out thealleged U(l) problem,
wherethey permit
toexplain
the absence of masslessmeson
[5] [6].
In this paper we want to discuss the
possible
types of the solutions ofJang-Mills
theories from thetopological point
ofview,
notrestricting
ourselves to the confinement
problem.
Following
the ideas of paper[11],
we arestudying
solutions with non-trivial
topological charges.
The solutions withcharges
different from pl emerge in the theories with the gauge groupSU(3). They
turn out to be of infinite action and sofar
seem to bephysically uninteresting,
but oneought
to
keep
in mind that the action can be made finiteby switching
on theadditional
fields,
e. g. theFermy
fields.Indeed,
this is the situation for themonopole
solutions.This paper is
arranged
as follows :§
1 contains some informations onthe « low brow » version of the
theory
of characteristicclasses ; §
2 isconcerned with the
topological
invariants for theSU(N)-theory;
in§
3 we compute anexample
for theSU(3)-theory.
Let us consider a gauge field
A~ respectively
to a gauge group G. The components of the fieldA~
take the values in the Liealgebra
LG of G. Weshall consider the
general
case of the space of dimension n so theindex
may take the values
1,
... , n, n > 4. Thestrength
tensorF v respectively
to
A~
is of the usual formTo make clear the relation of the characteristic classes
theory
and thegauge formalism of field
theory
we want to compare the formulae of the two theories.Indeed,
the gauge fieldA~
is familiar in differential geometryas the linear
connection,
which isusually
written as the differential formwhere
x~‘, ,u
=1,
... , n are the coordinates of apoint
of space or the local coordinates in the sense of differential geometry(1).
( 1) The reader is suggested to understand that the generalisation to more sophisticated
manifolds is strightforward. The proofs and all the rest of the theory are contained
in [12] [J 3].
Annales de /’ Institut Henri Poincaré - Section A
TOPOLOGICAL CHARGES AND HIGH DIMENSIONAL INSTANTONS 159
Then the curvature form is defined
by
the formulawhere
drp
is the exterior differential of the linear form ~pand
d~p
is definedby
the formula W e see thatwhere
is thestrength tensor (1).
These formulae suggest the close links of the
geometrical
and the fieldtheory
formalisms. To illustrate thisgeneral
idea let us consider theLagran- gian density
of the free gauge field in the Euclidean space of the dimension4,
i. e. we
perform
the Wick rotationchanging
the realMinkovsky
time to thecomplex
one. We haveNow we want to write
Eq. (6)
with the exterior forms. To this end weintroduce the familiar
duality operation
* which acts on the exteriorforms of rank 2
by
the formulai. e. p, y are such that the
equation
holdsThe
operation
* actstrivially
on the coefficients of the forms *f = f
Then it is easy to
verify
that thefollowing
exteriorproduct
satisfies theequation
The coefficients of these exterior forms are matrices and the
products
ofthe coefficients are the
products
of matrices. Thus we have for theLagran- gian density
Vol. XXIX, n° 2 - 1978.
160 V. L. GOLO AND M. I. MONASTYRSKY
Formula
(8)
is true for any gauge group, if the gauge field is defined in thefour-dimensional
space.Now we may define the
topological charge
with thehelp
of exterior differential forms. To this end let us consider thefollowing expression
i. e. the tensor dual to the
strength
tensor It is clear thatFollowing [2],
we may put thetopological charge
into the formEq. (10) permits
a formulation for thetopological charge
of theSU(2)-
gauge
field,
which transformsaccording
to theadjoint representation
ofthe group
SU(2).
To obtain the formula we may use the so-called A. Weilhomomorphism (cf.
for the details[13] ),
which defines the characteristic classes as the coefficients of theexpansion
in ~, of the determinantHere the curvature form is considered as a n x n-matrix with the entries
being
exterior forms of the rank2,
i. e.Let us consider the
SU(2)-theory,
i. e. the gauge fields A are 2 x 2complex
matrices with the zero trace. Then the curvature form 0 may be considered
as 2 x 2-matrix with the entries
being
exterior forms of the rank 2. Hence eq.(11)
may be written asWe have used the
equation
since Tr
(A)
is a linear combination of matrices with zero trace :To compute det 03A6 we note that the
equations
Annales de /’ Institut Henri Poincare - Section A
161 TOPOLOGICAL CHARGES AND HIGH DIMENSIONAL INSTANTONS
are verified in the Lie
algebra
ofSU(2).
Hence we obtainThus we have obtained
Eq. (9)
for theSU(2)-topological charge.
Here we want to note that there exist two types of
topological charges.
The first one is
pertinent
to thetheory
of characteristic classes and is definedby
exterior differential forms. We havejust
described it. The secondone is defined
by
thehomotopy
class of a map of asphere
of an infiniteradius into a factor space
G/H
where H is asubgroup
of the gauge groupe G[2] [77] ] [24]
i. e. the
topological charge
of the second type is definedby
an element ofthe
homotopy
group This situationhappens
in theproblem
of
monopole
solutions ofPolyakov-’t Hooft,
where H is astationary subgroup
of the vacuum vector. In some cases bothtypes
of thetopological charges coincide,
e. g. thishappens
when H is asubgroup consisting
ofonly
one element and the map defines theassymptotic
conditions atinfinity
for the instanton
problem
of paper[2].
If we are interested in the gauge groupSU(N),
N ~2,
and the space of dimension n =4,
then the conditionat
infinity provides
us with the set oftopological invariants,
which areelements of the
homotopy
group = Z where Z is the additive group ofintegers.
For anyinteger
considered as an element ofthere exists a finite-action solution of some
SU(N)-Jang-Mills theory (cf.
below§ 2).
Recently
the instanton solutions have been studied in a number of papers, wherethey
considered various types of compactsemi-simple
Liegroups as the gauge groups for the needs of
elementary particles physics
and
gravitation [l4] [7J] [7d] [77].
Theembeddings
ofSU(2)
intoSU(N)
have
proved interesting
for theelementary particles theory.
There is aconsiderable progress in the
field,
the necessary mathematicsbeing provided by
thetheory
ofsimple subgroups
of Lie groups[18].
We note, that the numbers of different vacuums for theSU(2)-
andSU(N)-theories
coincidesince thefe exists an
isomorphism [19],
induced
by
theembedding
ofSU(2)
intoSU(N) (the
so called stabilizationVol. XXIX, n° 2 - 1978.
162 V. L. GOLO AND M. 1. MONASTYRSKY
theorem
(19]).
Therefore somephysical effects,
e. g. the nonconservation of chiralcharge,
thetunneling
between different instanton states, are retained inSU(N)-theories, just
as it is in theSU(2)-theory.
From the
embedding
ofSU(2)
intoSU(N)
andisomorphism (14)
followsthat for any value of the
topological charge q belonging
tothere exists a
Jang-Mills theory,
which has finite action solutions with thetopological charge equal
to q.Indeed,
we may consider aSU(2)-Jang-Mills theory,
take animbedding
ofSU(2)
intoSU(N)
and then reconsider ourtheory
as aSU(N)-theory.
Since in both theories thecharge
is definedby
the map
of the
assymptotic
values atinfinity
we have the coincidence of thecharges by
the stabilizationtheorem,
but we know that in theSU(2)-theory
anycharge
exists(3~ 4].
In the
gravitation theory
there is the gauge groupThe 3-rd
homotopy
group ofSO(4), ~3(SO(4)),
isisomorph
to twocopies
of the additive group of
integers
Hence we have two
topological charges,
i. e. the Euler class and the Pontr-jagin
classIn paper
[14]
F. Wilczek asked aquestion,
whether there is any relations between thepossible
values of x and pl, e. g. is itpossible
that x = 0 and p1 = 1. For the gauge fields on the 4-dimensionalsphere,
which undersome circumstances can
provide
thephysical
space for theproblem,
thereexists the theorem
But the
gravitation theory requires
that xand pl
must be the classes of the tangent bundle of thephysical
space. Therefore therequirements
on x and pl put restrictions on the
topological
structure of the manifoldof the
physical
space.Indeed,
if thePontrjagin
class of a 4-dimensional manifold M4 is notequal
to zero then the secondhomology
group of this manifold is not trivial. Whether manifolds withsophisticated topological
structure are suitable for the
theory
ofgravitation
remains to be seen.Annales de l’lnstitut Henri Poincaré - Section A
TOPOLOGICAL CHARGES AND HIGH DIMENSIONAL INSTANTONS 163
In this context it is
interesting
to try to findtopological
invariants whichstem from the
topological
structure of gauge groupsSU(N),
N ~ 3. Thefirst invariant of this type is the 3-rd Chern
class, C3.
Let us consider thecase of
SU(3).
ThenC3
is definedby
the formulaWe see that
C3
is definedby
an exterior differential form of rank 6. The 3-rd Chernnumber, [C3],
is anintegral
of this form over tha spacexl,
...,x6
and
equals
toThis number to be non-zero we need the dimension of the space be
equal
to 6. This follows from
Eq. (15) being
asymmetric polynomial
of the 3-rddegree
in the components of Anothercorollary
ofEq. (15)
is that thetopological charge [C3]
cannotprovide
the lower bounds for the estimate of the energy since the energydensity
is asymmetric polynomial
of the2-nd
degree (cf. [23] ).
Now we want to consider a
simple example
of aSU(3)-theory
with thenon-trivial
topological charge.
To solve theequations
for the gauge fieldswe need a symmetry condition on our
problem.
A condition of the kind is the existence of anembedding
of the gauge group into the group of the spacesymmetries.
Thisembedding couples space-like symmetries
withinternal
symmetries
of the gauge group. Because we need the 6-dimensional space for ourproblem
we may take the space of theD(O, 2)
= 6 represen- tation ofSU(3),
i. e.symmetric matrices,
and consider its real part, which is of dimension6~
as the space of ourproblem.
Ourtheory being
the staticone we shall omit the time variable. Then the gauge field is a tensor
belonging
to the space of the tensorproduct 806,
where 8 =D(l, 1)
is the
adjoint representation
ofSU(3).
We have the familia formulaIt will be convinient to write the space coordinates as matrix elements of a
symmetric
3 x 3 matrixFormulae
(16)
and(17)
suggest thefollowing.
Ansa tz :
"
o 0 §j" " o o ~ °
Vol. XXIX, n° 2 - 1978.
164 V. L. GOLO AND M. I. MONASTYRSKY
where 03BBaiu, 03BBaju
are the entries of Gell-Man’s À-matrices and the double lower indices are due to the space coordinates. The Ansatz of this type have been made in a number of papers[20] [21] [22].
Theparticular
formof our Ansatz is determined
by
thespherical SU(3)-symmetry
of oursolution.
On
substituting Eq. (18)
for the gauge field into theequation
for thefield tensor we obtain
where
after some
computations
we obtain theLagrangian density satisfying
theAnsatz
in the formThe Euler
equations
for functional(21)
can be written asNote, that a3 > 0 since al, a6 > 0.
Annales de l’Institut Henri Poincare - Section A
165
TOPOLOGICAL CHARGES AND HIGH DIMENSIONAL INSTANTONS
The bounded solutions of
Eq. (22),
when r -~ oo can be found from theequation
(cf.
thephase picture
of thisequation
onFig. 1).
To find the solution decreas-ing
as r -+ oo we may search it in the form of a series in powers of r-1We may restrict ourselves
only
to the first term which has the coefficientb 1 equal
toThus we see that the solution
decreasing
as r ~ oo has the assymp- totic r -1. Therefore theintegral
of the energydiverges
as r2 and thetopo- logical charge
as In r.Here we want to note that formulae like
(15)
arerigorously applied only
to compact manifolds. In the fieldtheory they
write them also for thenon-compact
ones the solutions of the fieldequations decreasing sufficiently rapidly.
In the present situation a way can besuggested
to get a reasonable value for thetopological charge by applying
the conformal transformation of the 6-dimensionalsphere
S6 onto the Euclidean space R6Then we obtain an exterior differential form on the compact manifold
S6,
Vol. XXIX, n° 2 - 1978.
166 V. L. GOLO AND M. I. MONASTYRSKY
which is the
image
of the Chern classC3 by
the transformation. Now theintegral
is taken over the compact manifold
S6.
The value of thisintegral
is definedas the
topological charge
of theproblem.
CONCLUSIONS
Finally
we want to make thefollowing
remarks :(1)
The existence of finite-action solutions ofJang-Mills
theories with the gauge groupSU(N)
haspurely topological
nature and is based on the dimension 4 of thephysical
space ;(2)
Theasymptotic
conditions atinfinity play
the crucial role for the existence of such solutions. It isinteresting
to consider theproblem
ofcondition at
infinity directly
in theMinkovsky
space. To this end it ispossible
toapply
thefollowing
construction. Let us consider the domainThe
following
domain is ananalogue
of the uppercomplex semi-plane
This domain can be put into the form of a bounded domain Q in
([4.
The conformal groupSO(4, 2)
is transitive on S2 ,: ~ andThe
Bergmann-Shilov (see
of[25] ) boundary
of çø is the set S. We haveThis
boundary
can be viewed upon as the set of endpoints
ofgeodesics starting
in the interior of ~.Arguments
based on the conformal invariance show that theasymptotic
conditions at
infinity provide
thetopological charges,
which are determinedby
thehomotopy
classes of maps of the manifold S = S 1 x S3 into the gauge group G. It is not hard to see, that these classes constitute the homo- topy group~3(G)
and therefore we haveonly
onetopological charge
forthis
problem.
(3)
To obtain additionaltopological charges
the dimension ofphysical
space must be taken
bigger
than 4. It islikely
to have suchsituation,
whenthe coordinates
describing
interiordegrees
of freedom are included in thephysical
space. Then apossible analogue
of the space R4 is a manifoldR
= R4 x M.Topological properties
of such fields would bequite sophisti-
cated.
l’Institut Henri Poincaré - Section A
167
TOPOLOGICAL CHARGES AND HIGH DIMENSIONAL INSTANTONS
ACKNOWLEDGMENT
We are thankful to A. A.
Belavin,
N. A.Voronov,
J. M.Makeenko,
A. A.
Migdal
for thehelpful
consultations and A. M.Polyakov
forshowing
us paper
[~0]
before itspublication
and ’t Hooft who sent us his papers.When this paper was finished we received the
preprint by
C. J. Isham«
Topological
currents forarbitrary
groups inR3
», where he studieshomotopical
andhomological properties of topological charges
of 3-dimen- sional chiraltheories,
i. e. the connections between~3(M)
andH3(M).
The results of our papers do not
intersect,
but we share Dr. Isham’s expec- tations oftopological
methods.REFERENCES [1] A. M. POLYAKOV, Phys. Lett., t. 59 B, 1975, p. 82.
[2] A. A. BELAVIN, A. M. POLYAKOV, A. S. SCHWARTZ, YU. S. TYUPKIN, Phys. Lett.,
t. 59 B, 1975, p. 85.
[3] E. WITIEN, Phys. Rev. Lett., t. 38, 1977, p. 121.
[4] R. JACKIW, C. NOHL, C. REBBI, Phys. Rev., t. 5 D, 1977, p. 1643.
[5] G. ’T HOOFT, Phys. Rev., t. 14 D, 1976, p. 3432.
[6] C. G. CALLAN Jr., R. F. DUSHEN, D. J. GROSS, Phys. Lett., t. 63 B, 1976, p. 334 ;
R. JACKIW, C. REBBI, Phys. Rev. Lett., t. 37, 1976, p. 172.
[7] G’T HOOFT, Preprint SLAC, February, 1977.
[8] A. A. MIGDAL, Preprint Hungary KEKI, 1977, p. 19.
[9] J. KOPLIK, A. NEVEU, S. NUSSINOV, Preprint Inst. Adv. Study C00-2220-98, 1977.
[10] A. M. POLYAKOV, Nucl. Phys., t. B 120, 1977, p. 429.
[11] V. L. GOLO, M. I. MONASTYRSKY, Preprint ITEP, N 173, 1976.
[12] S. STERNBERG, Lectures on differential geometry. Prentice Hall., N. J., 1964.
[13] S. S. CHERN, Lectures on complex manifolils. University of Chicago, 1956.
[14] F. WILCREK, Princeton preprint, June, 1976.
[15] W. MARCIANO, H. PAGELS, Z. PARSA, Phys. Rev., t. 15 D, 1977, p. 1044.
[16] T. EGUCHI, P. G. O. FREUND, Phys. Rev. Lett., t. 37, 1976, p. 1251.
[17] K. BITAR, P. SORBA, Preprint Fermilab Pub-76/85 THY.
[18] E. B. DYNKIN, Mat. Sb. (in Russian), t. 30, 1952, p. 349.
[19] S. P. NOVIKOV, Ysp. Mat. Nauk (in Russian), t. 26, n° 5, 1966, p. 217.
[20] A. C. T. Wu, T. T. Wu, J. Math. Phys., t. 15, 1974, p. 53.
[21] W. MARCIANO, H. PAGELS, Phys. Rev., t. 12 D, 1975, p. 1093.
[22] E. CORRIGAN, D. I. OLIVE, D. B. FAIRLIE, J. NUYTS, Nucl. Phys., t. B 106, 1975, p. 475.
[23] J. EELLS, J. H. SAMPSON, Amer. J. Math., t. 86, 1964, p. 109.
[24] M. I. MONASTYRSKY, A. M. PERELOMOV, Preprint ITEP-56, 1974, J. E. T. P. Lett.,
t. 21, 1975, p. 43.
[25] M. I. MONASTYRSKY, A. M. PERELOMOV, Ann. Inst. Henri Poincaré, t. XXIII, n° 1, 1975, p. 23.
[26] A. A. BELAVIN, V. E. ZAKHAROV, Pisma J. E. T. P., t. 25, 1977, p. 603. Preprint ITP, 1977.
[27] M. F. ATIYAH, R. S. WARD, Commun. Math. Phys., t. 55, 1977, p. 117.
(Manuscrit reçu le 2G octobre 1977)
Vol. XXIX, n° 2 - 1978. &