We construct general Wigner rotations for both massive and massless particles in $D$-dimensional spacetime. We work out the explicit expressions of these Wigner rotations for arbitrary Lorentz transformations. We study the relation between the electromagnetic gauge invariance and the non-uniqueness of Wigner rotation.
Chen Fa-Min. General Wigner Rotations in D Dimensions[J]. Communications in Theoretical Physics, 2019, 71(5): 519-532. DOI: 10.1088/0253-6102/71/5/519
1 Introduction and Summary
In quantum field theory, one-particle states are classified according to the representations of little groups of the Lorentz group.[1] For a systematic introduction of little groups or Wigner rotations for both massive and massless particles in four-dimensional spacetime, see Ref.[2].
In this paper, we wish to study the Wigner rotations for both massive and massless particles in an arbitrary $D$-dimensional spacetime. We begin by introducing the little groups in $D$-dimensional spacetime. For a chosen “standard" $D$-momentum $k^\nu$,[3] $k^\mu=(0,0,\ldots,0,1)$; For a massless particle, $k^\mu=(0,\ldots,0,1,1)$, with “1" standing for unit energy.the little group or Wigner rotation is defined as $W^\mu{}_\nu k^\nu=k^\mu$, $\mu,\nu=0,1,\ldots, D-1.$ In analogy to the case of $4D$ ,For an arbitrary Lorentz transformation $\Lambda$ and a given momentum $p^\mu$, the little group can be constructed as follows,[2]
Here $L(p)$ is some standard Lorentz transformation, bringing $k^\mu$ to $p^\mu$, i.e. $p^\mu=L^\mu{}_\nu(p)k^\nu$.
In this paper, we work out the explicit expressions of little group elements (1) for both massive and massless particles in $D$-dimensional spacetime.
Our main idea is to use spinor algebra to construct the little groups or Wigner rotations. Generally speaking,the spinor algebra in $D$ dimensions is slightly easier than the tensor algebra. Nevertheless, the spinors can still furnish faithful representations of the little groups; So they can be used to work out (1). The technical details will be introduced in the next section. For the massive particle case, we use two distinct methods to derive the explicit expression for the Wigner rotations; In the special case of $4D$, we provide a third way to work out the explicit expression for the Wigner rotation.
The spinor representation of little group for massless particles is particularly interesting.For instance, in the case of $4D$, the little group is ISO$(2)$, with the rotation generator $J^3$ and two translation generators $T^1$ and $T^2$. If the physical state is a superposition of the eigenvectors of $T^1$ and $T^2$, and if the eigenvalues of $T^1$ and $T^2$ are not zero, the helicity $\sigma$ of a massless particle would have a continuous value without taking account of the topology of the Lorentz group.[2] However, in the spinor realization of ISO$(2)$, the eigenvalues of $A^1\equiv T^1_{\rm S}$ and $A^2\equiv T^2_{\rm S}$ are zero automatically. (Here “S" stands for the spinor representation.) So a continuous value of the helicity $\sigma$ of a massless fermionic particle can be avoided, without even considering the topology of the Lorentz group.
It is obvious for a given Lorentz transformation, the Wigner rotation cannot be uniquely defined.For a fixed “standard" $D$-momentum $k^\mu$, one may choose two different standard Lorentz transformations $L(p)$ and $\tilde L(p)$, in the sense that $L(p)^\mu {}_\nu k^\nu=\tilde L(p)^\mu {}_\nu k^\nu=p^\mu$ but $L(p)\neq\tilde L(p)$. The resulting two Wigner rotations satisfy
where $S(p)\equiv \tilde L^{-1}(p)L(p)$. The above equation may be useful in studying gauge fields: Here $S(p)$ may have a connection with the gauge transformation of U(1) gauge field in $D$ dimensions. As an example, we discuss the relation between the electromagnetic gauge invariance and the non-uniqueness of Wigner rotation in four-dimensional spacetime (see Sec.4).
The results of this paper may be useful in studying theories in the higher dimensions, such as superstring theory or M-theory.
Our paper is organized as follows. In Sec. 2, we work out the Wigner rotations for massive particles in $D$ dimensions, and discuss the special case of $D=4$. In Sec.3, we derive the Wigner rotations for massless particles in $D$ dimensions. In Sec. 4, we investigate the relation between the Wigner rotation and the U(1) or abelian gauge symmetry in $4D$. We summarize our conventions and some useful identities in Appendix A. In Appendix B, we verify that the little group elements for massive particles belong to SO$(D-1)$, and In Appendix C, we verify that some little group elements for massless particles belong to SO$(D-2)$.
2 Wigner Rotations for Massive Particles
2.1 D Dimensions
For a particle of mass $M$ in $D$ dimensions, we choose the standard vector as $k^\mu=(0,0,\ldots,0,M)$. The spinor representation of the “standard boost" can be constructed as follows
Here $\Sigma^{i0}=({1}/{4})[\gamma^0,\gamma^i]$ is the set of boost generators (our conventions are summarized in Appendix A),and $\eta^i$ the set of rapidities; The subscript “S" stands for spinor representation;The relation between $L_{\rm S}(\eta)$ and $L(\eta)$\footnote[4]{In this paper, Lorentz transformations without the subscript “S", such as $L(p)$, $\Lambda$, $R$, and $W(\Lambda,p)$ are in the vector representation.} is the standard one:
where $\gamma\equiv \sqrt{|\vec p|^2/M^2+1}=p^0/M$. We see that $L(\eta)$ or $L(p)$ does carry the $D$-momentum from $k^\mu$ to $p^\mu$. Since now, we do not distinguish $L(\eta)$ and $L(p)$. It can be seen that if $D=4$, the standard boost (6) is exactly the same as the one in Ref. [2].
For a given general Lorentz transformation $\Lambda$, we denote its spinor counterpart as $\Lambda_{\rm S}$;[5]If $D\leq 4$, it is relatively easy to work out the explicit expression of $\Lambda_{\rm S}$ for a given general $\Lambda$. (See Subsec.2.2)} They satisfy the equation
To see this, let us evaluate $\Lambda_{\rm S}L^2_{\rm S}\Lambda_{\rm S}^†$ first. Using Eqs. (5), (9), and $\Lambda_{\rm S}^{-1}=\gamma^0\Lambda_{\rm S}^†(\gamma^0)^{-1}$, we find that
Plugging the above equation into Eq.(18), and using Eq.(16), we find that Eq.(18) is exactly the same as Eq.(17).Plugging Eq.(17) into Eq.(10) gives the spinor representation of the general Wigner rotation for massive particles in $D$ dimension:
We see that once the explicit expression for $\Lambda$ is known, one can calculate $W_j{}^i(\Lambda,p)$ immediately, without having to work out the explicit expression of $\Lambda_{\rm S}$.
Using ${\Lambda}^\mu{}_\rho{\Lambda^\nu}_\sigma\eta^{\rho\sigma}=\eta^{\mu\nu}$ and ${L_\rho }^\mu {L_\sigma}^\nu\eta^{\rho\sigma}=\eta^{\mu\nu}$, it is not difficult to verify that
(For a detailed proof, see Appendix B.) Namely, the little group is indeed SO$(D-1)$. Eqs.(36) are also consistent with the fact that $W^0 {}_i(\Lambda,p)=0$ (see the second line of Eq.(35)). Notice that
which are exactly the same as Eqs.(36) taking account of ${W}^0{}_i(\Lambda,p)=0$.
We now proceed to discuss two important special cases: $\Lambda$ is a general pure boost or a general pure rotation.
If $\Lambda_{\rm S}$ is a pure rotation, i.e., $\Lambda_{\rm S}=R_{\rm S}$, then by (A11), one has $(R^†_{\rm S})^{-1}=R_{\rm S}$. Plugging it into equation (21), and using (5), we are led to
In the last equity, $\cosh(\eta_\Lambda/2)=\cosh(\eta/2)$ can be proved as follows: If $\Lambda=R$, one has $\Lambda_0{}^0=1$ and $\Lambda_0{}^i=0$; Plugging them into the first equation of (16) proves $\cosh(\eta_\Lambda)=\cosh(\eta)$. Using (38), we find that
Namely, ${W_0}{}^i(R,\eta)=0$ and $W_j{}^i(R,\eta)={R_j}{}^i$. That is
$$ W(R,\eta)=R. $$
(One can also prove the above equation by substituting $\Lambda=R$ into Eq.(28).) In other words, if $\Lambda$ is an arbitrary pure rotation $R$, the Wigner rotation $W(R,\eta)$ is exactly the same as $R$, independent of the parameter $\eta$ or momentum $p$. In $4D$, the above important equation is proved by using a different method.[2] We see that in $D$ dimensions, this equation still holds.
However, we have to emphasize that $W(R,\eta)=R$ is due to the particular “standard boost" (6) or (8). If we use another “standard boost"
$\tilde{L}(p)$, satisfying $\tilde L(p)^\mu {}_\nu k^\nu=L(p)^\mu {}_\nu k^\nu=p^\mu$, but $\tilde L(p)\neq L(p)=(8)$, it is possible that $\tilde{W}(R,\eta)\neq R$. This can be seen as follows:According to Eq. (2),
where $S(p)\equiv \tilde L^{-1}(p)L(p)$; Generally speaking, $S(\Lambda p)R$ $S^{-1}(p)\neq R$.
If $\Lambda_{\rm S}$ is a pure boost, i.e., $\Lambda_{\rm S}=L_{\rm S}(\xi)$, then by (A11), we have $L_{\rm S}^†(\xi)=L_{\rm S}(\xi)$ . Plugging this equation into Eq.(21), we obtain
Note that $W_{\rm S}(\xi,\eta)$ is invariant under the discrete transformation $\eta\rightarrow -\xi$ and $\xi\rightarrow\eta$, or $\eta\rightarrow \xi$ and $\xi\rightarrow-\eta$ (see Eq.(43)), i.e.,
is the set of SO$(D-1)$ matrices, defined via Eq. (A7). We see that $W_j{}^i(\xi,\eta)$ is a rotation on the $\eta$-$\xi$ plane, possessing the symmetry property $W_j{}^i(\xi,\eta)=W_j{}^i(\eta,-\xi)=W_j{}^i(-\eta,\xi)$.The explicit expression of $W_j{}^i(\xi,\eta)$ can be worked out by either plugging (44) into (46), or expanding (47) directly:
where $\hat{\eta}^{(i}\hat{\xi}^{j)}=(\hat\eta^i\hat\xi^j+\hat\eta^j\hat\xi^i)/2$ and $\hat{\eta}^{[i}\hat{\xi}^{j]}=(\hat\eta^i\hat\xi^j-\hat\eta^j\hat\xi^i)/2$. In deriving (49), we have used (44). The Wigner rotation (49) can be also worked out by substituting the pure boost $\Lambda=L(\xi)$ into the general Wigner rotation (28).
2.2 4 Dimensions
For four dimensional spacetime, the Lorentz group ${\rm SO}(3,1)={\rm SU}(2)\times {\rm SU}(2)$. %$SO(3,1)$ is the same as $ SU(2)\times SU(2)$.Since the irreducible representation of SU$(2)$ is well known, it is possible to work out the explicit expressions for the irreducible unitary representations of any dimensionality of the little group $W(\Lambda, \eta)$ (see (83)).
Our first goal is to work out the explicit expression of the spinor representation of the little group (21). We begin by calculating the general Lorentz transformation in spinor space
where $\gamma_5$ is defined as $\gamma_5\equiv\gamma_0\gamma_1\gamma_2\gamma_3$, or $\gamma_5={({1}/{4!})}\varepsilon_{\mu\nu\rho\sigma}$ $\times\gamma^{\mu}\gamma^\nu\gamma^\rho\gamma^{\sigma}$.Using the above equations, it is not difficult to work out $\Lambda_{\rm S}$,
The standard Lorentz transformation (6) can be also derived using $L_\mu{}^\nu(\eta)={\big(L_{-}L_{+}\big)_\mu} {}^\nu(\eta)$ and (63). The vector counterpart of $\Lambda_{\rm S}$ is given by
where the new parameters $\hat\alpha_{\pm\mu\nu}=\hat\alpha_{\pm\mu\nu}(\omega,\eta)$ and $\alpha_{\pm}=\alpha_{\pm}(\omega,\eta)$ are functions of $\omega_{\mu\nu}$ and $\eta_i$, to be determined later. The definitions and properties of $\hat\alpha_{\pm\mu\nu}$ and $\alpha_{\pm}$ are similar to that of $\hat\omega_{\pm\mu\nu}$ and $\omega_{\pm}$ (see Eqs.(52), (54), and (57)).
Inserting Eq.(69) into the first equation of (67),
We now must determine the relations of $\alpha_{\pm\mu\nu}$ between $\omega_{\pm\mu\nu}$ and $\eta_{i}$.According to Eq.(61), the vector representations of $\Lambda_{\pm}L_{\pm}(\eta)$ are given by
where $\hat\omega_{\pm}\cdot\hat\eta\equiv \hat\omega_{\pm i0}\hat\eta_i$ and $(\hat\omega_{\pm}\times\hat\eta)_i=\varepsilon_{ijk}\omega_{\pm j0}\hat\eta_k$. Using the above two equations, all terms in the numerator of Eq.(70) can be expressed in terms of $\omega_{\pm\mu\nu}$ and $\eta_{i}$.
Using Eqs.(72) and (73), we see that Eq.(70) also takes the following form:
In Eqs.(77) and (78), the set of parameters $\eta^i$ is related to the momentum $\vec p$ and mass $M$ via (7), and the relation between ${\Lambda_\mu}{}^\nu$ and $\omega_{\mu\nu}$ is given by (64).
Note that Eq.(76) provides a third way to construct the vector representation of the little group (28) in four-dimensional spacetime. Since now $\cos{\Theta}/{2}$ and $\sin({\Theta}/{2})\hat\Theta_i$ have been worked out completely, it is not difficult to complete the calculation
which is exactly the same as (28) or (29), with $i,j=1, 2, 3$.
The Wigner rotation in any irreducible representation can be constructed by replacing $\tau_i\rightarrow -{\rm i}J_i$ in the right-hand side of the first equity of Eq.(79):
where $m', m=j, j-1,\ldots,-(j-1),-j$. The Wigner's formula for d-function may be useful in calculating $W^{(j)}_{m'm}(\Lambda,\eta)$. For instance, in the special case of $\hat\Theta_k=\hat y$ or $\Theta\hat\Theta_kJ^{(j)}_k =\Theta J^{(j)}_2$, Eq.(81) is nothing but the the Wigner's d-function:[3]
Here ${\Lambda_\mu}{}^\nu$ is an arbitrary Lorentz transformation, and $L(p)$ or $L(\eta)$ carries the standard $D$-momentum $k^\mu=(0,0,\ldots,0,M)$ to $p^\mu$, i.e. $L^\mu {}_\nu(\eta)k^\nu=p^\mu$, with $p^\mu$ the $D$-momentum of the particle of mass $M$. The explicit expressions of $L(p)$ and $L(\eta)$ are given by Eqs.(6)-(8).And $\Lambda_{\rm S}$ and $ L_{\rm S}(\eta)$ are spinor counterparts of ${\Lambda_{\mu}}^\nu$ and ${L_\mu}^\nu(\eta)$, respectively. The explicit expression for $L_{\rm S}(\eta)$ is given by (5).
3 Wigner Rotations for Massless Particles Secmassless
3.1 D Dimensions
We now turn to the case of massless particles in $D$ dimensions. We define the standard $D$-vector of energy $\kappa$ as
$$ k^\mu=(0,0,\ldots, \kappa, \kappa). $$
We see that $k_\mu\gamma^\mu=\kappa(-\gamma^0+\gamma^{D-1})$.It is therefore more convenient to work in the light-cone coordinates (our conventions are summarized in Appendix A),
The little group $W^\mu {}_\nu$ preserves $k^\mu$, in the sense that $W^\mu {}_\nu k^\nu=k^\mu$. In the spinor space, this is equivalent to require that
$$ W_{\rm S}\gamma^-W_{\rm S}^{-1}=\gamma^-, $$
where $W_{\rm S}$ is spinor representation of the little group.
We define the “standard Lorentz transformation" in spinor space as follows
where the set of generators is $(\Sigma^{+a},\Sigma^{+-})$, $a=1,\ldots,D-2$,with $\Sigma^{+a}=({1}/{\sqrt2})(\Sigma^{0a}+\Sigma^{D-1,a})$ and $\Sigma^{+-}=\Sigma^{0,D-1}$,and the parameters are defined as\footnote[6]{For a massless particle of unit energy,$k_-=\sqrt2\kappa=\sqrt2$.} with $\kappa=1$ the unit energy.
Here $\tau^{+a}=({1}/{\sqrt2})(\tau^{0a}+\tau^{D-1,a})$ and $\tau^{+-}=\tau^{0,D-1}$. The matrix elements of $\tau^{\mu\nu}$ are defined as ${(\tau^{\mu\nu})_\sigma}{}^\rho=d^\mu_\sigma\eta^{\nu\rho}-d^\nu_\sigma\eta^{\mu\rho}$ (see Eq.(A9)). The matrix elements of $L(\lambda)$ can be either read off from (92) or calculated directly using (93): In the lightcone coordinate system, they are given by
where the set of parameters $\lambda_\Lambda$ is defined such that $L(\lambda_\Lambda)$ transforms $k^\mu$ into $\Lambda^\mu {}_\nu p^\nu\equiv(\Lambda p)^\mu$, i.e.,
In calculating Eqs.(102), we have used Eqs.(94) and (97).(The relation between the standard Lorentz transformation $L(\lambda)$ and the momentum $p^\mu$ is given by Eq.(94).)
where $L(p)$ is defined by Eq.(94).Note that the matrix elements in Eqs.(104) are \emph{not} independent quantities, in the sense that they can be expressed in terms of the other matrix elements by using the Lorentz transformation
which is exactly the same as the last equation of Eq.(104). On the other hand,the elements in Eq. (100) are either $0$ or $1$, so the only “non-trivial" elements are ${W_+}{}^a(\Lambda,\lambda)$ and ${W_b}{}^a(\Lambda,\lambda)$.
Here is another way to calculate the little group element ${W_\mu}^\nu(\Lambda,\lambda)$.First, one can obtain ${L_\mu}^\nu(\lambda_\Lambda)$ by replacing $p^\mu\rightarrow(\Lambda p)^\mu$ and $\lambda\rightarrow \lambda_\Lambda$ in Eq.(94),
Second, using the fundamental conditions $L_\mu{}^\rho(\lambda_\Lambda)L_\mu{}^\sigma$ $(\lambda_\Lambda)\eta_{\rho\sigma}=\eta_{\mu\nu}$, it is not difficult to determine the inverse of $L_\mu{}^\nu(\lambda_\Lambda)$,
(For a detailed proof, see Appendix C.) So $W_b{}^a(\Lambda,\lambda)$ must be the elements of the SO$(D-2)$ subgroup. Hence the group elements $W_b{}^a(\Lambda,\lambda)$ are the most important result of this section. Eq.(112) also follows from
with ${(\tau^{cd})_a}{}^b=d^c_ad^{db}-d^d_ad^{cb}$.
It is interesting to note that in our construction, the spinor representation matrices of the translation operators $A^a$ satisfy
$$ (A^a)^2=0,\quad\rm (no\ sum) $$
where we have used Eq. (A19). So the eigenvalues of $A^a$ are \emph{zero} automatically, without even considering the topology of the Lorentz group.[2] %However, if the translation operators are not in the spinor representation, their eigenvalues are not necessarily zero; For instance, the eigenvalues of $(\tau^{-a})_\mu^\nu$ (the vector representation of the translation operators) are $not$ zero.
Equation (118) suggests that the general representation of the little group takes the form
with $T_{(R)}^a$ and $J_{(R)}^{cd}$ furnishing a representation $R$ of the generators of the ISO$(D-2)$ group. However, to avoid continuous degree of freedom of massless particles, we require that the physical states are eigenstates of $T_{(R)}^a$, but all eigenvalues are zero.[2]
3.2 Summary of This Section
In $D$ dimensions, the vector representation of the SO$(D-2)$ part of the Wigner little group ISO$(D-2)$ is given by
Here ${\Lambda_\mu}^\nu$ is an arbitrary Lorentz transformation, and the “standard Lorentz transformation" $L(\lambda)$ carries the standard $D$-momentum $k^\mu=(0,\ldots,0,\kappa,\kappa)$ to $p^\mu$, i.e. $L^\mu {}_\nu(\lambda)k^\nu=p^\mu$, with $p^\mu$ the $D$-momentum of any massless particle. The matrix $L_\mu{}^\nu(\lambda)$ is defined by Eq.(94).
The general representation of the little group for massless particles is given by Eq.(121), where the parameters $\Theta_{cd}$ and $a^a$ defined by (119) and (116), respectively.
4 Applications to Gauge Theory in 4D
In this section, we discuss the applications of Wigner rotation to the 4D gauge theory. We begin by constructing the Wigner rotation for massless particles such as photons.In $4D$, it is relatively easier to determine the angle of Wigner rotation $\Theta(\Lambda,\lambda)$,
This $\tilde L(p)$ is adopted from the textbook,[2] but rewritten in terms of our notation. It can be seen that $\tilde L(p)^\mu {}_\nu k^\nu=L(p)^\mu {}_\nu k^\nu=p^\mu$ but $\tilde L(p)\neq L(p)$. (Our $L(p)$ is defined by Eqs.(93) and (91)) Now the “new" little group reads
In deriving Eq.(133), we have used the definition $\tilde a^a(\Lambda,p)$ $=-\tilde {W_a}^+(\Lambda,p)$.Equations (132) and (133) also hold in $D$-dimensions.
We now would like to work out $\tilde{W}_b{}^a(\Lambda,p)$ ($a, b=1,2$). Inserting Eq. (127) into Eq. (126),
a direct calculation gives $\tilde L^\mu {}_\nu(p)$: (We set $\kappa=1$)
where $\varepsilon_{ab}=-\varepsilon_{ba}$ and $\varepsilon_{12}=1$,and $i=1,2,3$. One can obtain $\tilde L^\mu {}_\nu(\Lambda p)$ from the above equation by simply replacing $p^\mu$ by $(\Lambda p)^\mu$. The inverse transformation matrix $(\tilde L^{-1})^\mu {}_\nu(p_\Lambda)$ can be calculated by using the equation $(\tilde L^{-1})^\mu {}_\nu(p_\Lambda)=\eta^{\mu\rho} \eta_{\nu\sigma}\tilde L^\sigma {}_\rho(p_\Lambda)$; Its expression is
where the unit vector $\tilde p^i=p^i/|\vec p|$ is the direction of the momentum $\vec p$,and $\tilde pl^i$ has a similar definition. Since $\tilde w^a{}_b(\Lambda,p)$ is an SO$(2)$ matrix,we have $\tilde w^2 {}_2(\Lambda,p)=\tilde w^1 {}_1(\Lambda,p)$ and $\tilde w^2 {}_1(\Lambda,p)=-\tilde w^1 {}_2(\Lambda,p)$.
Similarly, using Eqs.(134), (135), and (136), the translation part of ISO$(2)$
(see Eq.(116)) can be worked out, as well. However, since we do not need the explicit expression for $\tilde a^a(\Lambda,p)$, we do not present it here.
It is interesting to verify Eqs.(132) and (133). One can calculate $S(p)=\tilde L^{-1}(p)L(p)$ using the definition of $L(p)$ (94) and $(\tilde L^{-1})^\mu {}_\nu(p)=\eta^{\mu\rho}\eta_{\nu\sigma} \tilde L^\sigma {}_\rho(p)$, with $\tilde L^\sigma {}_\rho (p)$ defined by (134).And $S^{-1}(\Lambda p)=L^{-1}(\Lambda p)\Lambda l(\Lambda p)$ can be calculated in a similar way. We have verified Eqs.(132) and (133) in the case of infinitesimal Lorentz transformation
We now apply our results to the U(1) gauge theory in $4D$.In the interaction picture, the physical or on-shell gauge field\footnote[7]{That is, the gauge field of helicity $\pm1$ satisfies the equation of motion $\partial^\nu\partial_\nu A_\mu(x)=0$.} in $4D$ takes the form (see Chapter 5 of Ref.[2])
Here the polarization vector $e^{\mu}(\vec p,\sigma)=L(p)^\mu {}_\nu e^\mu(\vec k,\sigma)$,with the standard Lorentz transformation $L(p)^\mu {}_\nu$ defined by Eq.(94).Following the convention of Ref.[2], we specify the polarization vectors as
where $(\tau^{-a})^\mu {}_\nu=({1}/{\sqrt2})(-\tau^{0a}+\tau^{3a})^\mu {}_\nu$, $(\tau^3)^\mu {}_\nu=(\tau^{12})^\mu {}_\nu$, and $(\tau^{\rho\sigma})^\mu {}_\nu=\eta^{\rho\mu}d^\sigma_\nu-\eta^{\sigma\mu}d^\rho_\nu$. From now on, the letter $a$ will be reserved for the creation and annihilation operators, and following the convention of Ref.[2], we will denote the translation parameters of ISO$(2)$ as $\alpha$ and $b$, namely,
The second term of the right hand side of Eq.(149) is a typical gauge transformation:It is this sense that the generators $T^1$ and $T^2$\footnote[8]{In Chapter 2 of Ref.[2],the generators $T^1$ and $T^2$ are denoted as $A$ and $B$, respectively.}of the translation
part of the little group ISO$(2)$ generate the gauge transformation.[2] On the other hand,if we calculate everything using
in stead of $W(\Lambda,p)$ (see Eq.(142)),the angle $\Theta$ in Eqs.(144) and (145) must be replaced by $\tilde\Theta$, and $\alpha$ and $b$ in Eq.(150) must be replaced by $\tilde\alpha$ and $\tilde \beta$. (One can transform the set of parameters $(\alpha,b,\Theta)$ into $(\tilde\alpha,\tilde \beta,\tilde\Theta)$ by using Eqs.(132) and (133).) After making these replacements, the only change in Eq.(149) is that $\Omega(x,\Lambda)$ gets replaced by
This is the result calculated by using Eq.(151).We see that Eqs.(149) and (154) are only up to a gauge transformation, which is due to the \emph{difference} between two “standard Lorentz transformation", defined by Eq.(130). Or in other words, two different “standard Lorentz transformations" can generate a gauge transformation.
However, no matter that we apply (149) or (154) to the gauge field, the field strength $F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu$ transforms like a true tensor under arbitrary Lorentz transformations, i.e.,
even we choose two different “standard Lorentz transformations". But one cannot construct an interesting gauge theory such as quantum electrodynamics using $F_{\mu\nu}$ alone.[2] In order to construct an interesting theory, one must introduce a conserved current $J^\mu$ into the theory,[2] and allow the gauge field $A_\mu$ to couple it as follows
$$ J^\mu A_\mu. $$
Here $J_\mu$ is conserved in the sense that
$$ \partial_\mu J^\mu=0, $$
and under a Lorentz transformation, it transforms as
In the second line, we have used $\Lambda_\rho {}^\mu \partial_\mu J^\rho(\Lambda x)=\partial'_\rho J^\rho(x')= 0$ to rewrite the second term as a total derivative, where ${x'}^{\rho}=(\Lambda x)^\rho$. According to the action principle, the total derivative term does not affect the equations of motion, so the theory is Lorentz invariant.
Let us consider an explicit example. We introduce a physical spin $1/2$ field $\psi(x)$ into the theory and construct the following current
where $e$ the is the U(1) charge, such as the electric charge, and $\bar\psi(x)\equiv {\rm i}\psi^†(x)\gamma^0$. Using the Dirac equation
$$ (\gamma^\mu\partial_\mu+m)\psi(x)=0, $$
where $m$ is the mass of the spin $1/2$ particle, it is easy to verify that $\partial_\mu J^\mu=0$. The field $\psi(x)$ has the Lorentz transformation law[2]
is invariant under the Lorentz transformations (149) and (162), or (154) and (162); And the action is also invariant under the gauge transformations
$$ d A_\mu(x)=\partial_\mu∈(x),\quad\quad d \psi(x)={\rm i}e∈(x)\psi(x). $$
Here $∈(x)$, depending on $x^\mu$, is the parameter of U(1) gauge transformation. It would be interesting to study the relation between the Wigner rotation and gauge invariance for theories in the higher dimensional spacetime ($D>4$).
Appendix A: Conventions and Useful Identi-ties
In this appendix, we introduce our conventions for the gamma matrices and Clifford algebra of SO$(D-1,1)$, and Lorentz transformations. The set of gamma matrices satisfy
$$ \{\gamma_\mu,\gamma_\nu\}=2\eta_{\mu\nu}, $$
where $\eta_{00}=-1$ and $\eta_{ij}=d_{ij}$. We will use $\eta^{\mu\nu}$ ($\eta_{\mu\nu}$) to raise (lower) indices. For instance, $\gamma^\mu=\eta^{\mu\nu}\gamma_\nu$. The gamma matrices obey the reality conditions
where $\gamma^{\mu\nu\rho\sigma}\equiv\gamma^{[\mu} \gamma^\nu\gamma^\rho\gamma^{\sigma]} =({1}/{4!})(\gamma^{\mu}\gamma^\nu \gamma^\rho\gamma^{\sigma}+{\rm permuta}$- ${\rm tions})$, and
where $\omega_{i0}$ is the set of rapidities. %In this paper, we will choose $L_{\rm S}$ as the “standard boost" for constructing Wigner rotations for massive (fermionic) particles.
To describe massless particles, it is more convenient to introduce the light-cone coordinates in $D$-dimensional spacetime
$$ x^{\pm}=\frac{1}{\sqrt 2}(\pm x^0+x^{D-1}), $$
and the transverse space-like coordinates $x^a$, $a=1, 2,\ldots,$ $D-2$.
to prove (A34), where we have written $[\Lambda L(p)]_\mu{}^\nu$ as $(\Lambda L)_\mu{}^\nu$.Plugging the second line of the second equation of (102) into the left-hand side of (A34),
S.Weinberg , “The Quantum Theory of Fields," Vol. 1,Cambridge University Press,New York( 1995).
[3]
E. P.Wigner , “Gruppentheorie und ihre Anwendungen auf dieQuantenmechanik der Atomspektren", Braunschweig, Vieweg Verlag( 1931), Translated into English by J. J. Griffin,“Group Theory and Its Application to the Quantum Mechanics of Atomic Spectra", Academic Press, New York (1959).