Codex @codex  0

Lorentz generators produce infinitesimal Lorentz transformations. In four dimensions they split into three rotation and three boost generators. Their action on supercharges uses the appropriate spinor representation, while their action on translations is the mixed Poincare algebra commutator. Signs in component formulas must agree with whether the generators act on states, operator columns or dual rows.

For a standard null momentum $(E,0,0,E)$ in signature $(+---)$, define $K_i=M^{0i}$ and $J_i={ϵ}_{ijk}{M}^{jk}/2$. The stabilizing generators are $J_3,N_1,N_2$. The Poincare algebra gives $[J_3,N_1]=i{N}_2$, $[J_3,N_2]=-i{N}_1$ and $[N_1,N_2]=0$, the Lie algebra of planar Euclidean motions. Evaluating the Pauli-Lubanski pseudovector gives $W^2=-E^2(N_1^2+N_2^2)$.

Work with metric $\eta =\mathrm{diag}(1,-1,-1,-1)$, ${\sigma }^{\mu }=(I,\mathbf{\sigma })$ and ${\bar{\sigma }}^{\mu }=(I,-\mathbf{\sigma })$, where $\mathbf{\sigma }$ are the Pauli matrices. The supercharges of four-dimensional N=1 supersymmetry form one Weyl spinor $Q_{\alpha }$ and its conjugate ${\bar{Q}}_{\dot{\alpha }}$. Dotted and undotted indices cannot be interchanged; the conjugate charge in the printed mixed relation has a dotted index.

A direct derivation starts from superspace coordinates $x^{\mu },{\theta }^{\alpha },{\bar{\theta }}^{\dot{\alpha }}$, with the four odd coordinates generating a Grassmann algebra. Use left Grassmann derivatives, soOdd derivatives anticommute with one another, and multiplication by distinct odd coordinates also anticommutes. The operators specified by the question can be writtenTheir coefficients do not depend on $x$, hence $[{\mathcal{Q}}_{\alpha },{\mathcal{P}}_{\mu }]=[{\bar{\mathcal{Q}}}_{\dot{\alpha }},{\mathcal{P}}_{\mu }]=0$. Within $\{{\mathcal{Q}}_{\alpha },{\mathcal{Q}}_{\beta }\}$, the two odd derivative terms anticommute; the derivatives of the barred-coordinate coefficients vanish; and the two barred-coordinate multiplication terms cancel because the coordinates anticommute while the spacetime derivatives commute. ThusThis realizes the minimal algebra with no extra tensorial charges.

For the mixed anticommutator, split each operator into its odd derivative and odd-coordinate parts. The derivative/derivative anticommutator is zero. The coordinate/coordinate terms also cancel, since $\theta \bar{\theta }=-\bar{\theta }\theta$. The two remaining pieces areAdding gives the superspace differential realization of N=1 supercharges:In particular the differentiated-coordinate contributions have the same sign, not opposite signs. The graded product rule is the essential step; treating these as ordinary commuting-coordinate derivatives would give an incorrect algebra.

To obtain the Lorentz part, let $x$ transform as a four-vector and $\theta ,\bar{\theta }$ in conjugate spinor representations. DefineThe Pauli matrix multiplication law gives the intertwining identityIt shows that the two terms in ${\mathcal{Q}}_{\alpha }$ transform together as a covariant Weyl spinor: the coordinate derivative transforms in the dual spinor representation, while the barred-coordinate/spacetime-derivative term transforms in that same representation through this identity. Infinitesimally, with $U=\exp [-\frac{i}{2}{\omega }_{\mu \nu }{M}^{\mu \nu }]$, its transformation is $U{Q}_{\alpha }{U}^{-1}=Q_{\alpha }-\frac{1}{2}{\omega }_{\mu \nu }({\Sigma }^{\mu \nu }{)}_{\alpha }{}^{\beta }{Q}_{\beta }$. Comparing with the first-order expansion of $U$ givesIf the paper's spin matrix is denoted ${\sigma }^{\mu \nu }=i{\Sigma }^{\mu \nu }$, this is exactly its first displayed relation. Defining that spin matrix without the factor $i$ instead requires an explicit $i$ in the commutator; this is a generator convention, not a different algebra. The conjugate relation follows by Hermitian conjugation.

