Complex structures of the Gibbons-Hawking ansatz with infinite topological type

Basic Information

• Paper ID: 2511.18836
• Title: Complex structures of the Gibbons-Hawking ansatz with infinite topological type
• Authors: Wenxin He, Bin Xu
• Classification: math.DG (Differential Geometry)
• Publication Date: November 24, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2511.18836

Abstract

This paper investigates the complex structures of complete hyperkähler four-dimensional manifolds of infinite topological type arising from the Gibbons-Hawking ansatz. Under natural genericity assumptions on monopole configurations, the authors prove that the resulting manifold is biholomorphic to a hypersurface in $\mathbb{C}^3$ defined by an explicit entire function, and that this description holds for almost all compatible complex structures in the relevant $S^2$ family. When the genericity conditions are relaxed, they further prove that the manifold is biholomorphic to the minimal resolution of a singular surface. Thus, this paper partially extends LeBrun's classical work to the case of countably many monopoles.

Research Background and Motivation

Problem Background

1. Historical context of Gibbons-Hawking construction: Gibbons and Hawking introduced in their pioneering work a method for constructing four-dimensional hyperkähler metrics with three Hamiltonian $S^1$-actions. Hitchin developed a systematic picture of the hyperkähler geometry underlying these constructions through twistor methods and monopole moduli spaces.
2. Classical results for finite topological type: Kronheimer described asymptotically locally Euclidean spaces arising as hyperkähler quotients; Bielawski analyzed complete hyperkähler manifolds with local trihamiltonian actions. In these works, the relevant monopole point configurations were finite, and the resulting manifolds had finite topological type.
3. Emergence of infinite topological type: Anderson-Kronheimer-LeBrun used Gibbons-Hawking metrics to construct complete Ricci-flat hyperkähler manifolds of infinite topological type. Goto provided a different perspective from the hyperkähler quotient viewpoint, and Hattori studied the volume growth and asymptotic geometry of these $A_\infty$-type manifolds.

Research Motivation

1. Lack of understanding of complex structures: Although the construction of infinite topological type hyperkähler manifolds has been established, systematic study of their complex structures and concrete geometric descriptions remains lacking.
2. Extending LeBrun's work: LeBrun's classical 1991 work dealt with the case where the circle action has finitely many fixed points. The core motivation of this paper is to extend this picture to the case of countably many monopoles.
3. Connecting monopole geometry with complex geometry: Establishing direct connections between complex structures arising from the Gibbons-Hawking ansatz and the geometry of monopole configurations.

Core Contributions

1. Existence criterion (Theorem 1.1): Provides an existence criterion for the Gibbons-Hawking potential function using Riesz measures and potential theory methods, offering a different proof from the maximum principle approach of Kalafat-Sawon.
2. Biholomorphic equivalence in the generic case (Theorem 1.3): Under the genericity assumption on monopole configurations (the projection $H$ is injective), proves that $(M,J)$ is biholomorphic to the hypersurface in $\mathbb{C}^3$: $u_1u_2 = P(u_3)$ where $P(u)$ is an explicit entire function constructed using Weierstrass elementary factors.
3. Extension to the $S^2$ family (Corollary 3.7): Proves that for almost all directions $v \in S^2$, the corresponding complex structure $(M,J_v)$ admits a similar hypersurface description.
4. Minimal resolution in the non-generic case (Theorem 1.4): When the genericity assumption fails, proves that $(M,J)$ is biholomorphic to the minimal resolution of a singular hypersurface with singularities of type $(A_{m_1-1}, A_{m_2-1}, \ldots)$.

Detailed Methodology

Task Definition

Study the concrete geometric realization of the complex structure $(M,J)$ of the hyperkähler manifold $M$ constructed from the Gibbons-Hawking ansatz, where:

• Input: Countably many distinct points $\{p_j\}_{j=1}^\infty \subset \mathbb{R}^3$ satisfying the summability condition $\sum_{j=2}^\infty \frac{1}{\|p_1-p_j\|} < \infty$
• Output: Biholomorphic equivalence relations between $(M,J)$ and hypersurfaces in $\mathbb{C}^3$ or their resolutions
• Constraints: Genericity or non-genericity conditions on monopole configurations

Construction Framework

