A gauge symmetry of aLagrangian is defined as a differential operator on somevector bundle taking its values in the linear space of (variational or exact) symmetries of. Therefore, a gauge symmetry ofdepends on sections of and their partial derivatives.[1] For instance, this is the case of gauge symmetries inclassical field theory.[2]Yang–Mills gauge theory andgauge gravitation theory exemplify classical field theories with gauge symmetries.[3]
Gauge symmetries possess the following two peculiarities.
Being Lagrangian symmetries, gauge symmetries of aLagrangian satisfyNoether's first theorem, but the corresponding conserved current takes a particular superpotential form where the first term vanishes on solutions of theEuler–Lagrange equations and the second one is a boundary term, where is called a superpotential.[4]
Note that, inquantum field theory, a generating functional may fail to be invariant under gauge transformations, and gauge symmetries are replaced with theBRST symmetries, depending on ghosts and acting both on fields and ghosts.[6]
Daniel, M., Viallet, C., The geometric setting of gauge symmetries of the Yang–Mills type, Rev. Mod. Phys.52 (1980) 175.
Eguchi, T., Gilkey, P., Hanson, A., Gravitation, gauge theories and differential geometry, Phys. Rep.66 (1980) 213.
Gotay, M., Marsden, J., Stress-energy-momentum tensors and the Belinfante–Rosenfeld formula, Contemp. Math.132 (1992) 367.
Marathe, K., Martucci, G., The Mathematical Foundation of Gauge Theories (North Holland, 1992)ISBN0-444-89708-9.
Fatibene, L., Ferraris, M., Francaviglia, M., Noether formalism for conserved quantities in classical gauge field theories, J. Math. Phys.35 (1994) 1644.
Gomis, J., Paris, J., Samuel, S., Antibracket, antifields and gauge theory quantization, Phys. Rep.295 (1995) 1;arXiv: hep-th/9412228.
Giachetta, G. (2008), Mangiarotti, L.,Sardanashvily, G., On the notion of gauge symmetries of generic Lagrangian field theory, J. Math. Phys.50 (2009) 012903;arXiv: 0807.3003.