Namespaces
Variants
Actions

Difference between revisions of "Yang-Mills functional"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (AUTOMATIC EDIT (latexlist): Replaced 40 formulas out of 40 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
Line 1: Line 1:
 +
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
 +
 +
Out of 40 formulas, 40 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|done}}
 
Photons appear as the quanta of Maxwell's classical electromagnetic theory, an Abelian theory in the sense that the circle group embodies the phase factor. The aim of [[Quantum field theory|quantum field theory]] is to treat other elementary particles by quantizing appropriate classical non-Abelian field theories, phrased as gauge theories. These were invented by C.N. Yang and R.L. Mills [[#References|[a2]]]. The circle group is thereby replaced by a non-Abelian compact [[Lie group|Lie group]] dictated by the (observed classical) symmetries and the Yang–Mills equation (cf. [[Yang–Mills field|Yang–Mills field]]) generalizes the [[Maxwell equations|Maxwell equations]] (in vacuum). The quantization of non-Abelian gauge theories is still in its infancy.
 
Photons appear as the quanta of Maxwell's classical electromagnetic theory, an Abelian theory in the sense that the circle group embodies the phase factor. The aim of [[Quantum field theory|quantum field theory]] is to treat other elementary particles by quantizing appropriate classical non-Abelian field theories, phrased as gauge theories. These were invented by C.N. Yang and R.L. Mills [[#References|[a2]]]. The circle group is thereby replaced by a non-Abelian compact [[Lie group|Lie group]] dictated by the (observed classical) symmetries and the Yang–Mills equation (cf. [[Yang–Mills field|Yang–Mills field]]) generalizes the [[Maxwell equations|Maxwell equations]] (in vacuum). The quantization of non-Abelian gauge theories is still in its infancy.
  
On the mathematical side, gauge theory is a well established branch of [[Differential geometry|differential geometry]] known as the theory of fibre bundles with connection (cf. also [[Connection|Connection]]). The Yang–Mills equations or field equations are derived by an action principle, reflecting Einstein's point of view that the basic laws of physics should all be combined in geometrical form: Consider a [[Principal fibre bundle|principal fibre bundle]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y1200201.png" /> over a smooth oriented [[Riemannian manifold|Riemannian manifold]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y1200202.png" /> with compact structure group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y1200203.png" />, and consider the affine space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y1200204.png" /> of connections (gauge potentials in physics terminology); for a [[Connection|connection]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y1200205.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y1200206.png" /> be its [[Curvature|curvature]] (gauge field or field strength in physics terminology). The curvature can be thought of as the distortion produced by an external field, or it can be identified with the field when one thinks of a field of force measured by its local effect. This distortion does not take place in the geometry of  "space-time"  (or what corresponds to it: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y1200207.png" />), though, but in the geometry of some state-space of internal structure superimposed to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y1200208.png" />. Given an invariant scalar product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y1200209.png" /> on the [[Lie algebra|Lie algebra]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002010.png" /> (e.g., the negative of the Killing form when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002011.png" /> is semi-simple), the Yang–Mills functional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002012.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002013.png" /> assigns the real number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002014.png" /> to any connection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002015.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002016.png" />; here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002017.png" /> refers to the Hodge star operator (cf. also [[Laplace operator|Laplace operator]]) determined by the data. This functional is also called the action of the (gauge) theory; this way of writing it and the resulting equations exhibits clearly its invariance and covariance properties.
+
On the mathematical side, gauge theory is a well established branch of [[Differential geometry|differential geometry]] known as the theory of fibre bundles with connection (cf. also [[Connection|Connection]]). The Yang–Mills equations or field equations are derived by an action principle, reflecting Einstein's point of view that the basic laws of physics should all be combined in geometrical form: Consider a [[Principal fibre bundle|principal fibre bundle]] $\xi : P \rightarrow M$ over a smooth oriented [[Riemannian manifold|Riemannian manifold]] $M$ with compact structure group $G$, and consider the affine space $\mathcal{A} ( \xi )$ of connections (gauge potentials in physics terminology); for a [[Connection|connection]] $A$, let $F _ { A }$ be its [[Curvature|curvature]] (gauge field or field strength in physics terminology). The curvature can be thought of as the distortion produced by an external field, or it can be identified with the field when one thinks of a field of force measured by its local effect. This distortion does not take place in the geometry of  "space-time"  (or what corresponds to it: $M$), though, but in the geometry of some state-space of internal structure superimposed to $M$. Given an invariant scalar product $\langle \, .\, ,\,  . \, \rangle$ on the [[Lie algebra|Lie algebra]] of $G$ (e.g., the negative of the Killing form when $G$ is semi-simple), the Yang–Mills functional $\mathcal{L}$ on $\mathcal{A} ( \xi )$ assigns the real number $\mathcal{L} ( A ) = \int _ { M } \langle F _ { A } \wedge * F _ { A } \rangle$ to any connection $A$ on $\xi $; here $*$ refers to the Hodge star operator (cf. also [[Laplace operator|Laplace operator]]) determined by the data. This functional is also called the action of the (gauge) theory; this way of writing it and the resulting equations exhibits clearly its invariance and covariance properties.
  
