Gibbons–Hawking Ansatz

• Gibbons–Hawking ansatz is a construction of hyperkähler 4-manifolds from an S¹-bundle over an open subset of ℝ³ using a harmonic function and a connection that satisfies the Bogomolny equation.
• It provides a reversible framework that explicitly defines the metric, hyperkähler forms, and moment-map coordinates, facilitating models like multi-center and cone singular metrics.
• The ansatz has broad applications ranging from gravitational instanton theory and calibrated geometry to supergravity, linking analytic techniques with geometric and physical insights.

The Gibbons–Hawking ansatz is a local and global construction of hyperkähler $4$-manifolds with a tri-Hamiltonian $S^1$-action from data on a $3$-dimensional base. In its classical form, one takes a principal $S^1$-bundle over an open set in $\mathbb{R}^3$, equips it with a connection whose curvature satisfies a Bogomolny equation, and builds a metric of the form

$g = W\, h_{\mathbb R^3} + W^{-1}\,\eta^2,$

with $W>0$ harmonic on the base; equivalent notational variants in the literature write

$$g=\phi^{-1}\eta^2+\phi\,g_{\mathbb R^3} \quad\text{or}\quad g=\frac{1}{V}\omega^2+V\pi_U^*(dg_E^2).$$

The construction is reversible, and the bundle projection gives the hyperkähler moment-map coordinates $u=(u_1,u_2,u_3)$ with $du_i=\iota_X\omega_i$ (Streets et al., 2020, Trinca, 2020, He et al., 24 Nov 2025).

1. Classical formulation

The standard setup begins with an open set $S^1$0, a principal $S^1$1-bundle $S^1$2 or $S^1$3, a positive harmonic function, and a connection $S^1$4-form. In one common normalization, if $S^1$5 is harmonic and $S^1$6 satisfies

$S^1$7

then the metric is

$S^1$8

A closely related presentation uses a positive function $S^1$9 with

$3$0

and writes

$3$1

In Euclidean coordinates $3$2, the hyperkähler $3$3-forms are

$3$4

and are closed by the monopole equation (Trinca, 2020).

In the moment-map formulation, the circle action is generated by a Killing field $3$5, and the orbit space is locally identified with an open set in $3$6 via

$3$7

The ansatz is reversible: given the harmonic function and the connection satisfying the curvature equation, one reconstructs a hyperkähler metric, and conversely every nondegenerate local model with the required symmetry takes this form (Streets et al., 2020).

The same structure is often written with a harmonic potential $3$8 and connection $3$9,

$S^1$0

together with the hyperkähler triple

$S^1$1

and complex structures satisfying

$S^1$2

This realizes the $S^1$3-fibres as a tri-Hamiltonian circle action (He et al., 24 Nov 2025).

2. Multi-center metrics, complete spaces, and complex surfaces

The classical complete examples are obtained by taking the harmonic function to be a constant plus a sum of Green’s functions; poles correspond to fixed points of the $S^1$4-action, and adding those points yields complete hyperkähler $S^1$5-manifolds (Streets et al., 2020). Standard explicit choices include

$S^1$6

for flat $S^1$7,

$S^1$8

for Eguchi–Hanson,

$S^1$9

for multi-Eguchi–Hanson,

$\mathbb{R}^3$0

for Taub–NUT, and

$\mathbb{R}^3$1

for multi-Taub–NUT. A more general multi-centred form is

$\mathbb{R}^3$2

and unless $\mathbb{R}^3$3, one cannot generally add back the punctures as smooth points (Trinca, 2020).

The ansatz also admits countably many monopoles. For a closed discrete countable set

$\mathbb{R}^3$4

one can take

$\mathbb{R}^3$5

under the summability condition

$\mathbb{R}^3$6

The resulting metric

$\mathbb{R}^3$7

extends smoothly across the added fixed points and becomes a complete hyperkähler metric on a $\mathbb{R}^3$8-manifold of infinite topological type (He et al., 24 Nov 2025).

In this infinite-monopole setting, the complex structures can still be described explicitly. For the preferred complex structure $\mathbb{R}^3$9, the function

