Pith. sign in

REVIEW 2 major objections 4 minor 3 cited by

Gravitational instantons and harmonic maps

T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read The paper constructs complete Ricci-flat 4-manifolds with arbitrary second Betti number and fixed AFβ asymptotics, and shows they are not locally Hermitian, systematically breaking Riemannian black-hole uniqueness.

desk verdict A systematic non-perturbative construction of non-Hermitian gravitational instantons with arbitrary second Betti number; the proof architecture is coherent, but the bubble-tree classification carries the weight and deserves close referee scrutiny. read the letter →

arxiv 2507.15284 v1 pith:HK23XDAS submitted 2025-07-21 math.DG math-phmath.APmath.MP

classification math.DGmath-phmath.APmath.MP MSC 53C2553C4358E2083C57
keywords gravitationalinstantonsRicci-flat4-manifoldsaxisymmetricharmonicmapsrodstructuresconeanglesbubblinganalysisblackholeuniquenesstoricsymmetry
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

Gravitational instantons—complete Ricci-flat 4-manifolds with finite L2 curvature—have mostly been found with special (hyperkähler or conformally Kähler) geometry. This paper constructs them on infinitely many new diffeomorphism types, with fixed AFβ asymptotics at infinity, and with no local Hermitian structure when the second Betti number is at least 3. It works by reducing the Ricci-flat equation on a toric 4-manifold to an axisymmetric harmonic map into the hyperbolic plane, then tuning the rod lengths so that all conical singularities close up. A second main theorem classifies the special-geometry cases: a strongly tamed harmonic map comes from a hyperkähler metric exactly when its rod structure has degree 0, and from a Hermitian non-Kähler metric exactly when the degree is 1.

What carries the argument

The paper's central machinery is the rod structure—a combinatorial record of how the 2-torus action degenerates, consisting of turning points on the axis and a rod vector in $\mathbb{RP}^1$ for each interval—together with the axisymmetric harmonic map $\Phi$ into the hyperbolic plane that the Ricci-flat equation reduces to. Four explicit model maps (AE, AF0, ALF±) serve as the asymptotic and blow-up building blocks; the proof that cone angles can be made $2\pi$ rests on a bubbling analysis of these maps under rod degeneration and on an angle comparison theorem derived from Bishop–Gromov volume monotonicity, assembled into a topological fixed-point argument.

What would settle it

Solve the axisymmetric harmonic map numerically for the $n=3$ rod structure of Section 6.2 with several length vectors; if some vector yields cone angles not all equal to $2\pi$ while the degenerate limits in Propositions 5.13–5.15 and 5.17 are respected, or if a bubble limit other than the four model maps appears, Theorem 6.4 would be false.

Watch

Extended reading notes

Core claim

Theorem 1.1 asserts that for each $n\ge 1$ and each rotation parameter $\beta\in(0,1)$, the manifold $X_n$—defined as $(S^2\times\mathbb{R}^2)\#k\mathbb{CP}^2\#k\overline{\mathbb{CP}}^2$ for $n=2k+1$ and $(S^2\times\mathbb{R}^2)\#k\mathbb{CP}^2\#(k+1)\overline{\mathbb{CP}}^2$ for $n=2k+2$—carries an $\mathrm{AF}_\beta$ gravitational instanton. For $n\ge 3$ these metrics are not locally Hermitian in either orientation, and because $X_n$ is non-spin they cannot be hyperkähler; with fixed asymptotics, the second Betti number is unbounded. Theorem 1.2 supplements this with a classification: among axisymmetric harmonic maps strongly tamed by a rod structure, degree 0 is equivalent to the Gibbons–Hawking (hyperkähler) ansatz and degree 1 to the LeBrun–Tod (Hermitian non-Kähler) ansatz.

Load-bearing premise

The load-bearing premise is that when rod lengths degenerate or diverge, the rescaled harmonic maps always bubble into one of the four explicit model maps, with cone angles along surviving rods obeying the computed limits; if some other bubble limit could occur, the fixed-point argument proving Theorem 6.4 would break down.

Editorial extensions

