arxiv: 2604.15159 · v1 · submitted 2026-04-16 · 🧮 math.DG · gr-qc· hep-th· math-ph· math.MP

Recognition: unknown

On the existence of toric ALE and ALF gravitational instantons

Hari K. Kunduri, James Lucietti

Authors on Pith no claims yet

Pith reviewed 2026-05-10 09:54 UTC · model grok-4.3

classification 🧮 math.DG gr-qchep-thmath-phmath.MP

keywords gravitational instantonsALE metricsALF metricstoric symmetryRicci-flat metricsrod structuresEguchi-Hanson metricsTaub-NUT metrics

0 comments

The pith

For every admissible rod structure there exists a unique Ricci-flat toric ALE or ALF gravitational instanton, smooth up to conical singularities.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that toric symmetry reduces the vacuum Einstein equations to a system whose solutions are uniquely determined by admissible rod data for both ALE and ALF asymptotics. These metrics are four-dimensional Ricci-flat spaces with two commuting rotational symmetries that become flat or Euclidean at infinity in a local sense. A reader might care because the construction supplies explicit, classified examples of gravitational instantons that can serve as model geometries in quantum gravity and black-hole physics. The authors further show that all self-dual toric examples in these classes coincide with the known multi-Eguchi-Hanson and multi-Taub-NUT families.

Core claim

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 singularities. 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.

What carries the argument

The admissible rod structure, a combinatorial assignment of intervals along the axes where one of the two Killing vectors vanishes, which encodes the topology, fixed-point loci, and asymptotic class of the metric.

If this is right

The rod data completely parametrizes the space of toric Ricci-flat metrics in the ALE and ALF classes.
All self-dual toric instantons in these asymptotic classes reduce to the standard multi-center solutions.
Conical singularities are permitted at isolated points while the metric remains Ricci-flat everywhere else.
These metrics provide explicit vacuum solutions with torus symmetry that can be used as building blocks for more complex gravitational configurations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same rod-structure method might extend to non-self-dual or higher-dimensional cases with similar symmetry.
Relaxing admissibility on the rods could produce metrics with worse singularities or non-existence, offering a way to test the boundary of the result.
The classification of self-dual cases suggests toric instantons are rigid once the combinatorial data is fixed.

Load-bearing premise

The rod structure must be admissible and the metric must admit a toric action with the prescribed asymptotic behavior under standard regularity conditions for the Einstein equations.

What would settle it

An explicit admissible rod structure for which either no Ricci-flat metric exists or two distinct Ricci-flat metrics can be constructed would disprove the uniqueness or existence claim.

Figures

Figures reproduced from arXiv: 2604.15159 by Hari K. Kunduri, James Lucietti.

**Figure 1.** Figure 1: Regions for the model map. We will define the model map Φ0 by specifying it on each of these regions. On the remaining compact region ρ 2 + z 2 ≤ R2 and ρ ≥ ρ0 we take Φ0 to be any smooth extension so that this defines the model map everywhere. It will be useful to define the following functions (3.9) µ ± i := p ρ 2 + (z − zi) 2 ∓ (z − zi) which have the property that µ + i = 0 for ρ = 0, z > zi and µ − i … view at source ↗

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

General existence and uniqueness for toric ALE/ALF instantons parametrized by admissible rod structures, with self-dual cases classified as the known multi-Eguchi-Hanson and multi-Taub-NUT families.

read the letter

This paper shows that for every admissible rod structure there is a unique toric Ricci-flat ALE or ALF metric, smooth except possibly for conical singularities, and that the self-dual toric ones are precisely the multi-Eguchi-Hanson and multi-Taub-NUT solutions. The new part is the general existence statement. Earlier papers treated isolated examples like the Eguchi-Hanson space or Taub-NUT, but the rod structure approach lets them parametrize the whole family at once. The reduction of the Einstein equations under T^2 symmetry to a system fixed by the rod data looks standard but is carried through to existence and uniqueness here. The self-dual classification is elementary, using the Gibbons-Hawking ansatz to pin down the metrics to those known families. It does well in making the toric case transparent and in giving a clean statement that organizes these instantons. The argument for consistency of the rod data with the asymptotics and regularity seems to hold without circularity or hidden assumptions on positivity. The potential soft spot is in the analytic details of the existence proof, such as how the elliptic system is solved globally and how the conical singularities are shown to be the only possible issues. The abstract claims proofs, but the full derivation would need to be checked for error estimates and boundary behavior. That said, the stress-test indicates the logic is internally consistent once admissibility is granted, so this may be minor rather than central. This work is for people studying moduli spaces of gravitational instantons or symmetric Ricci-flat metrics in differential geometry and mathematical physics. A reader interested in explicit constructions or classification results will get direct value from it, as it fills in the general case for toric symmetry. I would recommend sending it for peer review. The results are specific and potentially useful enough to warrant referee input, even if some technical parts might need clarification.

Referee Report

0 major / 3 minor