Combining the Lorentz transformation with the differential computations gives the Super-Poincaré algebra in the question's notation:The even generators retain the ordinary Poincare algebra. As a closure check, the even superspace variation $\delta =i(ϵ\mathcal{Q}-\overline{ϵ}\bar{\mathcal{Q}})$ gives $\delta \theta =ϵ$, $\delta \bar{\theta }=\overline{ϵ}$ and $\delta x^{\mu }=i\theta {\sigma }^{\mu }\overline{ϵ}-iϵ{\sigma }^{\mu }\bar{\theta }$. Two such variations commute to a translation by $2i({ϵ}_1{\sigma }^{\mu }{\overline{ϵ}}_2-{ϵ}_2{\sigma }^{\mu }{\overline{ϵ}}_1)$, with zero commutator on the odd coordinates, reproducing the same normalization and showing why the anticommutator produces momentum.

Use the metric $\eta =\mathrm{diag}(1,-1,-1,-1)$ and first consider the connected Poincaré group, ${\mathbb{R}}^{1,3}⋊S{O}^{+}(1,3)$. Physical half-integer spins require unitary representations of its double cover ${\mathbb{R}}^{1,3}⋊SL(2,\mathbb{C})$; genuine representations of the group without this cover permit only integer spin. Write $P^{\mu }=d(P^{\mu })$ and $M^{\mu \nu }=d(M^{\mu \nu })$. Strong continuity gives self-adjoint generators, with commutators understood on a common invariant dense domain.

The commuting translation generators have a joint spectral resolution. Lorentz transformations carry the spectral four-momentum $p$ to $\Lambda p$, so an irreducible representation has its momentum spectral measure concentrated on a single Lorentz orbit. For positive-energy particles the orbits of interest are the future mass shells $p^2=m^2>0$, or $p^2=0$ with $p\ne 0$ and $p^0>0$. The zero-momentum orbit and spacelike or negative-energy orbits are outside these two particle cases.

Choose ${ϵ}^{0123}=1$ and define the Pauli-Lubanski pseudovector with the overall sign conventionThis sign makes the spatial rest-frame vector equal to $m\mathbf{J}$. The generators' Hermiticity and the antisymmetric epsilon contraction make $W^{\mu }$ Hermitian: the ordering correction from commuting $P$ through $M$ contracts metric tensors into epsilon and vanishes. The same antisymmetry proves Pauli-Lubanski orthogonality, $W^{\mu }{P}_{\mu }=0$.

The assumed commutators say that $P^{\mu }$ and $W^{\mu }$ transform as four-vectors and that $W$ commutes with all translations. Consequentlycommute with the entire Poincare algebra. For instance the two terms in the Lorentz commutator with a contracted vector square cancel. The Casimir operators therefore have fixed spectral values in a unitary irreducible representation, by the Schur lemma applied to their spectral projections. A second ingredient, the little group, distinguishes the internal states.

Fix a standard momentum $k$ on the orbit. Its little group is the subgroup of Lorentz transformations leaving $k$ fixed. Choose $L(p)$ with $L(p)k=p$. A Lorentz transformation acts on the internal fibre by the Wigner rotationIf $d_K$ is a unitary irreducible representation of this stabilizer, the induced representation acts on wavefunctions asThe measure $d^{3}p/(2p^0)$ on either future mass shell is Lorentz invariant, so this action is unitary. The identityproves the group multiplication law. Conversely, covariance of the translation spectral resolution supplies precisely these fibres and their stabilizer action. A commuting operator acts fibrewise; transitivity relates its fibre values, and irreducibility of $d_K$ makes it scalar. This explains why the construction gives, and classifies, the unitary irreducible representations on each orbit.

