Upon reading about the principal bundle picture of (quantum) field theory I encountered two different definitions of the gauge group:
- Local gauge group $G$. Corresponds to the fibers of the $G$-bundle. Local gauge transformations correspond to the change of coordinates in which fields and form are written in trivializations. In other words, as far as I understand, local gauge transformations = transition functions for trivializations of the principal bundle and the associated bundles.
- Global gauge group $\mathfrak G=Aut(P)$. Is the group of principal bundle diffeomorphisms, and is claimed to be much bigger then $G$.
I would like to understand which notions in physics correspond to these two, apparently very distinct, notions.
First, in physics, there is the notion of global symmetry, as far as I understand this has nothing to do with gauge/bundles. But on the other hand, the limit of a gauge symmetry where the parameter becomes constant is a global symmetry. Typical $U(1)$ example: $\exp(i\alpha(x))$ = $U(1)$ gauge transformation, but if $\alpha(x)=\alpha=const.$, then it is a global symmetry. Is there any deeper connection between global symmetry and gauge "symmetry"/bundles?
Second, I would appreciate some examples which clarify the distinction between local and global gauge groups mentioned above. If, for example we take a prototype $SU(2)$ gauge theory of the form $$ \mathcal L = -\frac{1}{4}(F_{\mu\nu}^a)^2+|(D_\mu\phi)^a|^2-V(\phi) $$ then we can put it in the bundle picture as a $SU(2)$ principal bundle, the fields $A_\mu^a$ living in the associated bundle $$ (P\times\mathfrak su(2))/\{(p,A)\sim(pg,Ad_{g^{-1}}A)\} $$ and the doublet field $\phi$ in fundamental representation of $SU(2)$ living in the associated bundle $$ (P\times\mathbb C^2)/\{(p,\phi)\sim(pg,\rho(g^{-1})\phi)\}. $$ So, the $SU(2)$ group which we are referring to here is what was the local gauge group $G$ above, is this correct? The gauge transformations apply to coordinate versions of the fields in the trivializations of the associated bundles to change between different coordinates.
Now if, this is the case, what is the global gauge group $\mathfrak G$ then? In particular I am seeking the answer for the following questions:
- Do global gauge transformations apply to the model $SU(2)$ theory above?
- In what sense is the global gauge group much bigger then the local gauge group?
- Is there a model example where one can clearly write down the local gauge group and the global gauge group?
- Are there cases where the two groups are the same?
- How does this discussion relate to quantization of classical fields (if it does at all)?
Edit
I'll post here answers to various questions in the comments/answers.
About the definitions I used in my text. I took them from my lecture notes from a course on mathematical gauge theories taught by a mathematician. Although there is no on-line version of this course, I can provide more detailed definitions if needed.
Specifically, concerning the distinction global/local gauge, I have found this piece of information on nLab, which seems to be agreement with my definition: http://ncatlab.org/nlab/show/gauge+group. Although this page provides some explanations, it uses some mathematical terminology which I am not entirely familiar with. The problem both with the nLab page and with the lecture I attended is to make the connection to physics (I am a physicist).
Ok, I'll just write down the definitions from my lecture notes.
Local gauge
Let $P\to M$ a principal $G$-bundle, $\omega$ a connection 1-form on $P$. $U_i, U_j\subset M$ such that $U_i\cap U_j\neq\emptyset$ over which P is trivial: $$ \psi_i:\pi^{-1}(U_i)\to U_i\times G\\ \psi_j:\pi^{-1}(U_j)\to U_j\times G $$ with transition functions $$ \psi_i\circ\psi_j^{-1}:(U_i\cap U_j)\times G\to (U_i\cap U_j)\times G\\ \phantom{\psi_i\circ\psi_j^{-1}:XXX}(m,g)\mapsto (m,\psi_{ij}(m)g) $$ where $\psi_{ij}:U_i\cap U_j\to G$.
Using these trivializations we can construct preferred sections as follows: $$ \sigma_i:U_i\to\pi^{-1}(U_i)\\ \phantom{\sigma_i:x}m\mapsto \psi_i^{-1}(m,e)\,. $$ Define $$ \omega_i:=\sigma_i^*\omega\,, $$ which is a $\mathfrak g$-valued 1-form on $U_i$. Changing between coordinates on $U_i$ and $U_j$ is what is called choice of local gauge. We would like to write down a transformation prescription for $\omega_{i/j}$.
On G we have the canonical 1-form $\theta$ with values in $\mathfrak g$ defined as follows: $$ \theta_g(X_g)=A\in\mathfrak g\quad\text{if }(A^*)_g=X_g $$ where by $A^*$ we mean the fundamental vector field on $G$ corresponding to $A$. One can show that the 1-forms transform in the following way: $$ \omega_j=Ad_{\psi_{ij}}^{-1}\omega_i+\psi_{ij}^*\theta\,. $$ This looks to me like a gauge transformation of guage fields $A=A_\mu dx^\mu$ in physics where we write $$ A'=gAg^{-1}+gdg^{-1} $$ and I even believe that the above transformation for $\omega_j$ can be rewritten as something like this $$ \omega_j=Ad_{\psi_{ij}}^{-1}\omega_i+\psi_{ij}^{-1}d\psi_{ij}\,, $$ Then it looks like the transformation for $A$ with $g=\psi_{ij}^{-1}$.
So much about the local gauge transformation.
Global gauge group
The group of global gauge transformation $\mathfrak G$ is the set of automorphisms of the principal bundle P: $$ \mathfrak G = Aut(P)\,. $$ This must not be confused with the structure group $G$, which is sometimes called gauge group in leterature, but is much smaller.
The (global) gauge group can be described in three ways:
- $\mathfrak G=\{\phi:P\to P|\phi\text{ is a diffeo., }\pi\circ\phi=\pi, \phi(pg)=\phi(p)g\,\forall g\in G\}$
- $\mathfrak G=\{u:P\to G|u\text{ smooth s.t. }u(pg)=g^{-1}u(p)g\,\forall g\in G\}$. Note that $\phi(p)=p\cdot u(p)$.
- $\mathfrak G=\{\text{sections }s:M\to F\}$, where $F=(P\times G)/\sim$ with $(p,h)\sim(pg,g^{-1}pg)\forall g\in G$.
If $\omega$ is a connection 1-form which corresponds to a choice to the horizontal tangent space $H$ on $P$, then $\phi^*\omega$ is also a connection 1-form, defining the pull-back connection $$ (\phi^*H)_p:=(D_p\phi)^{-1}H_{\phi(p)}\quad\Leftrightarrow\quad D_p\phi((\phi^*H)_p):=H_{\phi(p)} $$ We conclude that $\mathfrak G$ acts on connections, but the explicit form of this action if fairly complicated. In contrast, the action of $\mathfrak G$ on the curvature is easy to understand.
From the last equation above we conclude that $\phi$ maps $\phi^*H$ to $H$, and so it maps $\tilde\Omega$, the curvature of $\phi^*H$, to $\Omega$, the curvature of $H$: $$ \phi(\tilde\Omega(X,Y))=\Omega(X,Y)\quad\forall X,Y\in T_mM\,. $$ One can show that the following transformation relation holds: $$ \tilde\Omega=Ad_{u^{-1}}\Omega\,. $$ where $u:P\to G$ is the map from the second definition of $\mathfrak G$ above corresponding to $\phi$.
Two connections $H_1$ and $H_2$ on P are called gauge equivalent if there is a $\phi\in\mathfrak G$ with $\phi^*H_2=H_1$.
One of the things which I am curious about is that from the local gauge transformations the transformation law for the 1-form $\omega$ seems to be what we call the gauge transformation of gauge fields $A$ (see above), but from the global gauge group transformation, the transformation of the curvature is what we see in physics, namely if $F$ is the field strength corresponding to $A$, and $g$ an element of the gauge group then $$ F\to F'=gFg^{-1}\,. $$ Also, as I said at the very beginning, I would like to pin down what these mathematical definitions correspond to in what we learn in physics. In physics, when we discuss a certain gauge theory, there is THE gauge group, such as $U(1)$, $SU(2)$, etc. under which fields transform in certain representations, as well as the gauge fields themselves, which transform in the adjoint representation. Now in mathematics I see the distinction local/global gauge group. The essence of my question is do understand this distinction and to relate it to phyics.