Yang–Mills fields, which are also called gauge fields, are used in modern physics to describe physical fields that play the role of carriers of an interaction. Thus, the electro-magnetic field in electro-dynamics, the field of vector -bosons (carriers of the weak interaction in the Weinberg–Salam theory of electrically weak interactions), and finally, the gluon field (the carrier of the strong interaction) are described by Yang–Mills fields. The gravitational field can also be interpreted as a Yang–Mills field (see ).
The idea of a connection as a field was first developed by H. Weyl (1917), who also attempted to describe the electro-magnetic field in terms of a connection. In 1954, C.N. Yang and R.L. Mills suggested that the space of intrinsic degrees of freedom of elementary particles (for example, the isotropic space describing the two degrees of freedom of a nucleon that correspond to its two pure states, proton and neutron) depends on the points of space-time, and the intrinsic spaces corresponding to different points are not canonically isomorphic. In geometrical terms, the suggestion of Yang and Mills was that the space of intrinsic degrees of freedom is a vector bundle over space-time that does not have a canonical trivialization, and physical fields are described by cross-sections of this bundle. To describe the differential evolution equation of a field one has to define a connection in the bundle, that is, a trivialization of the bundle along the curves in the base. Such a connection with a fixed holonomy group describes a physical field (usually called a Yang–Mills field). The equations for a free Yang–Mills field can be deduced from a variational principle; they are a natural non-linear generalization of the Maxwell equations.
A more rigorous definition of a Yang–Mills field consists of the following. Let be a principal -bundle over a Riemannian manifold , and let be the vector bundle associated with and a -module . A connection of defines an operator acting on the space of cross-sections of . It can be extended to an operator , acting on the space of -valued -forms, by the formula . The operator , on -forms, formally conjugate to is equal to , where denotes the Hodge star operator.
A connection in a principal -bundle is called a Yang–Mills field if the curvature , considered as a -form with values in the vector bundle , where is the Lie algebra of the Lie group , satisfies .
For a Riemannian connection of a Riemannian manifold , the Yang–Mills equation is equivalent to the symmetry condition
for the covariant derivative of the Ricci tensor . Thus, examples of Yang–Mills fields are Riemannian connections of Einstein spaces, and of direct products of such spaces. In particular, Riemannian connections of Kähler–Einstein spaces and quaternionic Riemannian spaces define Yang–Mills fields in the principal frame bundles with structure groups and . Examples of non-Einstein Riemannian connections satisfying the Yang–Mills equation are Riemannian connections of conformally-flat metrics with constant scalar curvature and non-constant sectional curvature. Examples of non-Riemannian connections satisfying the Yang–Mills equation are connections in the normal bundle of a totally-geodesic submanifold of a symmetric space, or of a quaternionic submanifold of a quaternionic space, induced by the Riemannian connections of these spaces.
The Yang–Mills equation is the Euler–Lagrange variational equation for the functional on the space of connections of , defined by
The Riemannian manifold is assumed to be compact and oriented, and denotes the scalar product in the fibres of the vector bundle that is defined by the -invariant scalar product in the Lie algebra of , and by the scalar product in the fibres of the bundle of -forms on induced by the metric . Thus, Yang–Mills fields are the critical points of . A Yang–Mills field is called stable if the second differential of at is positive definite (and, consequently, is a local minimum of ), and weakly stable if the second differential is non-negative definite. It is known that there are no weakly-stable Yang–Mills fields in an arbitrary non-trivial principal bundle over the standard sphere for . On the other hand, for the Riemannian connection of the standard Riemannian metric of the quotient space of the sphere with respect to a freely-acting non-trivial finite group of isometries is a stable Yang–Mills field .
For physicists, the greatest interest is in Yang–Mills fields on four-dimensional Riemannian (and also Lorentz) manifolds. In this case the Hodge operator maps the space of -forms on (with values in an arbitrary vector bundle) onto itself; moreover, it is an involution , and depends only on the orientation and the conformal class of the metric . A connection in the principal bundle over is called a self-dual connection or an instanton (respectively, anti-self-dual connection or anti-instanton) if the curvature -form is an eigenvector of the Hodge operator with eigenvalue 1 (respectively, ). By the Bianchi identity, instantons and anti-instantons are Yang–Mills fields. Moreover, they are points at which has an absolute minimum. In the case of a principal bundle over the standard sphere with structure group , or , the local minima of are exhausted by the instantons and anti-instantons (and so these are global minima). A Riemannian connection on a Riemannian manifold is an instanton only for manifolds with holonomy group . All such compact manifolds are exhausted by the complex -surfaces (cf. -surface).
The group of automorphisms of the bundle that are identities on the base is called the gauge group. It acts in a natural way on the set of instantons of with holonomy group . The quotient space is called the moduli space of irreducible instantons of . If the structure group of is compact and semi-simple and the base of is a compact orientable Riemannian manifold with non-negative non-zero scalar curvature for which the Weyl conformal curvature tensor is self-dual, then the moduli space is either empty or a manifold of dimension
The most complete results have been obtained in the physically important case of bundles over the standard sphere with classical compact structure groups . In particular, all instantons in such bundles can be described in purely algebraic terms (for example, in terms of certain modules over a Grassmann algebra, or in terms of the solutions to certain quaternion matrix equations (see )). For the case , all instantons can be described explicitly. For example, for an -bundle with Pontryagin number 1, the moduli space , where is the set of positive numbers and is the set of quaternions. To the pair there corresponds the instanton defined by the -valued -form of the connection
where , . Quaternions in are identified with points of by using the stereographic projection, and the Lie algebra is regarded as the Lie algebra of purely-imaginary quaternions.
|||Yu.I. Manin, "Gauge fields and holomorphic geometry" J. Soviet Math. , 21 : 4 (1983) pp. 465–507 Itogi Nauk. i Tekhn. Sovr. Probl. Mat. , 17 (1981) pp. 3–55|
|||A.S. Shvarts, "Elliptic operators in quantum field theory" J. Soviet Math. , 21 : 4 (1983) pp. 551–601 Itogi Nauk. i Tekhn. Sovr. Probl. Mat. , 17 (1981) pp. 113–173|
|||M.F. Atiyah, N.J. Hitchin, I.M. Singer, "Self-duality in four-dimensional Riemannian geometry" Proc. Roy. Soc. London A , 362 (1978) pp. 425–461|
|||D.A. Popov, L.I. Daikhin, "Einstein spaces, and Yang–Mills fields" Dokl. Akad. Nauk SSSR , 225 : 4 (1975) pp. 790–793 (In Russian)|
|||J. Bourguignon, Proc. Nat. Acad. Sci. USA , 76 : 4 (1979) pp. 1550–1553|
|||N.P. Konopleva, V.N. Popov, "Gauge fields" , Horwood (1981) (Translated from Russian)|
|||C.N. Yang, R.L. Mills, "Conservation of isotopic spin and isotopic gauge invariance" Phys. Rev. , 96 : 1 (1954) pp. 191–195|
|||, Geometrical ideas in physics , Moscow (1983) (In Russian; translated from English)|
|||D.S. Freed, K.K. Uhlenbeck, "Instantons and four manifolds" , Springer (1984)|
|[a1]||Yu.I. Manin, "Gauge field theory and complex geometry" , Springer (1988) (Translated from Russian)|
|[a2]||S. Albeverio, S. Paycha, S. Scarlatti, "A short overview of mathematical approaches to functional integration" Z. Haba (ed.) J. Sobczyk (ed.) , Functional Integration, Geometry and Strings , Birkhäuser (1989) pp. 230–276|
|[a3]||"Dynamical theory of groups and fields" C.M. DeWitt (ed.) B.S. DeWitt (ed.) , Relativity, groups and topology , Gordon & Breach (1964)|
|[a4]||T.-P. Cheng, L.-F. Li, "Gauge theory of elementary particle physics" , Clarendon Press (1984)|
|[a5]||N. Nélipa, "Physique des particules élémentaires" , MIR|
|[a6]||M.F. Atiyah, "Geometry of Yang–Mills fields" , Scuola Norm. Sup. Pisa (1979)|
|[a7]||B. [B. Dubrovin] Doubrovine, S. Novikov, A. Fomenko, "Contemporary geometry" , Springer (1990) (Translated from Russian)|
|[a8]||B. Lawson, M.-L. Michelsohn, "Spin geometry" , Princeton Univ. Press (1989)|
|[a9]||D. Bleecker, "Gauge theory and variational principles" , Addison-Wesley (1981)|
Yang–Mills field. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Yang%E2%80%93Mills_field&oldid=23160