Gibbons–Hawking ansatz

From HandWiki
Short description: Method in general relativity

In mathematics, the Gibbons–Hawking ansatz is a method of constructing gravitational instantons introduced by Gary Gibbons and Stephen Hawking (1978, 1979). It gives examples of hyperkähler manifolds in dimension 4 that are invariant under a circle action.

Description

Suppose that U is an open subset of 3, and let * denote the Hodge star operator on 3 with respect to the usual (flat) Euclidean metric. V is a harmonic function defined on U such that the cohomology class [12π*dV] is integral, i.e. lies in the image of H2(U;)H2(U;). Then there is a U(1)-principal bundle π:PU equipped with a connection 1-form ηΩ1(P;𝔲(1)) whose curvature form is dη=π*(*dV). Then the Riemannian metric g=Vj=13dxjdxj+1Vηη is hyperkahler, and typically extends to the boundary of U.

Examples

Quaternions

The usual (flat) metric on the quaternions 2 is hyperkahler. It can be obtained as a result of the Gibbons-Hawking ansatz applied to the open subset U=3{0} and the harmonic function V(x)=12|x|.

ALE gravitational instantons

The ALE gravitational instanton of type Ak1 can be obtained by applying the Gibbons-Hawking ansatz to the open subset U=3{p1,,pk} for k distinct collinear points p1,,pk and the harmonic function V(x)=j=1k12|xpj|. In the case k=2, we recover the Eguchi-Hanson metric on T*1.

See also

References