Math 2.0

Quantum theory Axiomatic and algebraic quantum field theory Theorem

Coleman–Mandula theorem

Builds on S-matrixPoincaré groupLie groupLie algebra

Statement

Let GG be a connected Lie group of unitary symmetries of the S-matrix of a relativistic quantum theory in four spacetime dimensions. Assume the following.

  1. Lorentz invariance: GG contains a subgroup locally isomorphic to the Poincaré group.
  2. Particle finiteness: for every M>0M > 0 there are only finitely many types of particles of mass less than MM.
  3. Weak elastic analyticity: elastic two-body scattering amplitudes are analytic functions of the Mandelstam variables ss and tt near the physical region, except at normal thresholds.
  4. Occurrence of scattering: let T=S−1T = S - 1 be the transition part of the S-matrix. For one-particle momenta pp and p′p', the vector T∣p,p′⟩T \lvert p, p' \rangle is nonzero, except perhaps at isolated values of ss.
  5. Technical assumption: the generators of GG act on one-particle states as integral operators in momentum space with distribution kernels.

Then GG 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.

  1. Cross product concept
  2. Determinant concept
  3. General linear group object
  4. Group concept
  5. Hermitian matrix concept
  6. Identity matrix object
  7. Lie algebra concept
  8. Lie group concept
  9. Matrix definition
  10. Möbius transformation concept
  11. Quadratic form concept
  12. Real projective space object
  13. Riemann sphere concept
  14. S-matrix concept
  15. Semidirect product concept
  16. Signature of a quadratic form concept
  17. Translation concept
  18. Vector space definition
  19. Ring definition
  20. Square matrix definition
  21. Transpose definition
  22. Linear map definition
  23. Unit of a ring definition
  24. Conjugate transpose definition
  25. Multilinear map definition
  26. Orthogonal matrix definition
  27. Division ring definition
  28. Alternating multilinear map definition
  29. Orthogonal group object
  30. Unitary matrix definition
  31. The quaternions example
  32. Determinant definition
  33. Unitary group object
  34. Indefinite orthogonal group example
  35. Special linear group object
  36. Special orthogonal group object
  37. Special unitary group SU(n) example
  38. Rotation group SO(3) example
  39. SU(2) example
  40. SL(2,C) example
  41. Lorentz group example
  42. Poincaré group example
  43. Coleman–Mandula theorem statement

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Coleman%E2%80%93Mandula_theorem
About this page
TagYKPXT94HWP
URIm2://YKPXT94HWP
Kindstatement, theorem
WritingW0 stub
MSC81T05, 81U20, 81R05
StatusThis copy of the site has no build data. Run m2 status YKPXT94HWP.
AboutS-matrix
UsesS-matrix, Poincaré group, Lie group, Lie algebra
Same as
Changed3 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.

What links here

Used by