REVIEW 3 major objections 4 minor 1 cited by
Some isolation and stability results for Einstein manifolds
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves that non-flat Ricci-flat ALE Einstein metrics carry an explicit positive lower bound on their $L^{n/2}$ Weyl norm, that small Weyl norm forces stability, and that analogous Bochner-tensor pinching holds for…
desk verdict The ALE isolation theorems are genuinely new, but the displayed constant C(n) in the cubic Weyl estimate is negative for n≥6, so the central proof of Theorem 1.1 collapses as printed; a corrected rewrite is worth refereeing, not this version. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the $L^{n/2}$ norm of the Weyl tensor, controlled through the Bochner–Weitzenböck formula $\tfrac12\Delta|W|^2=|\nabla W|^2+\tfrac{2S}{n}|W|^2-2Q$, the pointwise cubic estimate $Q\le C(n)|W|^3$, and a sharp Sobolev inequality whose constant contains the Euclidean volume ratio and the order $|\Gamma|$ of the group at infinity. A refined Kato inequality converts the Bochner formula into an estimate on $|\nabla |W|^q|$, and the same pattern—Bochner formula plus a sharp Sobolev or Yamabe-type inequality—is rerun with the Bochner tensor and the contact Bochner tensor, using a modified Yamabe invariant and D-homothetic deformations (the standard Sasakian rescaling that sends an $\eta$-Einstein metric to an Einstein metric) in the Sasaki case.
What would settle it
Evaluate the printed constant $C(n)=2+\tfrac12 n(n-1)-4\sqrt{n(n-1)(n+1)(n-2)}$ at $n=8$: it is negative, so the displayed inequality $Q\le C(n)|W|^3$ cannot be true for any metric with nonzero Weyl tensor. Finding a positive replacement constant and rerunning the proof of Theorem 1.1 would decide whether the isolation bound survives in dimensions $n\ge 8$.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 1.1: a Ricci-flat ALE manifold of dimension $n\ge 4$ is either flat or satisfies $\|W\|_{L^{n/2}}\ge \tfrac12\bigl(2-\tfrac{n+1}{n-1}\bigr)\Bigl[\bigl(\tfrac{1}{\sqrt{\pi n(n-2)}}\tfrac{\Gamma(n)}{\Gamma(n/2)}\bigr)^{1/n}\tfrac{1}{|\Gamma|}\Bigr]^{-2}C(n)^{-1}$, with the stated constants $C(4)=\sqrt6/4$, $C(6)=\sqrt{70}/(2\sqrt3)$, and the displayed formula for $n\ge 8$. In words, non-flat Ricci-flat ALE Einstein metrics are isolated from flat space by a definite amount of Weyl curvature. The paper then combines this with a sharp Sobolev inequality to prove that below a small-Weyl threshold the metric is stable, and in dimension six recasts the stability condition through the Gauss–Bonnet integrand, a boundary term, and the Euler characteristic. The same Bochner-inequality template is applied to Poincaré–Einstein, compact Einstein and Kähler–Einstein manifolds, and to Sasaki $\eta$-Einstein manifolds through the contact Bochner tensor.
Load-bearing premise
The proofs of the ALE theorems depend on two displayed estimates: the pointwise bound $Q\le C(n)|W|^3$ and the Sobolev constant's dependence on $|\Gamma|$; the first is negative for $n\ge 8$ as printed and the second is algebraically inconsistent with the volume ratio, so the quantitative ALE results would need corrected constants to stand.
Editorial extensions
If this is right
- Every non-flat Ricci-flat ALE Einstein metric has a uniformly positive Weyl $L^{n/2}$ norm; there is no degenerating family of such metrics approaching flat space with Weyl norm tending to zero.
- For $n\ge 6$, metrics whose Weyl $L^{n/2}$ norm lies below the explicit threshold of Theorem 1.2 are stable, and strictly stable if the inequality is strict, so no infinitesimal Einstein deformations appear in the transverse-traceless directions.
- In dimension six, stability can be read off from the Euler characteristic, the boundary term $I(S^5/\Gamma)$, and $\int_M \mathrm{tr}(W^3)\,dV_g$, by Theorem 1.3.
- Poincaré–Einstein and compact Einstein or Kähler–Einstein metrics with sufficiently small $L^p$ Weyl or Bochner norm, for any $p>n/2$, are stable, with thresholds expressed through the Yamabe invariant, scalar curvature and volume.
- Kähler–Einstein metrics with positive Yamabe invariant are either biholomorphically homothetic to $\mathbb{CP}^m$ with the Fubini–Study metric or satisfy $Y(M,[g])\le n\bigl(\int_M |B|^{n/2}|B|^{-n}\,dV_g\bigr)^{2/n}$, with equality forcing local symmetry; the Sasaki counterpart gives explicit lower bounds on the contact Bochner norm.
Reading between the lines
- If the constants in Theorems 1.1 and 1.2 are repaired, the two thresholds leave a quantitative gap for ALE Einstein metrics: non-flat spaces are separated from flat space in the Weyl functional, and the stable window sits just below that separation constant, with the same dependence on $n$ and $|\Gamma|$.
- The same Bochner–Weitzenböck plus sharp-Sobolev template should transfer to other non-compact Einstein ends—conical, asymptotically complex hyperbolic, or finite-volume quotients—whenever a sharp Sobolev inequality with an explicit volume-growth constant is available.
- The Sasaki theorem suggests that the contact Bochner tensor is the correct functional for a broader Sasaki isolation theory; its sharpness could be tested on symmetric Sasaki–Einstein examples where the Bochner norm can be computed explicitly.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims new isolation and stability results for Einstein manifolds in four settings: compact, asymptotically hyperbolic (AH), and asymptotically locally Euclidean (ALE) manifolds, plus compact Kähler–Einstein and Sasaki η-Einstein manifolds. The central result, Theorem 1.1, asserts that a Ricci-flat ALE manifold of dimension n≥4 is either flat or has an explicit lower bound on the L^{n/2} norm of the Weyl tensor, with constants depending on n, the group order |Γ|, and a constant C(n) appearing in the pointwise estimate Q≤C(n)|W|^3. Theorems 1.2–1.4 and 1.6–1.7 give stability criteria for ALE, AH, compact Einstein, and compact Kähler–Einstein metrics in terms of Weyl or Bochner tensor norms. Theorems 1.8 and 1.9 give pinching results for the Bochner and contact Bochner tensors. The proofs combine Bochner–Weitzenböck formulas, Sobolev inequalities, refined Kato inequalities, and the Einstein operator formalism.
Significance. If correct, Theorem 1.1 would be a striking quantitative rigidity statement: every non-flat Ricci-flat ALE Einstein metric would carry a uniformly positive amount of Weyl curvature, and the complementary stability threshold in Theorem 1.2 would be a natural small-Weyl stability gap. The paper is also commendable for making all constants explicit and for extending known L∞ and L^{n/2} stability criteria to general L^p. However, the central constant C(n) in the pointwise cubic estimate is negative for the dimensions in which it is used, which invalidates the derivation of Theorem 1.1 and the related results that inherit the same constant. As a consequence, the main ALE isolation claim is not established as printed.
major comments (3)
- [§2, Eq. (2.3)] The stated constant C(n)=2+1/2 n(n−1)−4√(n(n−2)(n−1)(n+1)) is negative for every n≥6; for example, at n=6 it is approximately −98.9, contradicting the paper's own positive value C(6)=√70/(2√3), and at n=8 it is approximately −190. A pointwise inequality Q≤C(n)|W|^3 with a negative constant cannot hold on a manifold with W≠0, since the right-hand side is negative. The proof of Theorem 1.1 uses this estimate to replace −4q|W|^{2q−2}Q by −4q C(n)|W|^{2q+1} and then divides by C(n) in (3.6); with C(n)<0, both steps are invalid and the threshold in Theorem 1.1 is vacuous. The same erroneous constant reappears in Corollary 5.2 and in Theorem 1.9, so the Kähler and Sasaki isolation results inherit the problem.
- [§3, Eq. (3.2)] The scaling of the Sobolev constant D(n) with the group order is algebraically inconsistent. The asymptotic volume ratio of R^n/Γ is A_VR=1/|Γ|, so Theorem 2.6 gives a factor (A_VR)^{−1/n}=|Γ|^{1/n}. The displayed equality D(n)=1/√(π n(n−2)) (Γ(n)/Γ(n/2))^{1/n} · 1/|Γ| in (3.2) therefore has the wrong power of |Γ|. This changes the group-order dependence of the thresholds in Theorems 1.1–1.3 and must be corrected before the quantitative ALE statements can be accepted.
- [§3, proof of Theorem 1.1] Theorem 1.1 is stated for all n≥4, but the proof treats only the cases n≥6 and n=4. No argument is given for n=5, and the constant list in the theorem omits C(5) even though (2.3) records C(5)=4√10. Since the decay estimate in (3.5) also works at n=5, this appears to be a fixable omission, but as printed the theorem's dimension range is not covered by the proof.
minor comments (4)
- [§2.3, Definition 2.9] In the coordinate formula for the Bochner tensor, the term R_{kj}g_{il} appears twice; one occurrence is presumably a typo for a different index pairing such as R_{il}g_{kj}.
- [§2.3, Eq. (2.10)] The symbol B is used both for the Bochner tensor and for the cubic term in (2.9), and the displayed inequality |B|≤3(m^2−2)/(m√(m^2−1)) appears to omit a factor involving |B|^3 or a similar power; as written it is not scale-invariant and is hard to interpret.
- [§3.1] The sentence beginning "Given a closed a closed Riemannian manifold" contains a duplicated article.
- [References] Reference [40] lacks publication data; the entry should include the journal, volume, and year.
Circularity Check
No significant circularity; derivation uses external published estimates and no fitted-input or definitional reductions.
full rationale
The paper's derivations proceed by combining external Bochner-Weitzenbock formulas (2.3), (2.9), the pointwise eigenvalue estimate (1.1) from Huisken, the sharp Sobolev inequality of Kristaly, and the closed-manifold pinching theorem Corollary 1.2 of Branca-Catino-Dameno-Mastrolia. The target theorems (1.1)-(1.3) are inequalities for ||W||_{L^{n/2}} on ALE manifolds obtained by applying these estimates to |W|^q; no parameter is fitted to data that the theorem then predicts, and no target quantity is defined in terms of its own output. Theorems 1.8 and 1.9 borrow the technique and constants from [7] and [33]; although [7] shares an author, it is cited as a published, parameter-free external result with stated assumptions (closed Einstein manifolds with positive Yamabe invariant) that do not include the present target quantities, so it counts as independent support under the review rules rather than as a circular chain. The reader-flagged issues with the displayed constant C(n) in (2.3) and the |Gamma|-scaling in (3.2) are mathematical correctness objections, not instances of self-referential derivation; a negative constant would make the proof invalid but would not make it circular. No circular step is therefore exhibited.
Assumptions & free parameters
assumptions (8)
- domain assumption Theorem 2.6 sharp Sobolev inequality for complete noncompact manifolds with Ric >= 0 and Euclidean volume growth, from [37].
- standard math Bochner-Weitzenböck formula for the Weyl tensor on Einstein manifolds: (1/2) Delta |W|^2 = |nabla W|^2 + (2S/n)|W|^2 - 2Q.
- domain assumption Cubic estimate Q <= C(n)|W|^3 with the constants collected from [31] and related papers.
- standard math Refined Kato inequality |nabla |W|| <= sqrt((n-1)/(n+1)) |nabla W| on Einstein manifolds, and the analogous inequality |nabla B|^2 >= (m+3)/(m+1) |nabla |B||^2 for Kähler-Einstein manifolds.
- domain assumption Density of compactly supported smooth functions in H^2_1(M) on ALE manifolds, from Theorem 2.7 of [29].
- domain assumption For PE manifolds with positive Yamabe invariant, the Sobolev inequality (4.2) and the lower bound lambda_0 >= n(n-2)/4 on the bottom of the L^2 spectrum.
- domain assumption Existence of a metric realizing the minimum of the modified Yamabe invariant Y^t, via an adaptation of [46, Proposition 4.4], and Obata's theorem for conformal transformations.
- domain assumption D-homothetic deformation relation B_alpha = W_alpha and the norm identity (6.8) from [33].
Cite this review
Pith. "Pith review of Some isolation and stability results for Einstein manifolds." pith.science (2026). https://pith.science/paper/6QXDGWBU
@misc{pith2026250613248,
author = {Pith},
title = {Pith review of: Some isolation and stability results for Einstein manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/6QXDGWBU}},
note = {Machine review of arXiv:2506.13248}
}
abstract
We prove new isolation and stability results for Einstein manifolds in a variety of settings. Imposing conditions on the Weyl tensor, we establish new stability criteria for compact, asymptotically hyperbolic (AH) and asymptotically locally Euclidean (ALE) manifolds and an isolation result in the latter setting. For compact K\"ahler and Sasaki $\eta$-Einstein manifolds, we provide similar results which involve the Bochner tensor and the contact Bochner tensor, respectively.
Forward citations
Cited by 1 Pith paper
-
Einstein metrics, their moduli spaces and stability
A survey showing that stability and infinitesimal deformability of Einstein metrics both reduce to the spectrum of the Lichnerowicz Laplacian, with a compendium of known results and open questions.
Reference graph
Works this paper leans on
- [7]
-
[33]
M. Itoh and D. Kobayashi. Isolation theorems of the Bochner curvature type tensors.Tokyo J. Math., 27(1):227–237, 2004
work page 2004
-
[1]
Aubin.Some nonlinear problems in Riemannian geometry
T. Aubin.Some nonlinear problems in Riemannian geometry. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 1998
work page 1998
- [2]
-
[3]
A. L. Besse.Einstein manifolds. Classics in Mathematics. Springer-Verlag, Berlin, 2008. Reprint of the 1987 edition
2008
-
[4]
S. Bochner. Curvature and Betti numbers. II.Ann. of Math. (2), 50:77–93, 1949
work page 1949
-
[5]
C. B¨ ohm. Unstable Einstein metrics.Math. Z., 250(2):279–286, 2005
work page 2005
-
[6]
Bour and G
V. Bour and G. Carron. Optimal integral pinching results.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 48(1):41–70, 2015
2015
Show all 61 references
-
[8]
Cao and C
H.-D. Cao and C. He. Linear stability of Perelman’sν-entropy on symmetric spaces of compact type. J. Reine Angew. Math., 709:229–246, 2015
2015
-
[9]
E. Cartan. Sur une classe remarquable d’espaces de Riemann. I.Bull. Soc. Math. France, 54:214–216, 1926
1926
-
[10]
E. Cartan. Sur une classe remarquable d’espaces de Riemann. II.Bull. Soc. Math. France, 55:114–134, 1927
1927
-
[11]
Catino and P
G. Catino and P. Mastrolia.A perspective on canonical Riemannian metrics, volume 336 ofProgress in Mathematics. Birkh¨ auser/Springer, Cham, [2020]©2020
2020
-
[12]
Catino and C
G. Catino and C. B. Ndiaye. Integral pinching results for manifolds with boundary.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 9(4):785–813, 2010
2010
-
[13]
S. Chern. On the curvatura integra in a Riemannian manifold.Ann. of Math. (2), 46:674–684, 1945
1945
-
[14]
Chong, Y
T. Chong, Y. Dong, H. Lin, and Y. Ren. Rigidity theorems of complete K¨ ahler-Einstein manifolds and complex space forms.Acta Math. Sci. Ser. B (Engl. Ed.), 39(2):339–356, 2019
2019
-
[15]
X. Dai, X. Wang, and G. Wei. On the stability of Riemannian manifold with parallel spinors.Invent. Math., 161(1):151–176, 2005
2005
-
[16]
X. Dai, X. Wang, and G. Wei. On the variational stability of K¨ ahler-Einstein metrics.Comm. Anal. Geom., 15(4):669–693, 2007
2007
-
[17]
Dai and G
X. Dai and G. Wei. Hitchin-Thorpe inequality for noncompact Einstein 4-manifolds.Adv. Math., 214(2):551–570, 2007
2007
-
[18]
Eguchi and A
T. Eguchi and A. J. Hanson. Self-dual solutions to Euclidean gravity.Ann. Phys., 120(1):82–106, 1979
1979
-
[19]
Gibbons and S
G. Gibbons and S. A. Hartnoll. Gravitational instability in higher dimensions.Phys. Rev. D (3), 66(6):064024, 17, 2002
2002
-
[20]
G. W. Gibbons, S. A. Hartnoll, and C. N. Pope. Bohm and Einstein-Sasaki metrics, black holes, and cosmological event horizons.Phys. Rev. D (3), 67(8):084024, 24, 2003
2003
-
[21]
C. R. Graham and J. M. Lee. Einstein metrics with prescribed conformal infinity on the ball.Adv. Math., 87(2):186–225, 1991
1991
-
[22]
D. J. Gross, M. J. Perry, and L. G. Yaffe. Instability of flat space at finite temperature.Phys. Rev. D (3), 25(2):330–355, 1982
1982
-
[23]
S. S. Gubser and I. Mitra. Some interesting violations of the Breitenlohner-Freedman bound.J. High Energy Phys., (7):044, 15, 2002. 36
2002
-
[24]
M. J. Gursky. The Weyl functional, de Rham cohomology, and K¨ ahler-Einstein metrics.Ann. of Math. (2), 148(1):315–337, 1998
1998
-
[25]
M. J. Gursky. Conformal vector fields on four-manifolds with negative scalar curvature.Math. Z., 232(2):265–273, 1999
1999
-
[26]
M. J. Gursky. Four-manifolds withδW + = 0 and Einstein constants of the sphere.Math. Ann., 318(3):417–431, 2000
2000
-
[27]
M. J. Gursky and C. Lebrun. On Einstein manifolds of positive sectional curvature.Ann. Glob. Anal. Geom., 17(4):315–328, 1999
1999
-
[28]
S. Hall, R. Haslhofer, and M. Siepmann. The stability inequality for Ricci-flat cones.J. Geom. Anal., 24(1):472–494, 2014
2014
-
[29]
Hebey.Sobolev spaces on Riemannian manifolds, volume 1635 ofLecture Notes in Mathematics
E. Hebey.Sobolev spaces on Riemannian manifolds, volume 1635 ofLecture Notes in Mathematics. Springer-Verlag, Berlin, 1996
1996
-
[30]
Hebey and M
E. Hebey and M. Vaugon. EffectiveL p pinching for the concircular curvature.J. Geom. Anal., 6(4):531– 553, 1996
1996
-
[31]
G. Huisken. Ricci deformation of the metric on a Riemannian manifold.J. Diff. Geom., 21(1):47–62, 1985
1985
-
[32]
M. Itoh. Self-duality of K¨ ahler surfaces.Compos. Math., 51(2):265–273, 1984
1984
-
[34]
Kobayashi
O. Kobayashi. On a conformally invariant functional of the space of Riemannian metrics.J. Math. Soc. Japan, 37(3):373–389, 1985
1985
-
[35]
N. Koiso. Non-deformability of Einstein metrics.Osaka Math. J., 15(2):419–433, 1978
1978
-
[36]
N. Koiso. Rigidity and stability of Einstein metrics—the case of compact symmetric spaces.Osaka Math. J., 17(1):51–73, 1980
1980
-
[37]
Krist´ aly
A. Krist´ aly. Sharp Sobolev inequalities on noncompact Riemannian manifolds with Ric≥0 via optimal transport theory.Calc. Var. Part. Differ. Equ., 63(8):Paper No. 200, 25, 2024
2024
-
[38]
Kr¨ oncke
K. Kr¨ oncke. On the stability of Einstein manifolds.Ann. Glob. Anal. Geom., 47(1):81–98, 2015
2015
-
[39]
Kr¨ oncke
K. Kr¨ oncke. Stable and unstable Einstein warped products.Trans. Amer. Math. Soc., 369(9):6537–6563, 2017
2017
-
[40]
Kr¨ oncke and U
K. Kr¨ oncke and U. Semmelmann. On stability and scalar curvature rigidity of quaternion-k¨ ahler mani- folds
-
[41]
Kr¨ oncke and A
K. Kr¨ oncke and A. Szab´ o. Optimal coordinates for Ricci-flat conifolds.Calc. Var. Part. Differ. Equ., 63(7):Paper No. 188, 41, 2024
2024
-
[42]
P. B. Kronheimer. The construction of ALE spaces as hyper-K¨ ahler quotients.J. Diff. Geom., 29(3):665– 683, 1989
1989
-
[43]
C. LeBrun. Weyl curvature, Del Pezzo surfaces, and almost-K¨ ahler geometry.J. Geom. Anal., 25(3):1744–1772, 2015
2015
-
[44]
J. M. Lee. The spectrum of an asymptotically hyperbolic Einstein manifold.Comm. Anal. Geom., 3(1-2):253–271, 1995
1995
-
[45]
J. M. Lee. Fredholm operators and Einstein metrics on conformally compact manifolds.Mem. Amer. Math. Soc., 183(864):vi+83, 2006
2006
-
[46]
J. M. Lee and T. H. Parker. The Yamabe problem.Bull. Amer. Math. Soc. (N.S.), 17(1):37–91, 1987
1987
-
[47]
R. Mazzeo. Unique continuation at infinity and embedded eigenvalues for asymptotically hyperbolic manifolds.Amer. J. Math., 113(1):25–45, 1991
1991
-
[48]
Y. Muto. On Einstein metrics.J. Diff. Geom., 9:521–530, 1974. 37
1974
-
[49]
Nakajima
H. Nakajima. Self-duality of ALE Ricci-flat 4-manifolds and positive mass theorem. InRecent topics in differential and analytic geometry, volume 18-I ofAdv. Stud. Pure Math., pages 385–396. Academic Press, Boston, MA, 1990
1990
-
[50]
M. Obata. The conjectures on conformal transformations of Riemannian manifolds.J. Diff. Geom., 6:247–258, 1971/72
1971
-
[51]
D. N. Page and C. N. Pope. Stability analysis of compactifications ofD= 11 supergravity with SU(3)× SU(2)×U(1) symmetry.Phys. Lett. B, 145(5-6):337–341, 1984
1984
-
[52]
D. N. Page and C. N. Pope. Which compactifications ofD= 11 supergravity are stable?Phys. Lett. B, 144(5-6):346–350, 1984
1984
-
[53]
Rosenberg
S. Rosenberg. On the Gauss-Bonnet theorem for complete manifolds.Trans. Amer. Math. Soc., 287(2):745–753, 1985
1985
-
[54]
M. A. Singer. Positive Einstein metrics with smallL n/2-norm of the Weyl tensor.Diff. Geom. Appl., 2(3):269–274, 1992
1992
-
[55]
Tachibana
S. Tachibana. On the Bochner curvature tensor.Natur. Sci. Rep. Ochanomizu Univ., 18:15–19, 1967
1967
-
[56]
Tachibana
S. Tachibana. A theorem on Riemannian manifolds of positive curvature operator.Proc. Japan Acad., 50:301–302, 1974
1974
-
[57]
H. Tran. On closed manifolds with harmonic Weyl curvature.Adv. Math., 322:861–891, 2017
2017
-
[58]
Tricerri and L
F. Tricerri and L. Vanhecke. Curvature tensors on almost Hermitian manifolds.Trans. Amer. Math. Soc., 267(2):365–397, 1981
1981
-
[59]
M. Y. Wang. Preserving parallel spinors under metric deformations.Indiana Univ. Math. J., 40(3):815– 844, 1991
1991
-
[60]
C. Warnick. Semi-classical stability of AdS NUT instantons.Class. Quantum Grav., 23(11):3801–3817, 2006
2006
-
[61]
C. Zhu. The gauss-bonnet theorem and its applications.University of California, Berkeley, USA, 2000. (Letizia Branca)Dipartimento di Matematica, Universit `a degli Studi di Milano, Via Saldini 50, 20133, Milano, Italy. Email address:letizia.branca@unimi.it (Klaus Kr¨ oncke)Ins...
2000
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.