[Paper Review] Hyperkähler manifolds with circle actions and the Gibbons-Hawking Ansatz

Mustafa Kalafat, Justin Sawon|arXiv (Cornell University)|Oct 5, 2009

Geometry and complex manifolds5 references3 citations

TL;DR

This paper establishes that any complete, simply-connected hyperkähler 4-manifold admitting an isometric triholomorphic circle action arises via the Gibbons-Hawking ansatz using a suitable harmonic function. The key contribution is a classification result linking geometric structure to a specific ansatz construction through harmonic data.

ABSTRACT

We show that a complete simply-connected hyperkaehler 4-manifold with an isometric triholomorphic circle action is obtained from the Gibbons-Hawking ansatz with some suitable harmonic function.

Motivation & Objective

• To classify complete, simply-connected hyperkähler 4-manifolds with an isometric triholomorphic circle action.
• To determine whether such geometric structures can be systematically constructed using known ansatz methods.
• To establish a correspondence between the existence of such symmetries and the Gibbons-Hawking construction with harmonic functions.

Proposed method

• Utilize the Gibbons-Hawking ansatz as a framework for constructing hyperkähler metrics with circle symmetry.
• Identify the necessary and sufficient conditions on the harmonic function for the resulting metric to be complete and simply-connected.
• Apply differential geometric techniques to analyze the triholomorphic circle action and its compatibility with the hyperkähler structure.
• Employ the existence of a hyperkähler triple and the associated Kähler forms to verify the ansatz's consistency under the symmetry.
• Use the completeness and simply-connectedness assumptions to constrain the possible harmonic functions in the ansatz.
• Demonstrate that the resulting metric satisfies the hyperkähler condition and the required isometry.

Experimental results

Research questions

• RQ1 Under what conditions does the Gibbons-Hawking ansatz produce a complete, simply-connected hyperkähler 4-manifold with a triholomorphic circle action?
• RQ2 Can every such manifold with the specified symmetries be realized through a harmonic function in the Gibbons-Hawking construction?
• RQ3 What geometric constraints arise from requiring the manifold to be both complete and simply-connected in this context?
• RQ4 How does the triholomorphicity of the circle action interact with the ansatz's structure and the harmonic function?
• RQ5 Is the Gibbons-Hawking ansatz exhaustive for this class of hyperkähler 4-manifolds?

Key findings

• A complete, simply-connected hyperkähler 4-manifold with an isometric triholomorphic circle action is necessarily constructed via the Gibbons-Hawking ansatz.
• The construction is fully determined by a harmonic function on R^3 minus a discrete set of points.
• The resulting metric is hyperkähler and admits three Kähler forms invariant under the circle action.
• The completeness of the metric is equivalent to the harmonic function satisfying specific asymptotic behavior at infinity and singularities.
• The simply-connectedness condition restricts the topology of the base space of the fibration to be simply-connected.
• The triholomorphicity of the circle action is equivalent to the existence of a Killing vector field preserving all complex structures.