If this is right

  • For fixed $\mathrm{AF}_\beta$ asymptotics there is no uniform bound on the topology of gravitational instantons; $X_n$ has second Betti number growing with $n$.
  • The new metrics are not locally Hermitian when $n\ge 3$, giving infinitely many diffeomorphism types of non-Hermitian gravitational instantons and systematic counterexamples to Riemannian black-hole uniqueness.
  • Degree 0 or 1 rod structures are completely classified by axisymmetric harmonic functions (Gibbons–Hawking or LeBrun–Tod), so the cone angles can be written explicitly in those cases.
  • When $\beta\to 0$, the metrics split in the pointed Gromov–Hausdorff sense into a union of Taub-NUT, anti-Taub-NUT, Taub-Bolt, anti-Taub-Bolt and Schwarzschild spaces.
  • Over the two lowest dimensions the construction recovers the Euclidean Kerr and Chen–Teo metrics, giving a geometric explanation for their existence.

Reading between the lines

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

  • If the bubble-tree control extends to other asymptotic types, the same fixed-point strategy should produce non-Hermitian ALF or ALE gravitational instantons, answering the paper's Question 8.10 in the affirmative for some rod structures.
  • The splitting as $\beta\to 0$ suggests a model of these instantons as 'handles' built from Taub-NUT, Taub-Bolt and Schwarzschild pieces; this could yield a gluing construction that makes the metrics explicit or numerically accessible.
  • The degree classification (Theorem 1.2) ties special geometry entirely to a topological invariant of the rod structure, so variants of black-hole uniqueness can be recast as statements about which degrees admit smooth enhancements—a combinatorial-PDE interface worth testing on other toric ansätze.
  • The fixed-point argument may be replaceable by a degree-theoretic invariant of the angle map that is computable from the bubble data alone, which would give a cleaner proof and quantitative estimates on the required rod lengths.
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

2 major / 4 minor

Summary. This paper develops a harmonic-map framework for toric Ricci-flat 4-manifolds and uses it to prove two main results. Theorem 1.1 constructs, for every n≥1 and β∈(0,1), an AFβ gravitational instanton on the simply-connected 4-manifold X_n; for n≥3 these are non-spin and non-Hermitian, providing arbitrary second Betti numbers with fixed AFβ asymptotics and systematic counterexamples to Riemannian black-hole uniqueness conjectures. Theorem 1.2 gives a PDE classification of axisymmetric harmonic maps strongly tamed by a rod structure: the associated metric is locally hyperkähler iff the rod structure has degree 0, and locally Hermitian non-Kähler iff it has degree 1. The proof of Theorem 1.1 combines the existence of tame harmonic maps for a fixed rod structure with a fixed-point argument that tunes the rod lengths so that all cone angles become 2π; the key analytic input is a bubble-tree analysis of the harmonic maps as rod structures degenerate. The construction is non-explicit, and the authors state that uniqueness of the length vector and stability of the metrics remain open.

Significance. If the main theorem is correct, this is a substantial advance: it gives the first complete Ricci-flat 4-manifolds with fixed AFβ asymptotics and arbitrary second Betti number, including non-Hermitian examples, and it disproves several natural versions of the Riemannian black-hole uniqueness conjecture. The paper is careful with the parameter bookkeeping: the only tunable parameters are the rod lengths and the asymptotic rotation angle β, and no fitted constants enter the construction. The authors also honestly state the limitations of the method, including the nonexplicit nature of the metrics and the open uniqueness of l(β). The classification in Theorem 1.2 is elegant and provides a clean criterion for when the Gibbons-Hawking or LeBrun-Tod ansatz applies. I found no internal inconsistency or circular step in the main line of argument, but the paper relies on several analytic constructions that are only sketched, and these sketches are load-bearing for the main claims.

major comments (2)
  1. [§5, Propositions 5.5 and 5.7] The construction of the almost-harmonic background maps Ψ^♯_R and Ψ^{λ;α}_R is central: Proposition 5.10 uses these maps to control d(Φ_i, Ψ_i) by C(1+r)^{-1}, and all subsequent cone-angle limits in Propositions 5.12–5.17 rest on that control. The text says that the proofs are “very similar to the construction in the proof of Theorem 4.24” and omits the details. Please provide the gluing construction in full, or at least a precise lemma that covers the scale-by-scale patching in (5.22)–(5.23) and the interpolation using Lemma 4.25. I do not claim a mathematical error here, but this is the load-bearing analytic step for Theorem 6.4 and should be verifiable without reconstructing the argument from scratch.
  2. [§7.3.1, Proposition 7.12] The openness of S'_{1,α,♯} is essential for the “degree 1 implies Type II” direction of Theorem 1.2. The proof relies on Lemma 7.13, Lemma 7.15, and an application of [BGL24]; however, Lemma 7.15 is stated with the proof “One only needs to compute locally,” and the control of the boundary integral over ∂V^2_{0,N} is justified by the same arguments as in [BGL24] without reproducing the details. Since the metric has conical singularities in the compact region and the end is only asymptotically the AF/ALF model, the boundary terms in (7.26)–(7.27) need an explicit check. I ask the authors to expand this part or to state precisely which statement in [BGL24] is being invoked.
