---
title: Geroch-Hansen Multipole Moments
url: https://www.emergentmind.com/topics/geroch-hansen-moments
type: topic
---

# Geroch-Hansen Multipole Moments

Geroch–Hansen moments are a set of covariantly defined multipole moments that uniquely characterize stationary, asymptotically flat vacuum solutions to the Einstein equations within general relativity. They extend the concept of Newtonian multipole expansions to the regime of general relativity, providing a gauge-invariant and coordinate-independent formalism for extracting a complete set of “multipole charges” (mass and current moments) from the asymptotic structure of the gravitational field. These moments play a central role in gravitational physics, both for metric reconstruction and for formulating null tests of the no-hair paradigm via gravitational-wave observations.

## 1. Geometric and Physical Foundations

The Geroch–Hansen construction is defined for stationary spacetimes that are asymptotically flat and solve the vacuum Einstein equations $R_{ab}=0$ [2412.19667]. Such a manifold $(M,g_{ab})$ must admit a complete timelike Killing vector field $\xi^a$. Quotienting $M$ by the flow of $\xi^a$ yields a Riemannian “observer space” $(S,h_{ij})$, with the metric
\[
\lambda = -g_{ab}\,\xi^a\xi^b, \qquad h_{ij} = \lambda\,g_{ij} + \xi_i\,\xi_j,
\]
where $\lambda$ is the squared norm of the Killing field. In the vacuum case, the twist one-form
\[
\omega_i = -[*(\xi^\flat \wedge d\xi^\flat)]_i
\]
is closed ($d\omega = 0$), and can locally be written as an exact form $df$.

The key idea is to generalize the Newtonian expansion of the gravitational potential near spatial infinity to general relativity. This is achieved by constructing a conformally compactified extension $(\tilde S,\tilde h_{ij})$ of $S$ that adds a single point $i^0$ at spatial infinity using a conformal factor $\Omega$. The Geroch–Hansen moments are then defined by the behavior of suitably regularized gravitational potentials at $i^0$.

## 2. Construction of the Moments: Conformal Compactification and Potentials

Asymptotic flatness is formalized by requiring the existence of a manifold $\tilde S = S \cup \{i^0\}$, a positive $C^2$ function $\Omega$, and a Riemannian metric $\tilde h_{ij}$ on $\tilde S$ such that
\[
\tilde h_{ij} = \Omega^2 h_{ij},\qquad
\Omega(i^0)=0,\quad d_i\Omega|_{i^0}=0,\quad \tilde D_i d_j\Omega|_{i^0} = 2 \tilde h_{ij}(i^0),
\]
where $\tilde D_i$ is the covariant derivative built from $\tilde h_{ij}$ [2412.19667].

The mass potential $\phi_M$ and current potential $\phi_J$ are constructed on $S$ by
\[
\phi_M = \frac{1 - \lambda^2 - f^2}{4\,\lambda},\qquad
\phi_J = -\frac{f}{2\,\lambda},
\]
where $f$ is the twist potential. These are regularized via
\[
\tilde\phi_A = \Omega^{-1/2}\,\phi_A,\quad A=M,J,
\]
so that the regularized potentials $\tilde\phi_A$ extend smoothly to $i^0$ in $\tilde S$.

A recursive sequence of symmetric, trace-free tensors $P^n_{i_1\dots i_n}$ is defined on $\tilde S$ (where $\tilde R_{ij}$ is the Ricci tensor of $\tilde h_{ij}$) as:
\[
P^0 = \tilde\phi,\qquad
P^{n+1}_{i_1\dots i_{n+1}} = \Big[ \tilde D_{(i_1} P^n_{i_2\dots i_{n+1})}
- \frac{1}{2} n(2n-1) \tilde R_{(i_1i_2} P^{n-1}_{i_3\dots i_{n+1})} \Big]^{\mathrm{STF}}.
\]
The mass ($M_n$) and current ($J_n$) multipole moments are then given by $M_n = P^n_M|_{i^0}$ and $J_n = P^n_J|_{i^0}$, with the symmetric trace-free projection ensuring the correct counting of independent components for each order [2412.19667].

## 3. Uniqueness, Transformation Laws, and Gauge Dependence

A pivotal result is the refined uniqueness theorem for the one-point conformal completion: given two possible completions $(\tilde S, \tilde h_1, \Omega_1)$ and $(\tilde S, \tilde h_2, \Omega_2)$, the metrics and conformal factors are related as
\[
\tilde h_2 = \alpha^2 \tilde h_1, \qquad \Omega_2 = \alpha \Omega_1,
\]
with a smooth, everywhere positive $\alpha$ satisfying $\alpha(i^0)=1$ [2412.19667]. This imposes a residual conformal gauge freedom but does not affect the smooth or topological properties of $\tilde S$.

Under such conformal transformations, the moment tensors transform nontrivially. Explicitly, for $P_2^k$ constructed from $\tilde h_2$,
\[
P_2^k = \sum_{m=0}^k \binom{k}{m}
\frac{(2k-1)!!}{(2m-1)!!}
(-2)^{-(k-m)} \alpha^{-\frac{1}{2}-(k-m)}
\Big[ P_1^m \otimes (d\alpha)^{\otimes(k-m)} \Big]^{\mathrm{STF}},
\]
where $P_1^m$ are the moments for $\tilde h_1$ [2412.19667]. The leading monopole is invariant; the dipole shifts by a term linear in $d\alpha$, directly generalizing Newtonian shifts due to origin displacements.

## 4. Explicit Results: Kerr, NUT, and Non-Vacuum Solutions

