Currently I study the mathematical formulation of the (classical) standard model of particle physics using the language of gauge theory and spin geometry. One of the central objects in the standard model are "charged spinors", which are fermionic particles, which transform under a non-trivial representation. Now, the point is that I stumbled over two appearently different definitions and I would like to know if they are somehow related.


To fix notation, let us take a (suffiently nice) pseudo-Riemannian manifold $(\mathcal{M},g)$ with signature $(s,t)$ and a principal $G$-bundle $P\stackrel{\pi}{\to}\mathcal{M}$. Furthermore, let $\mathrm{Spin}(\mathcal{M})$ be a spin-structure on $\mathcal{M}$ and $(\rho,V)$ be a finite-dimensional representation of $G$.


1. The first definition seems to be a little bit more standard in the mathematical literature. It is for example used in the textbook "*Mathematical Gauge Theory*" by M. J. D. Hamilton from Springer. First of all, consider the spinor bundle
$$S:=\mathrm{Spin}(\mathcal{M})\times\_{\kappa}\Delta\_{n},$$
where $(\kappa,\Delta\_{n})$ denotes the spinor representation of $\mathrm{Spin}(s,t)$ (the vector space $\Delta\_{n}$ is $\Delta\_{n}\cong\mathbb{C}^{N}$ where $N=2^{n/2}$ if $n$ is even and $N=2^{(n-1)/2}$ otherwise). Then, a "*charged spinor*" is defined to be a section of the twisted bundle
$$E\otimes S,$$
where $E$ denotes the associated vector bundle $E:=P\times\_{\rho}V$.
2. The second definition is used in [nlab](https://ncatlab.org/nlab/show/The+Dirac+Electron) and also in the book "*Gauge Theory and Variational Principles*" from D. Bleecker. Here, one defines first of all the concept of "bundle splicing": Take two principal bundles $P\_{i}\stackrel{\pi\_{i}}{\to}\mathcal{M}$ with structure group $G\_{i}$ for $i\in\{1,2\}$. Then, the fibre product $P\_{1}\times\_{\mathcal{M}}P\_{2}$ is a principal $(G\_{1}\times G\_{2})$-bundle denoted by $P\_{1}\circ P\_{2}$. Now, take a representation $R:\mathrm{Spin}(s,t)\to\mathrm{Aut}(V)$, which commutes with $\rho$. Then, one defines "*charged spinors*" to be sections of
$$(\mathrm{Spin}(\mathcal{M})\circ P)\times\_{(R\times\rho)}V$$.


So, is there any relations between the two? I expect that there should be one, since in the end both of them are used to model the same physical object. However, I cannot see how they are related. If they are different, is one of them more general in some sense?



Different definitions of "charged spinors": "bundle splicing" vs. "twisted spinor bundles"
I'll assume that the vector space "$V$" occuring in constructions (1) and (2) doesn't have to be the same. In that case I'll rename vector space in construction (2) to "$W$."


Then I claim that construction (1) is a special case of construction (2) with $W=V\otimes\Delta\_n$. That follows from the general fact that if $V\_1$ and $V\_2$ are representations of $G\_1$ and $G\_2$, and $P\_1$ and $P\_2$ are $G\_1$- and $G\_2$-principal bundles over $M$, then the tensor product of the vector bundles $P\_1\times\_{G\_1}V\_1$ and $P\_2\times\_{G\_2}V\_2$ is isomorphic to $(P\_1\circ P\_2)\times\_{(G\_1\times G\_2)}(V\_1\otimes V\_2)$.


I think the easiest way to see that is to use classifying spaces. Then the bundle $P\_i$ are maps $f\_i:M\rightarrow BG\_i$, the representations determine maps $\rho\_i:BG\_i\rightarrow B\text{Aut}(V\_i)$, the bundle $P\_1\circ P\_2$ is the map $M\xrightarrow{\text{diag}} M\times M\xrightarrow{f\_1\times f\_2}BG\_1\times BG\_2$, the vector bundle $P\_i\times\_{G\_i}V\_i$ is the map $M\xrightarrow{f\_i} BG\_i\xrightarrow{\rho\_i}B\text{Aut}(V\_i)$, and we find that the vector bundles we're trying to compare are both given by the map
$$M\xrightarrow{\text{diag}} M\times M\xrightarrow{f\_1\times f\_2}BG\_1\times BG\_2\xrightarrow{\rho\_1\times\rho\_2}B\text{Aut}(V\_1)\times B\text{Aut}(V\_2)\rightarrow B\text{Aut}(V\_1\otimes V\_2)$$