One way of attempting to develop the quantum theory is to use the Feynman functional integral approach, which involves the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002018.png" />. Critical values of the latter will then occur at those connections <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002019.png" /> which are critical for the action <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002020.png" />, and one is led to determine those connections or classical field configurations which are stationary for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002021.png" />. These connections <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002022.png" /> satisfy the equation
+
One way of attempting to develop the quantum theory is to use the Feynman functional integral approach, which involves the function $\operatorname{exp}( i \mathcal{L} )$. Critical values of the latter will then occur at those connections $A$ which are critical for the action $\mathcal{L}$, and one is led to determine those connections or classical field configurations which are stationary for $\mathcal{L}$. These connections $A$ satisfy the equation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002023.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
\begin{equation} \tag{a1} \nabla _ { A }  *  F _ { A } = 0, \end{equation}
  
the [[Euler–Lagrange equation|Euler–Lagrange equation]] of the corresponding variational principle or Yang–Mills equation (cf. [[Yang–Mills field|Yang–Mills field]]), and they are called Yang–Mills connections; here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002024.png" /> refers to the covariant derivative operator. The field equations are the equation (a1) together with the Bianchi identity
+
the [[Euler–Lagrange equation|Euler–Lagrange equation]] of the corresponding variational principle or Yang–Mills equation (cf. [[Yang–Mills field|Yang–Mills field]]), and they are called Yang–Mills connections; here, $\nabla$ refers to the covariant derivative operator. The field equations are the equation (a1) together with the Bianchi identity
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002025.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>
+
\begin{equation} \tag{a2} \nabla _ { A } F _ { A } = 0. \end{equation}
  
 
Only the equation (a1) imposes a condition on the connection or potential. The non-uniqueness of the potential has its counterpart in the form of bundle automorphisms or gauge transformations, and the Yang–Mills functional is clearly invariant under gauge transformations. Its true solution space is the moduli space of Yang–Mills connections, the space of gauge equivalence classes of Yang–Mills connections. On this space, the problem of gauge fixing is that of choosing continuously a potential in each gauge equivalence class.
 
Only the equation (a1) imposes a condition on the connection or potential. The non-uniqueness of the potential has its counterpart in the form of bundle automorphisms or gauge transformations, and the Yang–Mills functional is clearly invariant under gauge transformations. Its true solution space is the moduli space of Yang–Mills connections, the space of gauge equivalence classes of Yang–Mills connections. On this space, the problem of gauge fixing is that of choosing continuously a potential in each gauge equivalence class.
  
For example, in Maxwell's theory, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002026.png" /> is the circle group, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002027.png" /> is at first <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002028.png" />, the coefficients of the curvature are the components of the electric and magnetic fields, and among the potentials for which the action <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002029.png" /> is finite one looks for those which minimize the action. To achieve that the action is finite one imposes appropriate asymptotic conditions and is thus led to consider bundles <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002030.png" /> having as base <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002031.png" /> the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002032.png" />-sphere, viewed as a (conformal) compactification of space-time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002033.png" />.
+
For example, in Maxwell's theory, $G$ is the circle group, $M$ is at first $\mathbf{R} ^ { 4 }$, the coefficients of the curvature are the components of the electric and magnetic fields, and among the potentials for which the action $\mathcal{L}$ is finite one looks for those which minimize the action. To achieve that the action is finite one imposes appropriate asymptotic conditions and is thus led to consider bundles $\xi $ having as base $M$ the $4$-sphere, viewed as a (conformal) compactification of space-time $\mathbf{R} ^ { 4 }$.
  