$g = W\, h_{\mathbb R^3} + W^{-1}\,\eta^2,$0

is holomorphic, and if the projected monopole values $g = W\, h_{\mathbb R^3} + W^{-1}\,\eta^2,$1 are pairwise distinct, then $g = W\, h_{\mathbb R^3} + W^{-1}\,\eta^2,$2 is biholomorphic to a hypersurface

$g = W\, h_{\mathbb R^3} + W^{-1}\,\eta^2,$3

in $g = W\, h_{\mathbb R^3} + W^{-1}\,\eta^2,$4, where

$g = W\, h_{\mathbb R^3} + W^{-1}\,\eta^2,$5

is an explicit entire function built from Weierstrass primary factors. When genericity fails, the manifold is biholomorphic to the minimal resolution of

$g = W\, h_{\mathbb R^3} + W^{-1}\,\eta^2,$6

with exceptional divisors forming chains of rational curves of self-intersection $g = W\, h_{\mathbb R^3} + W^{-1}\,\eta^2,$7 (He et al., 24 Nov 2025).

3. Donaldson’s cone metrics and the ansatz over a wedge

A particularly explicit geometric reworking of the ansatz is the construction of Donaldson’s Ricci-flat model metrics on $g = W\, h_{\mathbb R^3} + W^{-1}\,\eta^2,$8 with cone singularities along

$g = W\, h_{\mathbb R^3} + W^{-1}\,\eta^2,$9

obtained from a wedge in $W>0$0 (Borbon, 2017). The base is

$W>0$1

with edge

$W>0$2

and one begins with the Green’s function $W>0$3 for the Laplacian on $W>0$4 with pole at $W>0$5, zero normal derivative on the boundary, and decay at infinity: $W>0$6

After identifying the wedge faces by rotation, the quotient base carries the cone metric

$W>0$7

and the corresponding Green’s function $W>0$8 solves

$W>0$9

It is $$g=\phi^{-1}\eta^2+\phi\,g_{\mathbb R^3} \quad\text{or}\quad g=\frac{1}{V}\omega^2+V\pi_U^*(dg_E^2).$$0-smooth along the singular axis and has the polyhomogeneous expansion

$$g=\phi^{-1}\eta^2+\phi\,g_{\mathbb R^3} \quad\text{or}\quad g=\frac{1}{V}\omega^2+V\pi_U^*(dg_E^2).$$1

The Gibbons–Hawking construction is then implemented on the cone base $$g=\phi^{-1}\eta^2+\phi\,g_{\mathbb R^3} \quad\text{or}\quad g=\frac{1}{V}\omega^2+V\pi_U^*(dg_E^2).$$2 with

$$g=\phi^{-1}\eta^2+\phi\,g_{\mathbb R^3} \quad\text{or}\quad g=\frac{1}{V}\omega^2+V\pi_U^*(dg_E^2).$$3

yielding the Ricci-flat model metric

$$g=\phi^{-1}\eta^2+\phi\,g_{\mathbb R^3} \quad\text{or}\quad g=\frac{1}{V}\omega^2+V\pi_U^*(dg_E^2).$$4

A key point is that the bundle projection is the hyperkähler moment map. Choosing the $$g=\phi^{-1}\eta^2+\phi\,g_{\mathbb R^3} \quad\text{or}\quad g=\frac{1}{V}\omega^2+V\pi_U^*(dg_E^2).$$5-axis as the complex direction, one solves the local Cauchy–Riemann system in the form

$$g=\phi^{-1}\eta^2+\phi\,g_{\mathbb R^3} \quad\text{or}\quad g=\frac{1}{V}\omega^2+V\pi_U^*(dg_E^2).$$6

with

$$g=\phi^{-1}\eta^2+\phi\,g_{\mathbb R^3} \quad\text{or}\quad g=\frac{1}{V}\omega^2+V\pi_U^*(dg_E^2).$$7

and defines

$$g=\phi^{-1}\eta^2+\phi\,g_{\mathbb R^3} \quad\text{or}\quad g=\frac{1}{V}\omega^2+V\pi_U^*(dg_E^2).$$8

