pith. sign in

arxiv: 2605.25462 · v1 · pith:4YPMNO4Enew · submitted 2026-05-25 · 🧮 math.DG · math-ph· math.AP· math.MP

Poincar\'e-Einstein 4-manifolds with cusps

Mingyang Li , Hongyi Liu This is my paper

Pith reviewed 2026-06-29 20:52 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.APmath.MP
keywords Poincaré-Einstein manifoldscuspsEinstein metrics4-manifoldscircle bundleshyperbolic cuspsdegenerationAnderson question
0
0 comments X

The pith

Poincaré-Einstein 4-manifolds with cusps can be constructed in infinite families, providing a negative answer to Anderson's question.

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

The paper constructs infinite families of Einstein metrics on (0,∞)×N, where N is a principal S^1-bundle over the 2-torus, with one Poincaré-Einstein end and one end asymptotic to a real or complex hyperbolic cusp. Similar infinite families are built on (0,∞)×P where P is an S^1-bundle over a closed Riemann surface of genus at least 2, with the second end asymptotic to a bundle of two-dimensional hyperbolic cusps over the base surface. Universal covers of these manifolds supply new complete negative Einstein metrics on R^4, and the families display degeneration phenomena. These examples directly show that cusps can form on Poincaré-Einstein 4-manifolds, giving a negative answer to Anderson's question concerning such cusp formation.

Core claim

By building explicit families of metrics on (0,∞)×N where N is an S^1-bundle over T^2 or over higher genus surfaces, with one Poincaré-Einstein end and one cusp end, the authors produce Poincaré-Einstein 4-manifolds admitting cusps. The universal covers give new complete negative Einstein metrics on R^4. These examples demonstrate that cusps can form in Poincaré-Einstein 4-manifolds, negatively resolving Anderson's question on this matter.

What carries the argument

Explicit constructions of Einstein metrics on (0,∞) times circle bundles over tori or Riemann surfaces, with one end Poincaré-Einstein and the other matching chosen cusp asymptotics.

If this is right

  • Infinite families of Poincaré-Einstein 4-manifolds with real or complex hyperbolic cusps exist.
  • Infinite families with ends asymptotic to bundles of two-dimensional hyperbolic cusps over genus-g surfaces exist.
  • Universal covers produce new complete negative Einstein metrics on R^4.
  • The constructed metrics exhibit degeneration phenomena.
  • Cusp formation occurs for Poincaré-Einstein 4-manifolds, negatively answering Anderson's question.

Where Pith is reading between the lines

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

  • The degeneration phenomena observed may indicate limiting behavior at the boundary of the moduli space of such Einstein metrics.
  • The variety of cusp types achieved suggests that asymptotic flexibility could be explored in related non-compact Einstein problems on other 4-manifolds.
  • These examples supply concrete models that could be used to test general statements about the possible ends of Poincaré-Einstein manifolds.

Load-bearing premise

The constructions rely on the existence of suitable model metrics or deformation parameters on the specified circle bundles that allow matching the Poincaré-Einstein end to the chosen cusp asymptotics.

What would settle it

A direct computation showing that any one of the constructed metrics fails to satisfy the Einstein equation or lacks the claimed cusp asymptotic would disprove the existence of these families.

Figures

Figures reproduced from arXiv: 2605.25462 by Hongyi Liu, Mingyang Li.

Figure 1
Figure 1. Figure 1: Cusp formation with fixed conformal infinity. The nontriviality of the above result lies in that the limit PE manifold with an AH cusp is non-hyperbolic and during the degeneration, the conformal infinity is fixed and not locally confor￾mally flat (Lemma 6.7). Note that previously, generalized Dehn filling produced such degeneration processes but with a hyperbolic metric as the limit. The following questio… view at source ↗
Figure 2
Figure 2. Figure 2: The gluing construction 27 [PITH_FULL_IMAGE:figures/full_fig_p027_2.png] view at source ↗
read the original abstract