In non-Abelian gauge theories on closed manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002034.png" /> like <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002035.png" />, when the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002036.png" /> is connected and simply connected, the corresponding principal bundles fall into distinct topological types (these correspond to the elements of the fourth integral cohomology group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002037.png" />); when the bundle is topologically non-trivial, gauge fixing is impossible. This is sometimes referred to as the Gribov ambiguity. Suitably normalized, the value of the absolute minimum of the Yang–Mills functional just amounts to the corresponding cohomology class. An analogous formula in dimension two is Gauss' classical theorem expressing the [[Euler characteristic|Euler characteristic]] as the integral of the [[Scalar curvature|scalar curvature]]. This problem does not occur in ordinary Maxwell theory over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002038.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002039.png" />); yet it occurs in the Maxwell theory over a [[Manifold|manifold]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y120/y120020/y12002040.png" /> having second integral cohomology group non-zero. This indicates that, mathematically, Yang–Mills theory leads to global questions incorporating both topology and analysis, as opposed to the purely local theory of classical differential geometry. See also [[Yang–Mills functional, geometry of the|Yang–Mills functional, geometry of the]].
+
In non-Abelian gauge theories on closed manifolds $M$ like $S ^ { 4 }$, when the group $G$ is connected and simply connected, the corresponding principal bundles fall into distinct topological types (these correspond to the elements of the fourth integral cohomology group of $M$); when the bundle is topologically non-trivial, gauge fixing is impossible. This is sometimes referred to as the Gribov ambiguity. Suitably normalized, the value of the absolute minimum of the Yang–Mills functional just amounts to the corresponding cohomology class. An analogous formula in dimension two is Gauss' classical theorem expressing the [[Euler characteristic|Euler characteristic]] as the integral of the [[Scalar curvature|scalar curvature]]. This problem does not occur in ordinary Maxwell theory over $\mathbf{R} ^ { 4 }$ (or $S ^ { 4 }$); yet it occurs in the Maxwell theory over a [[Manifold|manifold]] $M$ having second integral cohomology group non-zero. This indicates that, mathematically, Yang–Mills theory leads to global questions incorporating both topology and analysis, as opposed to the purely local theory of classical differential geometry. See also [[Yang–Mills functional, geometry of the|Yang–Mills functional, geometry of the]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M.F. Atiyah,  "Geometry of Yang–Mills fields" , ''Lezioni Fermiane'' , Accad. Nazionale dei Lincei Scuola Norm. Sup. Pisa  (1979)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  R.L. Mills,  C.N. Yang,  "Conservation of isotopic spin and isotopic gauge invariance"  ''Phys. Rev.'' , '''96'''  (1954)  pp. 191</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  M.F. Atiyah,  "Geometry of Yang–Mills fields" , ''Lezioni Fermiane'' , Accad. Nazionale dei Lincei Scuola Norm. Sup. Pisa  (1979)</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  R.L. Mills,  C.N. Yang,  "Conservation of isotopic spin and isotopic gauge invariance"  ''Phys. Rev.'' , '''96'''  (1954)  pp. 191</td></tr></table>

Latest revision as of 16:45, 1 July 2020

Photons appear as the quanta of Maxwell's classical electromagnetic theory, an Abelian theory in the sense that the circle group embodies the phase factor. The aim of quantum field theory is to treat other elementary particles by quantizing appropriate classical non-Abelian field theories, phrased as gauge theories. These were invented by C.N. Yang and R.L. Mills [a2]. The circle group is thereby replaced by a non-Abelian compact Lie group dictated by the (observed classical) symmetries and the Yang–Mills equation (cf. Yang–Mills field) generalizes the Maxwell equations (in vacuum). The quantization of non-Abelian gauge theories is still in its infancy.

On the mathematical side, gauge theory is a well established branch of differential geometry known as the theory of fibre bundles with connection (cf. also Connection). The Yang–Mills equations or field equations are derived by an action principle, reflecting Einstein's point of view that the basic laws of physics should all be combined in geometrical form: Consider a principal fibre bundle $\xi : P \rightarrow M$ over a smooth oriented Riemannian manifold $M$ with compact structure group $G$, and consider the affine space $\mathcal{A} ( \xi )$ of connections (gauge potentials in physics terminology); for a connection $A$, let $F _ { A }$ be its curvature (gauge field or field strength in physics terminology). The curvature can be thought of as the distortion produced by an external field, or it can be identified with the field when one thinks of a field of force measured by its local effect. This distortion does not take place in the geometry of "space-time" (or what corresponds to it: $M$), though, but in the geometry of some state-space of internal structure superimposed to $M$. Given an invariant scalar product $\langle \, .\, ,\, . \, \rangle$ on the Lie algebra of $G$ (e.g., the negative of the Killing form when $G$ is semi-simple), the Yang–Mills functional $\mathcal{L}$ on $\mathcal{A} ( \xi )$ assigns the real number $\mathcal{L} ( A ) = \int _ { M } \langle F _ { A } \wedge * F _ { A } \rangle$ to any connection $A$ on $\xi $; here $*$ refers to the Hodge star operator (cf. also Laplace operator) determined by the data. This functional is also called the action of the (gauge) theory; this way of writing it and the resulting equations exhibits clearly its invariance and covariance properties.

One way of attempting to develop the quantum theory is to use the Feynman functional integral approach, which involves the function $\operatorname{exp}( i \mathcal{L} )$. Critical values of the latter will then occur at those connections $A$ which are critical for the action $\mathcal{L}$, and one is led to determine those connections or classical field configurations which are stationary for $\mathcal{L}$. These connections $A$ satisfy the equation

\begin{equation} \tag{a1} \nabla _ { A } * F _ { A } = 0, \end{equation}

the Euler–Lagrange equation of the corresponding variational principle or Yang–Mills equation (cf. Yang–Mills field), and they are called Yang–Mills connections; here, $\nabla$ refers to the covariant derivative operator. The field equations are the equation (a1) together with the Bianchi identity

\begin{equation} \tag{a2} \nabla _ { A } F _ { A } = 0. \end{equation}

Only the equation (a1) imposes a condition on the connection or potential. The non-uniqueness of the potential has its counterpart in the form of bundle automorphisms or gauge transformations, and the Yang–Mills functional is clearly invariant under gauge transformations. Its true solution space is the moduli space of Yang–Mills connections, the space of gauge equivalence classes of Yang–Mills connections. On this space, the problem of gauge fixing is that of choosing continuously a potential in each gauge equivalence class.

For example, in Maxwell's theory, $G$ is the circle group, $M$ is at first $\mathbf{R} ^ { 4 }$, the coefficients of the curvature are the components of the electric and magnetic fields, and among the potentials for which the action $\mathcal{L}$ is finite one looks for those which minimize the action. To achieve that the action is finite one imposes appropriate asymptotic conditions and is thus led to consider bundles $\xi $ having as base $M$ the $4$-sphere, viewed as a (conformal) compactification of space-time $\mathbf{R} ^ { 4 }$.

In non-Abelian gauge theories on closed manifolds $M$ like $S ^ { 4 }$, when the group $G$ is connected and simply connected, the corresponding principal bundles fall into distinct topological types (these correspond to the elements of the fourth integral cohomology group of $M$); when the bundle is topologically non-trivial, gauge fixing is impossible. This is sometimes referred to as the Gribov ambiguity. Suitably normalized, the value of the absolute minimum of the Yang–Mills functional just amounts to the corresponding cohomology class. An analogous formula in dimension two is Gauss' classical theorem expressing the Euler characteristic as the integral of the scalar curvature. This problem does not occur in ordinary Maxwell theory over $\mathbf{R} ^ { 4 }$ (or $S ^ { 4 }$); yet it occurs in the Maxwell theory over a manifold $M$ having second integral cohomology group non-zero. This indicates that, mathematically, Yang–Mills theory leads to global questions incorporating both topology and analysis, as opposed to the purely local theory of classical differential geometry. See also Yang–Mills functional, geometry of the.

References

[a1] M.F. Atiyah, "Geometry of Yang–Mills fields" , Lezioni Fermiane , Accad. Nazionale dei Lincei Scuola Norm. Sup. Pisa (1979)
[a2] R.L. Mills, C.N. Yang, "Conservation of isotopic spin and isotopic gauge invariance" Phys. Rev. , 96 (1954) pp. 191
How to Cite This Entry:
Yang-Mills functional. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Yang-Mills_functional&oldid=49972
This article was adapted from an original article by Johannes Huebschmann (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article