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 π:P→U equipped with a connection 1-form η∈Ω1(P;𝔲(1)) whose curvature form is dη=π*(*dV). Then the Riemannian metric g=V∑j=13dxj⊗dxj+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 Ak−1 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|x−pj|. In the case k=2, we recover the Eguchi-Hanson metric on T*ℙ1.

See also

References