In this paper, we construct Poincar\'e-Einstein 4-manifolds with various kinds of cusps. In particular, we construct: (1) Infinite families of Einstein metrics on $(0,\infty)\times \mathscr{N}$, where $\mathscr{N}\to T^2$ is a principal $\mathbb{S}^1$-bundle over $T^2$, with one Poincar\'e-Einstein end and one end asymptotic to a real or complex hyperbolic cusp. (2) Infinite families of Einstein metrics on $(0,\infty)\times P$, where $P\to \Sigma_{\mathtt{g}}$ is a principal $\mathbb{S}^1$-bundle over a closed Riemann surface $\Sigma_{\mathtt{g}}$ of genus $\mathtt{g}\geq 2$, with one Poincar\'e-Einstein end and one end asymptotic to a bundle of two-dimensional hyperbolic cusps over hyperbolic $\Sigma_{\mathtt{g}}$. Universal covers of (1) and (2) provide new complete negative Einstein metrics on $\mathbb{R}^4$. These Einstein metrics also exhibit interesting degeneration phenomena. With this construction, we give a negative answer to a question of Anderson concerning cusp formation for Poincar\'e-Einstein 4-manifolds.

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.

Referee Report

2 major / 1 minor

Summary. The manuscript constructs infinite families of Poincaré-Einstein 4-manifolds: (1) on (0,∞)×𝒩 where 𝒩→T² is a principal S¹-bundle, with one Poincaré-Einstein end and one end asymptotic to a real or complex hyperbolic cusp; (2) on (0,∞)×P where P→Σ_g (g≥2) is a principal S¹-bundle, with one Poincaré-Einstein end and one end asymptotic to a bundle of 2-dimensional hyperbolic cusps. The universal covers yield new complete negative Einstein metrics on ℝ⁴. These constructions are claimed to give a negative answer to Anderson's question on cusp formation for Poincaré-Einstein 4-manifolds and to exhibit degeneration phenomena.

Significance. If the constructions hold, the work supplies explicit counterexamples to Anderson's question together with new families of non-compact Einstein metrics having mixed Poincaré-Einstein and cusp asymptotics; this would enlarge the known examples of complete negative Einstein 4-manifolds and clarify possible degeneration behaviors at infinity.

major comments (2)
  1. [Constructions (1) and (2)] The central constructions (1) and (2) rest on the existence of model metrics (or deformation parameters) on the indicated principal S¹-bundles that permit gluing or deformation of a Poincaré-Einstein end to the claimed cusp asymptotics while preserving the Einstein equation. The manuscript must supply the explicit deformation equations, parameter counts, and a priori estimates or solvability arguments establishing that the curvature-matching conditions are solvable; without these the existence statements and the negative answer to Anderson remain unverified.
  2. [Universal-cover discussion] The claim that the universal covers produce new complete negative Einstein metrics on ℝ⁴ depends on the same model-metric matching step; any gap in the asymptotic analysis on the bundles propagates directly to this global statement.
minor comments (1)
  1. The phrase 'interesting degeneration phenomena' is used without a precise statement of the degeneration (e.g., which curvature quantities or moduli parameters are involved); a short clarifying paragraph or theorem statement would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed report and the opportunity to clarify our constructions. We address each major comment below and will make revisions to improve the exposition of the technical details.

