Pith. sign in

REVIEW 1 major objections 8 minor 58 references

Gravitational Instantons, old and new

T0 review · 1 major / 8 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Chen-Teo metrics end the Euclidean black hole uniqueness conjecture

desk verdict A solid, useful survey of gravitational instantons that needs a small but real fix in the Chen-Teo specialization before it can be trusted as a self-contained reference. read the letter →

arxiv 2501.00688 v1 pith:R6WDUQSD submitted 2025-01-01 hep-th gr-qcmath.DG

Maciej Dunajski This is my paper · ORCID
classification hep-thgr-qcmath.DG MSC 53C2653C2583C57
keywords gravitationalinstantonsRicci-flatmetricsChen-TeoinstantonasymptoticallyflatGibbons-HawkingansatztwistortheoryYangequationhyper-Kähler
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This review surveys gravitational instantons--complete, Ricci-flat (or Einstein-Maxwell) Riemannian four-manifolds that asymptotically look like flat space--and lays out the modern landscape of explicit examples. Its central message is that the old Riemannian analogue of the black hole uniqueness conjecture is false: the Chen-Teo family contains asymptotically flat instantons that are not Euclidean Schwarzschild or Kerr. The paper also explains the construction machinery--the Gibbons-Hawking multi-centre ansatz, the Yang equation, and twistor theory--that organizes the ALE, ALF, and more exotic asymptotic classes. A careful reader leaves with a concrete five-parameter Ricci-flat metric and a two-parameter sub-family of new gravitational instantons that have no Lorentzian black-hole analogue.

What carries the argument

The central object is the Chen-Teo metric (4.1), a toric Ricci-flat ansatz written in terms of a quartic polynomial $f(\xi) = a_4\xi^4 + \cdots + a_0$ and the polynomials $F, H, G$ defined from $f$ and the parameter $\nu$. The metric is Ricci-flat for every choice of the parameters, with two of the five $a_i$ fixed by scalings, making (4.1) a five-parameter family; the sub-family (4.2) is asymptotically flat with $\nu = -2s^2$ and roots $r_i$ chosen so that conical singularities are avoided. The supporting machinery consists of the Gibbons-Hawking ansatz (3.2) for hyper-Kähler multi-centre metrics and the reduction of the Ricci-flat condition for toric metrics to the Yang equation (4.4), which connects the family to anti-self-dual Yang-Mills and to a twistor patching matrix (4.10).

What would settle it

Compute the holonomy of the Killing orbit around each root of $f$ for the parameters (4.2) with $s \in (1/2, \sqrt{2}/2)$ and check that the periods match the coordinate identifications required for a smooth manifold; if any of these holonomies is nontrivial, or the end does not give the stated $S^1$ asymptotics, the two-parameter family would develop a conical singularity and the claimed counterexample would fail.

Watch

Extended reading notes

Core claim

The core claim is that gravitational instantons comprise more than the Euclidean Schwarzschild and Kerr solutions. Working through explicit metrics, the review shows that the Chen-Teo ansatz (4.1), built from a quartic polynomial $f$ and auxiliary functions $F, H, G$, is Ricci-flat for arbitrary parameters $(a_0, \ldots, a_4, \nu, k)$, and that the parameter choice (4.2) removes conical singularities and yields a two-parameter family of asymptotically flat (AF) instantons on $M = \mathbb{CP}^2 \setminus S^1$. Because Aksteiner-Andersson proved these instantons are Hermitian one-sided Petrov-Penrose type D, they cannot be the analytic continuation of any Lorentzian black hole, so they are genuine counterexamples to the Riemannian black hole uniqueness conjecture.

Load-bearing premise

The key unverified step is the claim that the parameter choice (4.2) makes the Chen-Teo metrics complete and asymptotically flat: the review asserts this on the strength of Chen and Teo's cited computations without carrying out the global regularity check itself.

Editorial extensions

