Jump to content

Gauge group (mathematics): Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
tag as inline
 
(5 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Group of gauge symmetries in Yang–Mills theory}}
A '''gauge group''' is a group of [[gauge symmetry (mathematics)|gauge symmetries]] of the [[Yang–Mills theory|Yang – Mills gauge theory]] of [[principal connection]]s on a [[principal bundle]]. Given a principal bundle <math>P\to X </math> with a structure Lie group <math>G</math>, a gauge group is defined to be a group of its vertical automorphisms. This group is isomorphic to the group <math>G(X) </math> of global sections of the associated group bundle <math> \widetilde P\to X</math> whose typical fiber is a group <math>G</math> which acts on itself by the [[adjoint representation]]. The unit element of <math>G(X) </math> is a constant unit-valued section <math>g(x)=1</math> of <math> \widetilde P\to X</math>.
{{inline |date=May 2024}}
A '''gauge group''' is a group of [[gauge symmetry (mathematics)|gauge symmetries]] of the [[Yang–Mills theory|Yang–Mills gauge theory]] of [[principal connection]]s on a [[principal bundle]]. Given a principal bundle <math>P\to X </math> with a structure [[Lie group]] <math>G</math>, a gauge group is defined to be a group of its vertical automorphisms. This group is isomorphic to the group <math>G(X) </math> of global sections of the associated group bundle <math> \widetilde P\to X</math> whose typical fiber is a group <math>G</math> which acts on itself by the [[adjoint representation]]. The unit element of <math>G(X) </math> is a constant unit-valued section <math>g(x)=1</math> of <math> \widetilde P\to X</math>.


At the same time, [[gauge gravitation theory]] exemplifies [[covariant classical field theory|field theory]] on a principal [[frame bundle]] whose gauge symmetries are [[general covariant transformations]] which are not elements of a gauge group.
At the same time, [[gauge gravitation theory]] exemplifies [[covariant classical field theory|field theory]] on a principal [[frame bundle]] whose gauge symmetries are [[general covariant transformations]] which are not elements of a gauge group.
Line 12: Line 14:


If a structure group <math> G</math> is a complex semisimple [[matrix group]], the [[Sobolev space|Sobolev completion]] <math>\overline G_k(X)</math> of a gauge group <math> G(X)</math> can be introduced. It is a Lie group. A key point is that the action of <math>\overline G_k(X)</math> on a Sobolev completion <math>A_k</math> of a space of principal connections is smooth, and that an orbit space <math>A_k/\overline G_k(X)</math> is a [[Hilbert space]]. It is a [[path integral formulation|configuration space]] of quantum gauge theory.
If a structure group <math> G</math> is a complex semisimple [[matrix group]], the [[Sobolev space|Sobolev completion]] <math>\overline G_k(X)</math> of a gauge group <math> G(X)</math> can be introduced. It is a Lie group. A key point is that the action of <math>\overline G_k(X)</math> on a Sobolev completion <math>A_k</math> of a space of principal connections is smooth, and that an orbit space <math>A_k/\overline G_k(X)</math> is a [[Hilbert space]]. It is a [[path integral formulation|configuration space]] of quantum gauge theory.

== See also ==
*[[Gauge symmetry (mathematics)]]
*[[Gauge theory]]
*[[Gauge theory (mathematics)]]
*[[Principal bundle]]


== References ==
== References ==
Line 18: Line 26:
* Mangiarotti, L., [[Gennadi Sardanashvily|Sardanashvily, G.]], ''Connections in Classical and Quantum Field Theory'' (World Scientific, 2000) {{ISBN|981-02-2013-8}}
* Mangiarotti, L., [[Gennadi Sardanashvily|Sardanashvily, G.]], ''Connections in Classical and Quantum Field Theory'' (World Scientific, 2000) {{ISBN|981-02-2013-8}}


[[Category:Differential geometry]]
== See also ==
*[[Gauge theory (mathematics)]]
*[[Gauge theory]]
*[[Principal bundle]]
*[[Gauge symmetry (mathematics)]]

[[Category:Gauge theories]]
[[Category:Gauge theories]]
[[Category:Theoretical physics]]
[[Category:Theoretical physics]]

[[Category:Differential geometry]]

{{theoretical-physics-stub}}
{{geometry-stub}}

Latest revision as of 21:30, 12 May 2024

A gauge group is a group of gauge symmetries of the Yang–Mills gauge theory of principal connections on a principal bundle. Given a principal bundle with a structure Lie group , a gauge group is defined to be a group of its vertical automorphisms. This group is isomorphic to the group of global sections of the associated group bundle whose typical fiber is a group which acts on itself by the adjoint representation. The unit element of is a constant unit-valued section of .

At the same time, gauge gravitation theory exemplifies field theory on a principal frame bundle whose gauge symmetries are general covariant transformations which are not elements of a gauge group.

In the physical literature on gauge theory, a structure group of a principal bundle often is called the gauge group.

In quantum gauge theory, one considers a normal subgroup of a gauge group which is the stabilizer

of some point of a group bundle . It is called the pointed gauge group. This group acts freely on a space of principal connections. Obviously, . One also introduces the effective gauge group where is the center of a gauge group . This group acts freely on a space of irreducible principal connections.

If a structure group is a complex semisimple matrix group, the Sobolev completion of a gauge group can be introduced. It is a Lie group. A key point is that the action of on a Sobolev completion of a space of principal connections is smooth, and that an orbit space is a Hilbert space. It is a configuration space of quantum gauge theory.

See also

[edit]

References

[edit]
  • Mitter, P., Viallet, C., On the bundle of connections and the gauge orbit manifold in Yang – Mills theory, Commun. Math. Phys. 79 (1981) 457.
  • Marathe, K., Martucci, G., The Mathematical Foundations of Gauge Theories (North Holland, 1992) ISBN 0-444-89708-9.
  • Mangiarotti, L., Sardanashvily, G., Connections in Classical and Quantum Field Theory (World Scientific, 2000) ISBN 981-02-2013-8