algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)
field theory: classical, pre-quantum, quantum, perturbative quantum
quantum mechanical system, quantum probability
interacting field quantization
Yang–Mills theory is a gauge theory on a given 4-dimensional (pseudo-)Riemannian manifold $X$ whose field is the Yang–Mills field – a cocycle $\nabla \in \mathbf{H}(X,\bar \mathbf{B}U(n))$ in differential nonabelian cohomology represented by a vector bundle with connection – and whose action functional is
for
$F_\nabla$ the field strength, locally the curvature $\mathfrak{u}(n)$-Lie algebra valued differential form on $X$ ( with $\mathfrak{u}(n)$ the Lie algebra of the unitary group $U(n)$);
$\star$ the Hodge star operator of the metric $g$;
$\frac{1}{g^2}$ the Yang-Mills coupling constant and $\theta$ the theta angle, some real numbers (see at S-duality).
(See this example at A first idea of quantum field theory.)
Despite its fundamental role in the standard model of particle physics, various details of the quantization of Yang-Mills theory are still open. See at quantization of Yang-Mills theory.
All gauge fields in the standard model of particle physics as well as in GUT models are Yang–Mills fields.
The matter fields in the standard model are spinors charged under the Yang-Mills field. See
From Jaffe-Witten:
By the 1950s, when Yang–Mills theory was discovered, it was already known that the quantum version of Maxwell theory – known as Quantum Electrodynamics or QED – gives an extremely accurate account of electromagnetic fields and forces. In fact, QED improved the accuracy for certain earlier quantum theory predictions by several orders of magnitude, as well as predicting new splittings of energy levels.
So it was natural to inquire whether non-abelian gauge theory described other forces in nature, notably the weak force (responsible among other things for certain forms of radioactivity) and the strong or nuclear force (responsible among other things for the binding of protons and neutrons into nuclei). The massless nature of classical Yang–Mills waves was a serious obstacle to applying Yang–Mills theory to the other forces, for the weak and nuclear forces are short range and many of the particles are massive. Hence these phenomena did not appear to be associated with long-range fields describing massless particles.
In the 1960s and 1970s, physicists overcame these obstacles to the physical interpretation of non-abelian gauge theory. In the case of the weak force, this was accomplished by the Glashow–Salam–Weinberg electroweak theory with gauge group $H =$ SU(2) $\times$ U(1). By elaborating the theory with an additional “Higgs field”, one avoided the massless nature of classical Yang–Mills waves. The Higgs field transforms in a two-dimensional representation of $H$; its non-zero and approximately constant value in the vacuum state reduces the structure group from $H$ to a $U(1)$ subgroup (diagonally embedded in $SU(2) \times U(1)$. This theory describes both the electromagnetic and weak forces, in a more or less unified way; because of the reduction of the structure group to $U(1)$, the long-range fields are those of electromagnetism only, in accord with what we see in nature.
The solution to the problem of massless Yang–Mills fields for the strong interactions has a completely different nature. That solution did not come from adding fields to Yang–Mills theory, but by discovering a remarkable property of the quantum Yang–Mills theory itself, that is, of the quantum theory whose classical Lagrangian has been given $[$above$]$. This property is called “asymptotic freedom”. Roughly this means that at short distances the field displays quantum behavior very similar to its classical behavior; yet at long distances the classical theory is no longer a good guide to the quantum behavior of the field.
Asymptotic freedom, together with other experimental and theoretical discoveries made in the 1960s and 1970s, made it possible to describe the nuclear force by a non-abelian gauge theory in which the gauge group is $G =$ SU(3). The additional fields describe, at the classical level, “quarks,” which are spin 1/2 objects somewhat analogous to the electron, but transforming in the fundamental representation of $SU(3)$. The non-abelian gauge theory of the strong force is called Quantum Chromodynamics (QCD).
The use of QCD to describe the strong force was motivated by a whole series of experimental and theoretical discoveries made in the 1960s and 1970s, involving the symmetries and high-energy behavior of the strong interactions. But classical non-abelian gauge theory is very different from the observed world of strong interactions; for QCD to describe the strong force successfully, it must have at the quantum level the following three properties, each of which is dramatically different from the behavior of the classical theory:
(1) It must have a “mass gap;” namely there must be some constant $\Delta \gt 0$ such that every excitation of the vacuum has energy at least $\Delta$.
(2) It must have “quark confinement,” that is, even though the theory is described in terms of elementary fields, such as the quark fields, that transform non-trivially under SU(3), the physical particle states – such as the proton, neutron, and pion –are SU(3)-invariant.
(3) It must have “chiral symmetry breaking,” which means that the vacuum is potentially invariant (in the limit, that the quark-bare masses vanish) only under a certain subgroup of the full symmetry group that acts on the quark fields.
The first point is necessary to explain why the nuclear force is strong but short-ranged; the second is needed to explain why we never see individual quarks; and the third is needed to account for the “current algebra” theory of soft pions that was developed in the 1960s.
Both experiment – since QCD has numerous successes in confrontation with experiment – and computer simulations, carried out since the late 1970s, have given strong encouragement that QCD does have the properties cited above. These properties can be seen, to some extent, in theoretical calculations carried out in a variety of highly oversimplified models (like strongly coupled lattice gauge theory). But they are not fully understood theoretically; there does not exist a convincing, whether or not mathematically complete, theoretical computation demonstrating any of the three properties in QCD, as opposed to a severely simplified truncation of it.
This is the problem of non-perturbative quantization of Yang-Mills theory. See there for more.
Yang-Mills theory is named after the article
which was the first to generalize the principle of electromagnetism to a non-abalian gauge group. This became accepted as formulation of QCD and weak interactions (only) after spontaneous symmetry breaking (the Higgs mechanism) was understood in the 1960s.
For modern reviews of the basics see
Arthur Jaffe, Edward Witten, Quantum Yang-Mills theory (pdf)
Simon Donaldson, Yang-Mills theory and geometry (2005) pdf
Lecture notes include
See also the references at QCD, gauge theory, and super Yang-Mills theory.
Classical discussion of YM-theory over Riemann surfaces (which is closely related to Chern-Simons theory, see also at moduli space of flat connections) is in
which is reviewed in the lecture notes
For the relation to instanton Floer homology see also
For the relation to Tamagawa numbers see
Wu and Yang (1968) found a static solution to the sourceless $SU(2)$ Yang-Mills equations. Recent references include
There is an old review,
that provides some of the known solutions of $SU(2)$ gauge theory in Minkowski (monopoles, plane waves, etc) and Euclidean space (instantons and their cousins). For general gauge groups one can get solutions by embedding $SU(2)$‘s. For instantons the most general solution is known, first worked out by
for the classical groups SU, SO , Sp, and then by
for exceptional groups. The latest twist on the instanton story is the construction of solutions with non-trivial holonomy:
There is a nice set of lecture notes
on topological solutions with different co-dimension (instantons, monopoles, vortices, domain walls). Note, however, that except for instantons these solutions typically require extra scalars and broken U(1)‘s, as one may find in super Yang-Mills theories.
Some of the material used here has been taken from
Another model featuring Yang-Mills fields has been proposed by Curci and Ferrari, see Curci-Ferrari model.
See also