minor comments (4)
  1. [Example 3.20] The paragraph after equation (3.21) says “as a→0, we can see both Φ_TN+ and Φ_TN− as pointed limits of Φ^{Kerr}_a,” but the computation preceding it takes the limit a→∞; this appears to be a typo and should be corrected.
  2. [Lemma 5.3] The second bullet of Lemma 5.3 contains a duplicated word: “if if r0<r<1/r0” should read “if r0<r<1/r0.” The same type of duplication appears in Definition 4.8, where “For any rod I_j and z∈J_j∩U” should presumably read “z∈I_j∩U.”
  3. [Section 4.2.2] The phrase “for some pen subset U⊂H” should be “for some open subset U⊂H.”
  4. [Definitions 4.17 and 4.19] The normalized rod vector and the unnormalized rod vector use notation that is visually nearly identical. Since equations such as (4.17)–(4.18), (5.32)–(5.35), and the cone-angle formula in Definition 4.19 depend on distinguishing these objects, I suggest using a different font or a separate symbol, and stating the convention explicitly at first use.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: Theorem 1.1's existence proof is self-contained; only minor non-load-bearing self-citations appear.

full rationale

The central derivation chain for Theorem 1.1 is self-contained. The paper reduces the Ricci-flat equation to augmented harmonic maps (Section 2), defines rod structures, enhancements, and strong tameness (Sections 3-4), proves existence/uniqueness of strongly tamed harmonic maps from explicit background models (Theorem 4.24), and then obtains cone-angle asymptotics under rod degeneration by a bubble-tree analysis whose limits are explicit model maps (Propositions 5.13-5.17 and 5.12). The fixed-point argument in Section 6.2 uses the map A(l) of cone angles; the boundary control in Proposition 6.7 is obtained from these independent asymptotic formulas and from the Bishop-Gromov-based angle comparison (Proposition 4.42), not from assuming the desired 2π condition. No constant is fitted to the target: the rod lengths are found by a topological degree argument. Theorem 1.2's degree 0/1 classification invokes the external Gibbons-Hawking/LeBrun-Tod ansatz and results of Biquard-Gauduchon [BG23] and Biquard-Gauduchon-LeBrun [BGL24]; these are not consequences of this paper's construction. The only self-citations are [Li23a] (used to state that X_n for n≥3 cannot carry Hermitian gravitational instantons) and [Li23b] (used in the AE case of the Type II classification); these do not enter the existence proof of Theorem 1.1 and are not used to forbid alternatives by a self-referential uniqueness claim. Accordingly there is no circular step; the minor non-load-bearing self-citation warrants a low score of 2 rather than 0.

Assumptions & free parameters 2 free parameters · 4 assumptions · 0 invented entities

The paper introduces mathematical data, such as enhanced rod structures and canonically normalized augmentations, but no new physical entities, forces, or particles. No empirical constants are fitted; the rod lengths are analytic parameters selected by a topological fixed-point theorem.

free parameters (2)
  • rod length vector l = (l1,...,ln) = not explicit
    In Theorem 6.4, the rod lengths are varied to force all cone angles to 2π; existence is proved by a fixed-point argument, but no explicit value is given.
  • asymptotic rotation angle beta = arbitrary in (0,1)
    The theorem covers every beta in (0,1); beta is a family parameter of the AFβ asymptotics rather than a fitted constant.