1. Review of Gibbons-Hawking ansatz

Let $U = \mathbb{R}^3 \setminus A$, where $A = \{p_j : j \in \mathbb{N}_+\}$. Define the harmonic function $V(p) := \frac{1}{2}\sum_{j=1}^\infty \frac{1}{\|p-p_j\|}$

The Gibbons-Hawking metric is: $g = \frac{1}{V}\omega^2 + V\pi^*_0(dg^2_E)$

where $\omega$ is a connection form with curvature $\star dV$. The complex structure $J = J_x$ is characterized by: $dx \mapsto V^{-1}(dt+\theta), \quad dy \mapsto dz$

2. Construction of holomorphic $\mathbb{C}^*$-action

Define the holomorphic vector field: $\xi := -i\left(\frac{\partial}{\partial t}\right)^{1,0} = \frac{1}{2}\left(V^{-1}\hat{\frac{\partial}{\partial x}} - i\frac{\partial}{\partial t}\right)$

This generates a holomorphic $\mathbb{C}$-action $\Phi_\lambda: M \to M$, $\lambda \in \mathbb{C}$. Since $\Phi_{t+is} = \Phi_{t+is+2\pi i}$, this descends to a holomorphic $\mathbb{C}^*$-action.

3. Projection function and orbit structure

Define the projection $H: M \to \mathbb{C}$, $(x,y,z,t) \mapsto y+iz$. For $u \in \mathbb{C}$:

• If $u \neq a_j := y_j+iz_j$ for all $j$, then $C_u := \pi^{-1}(L_u)$ is a single orbit
• If $u = a_j$, then $C_u$ is the union of three orbits: a fixed point $\{q_j\}$ and two open orbits

Technical Innovations

1. Riesz measure method (Section 2)

Innovation: Using Riesz measure theory to replace the maximum principle for proving harmonic function existence.

Technical details:

• Extend $-V_e$ to a subharmonic function on $\mathbb{R}^3$
• Compute the Riesz measure $\mu$ having atomic mass $|e_j|$ at each monopole point $p_j$
• Apply the integral criterion of Theorem 2.4: $\int_1^\infty \frac{n(t)}{t^2}dt < \infty \iff \sum_{j=1}^\infty \frac{|e_j|}{|p_j|} < \infty$

2. Principal bundle trivialization and equivalence relations (Section 3)

Innovation: Establishing biholomorphic equivalence through the Oka-Grauert principle and explicit construction.

Key steps:

• $M_0 = M \setminus \{\pi^{-1}(\{p_j\})\}$ is covered by two open sets $M_+$ and $M_-$
• Each $H: M_\pm \to \mathbb{C}$ is a holomorphic principal $\mathbb{C}^*$-bundle
• Since $\mathbb{C}$ is a Stein manifold with $H^2(\mathbb{C}, \mathbb{Z}) = 0$, by the Oka-Grauert principle, $M_\pm \cong \mathbb{C} \times \mathbb{C}^*$

Determination of equivalence relations (Lemma 3.3):

• Apply the complex Morse lemma near each fixed point $q_j$ (Lemma 3.4)
• Obtain local coordinates $(w_1^j, w_2^j)$ such that $H = a_j + w_1^j w_2^j$
• Through standardization of sections, the equivalence function near $a_j$ is $\frac{\epsilon^2}{u-a_j}$
• The global equivalence relation is given by the Weierstrass product: $(u,v)_+ \sim \left(u, \frac{v}{P(u)}\right)_-$ where $P(u) = u^\delta \prod_{a_j\neq 0} E_j(u/a_j)$

3. Hartogs extension (Proof of Theorem 1.3)

Innovation: Using the Hartogs extension theorem to extend the biholomorphic map from $M_0$ to the hypersurface to the entire $M$.

Construct the map $\chi: M_0 \to \Sigma \setminus \sigma$: $\chi(u,v_+) = \left(\frac{P(u)}{v_+}, v_+, u\right), \quad \chi(u,v_-) = \left(\frac{1}{v_-}, P(u)v_-, u\right)$

By Hartogs' theorem (Theorem 3.5), $\chi$ extends to a biholomorphic map $M \to \Sigma$.

4. Construction of minimal resolution (Section 4)