For a timelike momentum choose $k=(m,0,0,0)$. A Lorentz transformation fixing it acts only as a rotation of its spatial orthogonal complement, so the massive particle little group is $SO(3)$, or $SU(2)$ in the double cover. PutThe Poincare algebra gives $[J_i,J_j]=i{ϵ}_{ijk}{J}_k$. The unitary irreducible representations of $SU(2)$ are labelled by $j=0,\frac{1}{2},1,\dots$, with ${\mathbf{J}}^2=j(j+1)$ and $J_3$ eigenvalues $-j,-j+1,\dots ,j$. Evaluation of the Pauli-Lubanski pseudovector at $k$ gives $W^0=0$, $\mathbf{W}=m\mathbf{J}$. Thus the massive Pauli-Lubanski Casimir and particle labels areThe full massive induced representation of the Poincare double cover is infinite-dimensional because momentum ranges continuously over the orbit; its finite internal multiplicity is $2j+1$.

For a null momentum choose $k=(E,0,0,E)$ with $E>0$. The infinitesimal stabilizer generators areTheir commutators with momentum, evaluated at $k$, vanish. From the rotation and boost commutators of the Poincare algebra one obtainsThese are the massless little-group generators of $ISO(2)$: a planar rotation and two commuting null rotations, which act like translations in the little-group algebra. Hence the massless particle little group is the Euclidean plane group, with the appropriate double cover for half-integer spin.

The definition of $W$ gives $W^0=\mathbf{P}\cdot \mathbf{J}$ and $\mathbf{W}=P^0\mathbf{J}-\mathbf{P}\times \mathbf{K}$. At the standard null momentum,Suppose the little-group representation has finite dimension, as for particles with finitely many polarizations. The commuting Hermitian $N_1,N_2$ have a finite joint spectrum. Conjugation by $e^{-i\varphi R}$ rotates this spectrum through every planar angle. The only finite set invariant under all these rotations is the origin. Thus both $N_i$ vanish, proving that finite-dimensional unitary representations of the massless little group have trivial translations. Irreducibility then leaves a one-dimensional rotation character, $R=hI$. The massless longitudinal Pauli-Lubanski eigenvalues arefor the double cover, with $h\in \mathbb{Z}$ for a genuine $SO(2)$ character. The number $h$ is helicity. Different helicities have the same two Casimir eigenvalues, so the little group is indispensable for the classification. A connected-group irreducible representation has one helicity; if parity is also implemented, it exchanges $h$ and $-h$ and normally requires their pair.

Unitarity alone also permits nontrivial null-rotation generators. The rotation-invariant operator $N_1^2+N_2^2$ is scalar in an irreducible little-group representation; if it has value $(\rho /E{)}^2>0$, one obtains a continuous-spin representation. A concrete realization on angular wavefunctions isThese operators satisfy the same commutators. Periodic or antiperiodic angular wavefunctions give integer or half-integer rotation modes, and the translation generators connect infinitely many such modes. The invariant labels areThese are the additional infinite-polarization massless unitary irreducible representations. Restricting to finitely many particle polarizations excludes them; they must not be ruled out merely by assuming unitarity. This completes the timelike and null cases of the Wigner classification.

Use ${\eta }_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, ${\sigma }^{\mu }=(I,\mathbf{\sigma })$ and ${\bar{\sigma }}^{\mu }=(I,-\mathbf{\sigma })$, where $\mathbf{\sigma }$ are the Pauli matrices. The translation and Lorentz generators obey the Poincare algebraOne can derive the additional relations by realizing the supercharges as differential operators on superspace. With left Grassmann derivatives and $P_{\mu }=i{\partial }_{\mu }$, takeUsing $\{{\partial }_{{\theta }^{\alpha }},{\theta }^{\beta }\}={\delta }_{\alpha }{}^{\beta }$, the two mixed derivative-coordinate terms each give $i{\sigma }_{\alpha \dot{\beta }}^{\mu }{\partial }_{\mu }$. The remaining terms cancel by Grassmann anticommutation. Equal-chirality terms cancel in the same way. HenceAll coefficients are independent of $x$, so direct differentiation gives $[P_{\mu },Q_{\alpha }]=[P_{\mu },{\bar{Q}}_{\dot{\alpha }}]=0$. This also shows that supercharges commute with translations and preserve the four-momentum of a state.

