pith. sign in

arxiv: 2401.16929 · v2 · submitted 2024-01-30 · 🧮 math.DG · math.AP

Rigidity of compact quasi-Einstein manifolds with boundary

Johnatan Costa , Ernani Ribeiro Jr , Detang Zhou This is my paper

Pith reviewed 2026-05-24 04:27 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords quasi-Einstein manifoldsrigiditymanifolds with boundaryconstant scalar curvaturecompact manifoldsdifferential geometry
0
0 comments X

The pith

Simply connected compact quasi-Einstein manifolds with boundary and constant scalar curvature are isometric to hemispheres or cylinders in dimensions 3 and 4.

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

The paper establishes rigidity theorems classifying compact quasi-Einstein manifolds that possess a boundary. In three dimensions, the combination of simple connectedness and constant scalar curvature forces any such manifold to be isometric, up to scaling, to either the standard hemisphere or a product cylinder. The four-dimensional case yields an analogous classification with three possible model spaces. These results demonstrate that the quasi-Einstein equation, when paired with constant scalar curvature, severely restricts the possible geometries in low dimensions. Additional related statements are given for arbitrary dimensions without complete classification.

Core claim

A 3-dimensional simply connected compact quasi-Einstein manifold with boundary and constant scalar curvature is isometric, up to scaling, to either the standard hemisphere S^3_+ or the cylinder I×S^2 with the product metric. For dimension n=4, a 4-dimensional simply connected compact quasi-Einstein manifold with boundary and constant scalar curvature is isometric, up to scaling, to either the standard hemisphere S^4_+, the cylinder I×S^3 with the product metric, or the product space S^2_+ × S^2 with the product metric.

What carries the argument

The quasi-Einstein equation relating Ricci curvature to the Hessian of a potential function, together with the constant scalar curvature condition, used to derive the isometries to the model spaces.

If this is right

  • Only two geometries are possible in dimension 3 under the given conditions.
  • Only three geometries are possible in dimension 4 under the given conditions.
  • The isometries hold after suitable scaling of the metric.
  • Related rigidity statements apply in higher dimensions without full classification.

Where Pith is reading between the lines

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

  • The boundary may impose additional restrictions on the potential function in the quasi-Einstein equation beyond the closed case.
  • Relaxing simple connectedness could permit other examples or topologies.
  • The results suggest examining whether similar classifications hold when scalar curvature is allowed to vary in a controlled way.

Load-bearing premise

The extra assumption of constant scalar curvature is required to force the manifold to be isometric to one of the listed model spaces.

What would settle it

Construction of a simply connected compact 3-manifold with boundary that satisfies the quasi-Einstein equation, has constant scalar curvature, yet fails to be isometric to the hemisphere or the cylinder would falsify the claim.

read the original abstract

In this article, we investigate the geometry of compact quasi-Einstein manifolds with boundary. We show that a $3$-dimensional simply connected compact quasi-Einstein manifold with boundary and constant scalar curvature is isometric, up to scaling, to either the standard hemisphere $\mathbb{S}^{3}_{+}$, or the cylinder $I\times\mathbb{S}^2$ with the product metric. For dimension $n=4,$ we prove that a $4$-dimensional simply connected compact quasi-Einstein manifold with boundary and constant scalar curvature is isometric, up to scaling, to either the standard hemisphere $\mathbb{S}^{4}_{+},$ or the cylinder $I\times\mathbb{S}^3$ with the product metric, or the product space $\mathbb{S}^{2}_{+}\times\mathbb{S}^2$ with the product metric. Other related results for arbitrary dimensions are also discussed.

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

0 major / 2 minor

Summary. The paper investigates compact quasi-Einstein manifolds with boundary and proves rigidity results under the additional assumption of constant scalar curvature. In dimension 3, a simply connected example is isometric up to scaling to the standard hemisphere S^3_+ or the cylinder I×S^2 with the product metric. In dimension 4, it is isometric up to scaling to S^4_+, I×S^3, or S^2_+ × S^2 with the product metric. Related results for arbitrary dimensions are also discussed.

Significance. If the proofs are correct, the classification theorems supply concrete low-dimensional rigidity statements for quasi-Einstein metrics with boundary that parallel known results for Einstein manifolds. The explicit inclusion of the constant-scalar-curvature hypothesis makes the claims precise and directly testable against the listed model spaces.