Innovation: Handling the non-generic case by realizing the manifold as the minimal resolution of a singular hypersurface.

Technical highlights:

• Relabel monopoles as $\{p_{k,l}\}$ such that $H(p_{k,l}) = b_k$
• Define the entire function $P(u) = u^{m_0}\prod_{k:b_k\neq 0}(E_{c_k}(u/b_k))^{m_k}$
• Construct the map $\chi: M \to S$, where $S: u_1u_2 = P(u_3)$
• Exceptional curves $E_{k,l}$ (when $m_k \geq 2$) satisfy $E_{k,l}^2 = -2$
• By the adjunction formula, $\chi$ is a minimal resolution

Experimental Setup

Note: This is a pure mathematics theoretical paper with no numerical experiments. All results are rigorous mathematical proofs.

Theoretical Verification Methods

1. Existence verification: Through rigorous proofs using Bôcher's theorem and Riesz measure theory
2. Biholomorphic equivalence verification: Through explicit construction of maps and their inverses
3. Extension verification: Application of Hartogs extension theorem
4. Minimality verification: Through computation of self-intersection numbers via the adjunction formula

Concrete Examples

Example 4.1 (Chen-Chen's two-center example):

• $p_1 = (0,0,0)$, $p_2 = (1,0,0)$
• $(M,J)$ is biholomorphic to the blowing-up of $u_1u_2 = u_3^2$ at the origin
• Singularity type is $A_1$

Experimental Results

Main Theorem Statements

Theorem 1.1 (Existence Criterion): For $U = \mathbb{R}^3 \setminus A$, a non-trivial cohomology class $e = (e_1, e_2, \ldots) \in H^2(U, \mathbb{Z})$ can be represented in the form $[\star dV_e]$ (where $V_e$ is a positive harmonic function) if and only if:

1. $e_j \leq 0$ for all $j$
2. There exists a point $x \in U$ such that $\sum_{j\geq 1} \frac{|e_j|}{|x-p_j|} < \infty$

Theorem 1.3 (Generic Case): Assume:

1. $\sum_{j=2}^\infty \frac{1}{\|p_1-p_j\|} < \infty$
2. The projections $a_j = H(p_j)$ are pairwise distinct
3. $\{a_j\}$ has no accumulation points in $\mathbb{C}$

Then $(M,J)$ is biholomorphic to the hypersurface $u_1u_2 = P(u_3)$ in $\mathbb{C}^3$.

Corollary 3.7 ($S^2$ family extension): For almost all $v \in S^2$, $(M,J_v)$ is biholomorphic to the hypersurface $u_1u_2 = P_v(u_3)$.

Theorem 1.4 (Non-generic Case): Under appropriate conditions (finite multiplicities, no accumulation points), $(M,J)$ is biholomorphic to the minimal resolution of $u_1u_2 = P(u_3)$, where $P(u) = u^{m_0}\prod_{k:b_k\neq 0}(E_{c_k}(u/b_k))^{m_k}$ with singularity type $(A_{m_1-1}, A_{m_2-1}, \ldots)$.

Key Technical Results

1. Riesz measure computation: Precisely computed the Riesz measure of the subharmonic function $-V_e$ as $n(t) = \sum_{j:|p_j|\leq t} |e_j|$
2. Explicit formula for equivalence relations: In the overlap region $M_+ \cap M_-$, $(u,v)_+ \sim (u, f(u)v)_-$ where $f(u) = \frac{1}{P(u)}$ is uniquely determined by the Weierstrass product (modulo non-zero holomorphic functions).
3. Self-intersection numbers of exceptional curves: Each exceptional curve $E_{k,l}$ satisfies $E_{k,l}^2 = -2$, proving the minimality of the resolution.

Related Work

Classical Foundational Works

1. Gibbons-Hawking 9,10: Introduced the ansatz for constructing four-dimensional hyperkähler metrics, laying the foundation for the field.
2. Hitchin 14: Developed the hyperkähler geometry of monopole moduli spaces through twistor methods.
3. Kronheimer 17: Described asymptotically locally Euclidean spaces as hyperkähler quotients, establishing the construction of $A_k$-type hyperkähler manifolds.
4. Bielawski 3: Analyzed complete hyperkähler manifolds with local trihamiltonian actions, providing a unified framework.

Research on Infinite Topological Type

1. Anderson-Kronheimer-LeBrun 1: First constructed complete Ricci-flat hyperkähler manifolds of infinite topological type, the main object of generalization in this paper.
2. Goto 11: Studied $A_\infty$-type manifolds from the hyperkähler quotient perspective.
3. Hattori 12: Investigated volume growth and asymptotic geometry of $A_\infty$-type manifolds.

Research on Complex Structures

1. LeBrun 18: Proved that $(M,J)$ in the finite monopole case can be realized as a hypersurface in $\mathbb{C}^3$. This paper's core contribution is extending this to the infinite case.
2. Kalafat-Sawon 16: Used the maximum principle to prove existence of Gibbons-Hawking potentials; this paper provides an alternative proof based on Riesz measures.
3. Chen-Chen 4: Studied gravitational instantons with curvature decaying faster than quadratically, providing concrete examples in the two-center case (Example 4.1).

Related Fields

Hypertoric manifolds: Dancer and Swann 5,6 studied infinite topological type hypertoric manifolds, closely related to the constructions in this paper.

Innovations of This Paper

Compared to existing work, the main innovations are:

1. Extension to countably many monopoles: First systematic treatment of complex structures in the infinite topological type case
2. Complete description of the $S^2$ family: Proving that almost all compatible complex structures admit similar realizations
3. Treatment of non-generic cases: Introducing the minimal resolution perspective for handling multiplicities
4. New technical methods: The Riesz measure method provides deeper analytical insights

Conclusions and Discussion

Main Conclusions

1. Existence characterization: Completely characterizes when positive harmonic Gibbons-Hawking potentials can be constructed, with conditions $e_j \leq 0$ and summability.
2. Geometric realization in the generic case: Under the genericity assumption that monopole projections are pairwise distinct and have no accumulation points, the infinite topological type hyperkähler manifold $(M,J)$ can be explicitly realized as a hypersurface in $\mathbb{C}^3$ defined by a Weierstrass product.
3. Universality: This realization holds for almost all complex structures in the $S^2$ family, indicating the stability of the result.
4. Non-generic case: When projections have multiplicities, the manifold is realized as the minimal resolution of a singular hypersurface, with singularity types determined by multiplicities.
5. Generalization of LeBrun's work: Successfully extends LeBrun's classical results on finite monopoles to the countably infinite case.

Limitations

1. Necessity of genericity assumptions: Theorem 1.3 requires that projections have no accumulation points, excluding certain possible monopole configurations.
2. Conditions in non-generic case: Theorem 1.4 requires finite multiplicities for each point, unable to handle infinite multiplicities.
3. Summability condition: The fundamental summability condition $\sum_{j=2}^\infty \frac{1}{\|p_1-p_j\|} < \infty$ is a prerequisite for the construction, limiting the monopole configurations that can be handled.
4. Limitations of explicitness: While the form of the Weierstrass product is given, computing the entire function $P(u)$ for specific monopole configurations may still be complex.
5. Other complex structures: The paper primarily focuses on $J_x$ and its extensions in the $S^2$ family, without discussing whether other compatible complex structures exist outside this family.

Future Directions

Possible research directions suggested by the paper:

1. More general monopole configurations: Study cases where the summability condition is relaxed or accumulation points exist.
2. Metric properties: Investigate the geometric properties of the Kähler metrics corresponding to these hypersurface realizations (such as curvature decay, volume growth).
3. Moduli space theory: Incorporate the infinite topological type case into a broader hyperkähler moduli space theory.
4. Physical applications: Explore applications of these geometric structures in gravitational instanton theory and string theory.
5. Generalization to higher dimensions: Consider higher-dimensional Gibbons-Hawking-type constructions.

In-Depth Evaluation

Strengths

1. Important theoretical generalization: Extending LeBrun's classical work from finite to countably infinite cases represents substantial theoretical progress with significantly increased technical difficulty.
2. Innovation in methods:
   • The Riesz measure method provides a new analytical perspective
   • Systematic application of Weierstrass products elegantly handles infinite configurations
   • The combination of Oka-Grauert principle with explicit construction demonstrates technical depth
3. Completeness of results:
   • Handles both generic case (Theorem 1.3) and non-generic case (Theorem 1.4)
   • Corollary 3.7 extends results to the entire $S^2$ family
   • Provides concrete examples (Example 4.1) for verification
4. Mathematical rigor: All theorems have complete rigorous proofs; cited background theorems (Bôcher's theorem, Hartogs' theorem, Oka-Grauert principle, etc.) are classical results.
5. Clarity of exposition:
   • Clear structure progressing from background to main results to technical details
   • Consistent notation system with clear definitions
   • Key steps have sufficient explanation

Weaknesses

1. Limitations of technical conditions:
   • The no-accumulation-points condition in Theorem 1.3 is essential but may exclude certain interesting examples
   • The finite multiplicity condition in Theorem 1.4 limits the scope of non-generic cases
2. Lack of geometric intuition:
   • The paper focuses primarily on algebraic and analytic aspects; geometric properties of hypersurfaces (such as geometric meaning of singularities) receive less discussion
   • Absence of visualizations or geometric diagrams to aid understanding
3. Limited examples: Beyond Example 4.1 (Chen-Chen's two-center example) and Remark 3.6 (Anderson-Kronheimer-LeBrun's example), more concrete monopole configuration instances would be helpful.
4. Connection to physics: Although the Gibbons-Hawking construction originates from physics, the paper does not discuss the physical significance of these mathematical results.
5. Computational complexity: For specific monopole configurations, effectively computing the Weierstrass product and verifying genericity conditions may still be difficult.

Impact

1. Contribution to the field:
   • Fills a gap in the study of complex structures of infinite topological type hyperkähler manifolds
   • Provides a systematic theoretical framework and technical tools for subsequent research
   • Connects hyperkähler geometry, complex geometry, and algebraic geometry
2. Practical value:
   • Provides practical methods for constructing and classifying infinite topological type hyperkähler manifolds
   • The application of Weierstrass products may inspire research on other infinite configuration problems
   • The minimal resolution perspective offers new insights for handling singularities
3. Theoretical significance:
   • Demonstrates the power of local-to-global extension techniques (Hartogs' theorem) in hyperkähler geometry
   • The Riesz measure method may apply to other harmonic function problems
   • Provides foundations for studying moduli spaces of hyperkähler manifolds
4. Reproducibility:
   • All proofs are complete; experienced differential geometers can verify them
   • Cited theorems are standard textbook material
   • Constructions are explicit and in principle applicable to concrete calculations

Applicable Scenarios

1. Theoretical research:
   • Researchers in hyperkähler geometry can apply these results to study infinite topological type manifolds
   • Complex geometers can gain methods for constructing special hypersurfaces
   • Algebraic geometers can study related singularity theory
2. Related fields:
   • Hypertoric manifold theory
   • Monopole moduli spaces
   • Gravitational instanton theory
   • Geometric constructions in string theory
3. Technical applications:
   • Riesz measure methods applicable to other harmonic analysis problems
   • Weierstrass product techniques usable for other infinite configuration problems
   • Principal bundle trivialization methods have universal applicability

Key References

1. 1 Anderson-Kronheimer-LeBrun (1989): "Complete Ricci-flat Kähler manifolds of infinite topological type" - First construction of infinite topological type hyperkähler manifolds
2. 18 LeBrun (1991): "Complete Ricci-flat Kähler metrics on $\mathbb{C}^n$ need not be flat" - Core work extended by this paper
3. 9,10 Gibbons-Hawking (1978-1979): Original papers introducing the Gibbons-Hawking ansatz
4. 14 Hitchin (1979): "Polygons and gravitons" - Foundational work on twistor methods and monopole geometry
5. 17 Kronheimer (1993): "The construction of ALE spaces as hyper-Kähler quotients" - Classical reference on hyperkähler quotient theory

Overall Assessment: This is a high-quality pure mathematics paper that successfully extends the classical LeBrun work from finite to countably infinite topological type, a technically more challenging generalization. The paper shows innovation in methods (Riesz measures, Weierstrass products), depth in results (complete treatment of both generic and non-generic cases), and clarity in exposition. While technical conditions impose certain limitations, these reflect the inherent complexity of the problem. This work makes substantial contributions to the intersection of hyperkähler geometry and complex geometry, with anticipated lasting impact on the field.