Yang–Mills equations
In physics and mathematics, and especially differential geometry and gauge theory, the Yang–Mills equations are a system of partial differential equations for a connection on a vector bundle or principal bundle. The Yang-Mills equations arise in physics as the Euler-Lagrange equations of the Yang–Mills action functional. However, the Yang–Mills equations have independently found significant use within mathematics.
Solutions of the Yang–Mills equations are called Yang–Mills connections or instantons. The moduli space of instantons was used by Simon Donaldson to prove Donaldson's theorem.
Definition
Let be a compact, oriented, Riemannian manifold. The Yang–Mills equations can be phrased for a connection on a vector bundle or principal -bundle over , for some compact Lie group . Here the latter convention is presented. Let denote a principal -bundle over . Then a connection on may be specified by a Lie algebra-valued differential form on the total space of the principal bundle. This connection has a curvature form , which is a two-form on with values in the adjoint bundle of . Associated to the connection is an exterior covariant derivative , defined on the adjoint bundle. Additionally, since is compact, its associated compact Lie algebra admits an invariant inner product under the adjoint representation.
Since is Riemannian, there is an inner product on the cotangent bundle, and combined with the invariant inner product on there is an inner product on the bundle of -valued two-forms on . Since is oriented, there is an -inner product on the sections of this bundle. Namely,
where inside the integral the bundle-wise inner product is being used, and is the Riemannian volume form of . Using this -inner product, the formal adjoint operator of is defined by
- .
Explicitly this is given by where is the Hodge star operator acting on two-forms.
Assuming the above set up, the Yang–Mills equations are a system of (in general non-linear) partial differential equations given by
[1] | (1) |
Since the Hodge star is an isomorphism, by the explicit formula for the Yang–Mills equations can equivalently be written
(2) |
A connection satisfying (1) is called a Yang-Mills connection.
Every connection automatically satisfies the Bianchi identity , so Yang–Mills connections can be seen as a non-linear analogue of harmonic differential forms, which satisfy
- .
Derivation
The Yang–Mills equations are the Euler–Lagrange equations of the Yang–Mills functional, defined by
(3) |
To derive the equations from the functional, recall that the space of all connections on is an affine space modelled on the vector space . Given a small deformation of a connection in this affine space, the curvatures are related by
- .
To determine the critical points of (3), compute
- .
The connection is a critical point of the Yang–Mills functional if and only if this vanishes for every , and this occurs precisely when (1) is satisfied.
Moduli space of Yang–Mills connections
The Yang–Mills equations are gauge invariant. Mathematically, a gauge transformation is an automorphism of the principal bundle , and since the inner product on is invariant, the Yang–Mills functional satisfies
and so if satisfies (1), so does .
There is a moduli space of Yang–Mills connections modulo gauge transformations. Denote by the gauge group of automorphisms of . The set classifies all connections modulo gauge transformations, and the moduli space of Yang-Mills connections is a subset. In general neither or is Hausdorff or a smooth manifold. However, by restricting to irreducible connections, that is, connections whose holonomy group is given by all of , one does obtain Hausdorff spaces. The space of irreducible connections is denoted , and so the moduli spaces are denoted and .
Moduli spaces of Yang–Mills connections have been intensively studied in specific circumstances. Michael Atiyah and Raoul Bott studied the Yang–Mills equations for bundles over compact Riemann surfaces.[2] There the moduli space obtains an alternative description as a moduli space of holomorphic vector bundles. This is the Narasimhan–Seshadri theorem, which was proved in this form relating Yang–Mills connections to holomorphic vector bundles by Donaldson.[3] In this setting the moduli space has the structure of a compact Kähler manifold. Moduli of Yang–Mills connections have been most studied when the dimension of the base manifold is four.[1][4] Here the Yang–Mills equations admit a simplification from a second-order PDE to a first-order PDE, the anti-self-duality equations.
Anti-self-duality equations
When the dimension of the base manifold is four, a coincidence occurs. The Hodge star operator takes differential -forms to differential -forms, where . Thus, in dimension four, the Hodge star operator maps two-forms to two-forms,
- .
The Hodge star operator squares to the identity in this case, and so has eigenvalues and . In particular there is a decomposition
into the positive and negative eigenspaces of , the self-dual and anti-self-dual two-forms. If a connection on a principal -bundle over a four-manifold satisfies either or , then by (2), the connection is a Yang–Mills connection. These connections are called either self-dual connections or anti-self-dual connections, and the equations the self-duality (SD) equations and the anti-self-duality (ASD) equations.[1] The spaces of self-dual and anti-self-dual connections are denoted by and , and similarly for and .
The moduli space of ASD connections, or instantons, was most intensively studied by Donaldson in the case where and is simply-connected.[5][6][7] In this setting, the principal -bundle is classified by its second Chern class, .[Note 1] For various choices of principal bundle, one obtains moduli spaces with interesting properties. These spaces are Hausdorff, even when allowing reducible connections, and are generically smooth. It was shown by Donaldson that the smooth part is orientable. By the Atiyah–Singer index theorem, one may compute that the dimension of , the moduli space of ASD connections when , to be
where is the first Betti number of , and is the dimension of the positive-definite subspace of with respect to the intersection form on .[1] For example, when and , the intersection form is trivial and the moduli space has dimension . This agrees with existence of the BPST instanton, which is the unique ASD instanton on up to a 5 parameter family defining its centre in and its scale. Such instantons on may be extended across the point at infinity using Uhlenbeck's removable singularity theorem.
Applications
Donaldson's theorem
The moduli space of Yang–Mills equations was used by Donaldson to prove Donaldson's theorem about the intersection form of simply-connected four-manifolds.Using analytical results of Clifford Taubes and Karen Uhlenbeck, Donaldson was able to show that in specific circumstances (when the intersection form is definite) the moduli space of ASD instantons on a smooth, compact, oriented, simply-connected four-manifold gives a cobordism between a copy of the manifold itself, and a disjoint union of copies of the complex projective plane .[5][8][9][10] The intersection form is a cobordism invariant up to isomorphism, showing that any such smooth manifold has diagonalisable intersection form.
The moduli space of ASD instantons may be used to define further invariants of four-manifolds. Donaldson defined rational numbers associated to a four-manifold arising from pairings of cohomology classes on the moduli space.[7] This work has subsequently been surpassed by Seiberg–Witten invariants.
Dimensional reduction and other moduli spaces
Through the process of dimensional reduction, the Yang–Mills equations may be used to derive other important equations in differential geometry and gauge theory. Dimensional reduction is the process of taking the Yang–Mills equations over a four-manifold, typically , and imposing that the solutions be invariant under a symmetry group. For example:
- By requiring the anti-self-duality equations to be invariant under translations in a single direction of , one obtains the Bogomolny equations which describe magnetic monopoles on .
- By requiring the self-duality equations to be invariant under translation in two directions, one obtains Hitchin's equations first investigated by Hitchin. These equations naturally lead to the study of Higgs bundles and the Hitchin system.
- By requiring the anti-self-duality equations to be invariant in three directions, one obtains the Nahm equations on an interval.
There is a duality between solutions of the dimensionally reduced ASD equations on and called the Nahm transform, after Werner Nahm, who first described how to construct monopoles from Nahm equation data.[11] Hitchin showed the converse, and Donaldson proved that solutions to the Nahm equations could further be linked to moduli spaces of rational maps from the complex projective line to itself.[12][13]
The duality observed for these solutions is theorized to hold for arbitrary dual groups of symmetries of a four-manifold. Indeed there is a similar duality between instantons invariant under dual lattices inside , instantons on dual four-dimensional tori, and the ADHM construction can be thought of as a duality between instantons on and dual algebraic data over a single point.[1]
Chern–Simons theory
The moduli space of Yang–Mills equations over a compact Riemann surface can be viewed as the configuration space of Chern–Simons theory on a cylinder . In this case the moduli space admits a geometric quantization, discovered independently by Nigel Hitchin and Axelrod–Della Pietra–Witten.[14][15]
See also
Notes
- ^ For a proof of this fact, see the post https://mathoverflow.net/a/265399.
References
- ^ a b c d e Donaldson, S. K., Donaldson, S. K., & Kronheimer, P. B. (1990). The geometry of four-manifolds. Oxford University Press.
- ^ Atiyah, M. F., & Bott, R. (1983). The Yang–Mills equations over riemann surfaces. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 308(1505), 523-615.
- ^ Donaldson, S. K. (1983). A new proof of a theorem of Narasimhan and Seshadri. Journal of Differential Geometry, 18(2), 269-277.
- ^ Friedman, R., & Morgan, J. W. (1998). Gauge theory and the topology of four-manifolds (Vol. 4). American Mathematical Soc..
- ^ a b Donaldson, S. K. (1983). An application of gauge theory to four-dimensional topology. Journal of Differential Geometry, 18(2), 279-315.
- ^ Donaldson, S. K. (1986). Connections, cohomology and the intersection forms of 4-manifolds. Journal of Differential Geometry, 24(3), 275-341.
- ^ a b Donaldson, S. K. (1990). Polynomial invariants for smooth four-manifolds. Topology, 29(3), 257-315.
- ^ Taubes, C. H. (1982). Self-dual Yang–Mills connections on non-self-dual 4-manifolds. Journal of Differential Geometry, 17(1), 139-170.
- ^ Uhlenbeck, K. K. (1982). Connections withL p bounds on curvature. Communications in Mathematical Physics, 83(1), 31-42.
- ^ Uhlenbeck, K. K. (1982). Removable singularities in Yang-Mills fields. Communications in Mathematical Physics, 83(1), 11-29.
- ^ Nahm, W. (1983). All self-dual multimonopoles for arbitrary gauge groups. In Structural elements in particle physics and statistical mechanics (pp. 301-310). Springer, Boston, MA.
- ^ Hitchin, N. J. (1983). On the construction of monopoles. Communications in Mathematical Physics, 89(2), 145-190.
- ^ Donaldson, S. K. (1984). Nahm's equations and the classification of monopoles. Communications in Mathematical Physics, 96(3), 387-408.
- ^ Hitchin, N. J. (1990). Flat connections and geometric quantization. Communications in mathematical physics, 131(2), 347-380.
- ^ Axelrod, S., Della Pietra, S., & Witten, E. (1991). Geometric quantization of Chern Simons gauge theory. representations, 34, 39.