minor comments (2)
  1. The abstract states that 'other related results for arbitrary dimensions are also discussed' but gives no indication of their content or statements; adding one sentence summarizing the scope of those results would improve readability for readers who do not consult the full text.
  2. The notation S^{n}_{+} for the hemisphere is used without an explicit definition in the abstract; a parenthetical reminder that it denotes the standard half-sphere with the round metric would remove any ambiguity for non-specialists.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment. We are pleased that the referee recommends minor revision and that the summary accurately reflects the main theorems on rigidity in dimensions 3 and 4 under the constant scalar curvature assumption.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes a conditional rigidity theorem classifying simply-connected compact quasi-Einstein manifolds with boundary and constant scalar curvature in dimensions 3 and 4 as isometric to standard model spaces. This is a standard pure-mathematics derivation in Riemannian geometry that proceeds from explicit curvature hypotheses via PDE analysis or comparison principles; the constant-scalar-curvature assumption is stated as part of the input rather than derived from the conclusion. No self-definitional equations, fitted parameters renamed as predictions, or load-bearing self-citations that reduce the central claim to its own inputs appear in the stated result. The derivation remains self-contained against external, independently verifiable geometric theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only abstract available; no explicit free parameters, axioms, or invented entities can be identified from the given text.

pith-pipeline@v0.9.0 · 5671 in / 1026 out tokens · 16731 ms · 2026-05-24T04:27:38.903955+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