For the Lorentz generators, define the left-handed spinor matricesThe identity ${\sigma }^{\mu }{\bar{\sigma }}^{\nu }+{\sigma }^{\nu }{\bar{\sigma }}^{\mu }=2{\eta }^{\mu \nu }I$ gives their Lorentz commutation relations. Acting on the spinor superspace coordinates and their dual derivatives then gives, in a column-component convention,Here dotted index values are identified with the conjugate undotted values, and ${\bar{Q}}_{\dot{\alpha }}=Q_{\alpha }^{†}$. The second formula also follows directly by taking the adjoint of the first, using Hermitian $M_{\mu \nu }$. For example, $S_{12}={\sigma }^3/2$, so $[J_3,Q_1]=-Q_1/2$ and $[J_3,Q_2]=Q_2/2$ for $J_3=M_{12}$. This explicit component convention avoids reversing signs by mixing state matrices with operator-component matrices. Covariance of the mixed anticommutator follows by applying these matrices to ${\sigma }^{\rho }{P}_{\rho }$.

These are the minimal Super-Poincaré algebra relations. In the ordinary particle algebra a possible scalar term in $\{Q_{\alpha },Q_{\beta }\}$ would be proportional to ${ϵ}_{\alpha \beta }$, but an anticommutator is symmetric in its two labels; with only one supersymmetry such a central term vanishes. Extended algebras can instead use an antisymmetric internal index tensor. Tensor charges associated with extended objects are not part of this minimal particle algebra.

For a positive-energy massless supermultiplet, choose $p^{\mu }=(E,0,0,E)$ with $E>0$, so $p_{\mu }=(E,0,0,-E)$ andPositivity of the Hilbert-space norm implies that both $Q_1$ and $Q_1^{†}$ annihilate every state: their squared norms sum to zero. SetFor momentum along the positive third axis, helicity is $h=J_3$. The Lorentz commutators give $[h,a]=a/2$ and $[h,a^{†}]=-a^{†}/2$. Choose a highest-helicity Clifford vacuum $|\lambda ⟩$ with $a|\lambda ⟩=0$. Its partner $a^{†}|\lambda ⟩$ has unit norm if the first state does and has helicity $\lambda -1/2$. No further state is generated because $(a^{†}{)}^2=0$. ThereforeThe two states have opposite fermion parity. A CPT completion of a supermultiplet adds helicities $(-\lambda ,-\lambda +1/2)$ and conjugate internal charges when necessary. Taking $\lambda =1/2$ produces a complex scalar and a Weyl spinor after CPT completion; taking $\lambda =1$ produces the massless vector multiplet. This construction assumes ordinary finite-helicity particle representations, rather than continuous-spin representations.

Consider positive-energy unitary irreducible representations of the proper orthochronous Poincaré group, allowing its double cover for physical half-integer spin. Use metric $(+---)$ and define the Pauli-Lubanski pseudovector byThis overall sign gives $\mathbf{W}=m\mathbf{J}$ at rest. The antisymmetric tensor and commuting translation generators give $P_{\mu }{W}^{\mu }=0$. The given commutators say $W$ commutes with translations and transforms as a Lorentz vector. Hence both $P^2$ and $W^2$ commute with the Poincare algebra; they are Casimir operators.

