On the existence of toric ALE and ALF gravitational instantons

Abstract: We establish existence and uniqueness results for asymptotically locally Euclidean (ALE) and asymptotically locally flat (ALF) gravitational instantons. In particular, we prove the existence of a unique, Ricci-flat, toric ALE and ALF gravitational instanton, for every admissible rod structure, that is smooth up to possible conical singularites. We also give an elementary proof that any toric ALE or ALF self-dual instanton is a multi-Eguchi-Hanson or multi-Taub-NUT solution.

• The paper proves existence and uniqueness of Ricci-flat toric gravitational instantons parameterized by admissible rod structures.
• It employs harmonic map formulations and explicit model maps to capture ALE and ALF asymptotic invariants.
• The work extends previous methods by clarifying the topologies at infinity and classifying self-dual solutions like multi-Taub-NUT metrics.

Existence and Uniqueness of Toric ALE and ALF Gravitational Instantons

Introduction and Motivation

The paper "On the existence of toric ALE and ALF gravitational instantons" (2604.15159) establishes foundational results concerning the existence and uniqueness of Ricci-flat, toric gravitational instantons with ALE and ALF asymptotics. Gravitational instantons are four-dimensional, complete Riemannian manifolds solving the Einstein equations with specified curvature decay, and are crucial objects in geometric analysis and mathematical physics. The ALE (asymptotically locally Euclidean) and ALF (asymptotically locally flat) classes have received significant attention, particularly in the context of hyper-Kähler geometry, but generic Ricci-flat cases remain less explored outside the Hermitian and hyper-Kähler regimes.

This work extends the harmonic map techniques previously applied to AF (asymptotically flat) instantons and constructs a comprehensive framework for general toric ALE/ALF instantons, parameterized by admissible rod structures, up to conical singularities. The rod structure encodes the degeneration of the torus action and determines the topological and geometric data of the manifold, enabling explicit classification and uniqueness results.

Definitions and Preliminaries

A toric gravitational instanton is a complete, simply connected, Ricci-flat Riemannian $4$-manifold with an effective torus ($T^2$) symmetry, admitting fixed points and no discrete isotropy. The classification relies fundamentally on the orbit space $M/T$, which inherits a two-dimensional structure with boundaries and corners, corresponding to the rank of the Gram matrix of the Killing fields. In adapted Weyl-Papapetrou coordinates $(\rho, z, \phi^i)$, the metric's form is tightly constrained by the Einstein equations and the toric symmetry.

ALE instantons exhibit quartic volume growth and asymptotically approach $\mathbb{R}^4/\Gamma$, for $\Gamma$ a finite subgroup of $O(4)$, typically yielding lens space topologies at infinity. ALF instantons display cubic growth and possess an asymptotic boundary of $S^1 \times S^2$ or $S^3/\Gamma$. Compatibility conditions enforce preservation of the asymptotic structure by the torus action and constrain $\Gamma$ to cyclic groups.

Rod structures, critical to classification, consist of intervals (rods) on the boundary of the orbit space, characterized by vectors in $T^2$0 encoding how the torus action degenerates. Admissibility is ensured by coprimality and a determinant condition, which precludes orbifold singularities at fixed points.

Harmonic Map Formulation and Main Theorem

The reduction of the Einstein equations leads naturally to a harmonic map formulation, where the geometric problem translates to finding axisymmetric harmonic maps from $T^2$1 (with $T^2$2 the $T^2$3-axis) into $T^2$4. The key boundary data are governed by the rod structure and asymptotics.

The principal result is the existence and uniqueness of a toric Ricci-flat ALE or ALF gravitational instanton for every admissible rod structure, up to possible conical singularities at the axes. The uniqueness proof employs the Mazur identity and maximum principle, showing that any two instantons with the same rod structure and asymptotic invariants must coincide. The existence follows from the theorem of Weinstein, guaranteeing a unique harmonic map asymptotic to a suitably constructed model map that encodes the desired rod structure.

Explicit constructions of the model map are provided, integrating localized transitions between various rods and the asymptotic region, ensuring bounded tension and smooth interpolations. The moduli space for such instantons is determined by the rod structure and asymptotic invariants, with smoothness further restricting the parameter space.

Asymptotic Structure and Invariants

Detailed asymptotic expansions for toric ALF instantons are developed, elucidating the leading order behavior and specifying three invariants: analogues of mass, NUT-charge, and angular momentum. In the ALF case, the NUT-charge uniquely characterizes the asymptotic circle bundle, while for ALE case, the coordinate adaptations yield lens space topologies and polynomial decay in the asymptotic region.

The explicit Gram matrix and conformal factors in Weyl-Papapetrou coordinates demonstrate the precise asymptotic forms and clarify the correspondence with known metrics, such as Taub-NUT and Taub-Bolt. The paper also highlights the subtle differences between AF, ALF, and ALE asymptotics, particularly regarding the dimension of the moduli space and the role of asymptotic parameters.

Self-Duality and Classification

A critical extension is the elementary proof that any self-dual toric ALE or ALF instanton is isometric to a multi-Eguchi-Hanson or multi-Taub-NUT solution. This is achieved using the global analysis of Gibbons-Hawking metrics, showing the possible harmonic functions are uniquely determined by the singularities at fixed points and the imposed asymptotic behavior.

Furthermore, the rod structure for self-dual instantons is explicitly delineated, confirming that these metrics saturate maximal smoothness conditions in their respective classes and illustrating the parameter counting in the moduli space. The proof avoids reliance on broader hyper-Kähler classification and leverages the toric symmetry directly.

Implications and Future Directions

The existence and uniqueness theorems furnish a significant step toward the classification of generic toric gravitational instantons, both in mathematical relativity and differential geometry. Notably, the paper clarifies the possible topologies and geometries at infinity, the precise role of rod structures, and the subtleties in removing conical singularities.

Practically, these results pave the way for systematic construction of new gravitational instantons, potentially non-Hermitian, and contribute to the understanding of moduli spaces in four-dimensional Ricci-flat geometry. The explicit harmonic map approach is amenable to further generalizations, including other asymptotic classes (e.g., ALH, Kasner-type) and higher-dimensional toric instantons.

Theoretically, the outcome challenges previous conjectures concerning Hermitian and hyper-Kähler dominance in the ALE/ALF regime and opens avenues for counterexamples and new smooth metric constructions. It also suggests deeper links between geometric structure, asymptotic invariants, and topological classification, relevant for both geometric analysis and quantum gravity.

Conclusion

This work rigorously establishes existence and uniqueness for toric ALE and ALF gravitational instantons with specified (admissible) rod structures, leveraging harmonic map theory and explicit geometric constructions. The proofs, while paralleling the AF case, resolve longstanding questions about the generic Ricci-flat toric instanton landscape, identifying explicit asymptotic invariants and classifying the self-dual sector. The results offer robust tools and perspectives for the study of gravitational instantons, their moduli, and broader geometric applications.