Gibbons–Hawking ansatz

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