The commuting Hermitian translation generators admit generalized joint momentum eigenstates. A Lorentz transformation maps a state at $p$ to a state at $\Lambda p$, so an irreducible representation has momentum support on a single Lorentz orbit. Choose a standard momentum $k$. Its little group consists of the transformations fixing $k$ and acts on the internal states there. Transport those internal states over the orbit by chosen transformations $L(p)k=p$. This gives the construction underlying Wigner's classification.

For timelike future-directed momenta, $P^2=m^2$ with $m>0$ and $k=(m,0,0,0)$. The massive particle little group is SO(3), or SU(2) on the double cover. Write $J_i={ϵ}_{ijk}d(M^{jk})/2$. The rotation commutators give $[J_i,J_j]=i{ϵ}_{ijk}{J}_k$, so the irreducible little-group representation hasAt rest, $W^0=0$ and $\mathbf{W}=m\mathbf{J}$. Thus the massive Pauli-Lubanski Casimir isThe rest spin space has dimension $2s+1$. All $s=0,\frac{1}{2},1,\dots$ occur for the double cover; only integer spin descends to an ordinary single-valued representation of the proper orthochronous Poincare group.

For the detailed representation, choose a Lorentz boost $L(p)$ from $k$ to every point of the positive-energy mass shell. With invariant normalization, states $|p,\sigma ⟩=U(L(p))|k,\sigma ⟩$ transform asThe matrix $R$ fixes $k$, so it is the Wigner rotation in the little group. Its cocycle identityproves the representation law. Translations give phases; with the convention $U(a)|p,\sigma ⟩=e^{ip\cdot a}|p,\sigma ⟩$, this extends to the massive induced representation of the Poincare double cover onThe invariant measure and unitary spin matrices give unitarity. A closed invariant subspace restricts at fixed momentum to a little-group invariant spin subspace; irreducibility of that spin representation and transitivity over the mass shell force the full representation to be irreducible. Conversely the momentum-orbit construction recovers every massive positive-energy irreducible representation. The labels are therefore $(m,s)$.

For a nonzero future null momentum choose $k=(E,0,0,E)$. The massless particle little group is $ISO(2)$. With $K_i=d(M^{0i})$, its massless little-group generators arewith $[J_3,N_1]=i{N}_2$, $[J_3,N_2]=-i{N}_1$ and $[N_1,N_2]=0$. Evaluating the Pauli-Lubanski vector gives $W^2=-E^2(N_1^2+N_2^2)$.

In a finite-dimensional unitary little-group representation, the joint spectrum of the commuting Hermitian $N_1,N_2$ is finite and invariant under continuous planar rotations. Its only possible values are zero. Thus finite-dimensional unitary representations of the massless little group have trivial translations. Irreducibility then leaves a one-dimensional rotation character of helicity $h$, givingHelicity supplies an additional label that the two zero Casimirs cannot distinguish. It is integer for the ordinary group and may be half-integer on its physical double cover. Nontrivial little-group translations instead lead to an infinite-dimensional continuous-spin representation with $W^2<0$; the Poincare algebra by itself allows these too. This completes the timelike and nonzero null cases of physical interest.

Use mostly-minus metric signature, $\eta =\mathrm{diag}(1,-1,-1,-1)$. The Weyl sigma matrices are ${\sigma }^{\mu }=(I,\mathbf{\sigma })$ and ${\bar{\sigma }}^{\mu }=(I,-\mathbf{\sigma })$, with the three Pauli matricesThe Pauli matrix multiplication law ${\sigma }_i{\sigma }_j={\delta }_{ij}I+i{ϵ}_{ijk}{\sigma }_k$ immediately gives ${\sigma }^{\mu }{\bar{\sigma }}^{\nu }+{\sigma }^{\nu }{\bar{\sigma }}^{\mu }=2{\eta }^{\mu \nu }I$: the $00$ case is $2I$, the mixed cases cancel, and the spatial cases give $-2{\delta }_{ij}I$. The spinor indices of ${\sigma }_{\alpha \dot{\beta }}^{\mu }$ express the correspondence between a Lorentz four-vector and a Hermitian $2\times 2$ matrix. For $X=x^{0}I+x^i{\sigma }_i$, $\det X=(x^0{)}^2-|\mathbf{x}{|}^2$; $X\mapsto MX{M}^{†}$ preserves this determinant for $M\in \mathrm{SL}(2,\mathbb{C})$, yielding the Lorentz spinor double cover.

