Math 2.0

Relativity and gravitational theory Mass, energy and conserved quantities Object

Bondi–Metzner–Sachs group

Builds on Semidirect productLorentz groupPoincaré groupAsymptotically flat spacetimeSpherical harmonics

Description

The Bondi–Metzner–Sachs group, or BMS group, is the group of asymptotic symmetries of spacetimes that are asymptotically flat at future null infinity. Use coordinates (u,z)(u, z) on null infinity ℝ×S2\R \times S^2, where uu is retarded time and z∈ℂ∪{∞}z \in \C \cup \set{\infty} is a stereographic coordinate on the sphere. The group acts by (u,z)↦(K(z)(u+α(z)), az+bcz+d),K(z)=1+∣z∣2∣az+b∣2+∣cz+d∣2.(u, z) \mapsto \Bigl( K(z) \bigl( u + \alpha(z) \bigr), \ \frac{az + b}{cz + d} \Bigr), \qquad K(z) = \frac{1 + \abs{z}^2}{\abs{az + b}^2 + \abs{cz + d}^2}. Here a,b,c,d∈ℂa, b, c, d \in \C with ad−bc=1ad - bc = 1, and α\alpha is a smooth real function on S2S^2. The maps with a=d=1a = d = 1, b=c=0b = c = 0 are the supertranslations u↦u+α(z)u \mapsto u + \alpha(z); they form an infinite-dimensional abelian normal subgroup SS. The maps with α=0\alpha = 0 form a subgroup isomorphic to the proper orthochronous Lorentz group SL(2,ℂ)/{±1}SL(2, \C)/\set{\pm 1}. So the BMS group is the semidirect product S⋊SO+(1,3)S \rtimes SO^+(1, 3). Check of one case: the identity matrix gives K(z)=(1+∣z∣2)/(∣z∣2+1)=1K(z) = (1 + \abs{z}^2)/(\abs{z}^2 + 1) = 1, so the map is the supertranslation by α\alpha.

Remarks

The supertranslations whose function α\alpha is a combination of the spherical harmonics with ℓ=0\ell = 0 and ℓ=1\ell = 1 form a 4-dimensional normal subgroup, the translations. Together with a Lorentz subgroup they form a copy of the Poincaré group, but there are infinitely many such copies, conjugate by supertranslations. This is why angular momentum at null infinity has no unique definition, unlike energy-momentum. The group was found by Bondi, van der Burg and Metzner and by Sachs in 1962.

Reading path

To understand this page from the ground up, read these 43 pages in order. The foundations come first.

  1. Asymptotically flat spacetime concept
  2. Cross product concept
  3. Determinant concept
  4. General linear group object
  5. Group concept
  6. Hermitian matrix concept
  7. Identity matrix object
  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. Semidirect product concept
  15. Signature of a quadratic form concept
  16. Spherical harmonics 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 orthogonal group object
  36. Special linear 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. Bondi–Metzner–Sachs group object

Further reading

  1. Web https://en.wikipedia.org/wiki/Bondi%E2%80%93Metzner%E2%80%93Sachs_group
About this page
TagGVVQKX5AB8
URIm2://GVVQKX5AB8
Kindobject
WritingW0 stub
MSC83C30, 83C40, 22E65
Instance ofGroup
UsesSemidirect product, Lorentz group, Poincaré group, Asymptotically flat spacetime, Spherical harmonics
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

No page links to this page yet.