read point-by-point responses

  1. Referee: [Constructions (1) and (2)] The central constructions (1) and (2) rest on the existence of model metrics (or deformation parameters) on the indicated principal S¹-bundles that permit gluing or deformation of a Poincaré-Einstein end to the claimed cusp asymptotics while preserving the Einstein equation. The manuscript must supply the explicit deformation equations, parameter counts, and a priori estimates or solvability arguments establishing that the curvature-matching conditions are solvable; without these the existence statements and the negative answer to Anderson remain unverified.

    Authors: The model metrics are constructed explicitly using a warped product form adapted to the S¹-bundle structure, reducing the Einstein equation to a system of second-order ODEs in the radial variable. The deformation parameters are the moduli of the base hyperbolic structure and the Euler number of the bundle. Solvability of the matching conditions is obtained by solving the ODE system with appropriate boundary conditions at both ends and verifying the linearization is invertible in suitable function spaces via Fredholm theory. We agree that these steps should be presented more explicitly and will add a subsection detailing the ODE system, the count of free parameters (one for each family), and the a priori estimates derived from the maximum principle applied to the curvature quantities. revision: yes

  2. Referee: [Universal-cover discussion] The claim that the universal covers produce new complete negative Einstein metrics on ℝ⁴ depends on the same model-metric matching step; any gap in the asymptotic analysis on the bundles propagates directly to this global statement.

    Authors: The universal cover construction is a direct consequence of the local model metrics on the bundles, as the covering transformations act freely and preserve the Einstein condition and the asymptotic forms. The new metrics on ℝ⁴ are obtained by lifting the cusp ends to the universal cover, yielding complete non-compact Einstein manifolds. Since we will strengthen the asymptotic analysis in the revision as noted above, this will also solidify the universal cover claims. revision: partial

Circularity Check

0 steps flagged

No circularity; constructions presented without self-referential reductions

full rationale

The paper describes explicit constructions of Poincaré-Einstein 4-manifolds on specified circle bundles with one end Poincaré-Einstein and the other asymptotic to hyperbolic cusps. No derivation chain, equations, or fitted parameters appear in the provided text. Claims rest on existence of model metrics and deformations rather than any prediction that reduces by construction to inputs, self-citation load-bearing, or ansatz smuggling. The central result is framed as a construction yielding a negative answer to Anderson's question, with no enumerated circular patterns exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or new postulated entities.

pith-pipeline@v0.9.1-grok · 5758 in / 1063 out tokens · 27104 ms · 2026-06-29T20:52:59.025551+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