In four-dimensional N=1 supersymmetry, the odd supercharges $Q_{\alpha }$ and ${\bar{Q}}_{\dot{\alpha }}=Q_{\alpha }^{†}$ transform as conjugate Weyl spinors. Their Super-Poincaré algebra isThe ordinary translation and Lorentz generators satisfy the Poincare algebra, and the Lorentz generators act on the supercharges by the corresponding group representations on Weyl spinors. Tracing the mixed anticommutator gives $P_0=\frac{1}{4}{\sum }_{\alpha }\{Q_{\alpha },Q_{\alpha }^{†}\}$, proving energy positivity in global supersymmetry. For a massive rest-frame state, $P_{\mu }=(M,0,0,0)$, the rescaled charges $Q_{\alpha }/\sqrt{2M}$ obey the canonical anticommutation relations. Acting with their adjoints builds a supermultiplet containing states of alternating fermion parity.

Use units $c=\hslash =1$ and the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$. Composing two affine Poincaré group transformations, with the rightmost applied first, givesThe translations form a normal subgroup, so this is the semidirect product of the Lorentz group with ${\mathbb{R}}^{1,3}$. The transformations $(\mathrm{diag}(1,R),0)$, $R\in SO(3)$, fix time and the spatial origin. Their products and inverses correspond to $R{R}^{\prime }$ and $R^{-1}$, hence they form a subgroup isomorphic to SO(3).

A rotationless Lorentz boost changes the velocity of a frame without adding a spatial rotation. For $|\mathbf{v}|<1$ a convenient active convention iswith $B(0)=I$. It satisfies $B^{T}gB=g$, $\det B=1$, and $B(m,0)=(m\gamma ,m\gamma \mathbf{v})$. Collinear boosts form a one-parameter subgroup with additive rapidity, but general boosts do not. For nonzero boosts along $x$ and $y$, $(B_x{B}_y{)}_{02}={\gamma }_x{\gamma }_y{v}_y$ while $(B_x{B}_y{)}_{20}={\gamma }_y{v}_y$: their product is not symmetric, whereas every rotationless boost above is symmetric. The product contains a Wigner rotation. Infinitesimally, the Poincare algebra gives $[K_i,K_j]=-i{ϵ}_{ijk}{J}_k$ for Hermitian generators, so the boost generators do not close amongst themselves.

There is a group-versus-cover qualification in the spin range: an honest unitary representation of the proper orthochronous Poincaré group permits integer spin only. Half-integer spin requires its double cover $SL(2,\mathbb{C})⋉{\mathbb{R}}^{1,3}$, or a projective unitary representation of the ordinary group. The construction below gives the requested range on that double cover and descends for integer spin.

Fix $m>0$ and the rest momentum $k=(m,0)$. Its little group consists of rotations: if a proper orthochronous Lorentz transformation fixes $k$, its time column is $(1,0)$, the metric condition forces the corresponding time row, and the remaining block belongs to SO(3). On the Lorentz spinor double cover, this little group is SU(2). Choose its irreducible spin-$s$ representation, with rest-frame states $|k,s,\sigma ⟩$, $\sigma =-s,-s+1,\dots ,s$, and matrices $D^{(s)}$, the Wigner D-matrices.