If this is right

  • The Chen-Teo family provides explicit AF gravitational instantons outside the Euclidean Kerr class, so the Riemannian black hole uniqueness conjecture is false.
  • Because the instantons are Hermitian and type D, they have no Lorentzian counterpart; any Lorentzian interpretation of these Euclidean saddle points is excluded.
  • The rod structure has three turning points and Euler characteristic $\chi(M) = 3$, giving underlying manifold $\mathbb{CP}^2 \setminus S^1$ and signature 1.
  • The twistor patching matrix (4.10) with monic polynomials $C, C_1, C_2$ of degree $N$ and $Q$ of degree $N-1$ delimits further families of Ricci-flat ALF metrics with $N+1$ rods.
  • All known asymptotic classes--ALE, ALF, ALG, ALH, ALH*--are captured by Gibbons-Hawking harmonic functions with volume growth $R^4$, $R^3$, $R^2$, $R$, and $R^{4/3}$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the Chen-Teo completeness proof via (4.2) survives scrutiny, these metrics are natural saddle points of the Euclidean path integral with nontrivial topology, potentially contributing to partition functions beyond the Kerr sector.
  • The twistor patching-matrix construction suggests a concrete route to generating new ALF instantons: choose any set of monic polynomials satisfying $\det(P) = -1$ and solve the Riemann-Hilbert splitting, without first writing the metric explicitly.
  • The existence of AF instantons with no Lorentzian limit implies that Euclidean quantum gravity admits sectors that cannot be reached by Wick rotation from classical Lorentzian black holes, so thermodynamic interpretations of these saddle points would need a new framework.
  • A natural testable extension is to search for Einstein-Maxwell analogues of the Chen-Teo family using the Israel-Wilson/Majumdar-Papapetrou multi-centre ansatz (5.1), which already admits many AF solutions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 8 minor

Summary. The manuscript is a lecture-note review of four-dimensional gravitational instantons in Riemannian signature. It covers Euclidean Schwarzschild and Kerr, the anti-self-dual Taub-NUT and Eguchi-Hanson metrics, definitions of AF/ALF/ALE asymptotics, and the Gibbons-Hawking multi-centred ansatz. The central section is devoted to the Chen-Teo instantons: the explicit toric metric (4.1), a claimed AF specialization (4.2), the rod-structure description, the Yang equation, and the twistor patching matrix. The final sections survey ALG/ALH/ALH* asymptotics, Einstein-Maxwell instantons, and the twistor nonlinear graviton correspondence. The paper is example-driven and quotes most results from the cited literature rather than proving them.

Significance. The review is valuable as a compact, up-to-date survey that connects classical examples with recent twistor-based work, especially the Chen-Teo instantons, which are used to state that the Riemannian black-hole uniqueness conjecture is false. The formulas presented are standard and largely consistent with the cited sources, and the author's twistor discussion is supported by published work [18]. The main weakness is that the key specialization (4.2) is not internally consistent as written, which affects the reproducibility of the paper's central example; this is fixable and does not undermine the underlying Chen-Teo results themselves.

major comments (1)
  1. [§4.1, Eq. (4.2)] The specialization (4.2) is not internally consistent with the preceding definitions. The text defines f as a quartic polynomial with four real roots and states that the regularity region is a rectangle with r1 < r2 < r3 < r4. Equation (4.2) then sets r4 = ∞ without imposing a4 = 0; a quartic with nonzero leading coefficient does not have a root at infinity. Moreover, for s in (1/2, √2/2) the three finite values in (4.2) need not satisfy the stated ordering: at s = 3/5 one obtains r3 < r2 = -1 < r1 < ∞, so the ordering r1 < r2 < r3 < r4 asserted in §4.1 is violated. Since this specialization is the basis for the claimed two-parameter family of AF instantons on M = CP2 minus an S1, the text as it stands does not reproducibly define the family. The author should fix this by imposing a4 = 0 (making f cubic), relabelling the roots consistently, or by quoting the original Chen-Teo parameterization explicitly; this is a presentation-level issue rather than evidence against the existence of these instantons.