For Kerr spacetime (mass $m$, spin parameter $a$), all nonvanishing moments are axisymmetric. Denoting $\tilde Z$ as the distinguished axis direction [2412.19667],
\[
m^{2k} = (-1)^k\,m\,a^{2k}, \quad m^{2k+1}=0, \quad
j^{2k} = 0, \quad j^{2k+1} = (-1)^k\,m\,a^{2k+1}.
\]
This concise sequence encodes the vacuum no-hair theorem: all higher moments are fixed functions of $(m,a)$ [2412.19667, 1008.1278].

In Kerr–NUT spacetimes, the Geroch–Hansen moments take the closed form
\[
M_\ell + i S_\ell = (M - i N)(i a)^\ell,
\]
so that all mass and current moments for all $\ell$ are in principle nonzero for nonvanishing NUT charge $N$; the presence of $N$ breaks equatorial reflection symmetry and generically activates all even and odd moments [2008.06891].

For non-vacuum, asymptotically flat spacetimes—such as the Kerr–Newman black hole (mass $M$, spin $a$, charge $Q$)—the Geroch–Hansen moments can be evaluated via the “improved twist” construction using an appropriately generalized Ernst potential. Remarkably, in such cases all multipoles retain their Kerr forms and are independent of $Q$: $M_\ell = M\,(-i a)^\ell$ and $J_\ell = M\,(-i a)^\ell a$ [2503.00439]. Consequently, macroscopic charges or other "hair" such as regularization parameters do not appear in the Geroch–Hansen multipole sequence: these moments are entirely set by the total mass and angular momentum, a direct illustration of the generalized no-hair theorem for stationary, asymptotically flat solutions [2503.00439].

## 5. Alternative Formulations and Unified Perspectives

Historically, there are parallel constructions for gravitational multipole moments:

- Thorne moments, defined via harmonic-gauge expansions of the metric, coincide with Geroch–Hansen moments in stationary vacuum spacetimes [1604.07192]. This is ensured by the generalized Gauss theorem, allowing the equivalence of surface and volume integrals for extracting moments.
- Noether charge methods define moments using surface integrals associated with residual gauge (“multipole symmetry”) vector fields in harmonic gauge [2105.09971]. These have been shown to coincide with the Geroch–Hansen definition in the $\Lambda\to 0$ limit and admit extension to (A)dS or higher-derivative theories.
- The multipole expansion is embedded within a broader tower of asymptotic or “celestial” charges (including BMS and memory charges), with the Geroch–Hansen moments sitting at the base of the non-radiative charge tower in non-radiative regions [2206.12597].

The following table summarizes correspondences:

| Formulation                | Inputs                              | Output Multipoles         |
|----------------------------|-------------------------------------|--------------------------|
| Geroch–Hansen              | $(S,h_{ij})$, conformal compactification | $\{M_n, J_n\}$           |
| Thorne (harmonic gauge)    | Large-$r$ expansion of $g_{tt}$     | $\{M_n\}$                |
| Noether charge (surface)   | Harmonic residual gauge generators   | $\{M_{\ell m}, J_{\ell m}\}$ |
| Celestial charge hierarchy | Null infinity data, BMS/NP charges  | GH moments at base level  |

All approaches agree in static/stationary, asymptotically flat, vacuum solutions.

## 6. Limitations, Extensions, and Uniqueness in and beyond General Relativity

In general relativity, the Geroch–Hansen multipole moments uniquely specify the stationary, asymptotically flat vacuum solution (modulo the residual gauge). However, outside GR—such as in scalar-tensor or other alternative theories—the same formal construction can be applied, but various pathologies arise:

- Distinct spacetimes (with different metric functions) can possess identical sets of Geroch–Hansen moments. Conversely, the same metric can admit multiple assignments of formal moments, depending on the theory and matter sector [2511.22405].
- Physically measurable observables (e.g., black hole shadow radii, universal I–Love–Q relations for neutron stars) can be degenerate with respect to multipole assignments, invalidating “universal” inferences unless the underlying field equations are fixed [2511.22405].

This suggests that while Geroch–Hansen moments have unique classification power within GR, they are insufficient for spacetime reconstruction in wider classes of gravity theories—implying a breakdown of universality for multipole-based characterizations beyond Einstein gravity.

## 7. Observational and Theoretical Implications

Geroch–Hansen moments are central in:

- Null tests of the no-hair paradigm: Deviation of measured multipoles from the Kerr sequence signals physics beyond classical GR (e.g., "bumpy black holes" possess Geroch–Hansen moments with controlled deviations; the formalism provides a direct map from metric perturbations to $\delta M_\ell$ and $\delta S_\ell$) [1008.1278].
- Gravitational wave astronomy: Extreme-mass-ratio inspirals (EMRIs) and the phase evolution of binary inspirals can, in principle, probe the higher multipole structure of astrophysical compact objects. While deviation from Kerr–like multipoles is a clear signature of exotic structure or non-GR hair, in practice, only the lowest-order moments may be measurable with current and near-future detectors [2503.00439].
- Memory, BMS symmetry, and spacetime reconstruction: The full set of celestial charges, containing the Geroch–Hansen moments as the lowest-order non-radiative pieces, encodes the memory effects and dynamical histories of isolated systems [2206.12597].

In summary, the Geroch–Hansen moments provide a mathematically rigorous, covariant, and gauge-invariant framework that underpins both the classification of asymptotically flat stationary solutions in general relativity and the empirical strategies for testing strong-field gravity via multipolar structure. Their extension beyond GR is possible but must be interpreted with care due to the generic loss of uniqueness and model dependence [2511.22405].

Source: https://www.emergentmind.com/topics/geroch-hansen-moments