Quantum theory Axiomatic and algebraic quantum field theory Theorem
Coleman–Mandula theorem
Statement
Let be a connected Lie group of unitary symmetries of the S-matrix of a relativistic quantum theory in four spacetime dimensions. Assume the following.
- Lorentz invariance: contains a subgroup locally isomorphic to the Poincaré group.
- Particle finiteness: for every there are only finitely many types of particles of mass less than .
- Weak elastic analyticity: elastic two-body scattering amplitudes are analytic functions of the Mandelstam variables and near the physical region, except at normal thresholds.
- Occurrence of scattering: let be the transition part of the S-matrix. For one-particle momenta and , the vector is nonzero, except perhaps at isolated values of .
- Technical assumption: the generators of act on one-particle states as integral operators in momentum space with distribution kernels.
Then is locally isomorphic to the direct product of the Poincaré group and an internal symmetry group. The generators of the internal group commute with all Poincaré generators and act only on the particle type labels. The Lie algebra of the internal group is the direct sum of a compact semisimple Lie algebra and an abelian Lie algebra.
Remarks
The idea of the proof: a symmetry generator must act on two-particle states as a sum of its actions on the one-particle states. If a generator acted nontrivially on momenta beyond the Poincaré generators, it would constrain elastic scattering so strongly that, with analyticity, the amplitude could be nonzero only at isolated angles. This contradicts the occurrence of scattering.
The hypotheses matter. If all particles are massless, the conformal group can appear as a symmetry. If the symmetry generators may form a Lie superalgebra rather than a Lie algebra, supersymmetry becomes possible; this is the Haag–Łopuszański–Sohnius theorem. In two spacetime dimensions, integrable models have higher conserved charges but their scattering is purely elastic, so hypothesis 4 in its four-dimensional form does not apply.
Going deeper
For a student
The theorem is a no-go result about the symmetries of the S-matrix. It explains why internal symmetries such as gauge symmetry groups commute with Lorentz transformations, so that all particles of a multiplet have the same mass and spin. Its loophole through graded Lie algebras led to supersymmetry, the only way to combine spacetime and internal symmetries nontrivially in four dimensions.
Reading path
To understand this page from the ground up, read these 43 pages in order. The foundations come first.
- Cross product concept
- Determinant concept
- General linear group object
- Group concept
- Hermitian matrix concept
- Identity matrix object
- Lie algebra concept
- Lie group concept
- Matrix definition
- Möbius transformation concept
- Quadratic form concept
- Real projective space object
- Riemann sphere concept
- S-matrix concept
- Semidirect product concept
- Signature of a quadratic form concept
- Translation concept
- Vector space definition
- Ring definition
- Square matrix definition
- Transpose definition
- Linear map definition
- Unit of a ring definition
- Conjugate transpose definition
- Multilinear map definition
- Orthogonal matrix definition
- Division ring definition
- Alternating multilinear map definition
- Orthogonal group object
- Unitary matrix definition
- The quaternions example
- Determinant definition
- Unitary group object
- Indefinite orthogonal group example
- Special linear group object
- Special orthogonal group object
- Special unitary group SU(n) example
- Rotation group SO(3) example
- SU(2) example
- SL(2,C) example
- Lorentz group example
- Poincaré group example
- Coleman–Mandula theorem statement
Where this leads
1 page builds on this one.
Further reading
About this page
| Tag | YKPXT94HWP |
|---|---|
| URI | m2://YKPXT94HWP |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 81T05, 81U20, 81R05 |
| Status | This copy of the site has no build data. Run m2 status YKPXT94HWP. |
| About | S-matrix |
| Uses | S-matrix, Poincaré group, Lie group, Lie algebra |
| Same as | |
| Changed | 3 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.