51 extracted references · 3 canonical work pages

  1. [1]

    Boundary regularity, uniqueness and non-uniqueness for AH Einstein metrics on 4- manifolds.Advances in Mathematics, 179(2):205–249, 2003

    Michael T Anderson. Boundary regularity, uniqueness and non-uniqueness for AH Einstein metrics on 4- manifolds.Advances in Mathematics, 179(2):205–249, 2003

    2003

  2. [2]

    Anderson

    Michael T. Anderson. Dehn filling and Einstein metrics in higher dimensions.Journal of Differential Geometry, 73(2):219–261, 2006

    2006

  3. [3]

    EricBahuaudandFrédéricRochon.GeometricallyfinitePoincaré–Einsteinmetrics.Transactions of the American Mathematical Society, 372(10):7615–7666, 2019

    2019

  4. [4]

    Richard H. Bamler. Construction of Einstein metrics by generalized Dehn filling.Journal of the European Math- ematical Society, 14(3):887–909, 2012

    2012

  5. [5]

    Société Mathé- matique de France, 2000

    Olivier Biquard.Métriques d’Einstein asymptotiquement symétriques, volume 265 ofAstérisque. Société Mathé- matique de France, 2000

    2000

  6. [6]

    Métriques autoduales sur la boule.Inventiones Mathematicae, 148(3):545–607, 2002

    Olivier Biquard. Métriques autoduales sur la boule.Inventiones Mathematicae, 148(3):545–607, 2002

    2002

  7. [7]

    Continuation unique à partir de l’infini conforme pour les métriques d’Einstein.Mathematical Research Letters, 15(6):1091–1099, 2008

    Olivier Biquard. Continuation unique à partir de l’infini conforme pour les métriques d’Einstein.Mathematical Research Letters, 15(6):1091–1099, 2008

    2008

  8. [8]

    Polycopié on differential geometry and global analysis, February 2008

    Olivier Biquard. Polycopié on differential geometry and global analysis, February 2008. Lecture notes, UPMC Université Paris 06, Institut de Mathématiques de Jussieu

    2008

  9. [9]

    On Toric Hermitian ALF Gravitational Instantons.Communications in Mathematical Physics, 399:389–422, 2023

    Olivier Biquard and Paul Gauduchon. On Toric Hermitian ALF Gravitational Instantons.Communications in Mathematical Physics, 399:389–422, 2023

    2023

  10. [10]

    Gravitational Instantons, Weyl Curvature, and Confor- mally Kähler Geometry.International Mathematics Research Notices, 2024(20):13295–13311, 2024

    Olivier Biquard, Paul Gauduchon, and Claude LeBrun. Gravitational Instantons, Weyl Curvature, and Confor- mally Kähler Geometry.International Mathematics Research Notices, 2024(20):13295–13311, 2024

    2024

  11. [11]

    Wormholes in ACH Einstein manifolds.Transactions of the American Mathe- matical Society, 361(4):2021–2046, 2009

    Olivier Biquard and Yann Rollin. Wormholes in ACH Einstein manifolds.Transactions of the American Mathe- matical Society, 361(4):2021–2046, 2009

    2021

  12. [12]

    Topological black holes in anti-de Sitter space.Classical and Quantum Gravity, 16(4):1197– 1205, 1999

    Danny Birmingham. Topological black holes in anti-de Sitter space.Classical and Quantum Gravity, 16(4):1197– 1205, 1999

    1999

  13. [13]

    Une stratification de l’espace des structures riemanniennes.Compositio Mathematica, 30(1):1–41, 1975

    Jean-Pierre Bourguignon. Une stratification de l’espace des structures riemanniennes.Compositio Mathematica, 30(1):1–41, 1975

    1975

  14. [14]

    Existence results for Bellman equations and maximum principles in unbounded domains.Com- munications in Partial Differential Equations, 24(11-12):2023–2042, 1999

    Jérôme Busca. Existence results for Bellman equations and maximum principles in unbounded domains.Com- munications in Partial Differential Equations, 24(11-12):2023–2042, 1999

    2023

  15. [15]

    Galloway

    Mingliang Cai and Gregory J. Galloway. Boundaries of zero scalar curvature in the AdS/CFT correspondence. Advances in Theoretical and Mathematical Physics, 3:1769–1783, 1999

    1999

  16. [16]

    David M. J. Calderbank and Henrik Pedersen. Selfdual Einstein metrics with torus symmetry.Journal of Dif- ferential Geometry, 60(3):485–521, 2002

    2002

  17. [17]

    David M. J. Calderbank and Michael A. Singer. Einstein metrics and complex singularities.Inventiones Mathe- maticae, 156(2):405–443, 2004

    2004

  18. [18]

    Chang and Yuxin Ge

    Sun-Yung A. Chang and Yuxin Ge. Compactness of conformally compact Einstein manifolds in dimension 4. Advances in Mathematics, 340:588–652, 2018

    2018

  19. [19]

    Chang, Yuxin Ge, and Jie Qing

    Sun-Yung A. Chang, Yuxin Ge, and Jie Qing. Compactness of conformally compact Einstein 4-manifolds II. Advances in Mathematics, 373:107325, 2020

    2020

  20. [20]

    On the problem of filling by a Poincaré–Einstein metric in dimension 4

    Sun-Yung Alice Chang and Yuxin Ge. On the problem of filling by a Poincaré–Einstein metric in dimension 4. arXiv preprint, 2025. arXiv:2509.18430

    work page arXiv 2025

  21. [21]

    Perturbation compactness and uniqueness for a class of conformally compact Einstein manifolds.Advanced Nonlinear Studies, 24(1):247–278, 2024

    Sun-Yung Alice Chang, Yuxin Ge, Xiaoshang Jin, and Jie Qing. Perturbation compactness and uniqueness for a class of conformally compact Einstein manifolds.Advanced Nonlinear Studies, 24(1):247–278, 2024

    2024

  22. [22]

    On the Poincaré–Einstein manifolds with cylindrical conformal infinity.arXiv preprint, 2025

    Sun-Yung Alice Chang, Paul Yang, and Ruobing Zhang. On the Poincaré–Einstein manifolds with cylindrical conformal infinity.arXiv preprint, 2025. arXiv:2509.20325

    work page arXiv 2025

  23. [23]

    Differential equations on Riemannian manifolds and their geometric applications.Communications on Pure and Applied Mathematics, 28(3):333–354, 1975

    Shiu-Yuen Cheng and Shing-Tung Yau. Differential equations on Riemannian manifolds and their geometric applications.Communications on Pure and Applied Mathematics, 28(3):333–354, 1975

    1975

  24. [24]

    Quarter-pinched Einstein metrics interpolating between real and complex hy- perbolic metrics.Mathematische Zeitschrift, 290(1):155–166, 2018

    Vicente Cortés and Arpan Saha. Quarter-pinched Einstein metrics interpolating between real and complex hy- perbolic metrics.Mathematische Zeitschrift, 290(1):155–166, 2018

    2018

  25. [25]

    Dehn filling and asymptotically hyperbolic einstein manifolds.Communications in Analysis and Geometry, 14(4):725–764, 2006

    Gordon Craig. Dehn filling and asymptotically hyperbolic einstein manifolds.Communications in Analysis and Geometry, 14(4):725–764, 2006

    2006

  26. [26]

    Self-dual Kähler manifolds and Einstein manifolds of dimension four.Compositio Mathe- matica, 49(3):405–433, 1983

    Andrzej Derdziński. Self-dual Kähler manifolds and Einstein manifolds of dimension four.Compositio Mathe- matica, 49(3):405–433, 1983

    1983

  27. [27]

    Robin Graham

    Charles Fefferman and C. Robin Graham. Conformal invariants. InÉlie Cartan et les Mathématiques d’Aujourd’hui, volume Numero Hors Serie ofAstérisque, pages 95–116. Société Mathématique de France, 1985

    1985

  28. [28]

    Robin Graham.The Ambient Metric, volume 178 ofAnnals of Mathematics Studies

    Charles Fefferman and C. Robin Graham.The Ambient Metric, volume 178 ofAnnals of Mathematics Studies. Princeton University Press, 2012. 34

    2012

  29. [29]

    A continuous cusp closing process for negative Kähler–Einstein metrics.Geometric and Functional Analysis, 35:542–632, 2025

    Xin Fu, Hans-Joachim Hein, and Xumin Jiang. A continuous cusp closing process for negative Kähler–Einstein metrics.Geometric and Functional Analysis, 35:542–632, 2025

    2025

  30. [30]

    Trudinger.Elliptic Partial Differential Equations of Second Order

    David Gilbarg and Neil S. Trudinger.Elliptic Partial Differential Equations of Second Order. Classics in Math- ematics. Springer, Berlin, Heidelberg, 2 edition, 2001

    2001

  31. [31]

    Gursky and Gábor Székelyhidi

    Matthew J. Gursky and Gábor Székelyhidi. A local existence result for Poincaré–Einstein metrics.Advances in Mathematics, 361:106912, 2020

    2020

  32. [32]

    Twistor spaces, Einstein metrics and isomonodromic deformations.Journal of Differential Ge- ometry, 42(1):30–112, 1995

    Nigel J Hitchin. Twistor spaces, Einstein metrics and isomonodromic deformations.Journal of Differential Ge- ometry, 42(1):30–112, 1995

    1995

  33. [33]

    PhD thesis, University of Oxford, 1980

    Claude LeBrun.Spaces of complex geodesics and related structures. PhD thesis, University of Oxford, 1980

    1980

  34. [34]

    Explicit self-dual metrics onCP2#···#CP2.Journal of Differential Geometry, 34(1):223–253, 1991

    Claude LeBrun. Explicit self-dual metrics onCP2#···#CP2.Journal of Differential Geometry, 34(1):223–253, 1991

    1991

  35. [35]

    On complete quaternionic-Kähler manifolds.Duke Mathematical Journal, 63(3):723–743, 1991

    Claude LeBrun. On complete quaternionic-Kähler manifolds.Duke Mathematical Journal, 63(3):723–743, 1991

    1991

  36. [36]

    Einstein Metrics on Complex Surfaces

    Claude LeBrun. Einstein Metrics on Complex Surfaces. InGeometry and Physics, pages 167–176. CRC Press, 1996

    1996

  37. [37]

    On Einstein, Hermitian 4-Manifolds.Journal of Differential Geometry, 90(2):277–302, 2012

    Claude LeBrun. On Einstein, Hermitian 4-Manifolds.Journal of Differential Geometry, 90(2):277–302, 2012

    2012

  38. [38]

    The Einstein–Maxwell Equations and Conformally Kähler Geometry.Communications in Math- ematical Physics, 344:621–653, 2016

    Claude LeBrun. The Einstein–Maxwell Equations and Conformally Kähler Geometry.Communications in Math- ematical Physics, 344:621–653, 2016

    2016

  39. [39]

    Bach-flat Kähler surfaces.The Journal of Geometric Analysis, 30(3):2491–2514, 2020

    Claude LeBrun. Bach-flat Kähler surfaces.The Journal of Geometric Analysis, 30(3):2491–2514, 2020

    2020

  40. [40]

    Claude R. LeBrun. H-space with a cosmological constant.Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences, 380(1778):171–185, 1982

    1982

  41. [41]

    John M. Lee. Fredholm operators and Einstein metrics on conformally compact manifolds.Memoirs of the American Mathematical Society, 183(864):vi+83, 2006

    2006

  42. [42]

    Poincaré–Einstein 4-manifolds with conformally Kähler geometry.arXiv preprint,

    Mingyang Li and Hongyi Liu. Poincaré–Einstein 4-manifolds with conformally Kähler geometry.arXiv preprint,

  43. [43]

    D. N. Page and C. N. Pope. Inhomogeneous Einstein metrics on complex line bundles.Classical and Quantum Gravity, 4(2):213–225, 1987

    1987

  44. [44]

    Don N. Page. A compact rotating gravitational instanton.Physics Letters B, 79(3):235–238, 1978

    1978

  45. [45]

    Pedersen

    H. Pedersen. Einstein metrics, spinning top motions and monopoles.Mathematische Annalen, 274(1):35–59, 1986

    1986

  46. [46]

    Przanowski

    M. Przanowski. Killing vector fields in self-dual, Euclidean Einstein spaces withΛ̸= 0.Journal of Mathematical Physics, 32(4):1004–1010, 1991

    1991

  47. [47]

    On the structure of manifolds with positive scalar curvature.Manuscripta Mathematica, 28(1–3):159–183, 1979

    Richard Schoen and Shing-Tung Yau. On the structure of manifolds with positive scalar curvature.Manuscripta Mathematica, 28(1–3):159–183, 1979

    1979

  48. [48]

    Removable singularities of solutions of elliptic equations

    James Serrin. Removable singularities of solutions of elliptic equations. II.Archive for Rational Mechanics and Analysis, 20(3):163–169, 1965

    1965

  49. [49]

    K. P. Tod. TheSU(∞)-Toda field equation and special four-dimensional metrics. In J. E. Andersen, J. Dupont, H. Pedersen, and A. Swann, editors,Geometry and Physics, pages 307–312. Marcel Dekker, New York, 1997

    1997

  50. [50]

    A note on Riemannian anti-self-dual Einstein metrics with symmetry.arXiv preprint, 2006

    Paul Tod. A note on Riemannian anti-self-dual Einstein metrics with symmetry.arXiv preprint, 2006. arXiv:hep- th/0609071

    work page arXiv 2006

  51. [51]

    Edward Witten and S.-T. Yau. Connectedness of the boundary in the AdS/CFT correspondence.Advances in Theoretical and Mathematical Physics, 3(6):1635–1655, 1999. Simons Center for Geometry and Physics, Stony Brook University, Stony Brook, NY 11794, USA E-mail address:mingyang.li@scgp.stonybrook.edu Department of Mathematics, Princeton University, Princeton...

    1999