In physics, the Pauli–Lubanski pseudovector is an operator defined from the momentum and angular momentum, used in the quantum-relativistic description of angular momentum. It is named after Wolfgang Pauli and Józef Lubański. It describes the spin states of moving particles. It is the generator of the little group of the Poincaré group, that is the maximal subgroup (with four generators) leaving the eigenvalues of the four-momentum vector Pμ invariant.

Definition

It is usually denoted by W (or less often by S) and defined by: where In the language of exterior algebra, it can be written as the Hodge dual of a trivector, Note, and where \vec{J} is the generator of rotations and \vec{K} is the generator of boosts. Wμ evidently satisfies as well as the following commutator relations, Consequently, The scalar WμWμ is a Lorentz-invariant operator, and commutes with the four-momentum, and can thus serve as a label for irreducible unitary representations of the Poincaré group. That is, it can serve as the label for the spin, a feature of the spacetime structure of the representation, over and above the relativistically invariant label PμPμ for the mass of all states in a representation.

Little group

On an eigenspace S of the 4-momentum operator P with 4-momentum eigenvalue k of the Hilbert space of a quantum system (or for that matter the standard representation with ℝ4 interpreted as momentum space acted on by 5×5 matrices with the upper left 4×4 block an ordinary Lorentz transformation, the last column reserved for translations and the action effected on elements p (column vectors) of momentum space with 1 appended as a fifth row, see standard texts ) the following holds: The irreducible unitary representation of the Poincaré group are characterized by the eigenvalues of the two Casimir operators P^2 and W^2. The best way to see that an irreducible unitary representation actually is obtained is to exhibit its action on an element with arbitrary 4-momentum eigenvalue p in the representation space thus obtained. Irreducibility follows from the construction of the representation space.

Massive fields

In , in the case of a massive field, the WμWμ describes the total of the particle, with where s is the of the particle and m is its . It is straightforward to see this in the of the particle, the above commutator acting on the particle's state amounts to [Wj, Wk] = i εjkl Wl m W = mJ and W0 = 0 , so that the little group amounts to the rotation group, Since this is a quantity, it will be the same in all other . It is also customary to take W3 to describe the spin projection along the third direction in the rest frame. In moving frames, decomposing W = (W0, W) into components (W1, W2, W3) , with W1 and W2 orthogonal to P , and W3 parallel to P , the Pauli–Lubanski vector may be expressed in terms of the spin vector S

(S1, S2, S3) (similarly decomposed) as where is the energy–momentum relation. The transverse components W1, W2 , along with S3 , satisfy the following commutator relations (which apply generally, not just to non-zero mass representations), For particles with non-zero mass, and the fields associated with such particles,

Massless fields

In general, in the case of non-massive representations, two cases may be distinguished. For massless particles, where K is the dynamic mass moment vector. So, mathematically, P2 = 0 does not imply W2 = 0.

Continuous spin representations

In the more general case, the components of W transverse to P may be non-zero, thus yielding the family of representations referred to as the cylindrical luxons ("luxon" is another term for "massless particle"), their identifying property being that the components of W form a Lie subalgebra isomorphic to the 2-dimensional Euclidean group ISO(2) , with the longitudinal component of W playing the role of the rotation generator, and the transverse components the role of translation generators. This amounts to a group contraction of SO(3) , and leads to what are known as the continuous spin representations. However, there are no known physical cases of fundamental particles or fields in this family. It can be argued that continuous spin states possess an internal degree of freedom not seen in observed massless particles.

Helicity representations

In a special case, \vec{W} is parallel to \vec{P} ; or equivalently For non-zero \vec{W} this constraint can only be consistently imposed for luxons (massless particles), since the commutator of the two transverse components of \vec{W} is proportional to For this family, W^2 = 0 and the invariant is, instead given by where so the invariant is represented by the helicity operator W^0 / P. All particles that interact with the weak nuclear force, for instance, fall into this family, since the definition of weak nuclear charge (weak isospin) involves helicity, which, by above, must be an invariant. The appearance of non-zero mass in such cases must then be explained by other means, such as the Higgs mechanism. Even after accounting for such mass-generating mechanisms, however, the photon (and therefore the electromagnetic field) continues to fall into this class, although the other mass eigenstates of the carriers of the electroweak force (the W boson+- boson and anti-boson and Z boson0 boson) acquire non-zero mass. Neutrinos were formerly considered to fall into this class as well. However, because neutrinos have been observed to oscillate in flavour, it is now known that at least two of the three mass eigenstates of the left-helicity neutrinos and right-helicity anti-neutrinos each must have non-zero mass.