---
title: Bondi–Metzner–Sachs Frame Overview
url: https://www.emergentmind.com/topics/bondi-metzner-sachs-bms-frame
type: topic
---

# Bondi–Metzner–Sachs Frame Overview

A Bondi–Metzner–Sachs (BMS) frame is the choice of Bondi coordinates and boundary data at future null infinity \(\mathscr I^+\) that singles out a particular representative of the asymptotic-symmetry orbit of an asymptotically flat spacetime. Physically, a BMS frame consists of a choice of cross-section (cut) \(u=0\) of future null infinity, and an identification of its angular coordinates \((\theta,\phi)\) with the unit sphere. Equivalently, it is a choice of Bondi gauge together with additional conditions on the sphere metric, shear, mass aspect, or asymptotic charges that reduce the infinite-dimensional BMS freedom to a preferred Poincaré subgroup. The notion is central because supertranslations shift the origin cut and mix asymptotic data, while more general extensions also act on the conformal structure of the celestial sphere [2105.11623, 2311.03130].

## 1. Null infinity, Bondi gauge, and the Bondi frame

For asymptotically simple spacetimes, \(\scri\) is a null hypersurface whose components \(\scri^+\) and \(\scri^-\) each have topology \(S^2\times\mathbb R\) and carry a degenerate universal conformal metric of signature \((0,+,+)\). Near \(\scri^+\), one introduces Bondi–Sachs coordinates \((u,r,\theta^A)\), where \(u\) is retarded time, \(r\) is an areal or affine radial parameter along null generators, and \(\theta^A\) label the generators. In Bondi gauge,
\[
g_{rr}=0,\qquad g_{rA}=0,\qquad \det[h_{AB}]=\det[q_{AB}],
\]
and the metric is written as
\[
ds^2
= -e^{2\beta}\frac{V}{r}\,du^2
  -2e^{2\beta}\,du\,dr
  +r^2\,h_{AB}\bigl(d\theta^A-U^A\,du\bigr)\bigl(d\theta^B-U^B\,du\bigr).
\]

Asymptotic flatness implies expansions in \(1/r\). A convenient form is
\[
\begin{aligned}
\beta(u,r,\theta)&=\frac{\beta_2(u,\theta)}{r^2}+O(r^{-3}),\\
\frac{V(u,r,\theta)}{r}&=\frac12-\frac{2m(u,\theta)}{r}+O(r^{-2}),\\
U^A(u,r,\theta)&=
-\frac{D_B C^{AB}(u,\theta)}{2\,r^2}
+\frac{1}{r^3}\Bigl[-\tfrac23\,N^A
+\tfrac{1}{16}D^A(C_{BC}C^{BC})
+\tfrac12\,C^{AB}D^C C_{BC}\Bigr]
+O(r^{-4}),\\
h_{AB}(u,r,\theta)&=
q_{AB}(\theta)
+\frac{C_{AB}(u,\theta)}{r}
+\frac{1}{4r^2}\bigl(C_{CD}C^{CD}\bigr)\,q_{AB}
+O(r^{-3}).
\end{aligned}
\]

The corresponding Bondi-gauge fields are the shear \(C_{AB}(u,\theta)\), the Bondi news \(N_{AB}=\dot C_{AB}\), the mass aspect \(m(u,\theta)\), the angular-momentum aspect \(N_A(u,\theta)\), and the sphere metric \(q_{AB}(\theta)\). The Bondi frame at future null infinity is then the manifold chart \(\{(u,z^a)\}\) obtained as \(r\to\infty\) [2311.03130, 2106.12513].

## 2. BMS transformations and the meaning of “frame”

The BMS group is the group of diffeomorphisms of \(\scri^+\) that preserve the Bondi gauge and asymptotic fall-offs. Abstractly,
\[
\BMS \cong \mathcal S\rtimes \Lor^+,
\]
where \(\mathcal S=C^\infty(S^2)\) is the additive abelian group of supertranslations and \(\Lor^+\simeq \mathrm{PSL}(2,\mathbb C)\cong \mathrm{SO}^+(3,1)\) is the proper orthochronous Lorentz group. The \(\ell=0,1\) spherical harmonics of the supertranslation parameter are the ordinary translations; the \(\ell\ge2\) modes are genuine supertranslations.

In stereographic coordinate \(\zeta=e^{i\phi}\cot(\theta/2)\), the most general diffeomorphism preserving Bondi gauge and the standard fall-offs can be written as
\[
\zeta' = f_\Lambda(\zeta)=\frac{a\zeta+b}{c\zeta+d},\qquad ad-bc=1,
\]
\[
u' = K_\Lambda(\zeta)\,\bigl[u+\alpha(\zeta,\bar\zeta)\bigr],
\qquad
K_\Lambda(\zeta,\bar\zeta)
=\frac{1+|\zeta|^2}{|a\zeta+b|^2+|c\zeta+d|^2}.
\]
Here \(\alpha(\zeta,\bar\zeta)\) is the supertranslation and \(K_\Lambda\) is the sphere-conformal factor.

