Professional Documents
Culture Documents
net/publication/225182212
CITATIONS READS
89 542
1 author:
Andrzej Trautman
University of Warsaw
116 PUBLICATIONS 3,552 CITATIONS
SEE PROFILE
All content following this page was uploaded by Andrzej Trautman on 23 September 2014.
A smooth principal bundle includes, in its definition, the following list of differenti- If ocis a k-form of type (1,then its covariant exterior derivative
I
able manifolds and smooth maps: Doc = hor doc
a total (bundle) space P,
a Lie group G,
is a (k + I)-form of the same type. For example,
I;
a base space M, O=Dw
a projection 1t : P - M,
is a 2-form of type Ad, called the curvature form. Explicitly,
a map C : P x G - P defining the action of G
(1) TpP = horp P E9 verp P (e.) is a frame in V, and (1:, is the ath component of the vector
where the vertical space ver p P coincides with thekernel ofthe map Tp1t, tangent to 1t at
p. Therefore, on the bundle with connection, a vector U E TpP admits a decomposition, dt (1(exp tel) e,,11-0 .
~
U = hor U + ver u A (1-invariant metric on V is a bilinear symmetric map
corresponding to (1). h:VxV_R
Let (1 : G - GL(V) be a representation of G in a vector space V. A k-form of type (}
such that
on P is a k-form ocon P, with values in V and equivariant under the action of G,
h«(1(a) u, fl(a) v) = h(u, v) for any a EG and u, v E V.
c(a)* oc= (1(a-1) oc.
If G is connected, then h is (1-invariant iff
If ocis such a form, then so is the form hor ocdefined by
h,",(}~1+ hc,,(1:1 = 0 ,
hor oc(Ul' ••. , Uk) = oc(hor u{> •.. , hor Uk)
where u1, ••• , Uk E TpP. where h." = h(e., e,,). For example, the Killing metric on G' is Ad-invariant.
D*.Q=O,
ELECTROMAGNETISM AND THE YANG-MILLS THEORY
where * .0 is the dual of .0, computed with the help of a metric in the oriented base
manifold M. This field equation may be obtained from a variational principle with
The Maxwell and Yang-Mills theories are the two most important examples
a Lagrangian density (4-form) proportional to
of gauge theories. Their structure groups consist of unit complex numbers and unit
(5) klj * .0' 1\ .oj quaternions, respectively. This remark allows a "unified" treatment of these two
theories. Let K = C (complex numbers) or H (quaternions). For u eK, U denotes
where.Q = .Q'e, and k is an Ad-invariant non-singular metric on G'.
its conjugate. Consider the group
A (generalized) Higgs field is a o-form of type e, i.e. a map ex : P -+ V such that
U(I,K) = {u eK: uu = I}.
ex 0 15(a) = e(a-1)1X. Then
The representation e of the gauge group defines thus the type of particles under
U(I, C) = U(I)
consideration. A standard Higgs field corresponds to V = G' and e = Ad. Typically, is the unitary group in one dimension, isomorphic to SO(2), and
the interaction between the gauge and the Higgs field is taken into account by supple- U(I, H) = Sp(I)
menting (5) with a term of the form
is the (quaternionic) symplectic group, isomorphic to SU(2). The latter isomorphism
(6) hob * Dexo 1\ D~ + U(IIXI)" is obtained by mapping the quaternion units 1, i,j, k into the 2 x 2 matrices I,
(.J - 1) U,,' t.J - 1) uP' (.J - 1) u.' The Lie algebra of Uti, K) is isomorphic to the
where 11X12 = hoblXolXb, h is a e-invariant metric and" is a horizontal volume element.
imaginary subspace of K,
One says that the coupling between ex and W is minimal since the interaction term (6)
contains (J) only through DIX. ImK=.{zeK:z+z=O}.
In most cases, physicists work with potentials and fields expressed in a local gauge. Therefore, in both Maxwell and Yang-Mills theories the connection and curvature
This corresponds to taking a local section of the bundle, forms are pure imaginary, co = -wand Q = -.0.
There is a natural way of defining exterior and tensor products of K-valued forms.
f : N -+ P, 7t 0 f ",;id, N eM,
For example, if is a K-valued I-form, then
IX
and the Bianchi identity (3) becomes it is enough to consider U(l)-bundles over 82, which are known. The simplest non-
trivial among them, corresponding to the generator of 1t1(U(1» = Z [23] is given
dO + eo A 0 - 0 A eo = 0. by the Hopf map 83 _ 82 [24,25]. It turns out that the same computation will
also yield the simplest instanton if one considers simultaneously the 8U(2)-bundle
The space K may be considered as a real Euclidean space of 2 (K = C) or 4 (K = H) 87 - 84 [26). Indeed, let zo, ZI eK, then equation
dimensions. In either case, its line-element is I
. zozo + ZIZI =1
t(dz ® dz + dz ® dz) defines 83 or 87, depending on whether K = C or H. The action of u e U(I,K)
and given by
1 (zo, ZI) z = (zou, ZIU)
-dz A dz for
*(dz Adz) = {2.J-1 for K = H.
K = C, defines these two fibrations and
1
Clearly, in the quaternionic case, the 2-form dz A dz corresponds to 't Hooft's " eo = ,(zo dzo + ZI dZI - dzozo - dZ1Z1)
and dz A dz A dz A dz/12 is the volume element of H. is a connection form on 83 or 87, corresponding to a magnetic pole (K = C) or the
BPST instanton (K = H); cr. [10], [20] and [26] for details. The string singularities
occurring in the components of the vector potential of a magnetic pole are due
MAGNETIC POLES AND SIMPLE INSTANTONS to the nontrivial character of the bundles for n 9=O.
(g".) : FM -+ ft';(R", R) H is clear that gravitation, understood as a theory based on g and OJdefined over
given by FM (last case) is richer than other gauge theories. The metric tensor may be looked
g,,~e) = g(e", e.) . upon as a Higgs field which breaks the symmetry form GL( 4, R) down to the Lorentz
group. As noted by NAMBU [19], equation (7) reduces in.this case to the usual com-
If M is four-dimensional, as it will be assumed from now on, one defines patibility condition between a linear connection and a metric, assumed in both the
Einstein and the Einstein-Cartan theories [30]' Moreover, the soldering form is
tI"'Q": FM -+ R also a kind of a Higgs field; it differs from other Higgs fields by being a I-form (rather
by than a O-form) and by being uni'l,uely determined by M alone. If one takes these
tlo12J(e) = Idet g,,~e)11/2, tI"'Q" = tI["'Q"] observations seriously, one may be led to consider a theory of gravitation based
and also on a Lagrangian which is a sum of terms proportional to (10), (13) and (14). VONder
tI"'Q = O"tI"'Q<1' tI". = tOQ 1\ tI"'Q' tI" = to' 1\ tI"., tI = :lO" 1\ tI" . HEYDE[31] proposed a theory based on a sum of(10) and (13), whereas SKINNER[32]
considered (13) as a correction to (11).
114 Czech. J. Phys. B 29 (1979)
Czech. J. Phys. B 29 [1979) 115
A. Trautman: The geometry of gauge fields
This paper is based in part on the research done in 1976-77 when I was Visiting Professor SOME REMARKS ON REFLECTION POSITIVITY*)
at the State University of New York at Stony Brook. I thank CHEN NING YANG for encourage-
ment, discussions and hospitality at the Institute for Theoretical Physics, SUSB. I havl: also A. UHLMANN
learned much from conversations with D. Z. FREEDMAN,A. S. GOLDHABER,P. VAN NIEUWEN-
Karl·Marx Universify, Leipzig, GDR
HUIZEN, J. SMITH, P. K. TOWNSEND,W. 1. WEISBERGER,and D. WILKINSON.