View source for Gauge transformation

''gradient transform''

A transformation in classical and quantum field theory which alters non-observable properties of fields (e.g. potentials) without changing the physically-meaningful measurable magnitudes (e.g. intensities). The name  "gauge transformation"  (or  "gradient transformation" ) arose in the classical theory of electromagnetic fields. In this theory the four-dimensional electromagnetic vector potential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g0434001.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g0434002.png" />, is introduced in an ambiguous manner, since the so-called gauge transformations of the second kind:

<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/g/g043/g043400/g0434003.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>

with an arbitrary function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g0434004.png" /> having partial derivatives of the first and second orders, do not affect the values of the components of the anti-symmetric electromagnetic field tensor

<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/g/g043/g043400/g0434005.png" /></td> </tr></table>

These components are equal to the physically-observable components of the intensity vectors of the electric field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g0434006.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g0434007.png" />, and of the magnetic field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g0434008.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g0434009.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340010.png" />. Under a gauge transformation of the second kind the field equations

<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/g/g043/g043400/g04340011.png" /></td> </tr></table>

<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/g/g043/g043400/g04340012.png" /></td> </tr></table>

remain unchanged; this is the so-called gauge invariance of field theory. If the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340013.png" /> is suitably chosen, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340014.png" /> can be made to satisfy some additional condition (the so-called gauge condition), whereby the form of the field equations can be simplified. Thus, the Lorentz condition, which is linear with respect to the vector potential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340016.png" />, stating that its four-dimensional divergence vanishes:

<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/g/g043/g043400/g04340017.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>

leads to d'Alembert's equation for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340018.png" /> (cf. [[D'Alembert operator|d'Alembert operator]]):

<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/g/g043/g043400/g04340019.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>

The Lorentz condition does not completely determine the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340020.png" /> since, in theory, the invariance with respect to a so-called specialized gauge transformation (1) of the second kind with a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340021.png" /> that satisfies d'Alembert's equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340022.png" /> remains. However, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340023.png" /> is selected in a certain manner (for a Lorentz coordinate system), the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340024.png" /> will be met. The Lorentz condition (2) is then reduced to the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340025.png" /> for the three-dimensional vector potential, viz. the electromagnetic field is to be transverse. If the field is complex-valued, the theory must also be invariant with respect to gauge transformations of the first kind for the wave functions of the field and their derivatives:

<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/g/g043/g043400/g04340026.png" /></td> <td valign="top" style="width:5%;text-align:right;">(4)</td></tr></table>

<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/g/g043/g043400/g04340027.png" /></td> </tr></table>

since all the observable dynamic magnitudes must (in view of the condition of realness (Hermiticity)) be expressed solely in forms that are bilinear with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340028.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340029.png" />. Owing to the general principles of mechanics, the condition of invariance of a field theory with respect to the gauge transformations of the first kind means that certain observable physical magnitudes must be conserved — such as (electric) charges, which are expressed in terms of field functions, or, in other words, that conservation laws of these charges must exist. The corresponding Lagrangians and field equations should be invariant with respect to gauge transformations. For instance, in the case of complex-valued fields <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340030.png" /> interacting with the electromagnetic field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340031.png" /> that correspond to electric charges, the Lagrangians of the free fields and the Lagrangian of interaction and the field equation should be invariant with respect to gauge transformations of the type

<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/g/g043/g043400/g04340032.png" /></td> <td valign="top" style="width:5%;text-align:right;">(5)</td></tr></table>

i.e. with respect to the gauge transformations (1) and (4), where the phase multiplier in (4) may depend on the four-dimensional space-time coordinates and should coincide with the arbitrary scalar functions forming part of (1). In such a case the law of conservation of electric charge is fulfilled in the system of fields <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340033.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340034.png" />. The gauge transformations (5) form an [[Abelian group|Abelian group]] of transformations in the sense that the gauge function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340035.png" /> describes a gauge transformation representing two gauge transformations with functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340036.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340037.png" /> performed in any order. In constructing theories of interacting fields which are more involved than the example given above, a necessary condition for meeting the respective conditions of the conservation of any charges is the invariance of the Lagrangians and the field equations with respect to gauge transformations in which the gauge functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340038.png" /> are operators.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N.N. Bogolyubov,   D.V. Shirkov,   "Introduction to the theory of quantized fields" , Interscience  (1959)  (Translated from Russian)</TD></TR></table>



====Comments====
Gauge field theories are at present a major area of research in mathematics and theoretical physics. Abstractly (mathematically) speaking, the starting object is a [[Principal fibre bundle|principal fibre bundle]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340039.png" /> over a manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340040.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340041.png" /> space-time) with structure group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340042.png" />. A gauge potential is then a [[Connection|connection]] on this bundle, cf. also [[Yang–Mills field|Yang–Mills field]]; the associated curvature of the connection represents the field strength tensor. The term gauge field is used for both the connection (form) and its associated curvature field. A gauge transformation is a bundle automorphism of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340043.png" /> (leaving <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340044.png" /> pointwise fixed). Such automorphisms form the group of gauge transformations. The structure group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340045.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340046.png" /> is called the gauge group, e.g. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340047.png" /> in the case of electromagnetism. Cf. [[#References|[a3]]] for a very useful glossary and dictionary of mathematical and physical terminology in this area.

There are deep connections between topology and gauge field theory. A major result of the interaction between these areas was the discovery of the exotic structures on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340048.png" /> by S. Donaldson and M. Freedman (cf., e.g., [[#References|[a4]]]).

The rarely used phrase  "gradient transformation"  comes from the fact that in electromagnetism the electromagnetic potential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340049.png" /> is determined by the electromagnetic field tensor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043400/g04340050.png" /> up to a gradient vector (field).

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  K. Moriyasu,   "An elementary primer for gauge theory" , World Sci.  (1983)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  L. O'Raifertaigh,   "Group structure of gauge theories" , Cambridge Univ. Press  (1986)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  M.E. Mayer,   "Geometric aspects of gauge theory"  L.P. Horowitz (ed.)  Y. Ne'eman (ed.) , ''Proc. VII-Colloq. Group Theoretical Methods in Physics'' , Israel Physical Society &amp; A. Hilger  (1980)  pp. 80–99</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  M. Blaine Lawson jr.,   "The theory of gauge fields in four dimensions" , Amer. Math. Soc.  (1985)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  M.F. Atiyah,   "Geometry of Yang–Mills fields" , Accad. Naz. dei Lincei  (1979)</TD></TR></table>