assumptions (4)
  • domain assumption Each rod structure admits a unique strongly tamed harmonic map and a unique normalized augmentation
    This appears as Theorem 4.24 and is used throughout; the proof draws on standard harmonic map theory and maximum principle arguments.
  • standard math Bando-Kasue-Nakajima asymptotic regularity applies to toric Ricci-flat ends with quadratic curvature decay
    Invoked in Proposition 4.38 and Section 8 to pass from L2 curvature bounds to asymptotic models; it is an external regularity theorem.
  • domain assumption The Biquard-Gauduchon ansatz and the BGL openness theorem describe all low-degree Hermitian gravitational instantons
    Theorem 7.9 and Proposition 7.12 rely on the Type II ansatz from [BG23] and the openness result from [BGL24].
  • standard math Mars-Simon uniqueness of AF0 and ALF gravitational instantons holds as stated in Appendix B
    Used in Section 8 to identify bubble limits with Schwarzschild, Taub-Bolt, or Taub-NUT spaces; the appendix proof is referenced but not fully reproduced in the supplied text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Gravitational instantons and harmonic maps." pith.science (2026). https://pith.science/paper/HK23XDAS

@misc{pith2026250715284,
  author       = {Pith},
  title        = {Pith review of: Gravitational instantons and harmonic maps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HK23XDAS}},
  note         = {Machine review of arXiv:2507.15284}
}
read the original abstract

We study the interaction between toric Ricci-flat metrics in dimension 4 and axisymmetric harmonic maps from the 3-dimensional Euclidean space into the hyperbolic plane. Applications include (1). The construction of complete Ricci-flat 4-manifolds that are non-spin, simply-connected, and with arbitrary second Betti number. Our method is non-perturbative and is based on ruling out conical singularities arising from axisymmetric harmonic maps. These metrics also give systematic counterexamples to various versions of the Riemannian black hole uniqueness conjecture. (2). A PDE classification result for axisymmetric harmonic maps of degree at most 1, via the Gibbons-Hawking ansatz and the LeBrun-Tod ansatz, in terms of axisymmetric harmonic functions. This is motivated by the study of hyperkahler and conformally Kahler gravitational instantons.

Figures

Figures reproduced from arXiv: 2507.15284 by the authors.