Summary. The paper establishes existence and uniqueness of Ricci-flat toric ALE and ALF gravitational instantons for every admissible rod structure, with the metric smooth up to possible conical singularities. It further gives an elementary proof that any toric ALE or ALF self-dual instanton must be a multi-Eguchi-Hanson or multi-Taub-NUT solution.

Significance. If the central reduction holds, the result supplies a complete parametrization of toric Ricci-flat metrics in these asymptotic classes by admissible rod structures, together with an explicit classification of the self-dual subfamily. The elementary character of the self-duality argument and the fact that regularity and asymptotics follow directly from the boundary data on the rods are notable strengths.

minor comments (3)

The abstract and introduction use the phrase 'conical singularites' (missing the second 'i'); this should be corrected to 'conical singularities' for consistency with standard terminology in the field.
Section 2 (or the section defining rod structures) would benefit from an explicit statement of the admissibility conditions in a single numbered list or proposition, rather than being distributed across several paragraphs, to make the parameter count and boundary-value problem clearer.
The uniqueness statement for the ALE/ALF cases is stated globally; a brief remark on whether the proof yields uniqueness up to isometry or up to the toric action would help readers compare with existing literature on multi-center instantons.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our results on the existence and uniqueness of toric ALE and ALF gravitational instantons for admissible rod structures, as well as the classification of the self-dual cases. The recommendation for minor revision is noted, but the report contains no specific major comments requiring point-by-point response.

Circularity Check

0 steps flagged

No significant circularity; existence proof is self-contained

full rationale

The paper establishes existence and uniqueness of toric ALE/ALF instantons by reducing the Ricci-flat equations under T^2 symmetry to a determined elliptic system whose solutions are parametrized exactly by admissible rod structures, with asymptotics and regularity following directly from the boundary data. The self-dual classification step shows that self-duality forces the metric into Gibbons-Hawking form, recovering only the known multi-Eguchi-Hanson and multi-Taub-NUT families without redefining inputs or relying on load-bearing self-citations. No step equates a derived quantity to its own fitted or assumed form by construction; the argument is independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based on abstract only: the proof relies on standard existence techniques for elliptic PDEs on manifolds with torus actions and asymptotic flatness conditions from prior differential geometry literature.

axioms (2)

domain assumption Existence of smooth solutions to the Ricci-flat equation under toric symmetry and admissible rod data
Invoked implicitly as the target of the existence proof.
standard math Standard regularity and asymptotic conditions for ALE/ALF metrics
Background assumptions from differential geometry of gravitational instantons.

pith-pipeline@v0.9.0 · 5381 in / 1327 out tokens · 30836 ms · 2026-05-10T09:54:37.312410+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

A Comparison Theorem For the Mass of ALE and ALF Toric 4-Manifolds
math.DG 2026-05 unverdicted novelty 7.0

The mass of toric ALE or ALF 4-manifolds with nonnegative scalar curvature is at least the mass of the corresponding toric gravitational instanton plus a term from its conical defects, with equality only when the mani...

Reference graph

Works this paper leans on

33 extracted references · 8 canonical work pages · cited by 1 Pith paper

[1]

Aksteiner and L

S. Aksteiner and L. Andersson,Gravitational instantons and special geometry, J. Diff. Geom.128(2024) no.3, 928-958

2024
[2]

Aksteiner, L

S. Aksteiner, L. Andersson, M. Dahl, G. Nilsson and a. Simon,Gravitational instantons withS 1 symmetry, [arXiv:2306.14567 [math.DG]]

work page arXiv
[3]

Araneda and J

B. Araneda and J. Lucietti,All toric Hermitian ALE gravitational instantons, [arXiv:2510.09291 [math.DG]]

work page arXiv
[4]

Beig,The static gravitational field near spatial infinity I

R. Beig,The static gravitational field near spatial infinity I. Gen. Rel. Grav.12, 439–451 (1980)

1980
[5]

Beig and W

R. Beig and W. Simon,The stationary gravitational field near spatial infinity, Gen. Rel. Grav.12, 1003-1013 (1980)

1980
[6]

Biquard and P

O. Biquard and P. Gauduchon,On Toric Hermitian ALF Gravitational Instantons,Commun. Math. Phys.399 (2023) no.1, 389-422

2023
[7]

Bando, A

S. Bando, A. Kasue, and H. Nakajima,On a construction of coordinates at infinity on manifolds with fast curvature decay and maximal volume growth, Inventiones mathematicae, 97(2), 313-349 (1989)

1989
[8]

Chen and X

G. Chen and X. Chen,Gravitational instantons with faster than quadratic curvature decay (I), Acta Math., 227 (2021), 263–307

2021
[9]

Chen and E

Y. Chen and E. Teo,A New AF gravitational instanton, Phys. Lett. B703(2011), 359-362. ON THE EXISTENCE OF TORIC ALE AND ALF GRAVITATIONAL INSTANTONS 21

2011
[10]

Chen and E

Y. Chen and E. Teo,Rod-structure classification of gravitational instantons withU(1)×U(1)isometry, Nucl. Phys. B838(2010), 207-237

2010
[11]