This identifies the total space with $$g=\phi^{-1}\eta^2+\phi\,g_{\mathbb R^3} \quad\text{or}\quad g=\frac{1}{V}\omega^2+V\pi_U^*(dg_E^2).$$9 carrying the standard $u=(u_1,u_2,u_3)$0-action

$u=(u_1,u_2,u_3)$1

and the singular axis maps precisely to $u=(u_1,u_2,u_3)$2 (Borbon, 2017).

The resulting metric is Ricci-flat Kähler on $u=(u_1,u_2,u_3)$3, invariant under the above $u=(u_1,u_2,u_3)$4-action, with cone angle $u=(u_1,u_2,u_3)$5 along $u=(u_1,u_2,u_3)$6, and volume form

$u=(u_1,u_2,u_3)$7

Near points of $u=(u_1,u_2,u_3)$8, the metric is $u=(u_1,u_2,u_3)$9 in cone coordinates, with

$du_i=\iota_X\omega_i$0

At infinity it is asymptotic to the product cone $du_i=\iota_X\omega_i$1 with model

$du_i=\iota_X\omega_i$2

and asymptotic rate

$du_i=\iota_X\omega_i$3

Its curvature satisfies

$du_i=\iota_X\omega_i$4

and the total $du_i=\iota_X\omega_i$5-energy is

$du_i=\iota_X\omega_i$6

For $du_i=\iota_X\omega_i$7, these metrics are related to $du_i=\iota_X\omega_i$8-quotients of ALE spaces, and as $du_i=\iota_X\omega_i$9 the pointed blow-up limit near the fixed point becomes the Taub–Nut metric (Borbon, 2017).

4. Analytic, calibrated-geometric, and supergravity applications

The ansatz serves as an analytic model for collapsing gravitational instantons. For a flat $S^1$00-manifold $S^1$01, a positive harmonic function $S^1$02 on $S^1$03, and a connection $S^1$04 satisfying

$S^1$05

one defines

$S^1$06

The circle fibres have radius $S^1$07, so as $S^1$08 the total space collapses to the base. After conformal rescaling, the asymptotic geometry has bounded geometry uniformly in $S^1$09, and the weighted Laplacian becomes a strictly elliptic operator with uniform coefficients. In this setting, the Laplacian is Fredholm, and the paper determines sharp isomorphism ranges, including $S^1$10 in the ALF case (Salm, 2024).

Type	$S^1$11	$S^1$12
ALF	$S^1$13	$S^1$14
ALG	$S^1$15	$S^1$16
ALG$S^1$17	$S^1$18	$S^1$19
ALH	$S^1$20	$S^1$21
ALH$S^1$22	$S^1$23	$S^1$24

The same reduction to a $S^1$25-dimensional base makes minimal-submanifold problems unusually explicit. If $S^1$26 is $S^1$27-invariant and $S^1$28, then

$S^1$29

and

$S^1$30

If $S^1$31 is an $S^1$32-invariant surface with projected curve $S^1$33, then

$S^1$34

and

$S^1$35

so $S^1$36 must be a straight line segment. Barrier arguments based on $S^1$37-convexity give exclusion regions for compact minimal submanifolds; in the two-point multi-Eguchi–Hanson or multi-Taub–NUT case, compactly supported stationary integral varifolds are contained in the unique $S^1$38-invariant compact minimal surface (Trinca, 2020).

For special Lagrangians and Lagrangian mean curvature flow, every $S^1$39-invariant surface has the form

$S^1$40

with

$S^1$41

Such a surface is Lagrangian for some hyperkähler symplectic form iff $S^1$42 lies in a plane, and with

$S^1$43

one has the characterization

$S^1$44

The paper proves circle-invariant versions of the Thomas conjecture and the Thomas–Yau conjecture in ALE and ALF Gibbons–Hawking manifolds, and the Lagrangian mean curvature flow reduces to the weighted curve-shortening equation

$S^1$45

It also shows that geodesic orbits of the circle action correspond exactly to critical points of $S^1$46 (Lotay et al., 2020).

In higher-dimensional supergravity, the ansatz supplies the $S^1$47-dimensional hyperkähler base of five-dimensional BPS solutions. The canonical form is