Figure 1
Figure 1. A polygon that represents an untyped rod structure. Remark 3.2. Here AE stands for Asymptotically Euclidean, ALF+ stands for positively oriented Asymptotically Locally Flat, ALF− stands for negatively oriented Asymptotically Locally Flat, AFβ stands for Asymptotically Flat with rotation angle 2πβ. These are possible Asymptotic Types of toric gravitational instantons that we will be interested in this paper, see Sect… view at source ↗
Figure 2
Figure 2. The rod structure RAE. Example 3.16 (Taub-NUT). Consider the Taub-NUT space, which is by definition the (positively oriented) Taub-NUT metric. In the Weyl-Papapetrou coordinates it can be explicitly written as g = H−1 (dϕ1 + Adϕ2) 2 + H(dρ2 + dz2 + ρ 2 dϕ2 2 ), where H = 1 + 1 2r , and A = z 2r . The T action is generated by ∂ϕ1 and ∂ϕ2 . This is a hyperkähler metric so can be obtained via the Gibbons-Hawking ansatz… view at source ↗
Figure 3
Figure 3. The rod structure RTN+ . Example 3.17 (Anti-Taub-NUT). Consider the anti-Taub-NUT space, which is by definition the negatively oriented Taub-NUT metric. We can use the same formula as in the previous example, but with ϕ1 and ϕ2 interchanged: g = H−1 (dϕ2 + Adϕ1) 2 + H(dρ2 + dz2 + ρ 2 dϕ2 1 ), This is negatively oriented, because the orientation we use in our setting, which is defined by dρdzdϕ1dϕ2, is opposite to th… view at source ↗
Figures from the paper (13 more)
Figure 4
Figure 4. Figure 4: The rod structure RTN– . Example 3.18 (Flat R 3 × S 1 ). Consider the product space R 3 × S 1 . In terms of the polar coordinates (r, θ, ϕ1) on R 3 and the rotational coordinate ϕ2 on S 1 , the standard flat metric can be written as g = dr2 + r 2 (dθ2 + sin2 θdϕ2 1 ) +…
Figure 5
Figure 5. Figure 5: The rod structure RAFβ . Remark 3.19. One may notice that in the above we distinguish only between the Taub-NUT and anti-Taub-NUT spaces, not in the AE and AFβ cases. The reason is as follows. In the AFβ case, we know that the space Mβ with the opposite orientation is …
Figure 6
Figure 6. Figure 6: The splitting of Kerr spaces The above discussion shows that as a → 0, we can see both Φ TN+ and Φ TN– as pointed limits of Φ Kerra. At the level of gravitational instantons, we may say that the Kerr spaces ga split into the union of a Taub-NUT space and an anti-Taub-N…
Figure 7
Figure 7. Figure 7: Clusters of (ϵ, δ)-separate rods. zp,np and zp+1,1. Denote by wp the rod vector associated with the rod Jp. We also set w0 = v0 and ws = vn. For τ > 0, we define J τ p = Nτ (Jp) \ Nτ (Cp ∪ Cp+1). For each p with np > 1, we define z(Cp) = zp,1, λ(Cp) = (zp,np − zp,1) −1…
Figure 8
Figure 8. Figure 8: Construction of Ψ ♯ R in Proposition 5.5 and 5.7. 5.3. Uniform control of tame harmonic maps. Given a sequence of rod structures Ri with r n(Ri) ≤ N. We assume that for all i, the Asymptotic Type ♯i of Ri is either AE, or ALF+, or ALF– , or AFβi , and s(Ri) uniformly b…
Figure 9
Figure 9. Figure 9: Patching between scales when αi,p < 1: on the cluster region N ϵ 10 (Ci,p) \ N ϵ 20 (Ci,p) in Ri , the map Φwi,p,wi,p+1;zi,p,1 is rescaled to φ ∗ λi,p T ∗ −zi,p,1D −1 σ(αi,p,λi,p) .Pwi,p,wi,p+1 .Φwi,p,wi,p+1;zi,p,1 over the purple region in Ri,p, which is φλ −1 i,p Tzi…
Figure 10
Figure 10. Figure 10: gives an illustration of this phenomenon. We consider rod structures Ri of Asymptotic Type AE with 4 turning points, whose rod length l4 ≪ l2 ≪ l3 ≪ l1 → 0. The limit rod structure is a trivial rod structure of Asymptotic Type AE. In the first bubble limit only I1 sur…
Figure 11
Figure 11. Figure 11: The rod structures RdTN−,l and RTB−,l. Denote by (ΦdTN−,l, νdTN− ) and (ΦTB−,l, νTB− ) the corresponding augmented harmonic maps tamed by RdTN−,l and RTB−,l respectively. Then in each case the cone angles along the rods v0 and v2 are fixed to be 2π. We denote ΘTB− (l)…
Figure 12
Figure 12. Figure 12: The rod structure RTB+,l. that the angle along the rod I1 satisfies that Θ(l) → 0 as l → ∞ and Θ(l) → 4π as l → 0, hence there is an l such that the harmonic map strongly tamed by RTB+,l with normalized augmentation and the enhancement Λ gives rise to a toric gravitat…
Figure 13
Figure 13. Figure 13: A rod structure with 5 turning points. One can compute that (6.2) d(Rl) = ⌊ n + 1 2 ⌋. We will always take the smooth enhancement Λ to be the standard lattice Z 2 . One can check that it gives rise to the toric 4-manifold diffeomorphic to Xn (see (1.2)). We let (Φl,β,…
Figure 14
Figure 14. Figure 14: A piece-wise affine function f with four turning points. get an augmented harmonic map (Φ, ν) which is strongly tamed by a rod structure R with n turning points. The rods are given by Ij = (zj , zj+1) and the normalized rod vector along Ij is (7.18) vj = ( vj = f ′ j …
Figure 15
Figure 15. Figure 15: The twisted scaling from Ri to R0,i. In this example l2 ≫ l4 ≫ l1 ≫ l3, and Si = l2 → ∞, Hi = l1. Step 4. As in Section 5 after passing to a subsequence we obtain a bubble tree convergence. More precisely, we first have the convergence of (R0,i, Φ0,i, ν0,i) to a weak …
Figure 16
Figure 16. Figure 16: A twisted scaling-down (R0,i, Φ0,i, ν0,i) with four finite rods l1 ≪ l3 ≪ l2 ≪ l4 ∼ 1 and the intermediate scales between the bubble (R, Φ, ν) and (R′ , Φ ′ , ν′ ). In this example k0 = 2, and µ1,i ∼ l2, µ2,i ∼ l3/l2. rotation Pui,S is counter-clockwise by angle θ2,i …

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

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

  1. A Comparison Theorem For the Mass of ALE and ALF Toric 4-Manifolds

    math.DG 2026-05 unverdicted novelty 7.0 of 10

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

  2. Mass Lower Bounds for Asymptotically Locally Flat Manifolds

    math.DG 2025-09 conditional novelty 7.0 of 10

    For ALF 4-manifolds with an almost free circle symmetry and nonnegative scalar curvature, mass is nonnegative and at least (ℓ/16) times the degree of the asymptotic circle bundle; in the AF case, homology-trivial coor...

  3. New asymptotically flat gravitational instanton

    gr-qc 2026-05 unverdicted novelty 6.0 of 10

    An explicit two-parameter metric is constructed for a new asymptotically flat toric gravitational instanton, the n=3 member of the Li-Sun family, with topology CP^2#CP^2 minus S^1.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages · cited by 3 Pith papers

  1. [1]

    Aksteiner and L

    S. Aksteiner and L. Andersson. Gravitational Instantons and Special Geometry . Journal of Differential Geometry , 128(3):928--958, 2024

  2. [2]

    Aksteiner, L

    S. Aksteiner, L. Andersson, M. Dahl, G. Nilsson, and W. Simon. Gravitational Instantons with S^1 Symmetry . arXiv preprint , 2023

  3. [3]

    Biquard and P

    O. Biquard and P. Gauduchon. On Toric Hermitian ALF Gravitational Instantons . Communications in Mathematical Physics , 399(1):389--422, 2023

  4. [4]

    Biquard, P

    O. Biquard, P. Gauduchon, and C. LeBrun. Gravitational Instantons, Weyl Curvature, and Conformally K\"ahler Geometry . International Mathematics Research Notices , 2024(20):13295--13311, 2024

  5. [5]

    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

  6. [6]

    Biquard and T

    O. Biquard and T. Ozuch. Instability of conformally Kähler, Einstein metrics . arXiv preprint , 2023

  7. [7]

    V. A. Belinskiĭ and V. E. Zakharov. Integration of the Einstein Equations by Means of the Inverse Scattering Problem Technique and Construction of Exact Soliton Solutions . Soviet Physics JETP , 48(6):985--994, 1978

  8. [8]

    Black hole equilibrium states

    Brandon Carter. Black hole equilibrium states . In C. DeWitt and B. S. DeWitt, editors, Black Holes (Les Astres Occlus) , pages 57--214, New York, 1973. Gordon and Breach. Proceedings of the 1972 Les Houches Summer School

Show all 41 references
  1. [9]

    D. M. J. Calderbank and H. Pedersen. Self-Dual Einstein Metrics with Torus Symmetry . Journal of Differential Geometry , 60(3):485--521, 2002

  2. [10]

    Chen and E

    Y. Chen and E. Teo. Rod-Structure Classification of Gravitational Instantons with U(1)×U(1) Isometry . Nuclear Physics B , 838(1-2):207--237, 2010

  3. [11]

    Chen and E

    Y. Chen and E. Teo. A New AF Gravitational Instanton . Physics Letters B , 703(3):359--362, 2011

  4. [12]

    Derdziński

    A. Derdziński. Self-dual K\"ahler Manifolds and Einstein Manifolds of Dimension Four . Compositio Mathematica , 49(3):405--433, 1983

  5. [13]

    Donaldson and S

    S. Donaldson and S. Sun. Gromov–Hausdorff Limits of K\"ahler Manifolds and Algebraic Geometry . Acta Mathematica , 213(1):63--106, 2014

  6. [14]

    X. Dai, Y. Sun, and C. Wang. The positive mass theorem for asymptotically flat manifolds with isolated conical singularities . Science China Mathematics , 67, 2024

  7. [15]

    F. J. Ernst. New Formulation of the Axially Symmetric Gravitational Field Problem . Physical Review , 167(5):1175--1178, 1968

  8. [16]

    G. W. Gibbons. Gravitational Instantons: A Survey . In Mathematical Problems in Theoretical Physics , volume 116 of Lecture Notes in Physics , pages 282--287. Springer, 1979

  9. [17]

    T. Harmark. Stationary and axisymmetric solutions of higher-dimensional general relativity. Physical Review D , 70(12):124002, 2004

  10. [18]

    S. W. Hawking. Gravitational Instantons . Physics Letters A , 60(2):81--83, 1977

  11. [19]

    Hollands, A

    S. Hollands, A. Ishibashi, and R. M. Wald. A higher dimensional stationary rotating black hole must be axisymmetric. Communications in Mathematical Physics , 302(3):631--674, 2011

  12. [20]

    Q. Han, M. Khuri, G. Weinstein, and J. Xiong. Asymptotic Analysis of Harmonic Maps with Prescribed Singularities . arXiv preprint , 2022

  13. [21]

    Q. Han, M. Khuri, G. Weinstein, and J. Xiong. The Mass-Angular Momentum Inequality for Multiple Black Holes . arXiv preprint , 2025

  14. [22]

    D. D. Joyce. Explicit Construction of Self-Dual 4-Manifolds . Duke Mathematical Journal , 77(3):519--552, 1995

  15. [23]

    H. K. Kunduri and J. Lucietti. Existence and Uniqueness of Asymptotically Flat Toric Gravitational Instantons . Letters in Mathematical Physics , 111(133), 2021

  16. [24]

    A. S. Lapedes. Black Hole Uniqueness Theorems in Classical and Quantum Gravity . In S.-T. Yau, editor, Seminar on Differential Geometry , volume 102 of Annals of Mathematics Studies , pages 539--602. Princeton University Press, 1982

  17. [25]

    C. LeBrun. Einstein Manifolds, Self-Dual Weyl Curvature, and Conformally K\"ahler Geometry . Mathematical Research Letters , 28:127--144, 2021

  18. [26]

    M. Li. Classification Results for Conformally K\"ahler Gravitational Instantons . arXiv preprint , 2023

  19. [27]

    M. Li. On 4-Dimensional Ricci-Flat ALE Manifolds . arXiv preprint , 2023

  20. [28]

    J. Lott. The Collapsing Geometry of Almost Ricci-Flat 4-Manifolds . Commentarii Mathematici Helvetici , 95(1):79--98, 2020

  21. [29]

    Li and S

    M. Li and S. Sun. On Conical Asymptotically Flat Manifolds . arXiv preprint , 2024

  22. [30]

    Li and G

    Y. Li and G. Tian. Regularity of Harmonic Maps with Prescribed Singularities . Communications in Mathematical Physics , 149(1):1--30, 1992

  23. [31]

    R. A. Matzner and C. W. Misner. Gravitational Field Equations for Sources with Axial Symmetry and Angular Momentum . Physical Review , 154:1229--1232, 1967

  24. [32]

    Mars and W

    M. Mars and W. Simon. On Uniqueness of the Taub-Bolt Instanton . Classical and Quantum Gravity , 16(11):3553--3560, 1999

  25. [33]

    L. Nguyen. Singular Harmonic Maps and Applications to General Relativity . Communications in Mathematical Physics , 301(2):411--441, 2011

  26. [34]

    Topology of toric gravitational instantons

    Gustav Nilsson. Topology of toric gravitational instantons. Differential Geometry and its Applications , 96:Paper No.102171, 19 pp., 2024

  27. [35]

    Orlik and F

    P. Orlik and F. Raymond. Actions of the torus on 4-manifolds. i. Transactions of the American Mathematical Society , 152:531--559, 1970

  28. [36]

    X. Rong. On the Fundamental Groups of Manifolds of Positive Sectional Curvature . Annals of Mathematics , 143(2):397--411, 1996

  29. [37]

    R. S. Ward. Einstein-Weyl Spaces and SU( ) Toda Fields . Classical and Quantum Gravity , 7(4):L95, 1990

  30. [38]

    Weinstein

    G. Weinstein. Harmonic Maps with Prescribed Singularities and Applications in General Relativity . Advanced Studies in Pure Mathematics , 85:479--489, 2020

  31. [39]

    A. P. Whitman and W. R. Stoeger. The Harmonic-Map Structure of the Axially Symmetric Stationary Einstein Equations . General Relativity and Gravitation , 24(6):641--658, 1992

  32. [40]

    P. Wu. Einstein Four-Manifolds With Self-Dual Weyl Curvature of Nonnegative Determinant . International Mathematics Research Notices , 2021(2):1043--1054, 2019

  33. [41]

    S.-T. Yau. Problem Section . In S.-T. Yau, editor, Seminar on Differential Geometry , volume 102 of Annals of Mathematics Studies , pages 669--706. Princeton University Press, 1982

Pith tools

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