G. W. Gibbons,Gravitational instantons: A survey, in: Osterwalder, K. (eds) Mathematical Problems in Theo- retical Physics: Lecture Notes in Physics, vol 116. Springer, Berlin, Heidelberg .(1980)

1980
[12]

Q. Han, M. Khuri, G. Weinstein and J. Xiong,Asymptotic Analysis of Harmonic Maps With Prescribed Singular- ities,[arXiv:2212.14826 [math.DG]]

work page arXiv
[13]

S. W. Hawking,Gravitational Instantons,Phys. Lett. A60(1977), 81

1977
[14]

Hollands and S

S. Hollands and S. Yazadjiev,Uniqueness theorem for 5-dimensional black holes with two axial Killing fields, Commun. Math. Phys.283, 749-768 (2008)

2008
[15]

Hollands and S

S. Hollands and S. Yazadjiev,A Uniqueness theorem for stationary Kaluza-Klein black holes,Commun. Math. Phys.302(2011), 631-674

2011
[16]

Khuri, M

M. Khuri, M. Reiris, G. Weinstein and S. Yamada,Gravitational solitons and complete Ricci flat Riemannian manifolds of infinite topological type, Pure Appl. Math. Quart.20(2024) no.4, 1895-1921

2024
[17]

P. B. Kronheimer,The construction of ALE spaces as hyper-K¨ ahlerquotients, J. Diff. Geom.29(1989) no.3, 665-683

1989
[18]

P. B. Kronheimer,A Torelli type theorem for gravitational instantons, J. Diff. Geom.29(1989) no.3, 685-697

1989
[19]

H. K. Kunduri and J. Lucietti,Existence and uniqueness of asymptotically flat toric gravitational instantons, Lett. Math. Phys.111(2021) no.5, 133

2021
[20]

A. S. Lapedes,Black Hole Uniqueness Theorems in Euclidean Quantum Gravity, Phys. Rev. D22(1980), 1837

1980
[21]

Li, M., 2023.Classification results for conformally K¨ ahler gravitational instantons, arXiv:2310.13197 [math.DG]

work page arXiv 2023
[22]

Li,On 4-dimensional Ricci-flat ALE manifolds, Preprint,arXiv:2304.01609(2023)

M. Li,On 4-dimensional Ricci-flat ALE manifolds, arXiv:2304.01609 [math.DG]

work page arXiv
[23]

Li and S

M. Li and S. Sun,Gravitational instantons and harmonic maps, arXiv:2507.15284 [math.DG]

work page arXiv
[24]

Mars and W

M. Mars and W. Simon,A proof of uniqueness of the Taub-bolt instanton, J. Geom. Phys.32(1999), 211-226

1999
[25]

Minerbe, Annales Sci

V. Minerbe, Annales Sci. Ecole Norm. Sup.43(2010) no.6, 883-924 doi:10.24033/asens.2135

work page doi:10.24033/asens.2135 2010
[26]

Minerbe,A mass for ALF manifoldsComm

V. Minerbe,A mass for ALF manifoldsComm. Math. Phys.289, (2009) 925–955

2009
[27]

Minerbe,Rigidity for Multi-Taub-NUT metrics, J

V. Minerbe,Rigidity for Multi-Taub-NUT metrics, J. Reine Angew. Math.656(2011), 47–58

2011
[28]

Nakajima,Self-duality of ALE Ricci-flat 4-manifolds and Positive Mass Theorem, Advanced Studies in Pure Mathematics 18-1, 1990, pp

H. Nakajima,Self-duality of ALE Ricci-flat 4-manifolds and Positive Mass Theorem, Advanced Studies in Pure Mathematics 18-1, 1990, pp. 385-396

1990
[29]

Nilsson,Topology of toric gravitational instantons, Differ

G. Nilsson,Topology of toric gravitational instantons, Differ. Geom. Appl.96(2024), 102171

2024
[30]

and Raymond, F.Actions of the torus on 4-manifolds I, Transactions of the AMS 152, (1972)

Orlik, P. and Raymond, F.Actions of the torus on 4-manifolds I, Transactions of the AMS 152, (1972)

1972
[31]

Sun and R

S. Sun and R. Zhang,Collapsing geometry of hyperk¨ ahler 4-manifolds and applications, Acta Mathematica 2024

2024
[32]

Weinstein,On rotating black holes in equilibrium in general relativity, Commun

G. Weinstein,On rotating black holes in equilibrium in general relativity, Commun. Pure Appl. Math. 43 (1990) 903-948

1990
[33]

Weinstein,Harmonic maps with prescribed singularities and applications in general relativity, [arXiv:1902.01576 [gr-qc]]

G. Weinstein,Harmonic maps with prescribed singularities and applications in general relativity, [arXiv:1902.01576 [gr-qc]]. (Hari K. Kunduri)Department of Mathematics and Statistics and Department of Physics and Astron- omy, McMaster University, Hamilton, ON Canada Email address:kundurih@mcmaster.ca (James Lucietti)School of Mathematics and Maxwell Insti...

work page arXiv 1902