I have the following question. In physics, when one talks about (Yang-Mills) gauge theories, one often states that it is enough to specify the following data:
- The gauge group $G$, which is usually a compact Lie group.
- The field, their potentails as well as the representation under which the fields transform.
As an example, the standard model is a Yang-Mills gauge theory with gauge group
$$G:=\mathrm{SU}(3)\times\mathrm{SU}(2)\times U(1)$$
with three left-handed Weyl fields, which transform in the representation $$(1,\textbf{2},-1/2)\oplus (1,1,1)\oplus (\textbf{3,2},1/6)\oplus (\overline{\textbf{3}},1,-2/3)\oplus(\overline{\textbf{3}},1,1/3)$$ as well as a single complex scalar field transforming in the representation $(1,\textbf{2},-1/2)$.
Now, I would like to ask the following: When when talks about gauge theories in mathematics, one does usually specify more, in particular, one also has to specify the principal bundle. For example, in Yang-Mills theory, we have to specify a principal $G$-bundle $P$. The action is then defined by
$$\mathcal{S}_{\mathrm{YM}}[A]:=\int_{\mathcal{M}}\mathrm{tr}(F^{A}\wedge\ast F^{A}),$$ where $F^{A}\in\Omega^{2}(\mathcal{M},\mathrm{Ad}(P))$ denotes the curvature, which is a $2$-form on the adjoint bundle $\mathrm{Ad}:=P\times_{\mathrm{Ad}}\mathfrak{g}$.
My question:
Why does one never specify the choice of principal bundle? A very similar question arises when discussing Dirac fields, in which, from the mathematical point of view, we have to a priori choose a spin bundle. Why does one nevery talk about these choices? As an example, when discussing the standard model as specifies above, which principal $G$-bundle do we choose? Different choices should lead to different models, right?
EDIT: Of course, when discussing Minkowski space, these choices might not be relevant as every principal bundle is trivial on a contractible space, but it should definitely matter when discussing the standard model on some curved background Lorentzian manifolds $(\mathcal{M},g)$.