Mirzaiyan–Esposito analyze the four Möbius classes of the angular map \(f_\Lambda\): parabolic, elliptic, hyperbolic, and loxodromic. In that classification, elliptic transformations have \(K_E(\zeta)=1\), while hyperbolic and loxodromic transformations have conformal factors
\[
K_H(\zeta)=\frac{|\kappa|(1+|\zeta|^2)}{1+|\kappa|^2|\zeta|^2},
\qquad
K_L(\zeta)=\frac{\rho(1+|\zeta|^2)}{1+\rho^2|\zeta|^2},
\]
whose monotonicity as functions of \(|\zeta|\) distinguishes the cases. These formulas describe how a BMS frame changes under Lorentz redefinitions of the celestial sphere together with angle-dependent shifts of \(u\) [2304.01833, 2106.12513].

## 3. Gauge fixing and canonical Bondi frames

A “frame” is a choice of representative in an orbit of the asymptotic symmetry action on Bondi data. In the nonlinear BMSW setting, the group acts transitively on the space of Bondi data \((q_{AB},C_{AB},m,N_A)\), so choosing a frame amounts to choosing a slice through each group orbit. A standard procedure is to fix the unit-sphere metric \(q_{AB}\) to be the round metric, thereby using up all sphere diffeomorphisms and Weyl rescalings, and then supertranslate so that the asymptotic shear on a reference cut vanishes:
\[
\lim_{u\to-\infty} C_{AB}=0.
\]
The resulting coordinates are the canonical Bondi frame, in which
\[
q_{AB}=\mathring q_{AB},\qquad
C_{AB}(u\to-\infty)=0,\qquad
m(u\to-\infty)=\text{constant},
\]
and the remaining freedom is the finite Poincaré group [2311.03130].

A related and older strategy is the good-cut or rest-frame construction. Under a supertranslation, the shear transforms as
\[
C_{AB}\to C_{AB}+2D_A D_B\alpha-q_{AB}D^2\alpha,
\]
so a shear-free cut \(\tilde u=0\) can be obtained by solving
\[
2D_A D_B\alpha-q_{AB}D^2\alpha=-\,C_{AB}(u_0).
\]
An alternative is the vanishing mass-dipole condition: expanding
\[
M(u,\theta,\phi)=m_0(u)\,Y_{00}+m_i(u)\,Y_{1i}(\theta,\phi)+\cdots,
\]
one imposes \(m_i(u)=0\). Either choice eliminates all but the constant and \(\ell=1\) modes of the supertranslation freedom, leaving an ordinary Poincaré subgroup and thus a canonical rest-frame cut of \(\mathscr I^+\) [1609.01731].

## 4. Center-of-mass cuts and the supertranslation ambiguity

In the Dray–Streubel charge construction, angular momentum is encoded in a two-cut dependent charge \(M_{ab}(u_{\rm act},u_{\rm pas})\), where \(u_{\rm act}\) is the active cut at which one evaluates angular momentum and \(u_{\rm pas}\) is the passive cut serving as the choice of origin. The natural center-of-mass prescription is to define the center-of-mass cut \(u_{\rm pas}\) by requiring the time-space components to vanish,
\[
M_{0i}(u_{\rm act},u_{\rm pas})=0,
\]
in a Bondi frame in which the four-momentum \(P^a(u_{\rm act})\) is aligned along the \(u\)-axis.

Under an actual translation by an asymptotically constant vector \(T^a\), the change-of-origin law is
\[
M_{ab}(u_{\rm act},\,u_{\rm pas}+T)
=
M_{ab}(u_{\rm act},u_{\rm pas})
+P_a\,T_b-P_b\,T_a.
\]
One may therefore solve for a complementary translation \(T_{\rm comp}(u_{\rm pas})\), unique up to constants parallel to \(P^a\), and define
\[
u_{\rm CM}=u_{\rm pas}+T_{\rm comp}(u_{\rm pas}).
\]

The ambiguity enters because the BMS group is \((\text{proper orthochronous Lorentz})\ltimes(\text{supertranslations})\), its translations are precisely the \(\ell=0,1\) modes of the supertranslation generators, and there is no invariant notion of “\(\ell\ge2\)-free” supertranslation. The condition \(M_{0i}=0\) eliminates only the \(\ell=1\) part of the shift. The \(\ell\ge2\) parts remain unfixed, so the quotient
\[
\text{Supertranslations}/\text{Translations}
\]
parameterizes the distinct center-of-mass cuts. Cuts which differ by an \(\ell\ge2\) supertranslation are physically incompatible choices of center-of-mass frame.

The same issue appears in spin. In Helfer’s formulation, the charge associated with a Lorentz generator \(A_{ab}(c)\) is
\[
Q(c)=Q_0(c)+Q_{\rm super}(c).
\]
For pure translations one has \(Q_{\rm super}(c)=0\), so the space-space components identified with spin are translation-invariant. For a general supertranslation with \(\ell\ge2\), however, \(Q_{\rm super}(c)\neq0\) unless the mass aspect is constant. Thus the natural definition of spin is translation-, but not supertranslation-, invariant. To recover uniqueness one must restrict the class of admissible cuts, for example to stationary good cuts or by adding a further convention such as requiring the shear-potential to have vanishing \(\ell\ge2\) part [2105.11623].