For each $p$ on the forward mass shell, $p^2=m^2$, $p^0>0$, choose the standard rotationless Lorentz boost $L(p)=B(\mathbf{p}/p^0)$ and defineThe labels are canonical spin projections, defined by this choice of boosts. For any proper orthochronous $\Lambda$, factorThe last factor fixes $k$ and hence is a Wigner rotation. On the double cover, use its lift to SU(2). Taking the translation convention $U[I,a]|p,s,\sigma ⟩=e^{ip\cdot a}|p,s,\sigma ⟩$ yields the massive induced representation of the Poincare double cover:The argument of the translation phase is $\Lambda p$, since $U[\Lambda ,a]=U[I,a]U[\Lambda ,0]$. The Wigner rotation identityproves the Lorentz part of the representation law; the phases multiply according to the affine product already derived.

Normalize the generalized momentum states by $⟨p,s,\sigma |q,s,\tau ⟩=2p^0(2\pi {)}^3{\delta }^3(\mathbf{p}-\mathbf{q}){\delta }_{\sigma \tau }$. The invariant mass shell measure $d^{3}p/(2p^0)$ and unitarity of $D^{(s)}$ make the induced representation unitary on $L^2(d^{3}p/(2p^0))\otimes {\mathbb{C}}^{2s+1}$. This covariant normalization accounts for the absence of an energy square-root factor in the displayed transformation law. To see irreducibility, translations force an operator in the commutant to act within momentum fibres; the little-group action and Schur lemma make its action scalar on each irreducible spin fibre. Lorentz transitivity on the forward mass shell makes this scalar constant. The commutant is therefore scalar, so the unitary representation is irreducible. Conversely, the simultaneous translation spectrum and its little-group representation give the massive positive-energy sector of Wigner's classification.

Thus every $m>0$ and $s\in \{0,\frac{1}{2},1,\dots \}$ gives such an irreducible representation on the double cover. Its central element over a $2\pi$ spatial rotation acts as $(-1{)}^{2s}$. Since this rotation is the identity in the ordinary Poincaré group,

For the parity operator, put $\Pi =\mathrm{diag}(1,-1,-1,-1)$ and $\bar{p}=\Pi p=(p^0,-\mathbf{p})$. The extension obeys $PU[\Lambda ,a]P^{-1}=U[\Pi \Lambda \Pi ,\Pi a]$. At rest, $P$ commutes with the rotations; Schur lemma therefore gives $P|k,s,\sigma ⟩={\eta }_P|k,s,\sigma ⟩$ with a common phase $|{\eta }_P|=1$. Since $\Pi L(p)\Pi =L(\bar{p})$, the parity action on canonical massive spin states isFor the usual reflection convention $P^2=I$, ${\eta }_P=\pm 1$ is the intrinsic parity. Canonical spin is an axial quantity and its label $\sigma$ is unchanged; a helicity label instead changes sign because momentum is reversed. Either intrinsic parity extends a given massive spin representation.

Use the metric in the question and fix the Levi-Civita symbol convention ${ϵ}_{0123}=+1$. A consistent choice of rotation Lie algebra generators isSubstituting the indices into the printed Poincare algebra givesThe other cyclic brackets follow the same way. The negative spatial metric and antisymmetry of $M^{\rho \sigma }$ both enter this sign.

The printed brackets are real Lie algebra brackets, without the factor $i$ used for ordinary commutators of Hermitian quantum observables. We use those brackets for the algebraic verifications. For physical eigenvalues below, angular momentum is Hermitian, its spin projection is the real number $j_3$, and $\hslash =1$. In that quantum convention the ordinary operator commutators are $i$ times the displayed brackets. This distinction prevents identifying a real spin projection with an anti-Hermitian matrix eigenvalue.

In the universal enveloping algebra, translations commute. The Pauli-Lubanski pseudovector therefore satisfiesFor fixed $\nu ,\rho$, the product of momenta is symmetric in $\mu ,\tau$ while the epsilon coefficient is antisymmetric in them. There is no need to commute the Lorentz generator through the momenta.

Using the commutator derivation identity and the mixed bracket,The two terms become equal after swapping $\nu ,\rho$, and the last expression vanishes by antisymmetry in $\nu ,\tau$. In the Hermitian observable convention, the calculation has one overall extra $i$ and still vanishes. Thus $W_{\mu }$ preserves each momentum eigenspace.