minor comments (8)
  1. [§4.2] The sentence 'there exist thee turning points' should read 'there exist three turning points'.
  2. [§4.2] The line 'M = CP1 \ S1 × R3 ∼= CP1 \ S1' should refer to CP2, not CP1, to agree with §4.1 and the stated Chen-Teo topology.
  3. [§2.2] In the displayed asymptotic ALF metric, 'sin θ2dϕ2' should be 'sin^2 θ dϕ^2'.
  4. [§5.1] The sentence 'The ALE and ALF classes of gravitational instantons have been defined in (2.2) and (2.3)' should refer to Definitions 2.2 and 2.1, not to equations (2.2) and (2.3).
  5. [References] Reference [21] is missing the first author's given name; the entry should be completed.
  6. [§4.5 / References] Reference [15] is listed as 'In preparation'; its use for the claim that ALE metrics can be constructed from a different rod-structure ansatz should be flagged as forthcoming or replaced by a published reference.
  7. [§5.2] The phrase 'See [12] for other choices which lead to AE, ALE and ALF solutions' appears to contain a typo: 'AE' should likely be 'AF'.
  8. [§4.2] The term 'Euler signature' is non-standard; the author probably means the Euler characteristic, and the sentence 'The number of turning points is equal to the Euler signature' should be rephrased accordingly.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: central claims are attributed to external constructions and self-citations are ancillary.

full rationale

The review's main factual claims are not derived from its own premises. The Chen–Teo family (4.1) and its Ricci-flatness are introduced as 'Chen and Teo [7,8] have constructed a five parameter family...' and the AF sub-family (4.2) with M = CP^2 \ S^1 is likewise attributed to Chen and Teo; these are independent, externally published results taken as inputs, not conclusions obtained by fitting or definition. The author's self-citations ([12], [15], [17], [18]) appear only as supporting references for twistor/rod-structure computations on already-established metrics, e.g. 'This patching matrix can be found for the Chen–Teo family [18]'—a descriptive computation rather than the load-bearing premise for existence. No quantity used as an input is defined in terms of the claimed output, no fitted parameter is relabelled as a prediction, and no uniqueness theorem from the authors' own work is invoked to force a choice. The internal inconsistency raised by the skeptic (r4 = ∞ vs the quartic f, and root ordering in (4.2)) is a correctness/presentation defect, not a circularity: it does not make a prediction equivalent to its inputs by construction. Under the hard rules requiring a quoted reduction, no circular step can be exhibited; the honest finding is no circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

As a review, the paper introduces no new free parameters or invented entities. It relies on several standard theorems from the literature, which are listed as axioms. The main external assumptions are the global regularity of the Chen-Teo parameter specialization and the Aksteiner-Andersson classification.

assumptions (5)
  • standard math The Gibbons-Hawking ansatz (3.2) with dA = *dV yields hyper-Kähler and hence Ricci-flat metrics.
    Invoked in Section 3.2 as a known theorem from Ref. [22]; the paper does not prove it.
  • standard math Kronheimer's theorem (Theorem 2.3) guarantees existence of ALE gravitational instantons for each discrete subgroup Γ of SO(4).
    Stated in Section 2.3 and used to classify ALE metrics; cited to Refs. [35,36].
  • standard math The Ward correspondence (Theorem 4.1) gives a one-to-one map between ASDYM connections and holomorphic vector bundles on twistor space.
    Used in Section 4.4 to derive the twistor patching matrix; cited to Ref. [52].
  • domain assumption The Chen-Teo specialization (4.2) yields a regular, complete, asymptotically flat metric on CP2 minus an S1.
    The review relies on the published Chen-Teo computations (Refs. [7,8]) for the global regularity and asymptotics; this is not demonstrated in the review.
  • domain assumption The Aksteiner-Andersson result [1] that Chen-Teo metrics are Hermitian and one-sided Petrov-Penrose type D, so they do not arise from Lorentzian black holes.
    Used in Section 4 to assert that Chen-Teo instantons have no Lorentzian counterpart.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Gravitational Instantons, old and new." pith.science (2026). https://pith.science/paper/R6WDUQSD

