Geroch Transformations

One non-null Killing field exposes a finite $SL(2,\mathbb R)$ symmetry of the vacuum norm–twist system. When a vacuum spacetime has two commuting Killing fields, one can reduce along either generator, transform, reconstruct, and reduce again. The two finite transformation groups are embedded differently and do not commute; their repeated composition generates the infinite-dimensional Geroch group.

Required background. Killing Fields and Isometry Groups supplies commuting isometries and their orbit spaces.

Helpful background. Einstein’s Equation supplies the vacuum equations; The Riemann Curvature Tensor supplies checks of generated metrics; Exact Solutions of Einstein’s Equations supplies stationary-axisymmetric and wave seeds; Formulations of General Relativity supplies repeated dimensional reduction; PDEs and Green Functions supplies characteristic versus elliptic reconstruction data.

Scope. The alternating norm–twist construction on this page assumes four-dimensional Ricci-flat vacuum with $\Lambda=0$. Its stationary-axisymmetric inputs are developed in Twist and Ernst Potentials and Weyl–Papapetrou Form and Orbit Space.

Two commuting symmetries

Let $\xi$ and $\eta$ obey

$$[\xi,\eta]^a=0, \qquad \mathcal L_\xi g_{ab}=\mathcal L_\eta g_{ab}=0.$$

Stationary-axisymmetric vacuum geometry uses a timelike generator near infinity and an axial generator with closed spacelike orbits away from its axis. Cylindrical waves instead use two spacelike generators. The causal character changes the base: timelike reduction has a Riemannian three-base, whereas spacelike reduction has a Lorentzian three-base. In four-dimensional vacuum both have the positive hyperbolic norm–twist target $SL(2,\mathbb R)/SO(2)$; the latter gives a wave map, as explained in Reduced Gravity as a Sigma Model.

Reduce first along $\xi$. Its norm $\lambda=\xi^2$, twist potential, and orbit metric form a three-dimensional solution. Because $\eta$ commutes with $\xi$, it descends to a symmetry of the reduced fields under the standard projectability hypotheses. An $SL(2,\mathbb R)$ transformation of the $\xi$ potentials produces a new local four-metric with two symmetries. One may now reduce that metric along $\eta$, act with the corresponding norm–twist group, and repeat.

This procedure requires both Killing fields and the twist potentials on the region in question. At an axis $\eta^2=0$, axial reduced variables become singular even if the four-geometry is regular. At an ergosurface a stationary generator can become null. Transformations are therefore constructed on fixed-character patches and then lifted before axes, horizons, or patch boundaries are assessed.

Why the group becomes infinite

If both reductions generated the same finite subgroup acting on the same variables, alternating them would add nothing. They do not. Reconstructing the four-metric makes the second norm and twist nonlocal functions of the first reduced potentials. Conjugating a generator of the first $SL(2,\mathbb R)$ by transformations associated with the second produces new generators, and their commutators continue to generate new levels.

In the fully two-dimensional reduction, this hierarchy can be organized as a loop or affine extension of the finite target-space algebra. The spectral-parameter linear system packages those infinitely many transformations: changing its monodromy data acts on the nonlinear solution. The Geroch group is therefore an infinite-dimensional symmetry of the reduced solution space, not an extra spacetime isometry group. It does not provide infinitely many Killing vectors of a generated metric.

Geroch’s one-Killing construction and its conserved two-forms are given in Geroch 1971, pp. 918–924. The two-commuting-Killing iteration and its hypotheses are developed in Geroch 1972, pp. 394–404.

Local action and boundary subgroups

The formal group is larger than the subgroup preserving a desired physical class. A generic element can change asymptotic normalization, add NUT charge, alter electromagnetic potentials in an enlarged theory, or destroy regularity of an axis. Twist potentials are defined only up to constants, and reconstruction one-forms up to closed terms; on a nonsimply connected orbit space these choices carry global information.

For stationary-axisymmetric asymptotically flat solutions, admissible transformations must preserve a unit timelike generator at infinity, the periodic axial generator, vanishing unwanted time–angle identifications, and elementary flatness on every axis component. Even when those conditions hold, transformed multipole moments and horizon rods must be recomputed. The subgroup that preserves asymptotic flatness was isolated within the broader stationary Einstein–Maxwell symmetry by Hoenselaers, Kinnersley, and Xanthopoulos 1979, pp. 2530–2536.

In higher dimensions, $D-2$ commuting Killing fields reduce vacuum gravity to a two-dimensional matrix sigma model, but global asymptotic flatness with that many axial symmetries is naturally compatible only in four and five dimensions. Emparan and Reall explain the rank restriction and its consequences in Emparan and Reall 2008, §1, pp. 5–7, PDF.

Two discriminating checks

First, apply a nontrivial transformation to two inequivalent seeds. A twist-free Schwarzschild seed can acquire NUT charge; flat spacetime may transform into a locally nontrivial metric only if the chosen group element and reconstruction data are nontrivial rather than pure gauge. Second, remove one Killing field: a generic vacuum metric with only one symmetry retains the finite norm–twist group but has no alternating second reduction, so the infinite enhancement does not follow.

Exercise

Explain why constant rescaling of a Killing generator cannot by itself count as a new spacetime, even though it changes its reduced norm.

Solution

Replacing $\xi$ by $c\xi$ corresponds locally to the coordinate change $t'=t/c$ when the orbits are noncompact. Its norm scales as $\lambda' = c^2\lambda$ and its twist potential as $\chi'=c^2\chi$, but the four-tensor $g_{ab}$ is unchanged. It becomes physically consequential only when a normalization or periodic identification is fixed, such as unit time translation at infinity or a prescribed angular period. A genuine generating map changes coordinate-invariant curvature or globally normalized charges after such redundancies are removed.

References

• Emparan, Roberto, and Harvey S. Reall. “Black Holes in Higher Dimensions.” Living Reviews in Relativity 11 (2008): 6. DOI; Open PDF.
• Geroch, Robert. “A Method for Generating New Solutions of Einstein’s Equation. II.” Journal of Mathematical Physics 13 (1972): 394–404. DOI.
• Geroch, Robert. “A Method for Generating Solutions of Einstein’s Equations.” Journal of Mathematical Physics 12 (1971): 918–924. DOI.
• Hoenselaers, Cornelius, William Kinnersley, and Basil C. Xanthopoulos. “Symmetries of the Stationary Einstein–Maxwell Equations. VI. Transformations Which Generate Asymptotically Flat Space-Times with Arbitrary Multipole Moments.” Journal of Mathematical Physics 20 (1979): 2530–2536. DOI.