For the specified epsilon orientation, two useful component identities areThe order displayed matters: the momentum operator is on the right, so it can act first on the momentum eigenstate. At rest, $p^{\mu }=(m,0,0,0)$, and on a spin state with $J_3|j,j_3⟩=j_3|j,j_3⟩$ these giveThese are massive rest-frame Pauli-Lubanski eigenvalues. The raised component would be $W^3=+m{j}_3$; confusing $W_3$ with $W^3$ reverses the answer.

Helicity is the projection of spin angular momentum, or equivalently the rotation generator acting internally, along the momentum direction:For the momentum $p^{\mu }=(k,0,0,k)$ with $k>0$, the helicity operator is $J_3$. Hence a helicity-$j_3$ state hasThe result uses only the two longitudinal components and does not need a separate assumption about the transverse little-group generators. These massless longitudinal Pauli-Lubanski eigenvalues agree with $W^{\mu }=j_3{P}^{\mu }$ for ordinary finite-helicity representations.

Finally, at rest the contraction is $m{W}_0=0$. For the chosen null momentum it is $k(W_0+W_3)$, whose two eigenvalues cancel. Thus both results obey $W_{\mu }{P}^{\mu }=0$. Reversing the epsilon orientation reverses all $W$ eigenvalues together; it leaves both identities and both consistency checks intact. For a literal anti-Hermitian derived representation $\rho$ of the printed real algebra, write $H_X=i\rho (X)$ for the Hermitian observable. Since $W_{\mu }$ is bilinear in generators, its abstract enveloping-algebra image is $\rho (W_{\mu })=-W_{\mu ,\mathrm{phys}}$. Thus the corresponding formal-image eigenvalues, if that convention is intended, areHere $\rho (P^{\mu })$ has eigenvalue $-i{p}^{\mu }$, while $p^{\mu }$ and $j_3$ themselves remain real physical labels. This is the same result after the Hermitian quantum generator convention is applied to both factors, not an inconsistent choice of spin sign. Both the Hermitian-observable and literal anti-Hermitian interpretations are consequently specified.

Fix a positive-mass unitary irreducible representation at rest, $P^{\mu }=(M,0,0,0)$ with $M>0$. Use the central charge in supersymmetry conventionThe conjugate relation is $\{{\bar{Q}}_{\dot{\alpha }A},{\bar{Q}}_{\dot{\beta }B}\}={ϵ}_{\dot{\alpha }\dot{\beta }}\overline{Z^{AB}}$, with the dotted epsilon tensor the conjugate of the undotted one. The supercharges commute with $P_{\mu }$ and the central charges. Their Lorentz transformation is that of a Weyl spinor; together with the ordinary Poincare algebra, these relations specify the Super-Poincaré algebra. Take ${ϵ}_{12}=1$ and write $Z^{12}=2z$. This makes the normalization of the mass bound explicit: a convention that writes $2{ϵ}_{\alpha \beta }{Z}^{AB}$ instead has $z=Z^{12}$.

When $Z=0$, define four fermionic annihilation operators and their fermionic creation operators byIn the rest frame they obey the canonical anticommutation relations $\{a_i,a_j^{†}\}={\delta }_{ij}$ and $\{a_i,a_j\}=0$. Choose a spin-zero Clifford vacuum annihilated by all four $a_i$. Acting with each distinct creator at most once constructs the fermionic Fock spaceThe five levels have the binomial coefficient multiplicities $1,4,6,4,1$, so the massive supermultiplet contains $2^4=16$ states. The four creators are two copies of the spin-one-half SU(2) representation. Their second exterior power isHere the first factor carries physical spin and the second counts the two supersymmetries. Thus level two contains one spin-one triplet and three spin-zero singlets; levels one and three each contain two spin-one-half doublets. The final spin content isEven levels give eight boson states and odd levels eight fermion states, exhibiting boson-fermion degeneracy in a supermultiplet.