61 extracted references · 61 canonical work pages

  1. [1]

    Ambrozio, L.: On static three-manifolds with positive scalar curvature . J. Diff. Geom. 107 (2017) 1–45

    work page 2017

  2. [2]

    and W oolgar, E .: Static near-horizon geometries and rigidity of quasi-Einstein manifolds

    Bahuaud, E., Gunasekaran, S., Kunduri, K. and W oolgar, E .: Static near-horizon geometries and rigidity of quasi-Einstein manifolds . Lett. Math. Phys. 112 (2022) 116

    work page 2022

  3. [3]

    and W oolgar, E .: Rigidity of quasi-Einstein metrics: The incompressible case

    Bahuaud, E., Gunasekaran, S., Kunduri, K. and W oolgar, E .: Rigidity of quasi-Einstein metrics: The incompressible case. Lett. Math. Phys. 114 (2024) 8

    work page 2024

  4. [4]

    and ´Emery, M.: Diffusions Hypercontractives

    Bakry, D. and ´Emery, M.: Diffusions Hypercontractives. S´ eminaire de probabilit´ es, XIX, 1983/84 . Lecture Notes in Math., vol. 1123, Springer, Berlin, (1985) 177–206

    work page 1983

  5. [5]

    Ballmann, W.: Riccati equation and volume estimates , Lectures Notes - https://people.mpim- bonn.mpg.de/hwbllmnn/notes.html, (2016)

    work page 2016

  6. [6]

    and Ribeiro Jr., E.: Bounds on volume growth of geodesic balls for Einstein warped products

    Barros, A., Batista, R. and Ribeiro Jr., E.: Bounds on volume growth of geodesic balls for Einstein warped products. Proc. Amer. Math. Soc. 143 (2015) 4415–4422

    work page 2015

  7. [7]

    and Ribeiro Jr, E.: Remarks on complete noncompact Einstein warped pro- ducts

    Batista, R., Ranieri, M. and Ribeiro Jr, E.: Remarks on complete noncompact Einstein warped pro- ducts. Comm. Anal. Geom. 28 (3) (2020) 547–563

    work page 2020

  8. [8]

    L.: Einstein Manifolds

    Besse, A. L.: Einstein Manifolds . Springer-Verlag, Berlin (1987)

    work page 1987

  9. [9]

    B¨ ohm, C.: Inhomogeneous Einstein metrics on low-dimensional sphere s and other low-dimensional spaces. Invent. Math. 134 (1) (1998) 145–176

    work page 1998

  10. [10]

    B¨ ohm, C.: Non-compact cohomogeneity one Einstein manifolds . Bull. Soc. Math. France. 127 (1999) 135–177. 38 JOHNATAN COSTA, ERNANI RIBEIRO JR AND DETANG ZHOU

    work page 1999

  11. [11]

    and Mazzieri, L.: On the mass of static metrics with positive cosmological con stant - I

    Borghini, S. and Mazzieri, L.: On the mass of static metrics with positive cosmological con stant - I . Class. Quantum Grav. 35 (2018) 125001

    work page 2018

  12. [12]

    and Mazzieri, L.: On the uniqueness of Schwarzchild-de Sitter spacetime

    Borghini, S., Chru´ sciel, P. and Mazzieri, L.: On the uniqueness of Schwarzchild-de Sitter spacetime . Arch. Rational Mech. Anal. 247, 22 (2023)

    work page 2023

  13. [13]

    and Zhu, X.-P.: Recent developments on Hamilton ’s Ricci flow , Surveys in differential geometry

    Cao, H.-D., Chen, B.-L. and Zhu, X.-P.: Recent developments on Hamilton ’s Ricci flow , Surveys in differential geometry. Vol. XII. Geometric flows, Surv. Diffe r. Geom., vol. 12, Int. Press, Somerville, MA, (2008) 47–112

    work page 2008

  14. [14]

    and Chen, Q.: On Bach-flat gradient shrinking Ricci solitons

    Cao, H.-D. and Chen, Q.: On Bach-flat gradient shrinking Ricci solitons . Duke Math. J. 162 (2013) 1149-1169

    work page 2013

  15. [15]

    and W ei, G.: Rigidity of quasi-Einstein metrics

    Case, J., Shu, Y.-S. and W ei, G.: Rigidity of quasi-Einstein metrics . Differ. Geom. Appl. 29 (2011) 93–100

    work page 2011

  16. [16]

    Case, J.: Smooth metric measure spaces, quasi-Einstein metrics, and tractors. Cent. Eur. J. Math. 10 (2012) 1733-1762

    work page 2012

  17. [17]

    Case, J.: Smooth metric measure spaces and quasi-Einstein metrics . Intern. J. Math. 23, no. 10 (2012) 1250110

    work page 2012

  18. [18]

    Catino, G.: A note on four-dimensional (anti-)self-dual quasi-Einste in manifolds . Diff. Geom. Appl. 30 (6) (2012) 660–664

    work page 2012

  19. [19]

    and Rimoldi, M .: Locally conformally flat quasi-Einstein manifolds

    Catino, G., Mantegazza, C., Mazzieri, L. and Rimoldi, M .: Locally conformally flat quasi-Einstein manifolds. J. Reine Angew. Math. (Crelle’s Journal). 675 (2013) 181–1 89

    work page 2013

  20. [20]

    and He, C.: On Bach flat warped product Einstein manifold

    Chen, Q. and He, C.: On Bach flat warped product Einstein manifold . Pacific J. Math. 265 (2), (2013) 313–326

    work page 2013

  21. [21]

    and Zhou, D.: Rigidity of four-dimensional gradient shrinking Ricci sol itons

    Cheng, X. and Zhou, D.: Rigidity of four-dimensional gradient shrinking Ricci sol itons. J. Reine Angew. Math. (Crelle’s Journal). 802 (2023) 255–274

    work page 2023

  22. [22]

    and Zhou, D.: Volume growth estimates for Ricci solitons and quasi-Einst ein manifolds

    Cheng, X., Ribeiro Jr, E. and Zhou, D.: Volume growth estimates for Ricci solitons and quasi-Einst ein manifolds. J. Geom. Anal. 32 (2022) 62

    work page 2022

  23. [23]

    and Ribeiro Jr, E .: Geometry of static perfect fluid space-time

    Costa, J., Di´ ogenes, R., Pinheiro, N. and Ribeiro Jr, E .: Geometry of static perfect fluid space-time . Class. Quantum Grav. 40 (2023) 205012

    work page 2023

  24. [24]

    and Gadelha, T.: Compact quasi-Einstein manifolds with boundary

    Di´ ogenes, R. and Gadelha, T.: Compact quasi-Einstein manifolds with boundary . Math. Nachr. 295 (2022) 1690–1708

    work page 2022

  25. [25]

    and Ribeiro Jr, E.: Remarks on quasi-Einstein manifolds with boundary

    Di´ ogenes, R., Gadelha, T. and Ribeiro Jr, E.: Remarks on quasi-Einstein manifolds with boundary . Proc. Amer. Math. Soc. 150 (2022) 351–363

    work page 2022

  26. [26]

    and Garc ´ ıa-R ´ ıo, E.:On gradient Ricci solitons with constant scalar curvature

    Fern´ andez-L´ opez, M. and Garc ´ ıa-R ´ ıo, E.:On gradient Ricci solitons with constant scalar curvature . Proc. Amer. Math. Soc. 144 (2016) 369–378

    work page 2016

  27. [27]

    and Garc ´ ıa-R ´ ıo, E.:A remark on compact Ricci solitons

    Fern´ andez-L´ opez, M. and Garc ´ ıa-R ´ ıo, E.:A remark on compact Ricci solitons . Math. Z. 340 (2008) 893–896

    work page 2008

  28. [28]

    and Knopf, D.: Rotationally symmetric shrinking and expanding gradient Kahler-Ricci solitons

    Feldman, M., Ilmanen, T. and Knopf, D.: Rotationally symmetric shrinking and expanding gradient Kahler-Ricci solitons. J. Diff. Geom. 65, no. 2 (2003) 169–209

    work page 2003

  29. [29]

    Thesis (PhD in Mathematics), Univer- sidade Federal do Cear´ a, (2021)

    Gadelha, T.: Variedades quasi-Einstein compactas com bordo . Thesis (PhD in Mathematics), Univer- sidade Federal do Cear´ a, (2021)

    work page 2021

  30. [30]

    and Tang, Z.: Geometry of isoparametric hypersurfaces in Riemannian man ifolds

    Ge, J. and Tang, Z.: Geometry of isoparametric hypersurfaces in Riemannian man ifolds. Asian J. Math. 18 (2014) 117–126

    work page 2014

  31. [31]

    and Tang, Z.: Isoparametric functions and exotic spheres

    Ge, J. and Tang, Z.: Isoparametric functions and exotic spheres . J. Reine Angew. Math. (Crelle’s Journal). 683 (2013) 161–180

    work page 2013

  32. [32]

    II (Cambridge, MA, 1993), Int

    Hamilton, R.: The formation of singularities in the Ricci flow , Surveys in differential geometry, Vol. II (Cambridge, MA, 1993), Int. Press, Cambridge, MA, (1995) 7–136

    work page 1993

  33. [33]

    and Wylie, W.: On the classification of warped product Einstein metrics

    He, C., Petersen, P. and Wylie, W.: On the classification of warped product Einstein metrics . Comm. Anal. Geom. 20 (2012) 271–311

    work page 2012

  34. [34]

    and Wylie, W.: Warped product Einstein metrics over spaces with constant s calar curvature

    He, C., Petersen, P. and Wylie, W.: Warped product Einstein metrics over spaces with constant s calar curvature. Asian J. Math. 18 (2014) 159–190

    work page 2014

  35. [35]

    Ivey, T.: New examples of complete Ricci solitons , Proc. Amer. Math. Soc. 122 (1994), no. 1, 241–245

    work page 1994

  36. [36]

    and Kim, Y

    Kim, D.-S. and Kim, Y. H.: Compact Einstein warped product spaces with nonpositive scalar curvature. Proc. Amer. Math. Soc. 131 (2003) 2573–2576

    work page 2003

  37. [37]

    Kobayashi, O.: A differential equation arising from scalar curvature funct ion. J. Math. Soc. Japan. 34 (1982) 665–75

    work page 1982

  38. [38]

    Lafontaine, J.: Sur la geomerie d’une generalisation de l’equation differen tielle d’Obata . J. Math. Pures Appl. 62 (1983) 63–72

    work page 1983

  39. [39]

    and Pope, C.: New inhomogeneous Eintein metrics on sphere bundles over Ei nstein- K¨ ahler manifolds

    L¨ u, H, Page, D. and Pope, C.: New inhomogeneous Eintein metrics on sphere bundles over Ei nstein- K¨ ahler manifolds. Phys. Lett. B 593(1-4) (2004) 218–226

    work page 2004

  40. [40]

    and Rimoldi, M.: Some triviality results for quasi-Einstein manifolds and E instein warped products

    Mastrolia, P. and Rimoldi, M.: Some triviality results for quasi-Einstein manifolds and E instein warped products. Geom. Dedic. 169 (2014) 225–237. QUASI-EINSTEIN MANIFOLDS WITH BOUNDARY 39

    work page 2014

  41. [41]

    and Pacard, F.: Foliations by constant mean curvature tubes

    Mazzeo, R. and Pacard, F.: Foliations by constant mean curvature tubes . Comm. Anal. Geom. 13 (2005) 633–670

    work page 2005

  42. [42]

    Miyaoka, R.: Transnormal functions on a Riemannian manifold . Differ. Geom. Appl. 31 (2013) 130– 139

    work page 2013

  43. [43]

    Munkres, J.: Topology. 2nd. ed. Prentice Hall, Inc. (2000)

    work page 2000

  44. [44]

    Naber, A.: Noncompact shrinking four solitons with nonnegative curva ture. J. Reine Angew. Math. (Crelle’s Journal). 645 (2010) 125–153

    work page 2010

  45. [45]

    and W allach, N.: On a classification of gradient shrinking solitons

    Ni, L. and W allach, N.: On a classification of gradient shrinking solitons . Math. Res. Lett. 15 no. 5 (2008) 941–955

    work page 2008

  46. [46]

    Academic Press, Nova York, (1983)

    O’Neill, B.: Semi-Riemannian Geometry with applications to Relativity . Academic Press, Nova York, (1983)

    work page 1983

  47. [47]

    Perelman, G.: Ricci flow with surgery on three manifolds , ArXiv:math.DG/0303109 (2003)

    work page arXiv 2003

  48. [48]

    and William W.: Rigidity of gradient Ricci solitons

    Petersen, P. and William W.: Rigidity of gradient Ricci solitons . Pacific J. Math. 241 (2009) 329–345

    work page 2009

  49. [49]

    Qian, Z.: Estimates for weighted volumes and applications . Quart. J. Math. 48 (1997) 235–242

    work page 1997

  50. [50]

    and Yuan, W.: On scalar curvature rigidity of vacuum static spaces

    Qing, J. and Yuan, W.: On scalar curvature rigidity of vacuum static spaces . Math. Ann. 365 no. 3-4 (2016) 1257–1277

    work page 2016

  51. [51]

    and Yuan, W.: A note on vacuum static spaces and related problems

    Qing, J. and Yuan, W.: A note on vacuum static spaces and related problems . J. Geom. Phys. 74 (2013) 18–27

    work page 2013

  52. [52]

    Reilly, R.: Geometric applications of the solvability of Neumann probl ems on a Riemannian manifold . Arch. Rational Mech. Anal. (1) 75 (1980) 23–29

    work page 1980

  53. [53]

    and Tenenblat, K.: Noncompact quasi-Einstein manifolds conformal to a Euclid ean space

    Ribeiro Jr, E. and Tenenblat, K.: Noncompact quasi-Einstein manifolds conformal to a Euclid ean space. Math. Nachr. 294 (2021) 132–144

    work page 2021

  54. [54]

    Pacific J

    Rimoldi, M.: A remark on Einstein warped products . Pacific J. Math. 252 (2011) 207–218

    work page 2011

  55. [55]

    Thesis (PhD in Mathe- matics), Universita degli Studi di Milano (2011)

    Rimoldi, M.: Rigidity results for Lichnerowicz Bakry-Emery Ricci tenso rs. Thesis (PhD in Mathe- matics), Universita degli Studi di Milano (2011)

    work page 2011

  56. [56]

    Pacific J

    W ang, L.: On noncompact τ -quasi-Einstein metrics . Pacific J. Math. 254 (2011) 449–464

    work page 2011

  57. [57]

    M.: Isoparametric functions on Riemannian manifolds

    W ang, Q. M.: Isoparametric functions on Riemannian manifolds. I. Math. Ann. 277, no. 4 (1987) 639–646

    work page 1987

  58. [58]

    and Wylie, W.: Comparison geometry for the Bakry-Emery Ricci tensor

    W ei, G. and Wylie, W.: Comparison geometry for the Bakry-Emery Ricci tensor . J. Diff. Geom. 83 (2009) 337–405

    work page 2009

  59. [59]

    and Wylie, W.: Comparison geometry for the smooth metric measure spaces

    W ei, G. and Wylie, W.: Comparison geometry for the smooth metric measure spaces . In: Proceedings of the 4th International Congress of Chinese Mathematician s, v. 2 (2007) 191–202

    work page 2007

  60. [60]

    Wylie, W.: Rigidity of compact static near-horizon geometries with ne gative cosmological constant . Lett. Math. Phys. (2023) 113:29

    work page 2023

  61. [61]

    Wylie, W.: Complete shrinking Ricci solitons have finite fundamental g roup. Proc. Amer. Math. Soc. 136 (2008) 1803–1806. (J. Costa) Universidade Federal do Cear ´a, Departamento de Matem ´atica, Campus do Pici, A v. Humberto Monte, Bloco 914, 60455-760, Fortaleza - CE, Brazil . Email address : johnatansc@alu.ufc.br (E. Ribeiro Jr) Universidade Federal do ...

    work page 2008