## 5. Generalized BMS frames, BMSW frames, and vacuum structure

The notion of frame broadens when one enlarges the asymptotic symmetry group. In the generalized BMS group, \(\chi:S^2\to S^2\) is an arbitrary sphere diffeomorphism and the Weyl factor is constrained by preservation of the volume form. In the Weyl BMS group, one allows arbitrary \(\chi\), arbitrary supertranslation \(\beta(\theta)\), and arbitrary Weyl rescaling \(\alpha(\theta)\). A Bondi-gauge-preserving diffeomorphism then acts by
\[
\bar u=e^{\alpha(\theta)}\bigl[u+\beta(\theta)\bigr],\qquad
\bar\theta^A=\chi^A(\theta).
\]
For the induced metric and shear, a compact expression is
\[
\tilde q_{AB}
=\chi_*\bigl(e^{-2\tau}q_{AB}\bigr),\qquad
\tilde C_{AB}
=\chi_*\!\Bigl[
e^{-\tau}\bigl(C_{AB}+2D_A D_B\beta-h_{AB}D^2\beta\bigr)
-2u\,e^{-\tau}(D_A D_B-\tfrac12 h_{AB}D^2)e^\tau
\Bigr].
\]
In this setting, a BMS or BMSW frame is again a representative of an orbit, but now the orbit includes transformations of the boundary metric as well as of the shear and mass aspect [2311.03130].

Allowing the boundary metric to fluctuate introduces additional vacuum structure. One description writes
\[
q_{AB}=e^{-\Phi(x)}\,\partial_A G^a\,\partial_B G^b\,\gamma_{ab},
\]
with \(G\in\mathrm{Diff}(S^2)\) and a boundary Liouville field \(\Phi\). If \(q_{AB}\) is fixed to the round metric but \(C_{AB}(u,x)\) is allowed, vacua are labeled by a \(u\)-independent shift \(C_{AB}=C_{AB}^0(x)\), interpreted as the supertranslation field; transitions \(C_-^0\to C_+^0\) are displacement-memory effects. If \(q_{AB}(x)\) is allowed to fluctuate, one finds superboost and superrotation fields, and finite superboost transformations act inhomogeneously on \(\Phi\). The impulsive limit of such a superboost transition is an impulsive gravitational wave whose memory is a velocity-kick/refraction effect at \(\mathscr I^+\). This suggests that different generalized BMS frames are not merely coordinate choices but distinct asymptotic vacua related by memory transitions [2009.01926].

## 6. Charges, memory, and contemporary frame fixing

The modern charge-based viewpoint makes the role of the frame explicit. In nonradiative vacuum regions, BMS charges include the Bondi four-momentum, intrinsic angular momentum, center-of-mass location, and infinitely many supermomentum charges. In the extended setting with superrotations, one also obtains electric-parity super center-of-mass charges and magnetic-parity superspin charges. A canonical Bondi frame can then be fixed in stages: boost to the rest frame so that \(P^i=0\), impose \(K^i=0\), eliminate supertranslations by demanding \(C_{AB}=0\), and eliminate superrotations by imposing \(Q^{(e)}_Y=Q^{(m)}_Y=0\). In that frame,
\[
m(\theta)=m_0=\text{const},\qquad
C_{AB}=0,\qquad
N_A=\mathrm{magnetic\;parity,\;}l=1\;(\text{i.e.\ pure spin}).
\]
The same formalism ties supermomentum to ordinary gravitational-wave memory, super center-of-mass charges to total memory, and superspin charges to the ordinary piece of spin memory [1510.03386].

Recent black-hole perturbation theory has made BMS-frame control a practical issue. On a Kerr background, one may iteratively transform an arbitrary asymptotically flat perturbation to Bondi–Sachs gauge and then fix the residual BMS freedom at a reference \(u_0\) by imposing
\[
P_i^{(1)}=0,\qquad K_i^{(1)}=0,
\]
\[
J_x^{(1)}=J_y^{(1)}=0,
\]
\[
C^{(1)}_{AB,e}=0.
\]
Time translations and \(\hat z\)-rotations remain free because they are background Killing symmetries. In multiscale self-force expansions, “forgetful gauges” forget memory because the \(\ell\ge2\) modes of the first-order shear vanish in the near zone; passing to Bondi–Sachs gauge introduces a slowly evolving supertranslation \(\alpha^{(1)}(\tilde u)\) and corresponding soft hair,
\[
\langle C^{(1)}_{AB}\rangle=-2\,D_{\langle A}D_{B\rangle}\,\alpha^{(1)}(\tilde u).
\]
In that framework, memory and “memory distortion” appear naturally, and the second-order source becomes integrable toward \(\scri^+\), curing the infrared divergence encountered in forgetful gauges. The same framework could also be used for ringdown analysis and is expected to be vital for comparisons with numerical relativity and post-Newtonian theory [2606.24816].

Source: https://www.emergentmind.com/topics/bondi-metzner-sachs-bms-frame