In mathematics and theoretical physics, Wigner's classification is a classification of the nonnegative (E ≥ 0) energy irreducible unitary representations of the Poincaré group which have sharp[when defined as?] mass eigenvalues. (Since this group is noncompact, these unitary representations are infinite-dimensional.) It was introduced by Eugene Wigner, to classify particles and fields in physics—see the article particle physics and representation theory. It relies on the stabilizer subgroups of that group, dubbed the Wigner little groups of various mass states.
The Casimir invariants of the Poincaré group are C1 = PμPμ, where P is the 4-momentum operator, and C2 = WαWα, where W is the Pauli–Lubanski pseudovector. The eigenvalues of these operators serve to label the representations. The first is associated with mass-squared and the second with helicity or spin.
The physically relevant representations may thus be classified according to whether m > 0 ; m = 0 but P0 > 0; and m = 0 with Pμ = 0. Wigner found that massless particles are fundamentally different from massive particles.
- For the first case, note that the eigenspace (see generalized eigenspaces of unbounded operators) associated with P =(m,0,0,0) is a representation of SO(3). In the ray interpretation, one can go over to Spin(3) instead. So, massive states are classified by an irreducible Spin(3) unitary representation that characterizes their spin, and a positive mass, m.
- For the second case, look at the stabilizer of P =(k,0,0,-k). This is the double cover of SE(2) (see unit ray representation). We have two cases, one where irreps are described by an integral multiple of 1/2 called the helicity, and the other called the "continuous spin" representation.
- The last case describes the vacuum. The only finite-dimensional unitary solution is the trivial representation called the vacuum.
Massive scalar fields
As an example, let us visualize the irreducible unitary representation with m > 0 and s = 0. It corresponds to the space of massive scalar fields.
Let M be the hyperboloid sheet defined by:
- , .
The Minkowski metric restricts to a Riemannian metric on M, giving M the metric structure of a hyperbolic space, in particular it is the hyperboloid model of hyperbolic space, see geometry of Minkowski space for proof. The Poincare group P acts on M because (forgetting the action of the translation subgroup ℝ4 with addition inside P) it preserves the Minkowski inner product, and an element x of the translation subgroup ℝ4 of the Poincare group acts on L2(M) by multiplication by suitable phase multipliers exp(−i p·x), where p ∈ M. These two actions can be combined in a clever way using induced representations to obtain an action of P on L2(M) that combines motions of M and phase multiplication.
This yields an action of the Poincare group on the space of square-integrable functions defined on the hypersurface M in Minkowski space. These may be viewed as measures defined on Minkowski space that are concentrated on the set M defined by
without physical units. In this way, the m > 0, s = 0 irreducible representation of the Poincare group is realized by its action on a suitable space of solutions of a linear wave equation.
Left out from this classification are tachyonic solutions, solutions with no fixed mass, infraparticles with no fixed mass, etc. Such solutions are of physical importance, when considering virtual states. A celebrated example is the case of Deep inelastic scattering, in which a virtual space-like photon is exchanged between the incoming lepton and the incoming hadron. This justifies the introduction of transversely and longitudinally-polarized photons, and of the related concept of transverse and longitudinal structure functions, when considering these virtual states as effective probes of the internal quark and gluon contents of the hadrons. From a mathematical point of view, one considers the SO(2,1) group instead of the usual SO(3) group encountered in the usual massive case discussed above. This explain the occurrence of two transverse polarization vectors and which satisfy and , to be compared with the usual case of a free boson which has three polarization vectors , each of them satisfying .
- Induced representation
- Representation theory of the diffeomorphism group
- Representation theory of the Galilean group
- Representation theory of the Poincaré group
- System of imprimitivity
- Pauli–Lubanski pseudovector
- Bargmann, V.; Wigner, E. P. (1948). "Group theoretical discussion of relativistic wave equations" (PDF). Proc. Natl. Acad. Sci. U.S.A. 34 (5): 211–23. Bibcode:1948PNAS...34..211B. PMC . PMID 16578292. doi:10.1073/pnas.34.5.211.
- Mackey, George (1978). Unitary Group Representations in Physics, Probability and Number Theory. Mathematics Lecture Notes Series. 55. The Benjamin/Cummings Publishing Company. ISBN 978-0805367034..
- Sternberg, Shlomo (1994). Group Theory and Physics. Cambridge University Press. Section 3.9. (Wigner classification). ISBN 978-0521248709.
- Tung, Wu-Ki (1985). Group Theory in Physics. World Scientific Publishing Company. Chapter 10. (Representations of the Lorentz group and of the Poincare group; Wigner classification). ISBN 978-9971966577.
- Weinberg, S (2002), The Quantum Theory of Fields, vol I, Cambridge University Press, Chapter 2 (Relativistic quantum mechanics), ISBN 0-521-55001-7
- Wigner, E. P. (1939), "On unitary representations of the inhomogeneous Lorentz group", Annals of Mathematics, 40 (1): 149–204, Bibcode:1939AnMat..40..149W, MR 1503456, doi:10.2307/1968551