@misc{pith2026250100688,
  author       = {Pith},
  title        = {Pith review of: Gravitational Instantons, old and new},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/R6WDUQSD}},
  note         = {Machine review of arXiv:2501.00688}
}
read the original abstract

This is a review of gravitational instantons -- solutions to Riemannian Einstein or Einstein-Maxwell equations in four dimensions which yield complete metrics on non-compact four-manifolds, and which asymptotically `look like' flat space. The review focuses on examples, and is based on lectures given by the author at the Cracow School of Theoretical Physics held in Zakopane in June 2024.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

58 extracted references · 56 canonical work pages

  1. [18]

    and Tod, K

    Dunajski M. and Tod, K. P. (2024) Twistor theory of the Chen–Teo gravitational instanton. Class. Quant. Grav. 41, 195008. arXiv:2405.08170

    arXiv 2024

  2. [1]

    and Andersson, L

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

    work page 2024

  3. [2]

    F., Hitchin, N

    Atiyah, M. F., Hitchin, N. J., and Singer, I. M. (1978) Self-duality in four-dimensional Riemannian geometry, Proc. Lond. Math. Soc. A 362, 425–461

    work page 1978

  4. [3]

    and Mason, L

    Atiyah, M., Dunajski, M. and Mason, L. (2017) Twistor theory at fifty: from contour integrals to twistor strings, Proceedings of the Royal Society, 473

    work page 2017

  5. [4]

    and Gauduchon, P

    Biquard, O. and Gauduchon, P. (2023) On toric Hermitian ALF gravitational instantons. Comm. Math. Phys. 399, 389–422

    work page 2023

  6. [5]

    and Minerbe, V

    Biquard, O. and Minerbe, V. (2011) A Kummer Construction for Gravitational Instantons. Comm. Math. Phys , 308, 773-794

    work page 2011

  7. [6]

    and Chen, X

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

    work page 2021

  8. [7]

    and Teo, E

    Chen, Y. and Teo, E. (2011) A new AF gravitational instanton. Physics Letters B 359–362

    work page 2011

Show all 58 references
  1. [8]

    and Teo, E

    Chen, Y. and Teo, E. (2015) Five-parameter class of solutions to the vacuum Einstein equations. Phys. Rev. D 91, 124005

    2015

  2. [9]

    Kapustin, A

    Cherkis, S. Kapustin, A. (2002) Hyper-K¨ ahler metrics from periodic monopoles, Phys. Rev. D65

    2002

  3. [10]

    and Hitchin, N

    Cherkis, S. and Hitchin, N. (2005) Gravitational instantons of type Dk , Comm. Math. Phys. 260, 299–317

    2005

  4. [11]

    Paquette, N

    Costello, K. Paquette, N. and Sharma, A. (2023) Burns space and holography. JHEP

    2023

  5. [12]

    and Hartnoll, S

    Dunajski, M. and Hartnoll, S. A. (2007) Einstein-Maxwell gravitational instantons and five dimensional solitonic strings, Class. Quant. Grav . 24, 1841–1862

    2007

  6. [13]

    and Mason, L

    Dunajski, M. and Mason, L. J. (2000) Hyper-K¨ ahler hierarchies and their twistor theory, Commun. Math. Phys . 213, 641–672

    2000

  7. [14]

    and Mason, L

    Dunajski, M. and Mason, L. J. (2003) Twistor theory of hyper-K¨ ahler metrics with hidden symmetries, J. Math. Phys. 44, 3430–3454

    2003

  8. [15]

    Mason, L

    Dunajski, M. Mason, L. J. and Tod, K. P. (2025). Twistor theory of toric ALE and ALF instantons. In preparation

    2025

  9. [16]

    and Tod, K

    Dunajski, M. and Tod, K. P. (2022) Conformal and isometric embeddings of gravitational instantons. In Geometry, Lie Theory and Applications . Abel symposia book series, Vol 16

    2022

  10. [17]

    (2024) Solitons, Instantons, and Twistors

    Dunajski, M. (2024) Solitons, Instantons, and Twistors. Second edition Oxford Graduate Texts in Mathematics 31, Oxford University Press

    2024

  11. [19]

    and Hanson, A

    Eguchi, T. and Hanson, A. J. (1979) Self-dual solutions to Euclidean gravity, Ann. Phys. 120, 82–106

    1979

  12. [20]

    Eguchi, T., Gilkey, P., and Hanson, A. J. (1980) Gravitation, gauge theories and differential geometry, Phys. Rep. 66C, 213–393

    1980

  13. [21]

    Fletcher, and Woodhouse, N. M. J. (1990) Twistor Characterization of Stationary Axisymmetric Solutions of Einstein’s Equations. In Twistors in Mathematics and Physics . Eds. Bailey, T. N. and Baston. R. CUP

    1990

  14. [22]

    Gibbons, G. W. and Hawking, S. W. (1978) Gravitational Multi - Instantons. Phys. Lett. B78 430

    1978

  15. [23]

    Gibbons, G. W. and Perry, M. J. (1976) Black Holes in Thermal Equilibrium Phys. Rev. Lett. 36, 985

    1976

  16. [24]

    Gibbons, G. W. and Perry, M. J. (1978) Black Holes and Thermal Green Functions. Proceedings of the Royal Society 358, 467-494

    1978

  17. [25]

    Gibbons, G. W. (1979) Gravitational Instantons: A Survey. In Mathematical Problems in Theoretical Physics

    1979

  18. [26]

    Gibbons, G. W. and Hawking, S. W. (1979) Classification of gravitational instanton symmetries, Commun. Math. Phys. 66, 291–310

    1979

  19. [27]

    Gibbons, G. W. (2003) Euclidean quantum gravity: the view from 2002. In The Future of Theoretical Physics and Cosmology. Celebrating Stephen Hawking’s Contributions to Physics . CUP

    2003

  20. [28]

    Gross, D. J. and Perry, M. J. (1983) Magnetic monopoles in Kaluza-Klein theories, Nuclear Phys. B226, 29–48

    1983

  21. [29]

    (2004) Stationary and axisymmetric solutions of higher-dimensional general relativity, Phys

    Harmark, T. (2004) Stationary and axisymmetric solutions of higher-dimensional general relativity, Phys. Rev. D70, 124002

    2004

  22. [30]

    and Yazadjiev, S

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

    2011

  23. [31]

    Hawking, S. W. (1977) Gravitational instantons, Phys. Lett. A60, 81–83

    1977

  24. [32]

    Hein, H. J. (2012) Gravitational instantons from rational elliptic surfaces. Journ. AMS , 25, 355-393

    2012

  25. [33]

    (1979) Polygons and gravitons

    Hitchin, N. (1979) Polygons and gravitons. Math. Proc. Camb. Phil. Soc. 83, 465 - 476

    1979

  26. [34]

    (2024) ALE spaces and nodal curves, arXiv:2402.04021

    Hitchin, N. (2024) ALE spaces and nodal curves, arXiv:2402.04021

    2024 arXiv

  27. [35]

    (1989) The construction of ALE spaces as hyper-K¨ ahler quotient, J

    Kronheimer, P. (1989) The construction of ALE spaces as hyper-K¨ ahler quotient, J. Diff. Geom . 29, 665

    1989

  28. [36]

    (1989) A Torelli type theorem for gravitational instantons, J

    Kronheimer, P. (1989) A Torelli type theorem for gravitational instantons, J. Diff. Geom . 29, 685–697. 12 MACIEJ DUNAJSKI

    1989

  29. [37]

    Kunduri, H. K. and Lucietti, J. (2021) Existence and uniqueness of asymptotically flat toric gravitational instan- tons. Lett. Math. Phys. 111

    2021

  30. [38]

    Lapedes, A. S. (1980) Black-hole uniqueness theorems in Euclidean quantum gravity Phys. Rev. D 22, 1837

    1980

  31. [39]

    LeBrun, C. R. (1991) Explicit self-dual metrics on CP 2# · · ·#CP 2, J. Diff. Geom . 34, 233–253

    1991

  32. [40]

    LeBrun, C. R. (1988) Counter-examples to the generalized positive action conjecture, Comm. Math. Phys. 118, 591-596

    1988

  33. [41]

    Mason, L. J. and Woodhouse, N. M. J. (1996) Integrability, Self-Duality and Twistor Theory , LMS Monograph New Series, 15, OUP, Oxford

    1996

  34. [42]

    In Recent Topics in Differential and Analytic Geometry

    Nakajima, H (1990) Self-Duality of ALE Ricci-Flat 4-Manifolds and Positive Mass Theorem, Advanced Studies in Pure Mathematics. In Recent Topics in Differential and Analytic Geometry. 385-396

    1990

  35. [43]

    (2024) Topology of toric gravitational instantons

    Nilsson, G. (2024) Topology of toric gravitational instantons. Diff. Geom. App. 96, 102171

    2024

  36. [44]

    and Vafa, C

    Ooguri, H. and Vafa, C. (1991) Geometry of N = 2 strings, Nucl. Phys . B361, 469–518

    1991

  37. [45]

    Page, D. N. (1979) Green’s functions for gravitational multi-instantons. Phys. Lett. B85, 369–372

    1979

  38. [46]

    (1976) Nonlinear gravitons and curved twistor theory, Gen

    Penrose, R. (1976) Nonlinear gravitons and curved twistor theory, Gen. Rel. Grav . 7, 31–52

    1976

  39. [47]

    and Demia´ nski, M

    Pleba´ nski, F. and Demia´ nski, M. (1976) Rotating, charged, and uniformly accelerating mass in general relativity. Annals of Phys. 98

    1976

  40. [48]

    Sorkin, R. D. (1983) Kaluza-Klein monopole, Phys. Rev. Lett . 51, 87–90

    1983

  41. [49]

    Tod, K. P. and Ward, R. S. (1979) Self-Dual Metrics with Self-Dual Killing Vectors. Proc. R. Soc. A368, 411-427

    1979

  42. [50]

    Tod, K. P. (2024) Rod Structures and Patching Matrices: a review arXiv:2411.02096

    2024

  43. [51]

    (1984) General Relativity

    Wald, R. (1984) General Relativity. The University of Chicago Press

    1984

  44. [52]

    Ward R. S. (1977) On self-dual gauge fields, Phys. Lett. 61A. 81-2

    1977

  45. [53]

    Ward R. S. (1983) Stationary axisymmetric space-times: a new approach Gen. Rel. Grav. 15. 105-9

    1983

  46. [54]

    (1985) Israel-Wilson metrics, Ann

    Whitt, B. (1985) Israel-Wilson metrics, Ann. Phys. 161, 241–253

    1985

  47. [55]

    (1979) Static axially symmetric solutions of self-dual SU(2) gauge fields in Euclidean four-dimensional space

    Witten L. (1979) Static axially symmetric solutions of self-dual SU(2) gauge fields in Euclidean four-dimensional space. Phys. Rev. D19 718-20

    1979

  48. [56]

    Woodhouse, N. M. J. and Mason, L. J. (1988) The Geroch group and nonHausdorff twistor spaces. Nonlinearity

    1988

  49. [57]

    Yau, S-T (1977) Calabi’s conjecture and some new results in algebraic geometry, Proc. Natl. Acad. Sci. 74, 1798– 1799

    1977

  50. [58]

    Yuille, A. L. (1987) Israel–Wilson Metrics In The Euclidean Regime, Class. Quant. Grav. 4, 1409. Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Wilber- force Road, Cambridge CB3 0W A, UK. Email address : m.dunajski@damtp.cam.ac.uk

    1987

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.