$S^1$48

with

$S^1$49

for a four-center base. In this setting, all fields are encoded by harmonic functions on a flat $S^1$50, regularity is governed by bubble equations and the no-CTC inequality, and generalized spectral flows map three-supertube Taub–NUT configurations to four-center Gibbons–Hawking solutions. The four-center scaling families studied there have angular momentum at around $S^1$51 of the cosmic censorship bound (Heidmann, 2017).

5. Generalized and higher-dimensional variants

The classical ansatz has a generalized Kähler analogue for $S^1$52-dimensional generalized Kähler surfaces with nondegenerate Poisson structure and a biholomorphic $S^1$53-action. In that setting the metric still has the form

$S^1$54

but the base metric is no longer flat: in diagonalizing coordinates

$S^1$55

it is

$S^1$56

where $S^1$57 is the angle function. The curvature is

$S^1$58

and $S^1$59 satisfies the linear elliptic equation

$S^1$60

equivalently

$S^1$61

Thus the generalized ansatz consists of choosing a smooth $S^1$62, solving a linear PDE for $S^1$63, and selecting a connection with the prescribed curvature. Imposing the generalized Kähler-Ricci soliton equation rigidifies this freedom through

$S^1$64

and reduces the classification of complete solutions to harmonic analysis on explicit $S^1$65-orbifolds (Streets et al., 2020).

There is also a quaternionic Kähler analogue in dimension $S^1$66. For quaternionic Kähler spaces with a locally free $S^1$67-action, the geometry admits a Gibbons–Hawking-like description based on the Galicki–Lawson quaternionic Kähler moment map. The construction is expressed in terms of a reduced Higgs field $S^1$68, equivalently a scalar potential $S^1$69, on the quotient shape space

$S^1$70

and yields explicit formulas for the quaternionic Kähler metric, connection, and moment maps. The converse also holds locally: any $S^1$71-dimensional quaternionic Kähler manifold with a locally free isometric $S^1$72-action arises from this ansatz. In the case $S^1$73, the formulas reduce to the Calderbank–Pedersen description of self-dual Einstein $S^1$74-manifolds with two commuting Killing fields (Ionas, 2019).

A further generalization replaces the classical $S^1$75 twistor variables of the Gibbons–Hawking case by $S^1$76 sections. For $S^1$77, the ordinary Gibbons–Hawking frame is recovered after the change of variables

$S^1$78

For $S^1$79, the quaternionic reformulation gives a direct analogue of Gibbons–Hawking adapted to hidden symmetries and is used to obtain explicit expressions for $S^1$80 gravitational instanton metrics, including ALE and ALF $S^1$81 spaces and the Atiyah–Hitchin metric as the $S^1$82 ALF case (Ionas, 2016).

6. Terminological distinctions

The expression “Gibbons–Hawking” labels several distinct constructions in mathematical physics, and these should not be conflated with the metric ansatz. In cosmology, it denotes the thermal relation

$S^1$83

which one paper proves exactly for any spatially flat FLRW universe with $S^1$84; there the subject is cosmological horizon radiation, not hyperkähler geometry (Leonhardt, 2020). In de Sitter thermodynamics, the same names appear in the entropy formula

$S^1$85

together with a proposed dimension-dependent modification

$S^1$86

for the entropy of the Hubble volume (Volovik, 28 Oct 2025). In the gravitational action, “Gibbons–Hawking” refers to the boundary term

$S^1$87

whose bulk-boundary renormalization properties depend on field content and boundary conditions (Jacobson et al., 2013).

This distinction is explicit in several recent works. One string-theoretic paper states that it is not about the Gibbons–Hawking metric/ansatz associated with multi-center gravitational instantons, but about the Gibbons–Hawking entropy of de Sitter space (Dvali, 2024). Another uses the Gibbons–Hawking thermal interpretation of a causal horizon to model a thermal photon bath and compute hydrogen energy-level shifts, again without invoking the hyperkähler ansatz (Pardy, 2016). The metric ansatz, the cosmological temperature, the entropy formula, and the boundary term share the same names but belong to different geometric and physical frameworks.