{"id":"7dd53d69-24dd-4bb3-b34c-489ad3772339","arxiv_id":"2506.13248","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"New quantitative Weyl and Bochner curvature bounds imply isolation or stability of Einstein metrics in compact, ALE, AH, Kähler and Sasaki settings.","lead":"This paper proves new pinching and stability criteria for Einstein manifolds, using curvature tensor norm bounds to force rigidity or stability. The results apply to compact, asymptotically hyperbolic, asymptotically locally Euclidean, Kähler, and Sasaki manifolds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The displayed constant C(n) in the cubic Weyl estimate (2.3) is negative for n ≥ 8, so the central estimate used in Theorem 1.1 cannot hold as printed.","rationale":"The reader's verdict identifies the same fundamental weakness: the displayed C(n) is negative for n ≥ 8, invalidating the pointwise Weyl estimate that supports Theorem 1.1, Theorem 1.2, and the related isolation results. My independent reading confirms this from the manuscript text: (2.3) states Q ≤ C(n)|W|^3 with a formula that is negative for n ≥ 8, while the named special values C(4), C(6) are positive. The division by C(n) in the step leading to (3.6) therefore cannot be performed with a positive constant. This is not a stylistic issue or a matter of convention; the arithmetic sign and the numerical values are inconsistent with the theorem being proved. I also checked the Sobolev constant D(n): equation (3.2) writes D(n) = (lim Vol(B_r)/(ω_n r^n))^{-1/n} * [1/√(π n(n−2)) * (Γ(n)/Γ(n/2))^{1/n}], then replaces the volume-ratio factor by 1/|Γ|. Since A_VR = 1/|Γ| for R^n/Γ, the correct factor is |Γ|^{1/n}. Thus the group-order dependence in Theorems 1.1–1.3 is also suspect. Both issues are load-bearing, but C(n) is the more fundamental one because it enters the only essential analytic estimate in the proof of Theorem 1.1 and reappears in Theorem 1.9. The verdict REJECT is appropriate: the central isolation theorem is not established as stated. A revised version with a correct C(n) and a properly scaled D(n) could potentially salvage the ALE results, but the current manuscript does not support them.","tokens_in":27553,"tokens_out":6613,"duration_ms":70431,"concrete_test":"Evaluate the printed C(n) formula at n = 6, 7, and 8 and compare with the values C(6) = √70/(2√3) and the constants obtained from Huisken [31, Lemma 2.4]. If the formula is negative at n = 8 or disagrees with the cited source, the estimate (2.3) fails as stated. Then recompute the proof of Theorem 1.1 using the correct positive constant from [31] and verify whether the final lower bound (3.6) remains positive and reproduces the theorem's displayed constant; if not, the theorem's statement needs revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.1 depends on the pointwise estimate Q ≤ C(n)|W|^3, stated in (2.3) with C(n) = 2 + (1/2)n(n−1) − 4√(n(n−1)(n+1)(n−2)) for n ≥ 8. This expression is already negative at n = 8 (approximately −190) and is negative for every n ≥ 8. The paper's own values C(4) = √6/4, C(6) = √70/(2√3) are positive, so the displayed formula contradicts the special values even at n = 6 if applied there. The proof of Theorem 1.1 multiplies (2.3) by the negative factor −4q|W|^{2q−2}, then divides by C(n) to obtain the lower bound (3.6); a non-positive C(n) makes this step invalid and the stated threshold in Theorem 1.1 vacuous. The same erroneous expression appears in Corollary 5.2 and in Theorem 1.9, so the Kähler and Sasaki isolation results inherit the problem. A separate, independent issue is that D(n) in (3.2) is written as proportional to 1/|Γ|, whereas the asymptotic volume ratio A_VR of R^n/Γ is 1/|Γ|, so the Sobolev constant should scale as |Γ|^{1/n}; this changes the group-order dependence of the thresholds in Theorems 1.1–1.3. The C(n) failure is the more load-bearing defect because without a positive, correctly stated C(n) the derivation of the central ALE isolation theorem collapses.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":27813,"tokens_out":8770,"duration_ms":99690,"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":[{"comment":"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.","section":"§2, Eq. (2.3)"},{"comment":"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.","section":"§3, Eq. (3.2)"},{"comment":"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.","section":"§3, proof of Theorem 1.1"}],"minor_comments":[{"comment":"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}.","section":"§2.3, Definition 2.9"},{"comment":"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.","section":"§2.3, Eq. (2.10)"},{"comment":"The sentence beginning \"Given a closed a closed Riemannian manifold\" contains a duplicated article.","section":"§3.1"},{"comment":"Reference [40] lacks publication data; the entry should include the journal, volume, and year.","section":"References"}],"recommendation":"reject","confidential_remarks":"The central defect is an algebraic sign error in the constant C(n), not a subtle geometric issue, but it invalidates the flagship theorem as stated. A corrected version with a valid positive C(n), the correct |Γ| dependence, and a treatment of n=5 could be reconsidered."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this preprint has a real new idea but a load-bearing error in the displayed constants. The stress-test note is right: equation (2.3) defines C(n)=2+½n(n−1)−4√(n(n−2)(n−1)(n+1)), which is already negative at n=6, and the paper's own C(6) is positive. Since the proof of Theorem 1.1 multiplies by C(n), integrates, then divides by C(n), the derivation is invalid as written. The same bad expression appears in Corollary 5.2 and Theorem 1.9, so the Kähler and Sasaki isolation statements inherit the problem.\n\nWhat is actually new: Theorems 1.1–1.4 give ALE isolation and stability criteria and a PE stability criterion that I have not seen before, and Theorems 1.6–1.7 extend Kröncke's L^∞ and L^{n/2} stability criteria to every p∈[n/2,∞] with the improved s(n) constant. The Bochner/contact Bochner pinching in Section 6 is a reasonable adaptation of the Branca–Catino–Dameno–Mastrolia technique. The structure is sensible and the literature engagement looks honest.\n\nThe soft spots are not minor. Besides C(n), equation (3.2) gets the group-order dependence wrong: the asymptotic volume ratio of R^n/Γ is 1/|Γ|, so D(n) should scale like |Γ|^{1/n}, not 1/|Γ|. That changes every ALE threshold in Theorems 1.1–1.3. Theorem 1.1 claims n≥4, but the proof treats n≥6 and n=4 and skips n=5. The constant in the theorem statement also does not match the one derived in (3.6); the proof gives coefficient 1/(2q), while the statement appears to use q/2. The n=4 limiting argument sending δ→0 is sketchy if |W|^{2q} is not in L^2. These are all load-bearing because they enter the paper's principal novelty.\n\nWhat holds up: the compact Einstein stability proof in Theorem 1.6 follows an established pattern and the algebra there appears consistent, as does the PE argument in Section 4. The Sasaki result becomes a direct combination of [7] and [33] once the constant typo is fixed. So the paper is not hopeless; it is a preprint with fixable but central errors.\n\nFor you: I would not cite this version, and I would not use it as a clean reading-group example. But I would send it to a serious referee rather than desk-reject it: the new results are real, the framework is coherent, and a referee could force a corrected rewrite with the right constants, the n=5 case, and a clean statement of Theorem 1.1.","headline":"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.","tokens_in":28455,"tokens_out":4566,"would_cite":false,"duration_ms":46889,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C25","53C21","53C24"],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["Einstein manifolds","Weyl tensor","ALE manifolds","Bochner tensor","Sasaki eta-Einstein manifolds","stability of Einstein metrics","isolation results","Sobolev inequalities"],"falsifier":"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$.","tokens_in":27260,"feed_emoji":"🌀","tokens_out":15354,"duration_ms":141483,"temperature":0.7,"pith_summary":"The paper aims to show that, across several Einstein settings, curvature that is invisible to the Ricci tensor is still quantitatively constrained: either the space is a standard model, or a norm of the Weyl tensor (or its Hermitian and Sasakian analogues) is forced to be large. For Ricci-flat asymptotically locally Euclidean (ALE) manifolds it claims an isolation theorem: every non-flat example has a positive $L^{n/2}$ bound on the Weyl tensor, with an explicit constant depending on the dimension and the group at infinity, and a complementary stability theorem below a small-Weyl threshold. Similar $L^p$ stability criteria are proved for Poincaré–Einstein, compact Einstein, and compact Kähler–Einstein manifolds. For Kähler–Einstein and Sasaki $\\eta$-Einstein manifolds, the paper gives Bochner and contact Bochner tensor pinching thresholds, with equality cases characterizing standard complex-projective or spherical models.","feed_headline":"Every non-flat Ricci-flat ALE metric has Weyl norm bounded below","feed_subtitle":"Quantitative thresholds: small Weyl curvature forces flatness, or forces stability of the Einstein metric.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the sharp Sobolev inequality with Euclidean volume growth used to prove the ALE isolation and stability bounds.","marker":"[37]"},{"why":"Gives inequality (1.1) with constant $s(n)$ and the known constants in the cubic estimate $Q\\le C(n)|W|^3$.","marker":"[31]"},{"why":"Supplies the refined Kato inequality for the Weyl tensor used in the isolation proof.","marker":"[2]"},{"why":"Provides the pinching template and constants for the Kähler and Sasaki Bochner-tensor results.","marker":"[7]"},{"why":"Contains the earlier stability criteria in terms of Weyl and Bochner norms that Theorems 1.6 and 1.7 generalize.","marker":"[38]"},{"why":"Provides the Sasaki isolation setup and D-homothetic reduction used in Theorem 1.9.","marker":"[33]"},{"why":"Gives the sharp four-dimensional $W^+$ pinching result cited as Theorem 5.1.","marker":"[27]"},{"why":"Justifies the decay of the metric and Weyl tensor at infinity used to control boundary terms in the ALE proofs.","marker":"[41]"}],"fun_headline_variants":["Non-flat Ricci-flat ALE metrics have Weyl norm lower bound","Weyl tensor bound guarantees Einstein stability in ALE","Small Weyl curvature forces Einstein metric stability","Non-flat Ricci-flat ALE: Weyl norm bounded below"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Non-flat Ricci-flat ALE metrics have Weyl norm lower bound","Weyl tensor bound guarantees Einstein stability in ALE","Small Weyl curvature forces Einstein metric stability","Non-flat Ricci-flat ALE: Weyl norm bounded below"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000637,"raw_usage":{"total_tokens":2911,"prompt_tokens":896,"completion_tokens":2015,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":512,"completion_tokens_details":{"reasoning_tokens":1944}},"tokens_in":512,"tokens_out":2015,"duration_ms":16817,"temperature":1.0,"reasoning_tokens":1944,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T00:39:04.666471+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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$.","supporting_citations":[{"cited_title":"Krist´ aly","cited_arxiv_id":null,"evidence_quote":"Supplies the sharp Sobolev inequality with Euclidean volume growth used to prove the ALE isolation and stability bounds."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives inequality (1.1) with constant $s(n)$ and the known constants in the cubic estimate $Q\\le C(n)|W|^3$."},{"cited_title":"Bando, A","cited_arxiv_id":null,"evidence_quote":"Supplies the refined Kato inequality for the Weyl tensor used in the isolation proof."},{"cited_title":"Branca, G","cited_arxiv_id":null,"evidence_quote":"Provides the pinching template and constants for the Kähler and Sasaki Bochner-tensor results."},{"cited_title":"Kr¨ oncke","cited_arxiv_id":null,"evidence_quote":"Contains the earlier stability criteria in terms of Weyl and Bochner norms that Theorems 1.6 and 1.7 generalize."},{"cited_title":"Itoh and D","cited_arxiv_id":null,"evidence_quote":"Provides the Sasaki isolation setup and D-homothetic reduction used in Theorem 1.9."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the sharp four-dimensional $W^+$ pinching result cited as Theorem 5.1."},{"cited_title":"Kr¨ oncke and A","cited_arxiv_id":null,"evidence_quote":"Justifies the decay of the metric and Weyl tensor at infinity used to control boundary terms in the ALE proofs."}],"review_version":1}