In mathematical physics, two-dimensional Yang–Mills theory is the special case of Yang–Mills theory in which the dimension of spacetime is taken to be two. This special case allows for a rigorously defined Yang–Mills measure, meaning that the (Euclidean) path integral can be interpreted as a measure on the set of connections modulo gauge transformations. This situation contrasts with the four-dimensional case, where a rigorous construction of the theory as a measure is currently unknown. An aspect of the subject of particular interest is the large-N limit, in which the structure group is taken to be the unitary group U ( N ) {\displaystyle U(N)} and then the N {\displaystyle N} tends to infinity limit is taken. The large-N limit of two-dimensional Yang–Mills theory has connections to string theory.
Background Interest in the Yang–Mills measure comes from a statistical mechanical or constructive quantum field theoretic approach to formulating a quantum theory for the Yang–Mills field. A gauge field is described mathematically by a 1-form A {\displaystyle A} on a principal G {\displaystyle G} -bundle over a manifold M {\displaystyle M} taking values in the Lie algebra L ( G ) {\displaystyle L(G)} of the Lie group G {\displaystyle G} . We assume that the structure group G {\displaystyle G} , which describes the physical symmetries of the gauge field, is a compact Lie group with a bi-invariant metric on the Lie algebra L ( G ) {\displaystyle L(G)} , and we also assume given a Riemannian metric on the manifold M {\displaystyle M} . The Yang–Mills action functional is given by
S Y M ( A ) = 1 2 ∫ M ‖ F A ‖ 2 d σ M {\displaystyle S_{YM}(A)={\frac {1}{2}}\int _{M}\|F^{A}\|^{2}\,d\sigma _{M}}
where F A {\displaystyle F^{A}} is the curvature of the connection form A {\displaystyle A} , the norm-squared in the integrand comes from the metric on the Lie algebra and the one on the base manifold, and σ M {\displaystyle \sigma _{M}} is the Riemannian volume measure on M {\displaystyle M} . The measure μ T {\displaystyle \mu _{T}} is given formally by
d μ T ( A ) = 1 Z T e − S Y M ( A ) / T D A , {\displaystyle d\mu _{T}(A)={\frac {1}{Z_{T}}}e^{-S_{YM}(A)/T}DA,}
as a normalized probability measure on the space of all connections on the bundle, with T > 0 {\displaystyle T>0} a parameter, and Z T {\displaystyle Z_{T}} is a formal normalizing constant. More precisely, the probability measure is more likely to be meaningful on the space of orbits of connections under gauge transformations.
… excerpt ends here. Continue reading the full article.
