Pith. sign in

REVIEW 2 minor 22 references

Complete noncompact critical metrics of the squared scalar curvature functional with finite energy are scalar-flat in dimensions 5 to 9.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-30 08:42 UTC pith:E57KHW7G

load-bearing objection Zhang closes the 5-9 gap in the scalar-flatness conjecture for finite-energy critical metrics of the L2-scalar curvature functional by supplying the missing analytic estimates.

arxiv 2606.28897 v1 pith:E57KHW7G submitted 2026-06-27 math.DG

Scalar-Flatness for Critical Metrics of the L²-Scalar Curvature Functional in Dimensions 5le nle 9

Heng Zhang This is my paper
classification math.DG
keywords critical metricsscalar curvature functionalscalar-flat metricsnoncompact manifoldsfinite energyL2 curvatureRiemannian geometrycomplete manifolds
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper establishes that any complete noncompact Riemannian manifold of dimension between 5 and 9 that is a critical point of the functional integrating the square of the scalar curvature, subject to finite total energy, must have vanishing scalar curvature at every point. This closes the gap left by earlier work that proved the same statement only for dimensions 10 and higher. A reader would care because the result confirms a natural conjecture that scalar-flatness holds uniformly for all dimensions at least 5, thereby giving a uniform rigidity statement for these critical metrics.

Core claim

Let (M^n, g) be a complete Riemannian manifold of dimension n ≥ 5 endowed with a critical metric of the quadratic scalar-curvature functional S²(g) = ∫_M R_g² dV_g. For n ≥ 10, prior work showed that all complete noncompact critical metrics with finite energy are scalar-flat. This paper verifies the same conclusion for the remaining range 5 ≤ n ≤ 9, thereby settling the conjecture in all dimensions n ≥ 5.

What carries the argument

The Euler-Lagrange equation obtained by varying the L²-scalar curvature functional, together with the finite-energy integrability condition that permits dimension-specific analytic estimates.

Load-bearing premise

The critical-point equation and the finite-energy hypothesis together produce the dimension-specific estimates needed to conclude that scalar curvature vanishes.

What would settle it

An explicit example of a complete noncompact critical metric in dimension 5 or 6 with finite energy but with scalar curvature that is positive (or negative) on a set of positive measure.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • All such critical metrics are scalar-flat, so their curvature satisfies a simpler equation.
  • The classification problem for finite-energy critical metrics reduces to the scalar-flat case in every dimension n ≥ 5.
  • The same conclusion now holds uniformly from dimension 5 onward rather than only from dimension 10.

Where Pith is reading between the lines

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

  • The techniques that close the low-dimensional gap may adapt to other quadratic curvature functionals whose critical equations involve similar integrability conditions.
  • Scalar-flatness plus finite energy may force additional decay or asymptotic behavior at infinity that is not yet stated.
  • Compact critical metrics or those with infinite energy remain outside the present scope and could behave differently.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The paper proves that every complete noncompact critical metric of the functional S²(g) = ∫_M R_g² dV_g with finite energy is scalar-flat when 5 ≤ n ≤ 9. This settles the conjecture of Catino-Mastrolia-Monticelli (who proved the result for n ≥ 10) by supplying the missing analytic estimates in the lower-dimensional range.

Significance. If the result holds, it furnishes a complete scalar-flatness theorem for all dimensions n ≥ 5 under the finite-energy hypothesis. The argument derives a Bochner-type identity from the Euler-Lagrange equation, obtains L²-integrability of |∇R| and its derivatives, and applies a dimension-dependent Sobolev embedding that remains valid down to n = 5; these estimates close the gap left by the n ≥ 10 case and are the central technical contribution.

minor comments (2)
  1. [§1] §1 (Introduction): the precise statement of the finite-energy condition (e.g., ∫ |R|² + |∇R|² < ∞ or the exact integrability used) should be written explicitly in the theorem statement rather than only referenced from the n ≥ 10 paper.
  2. [Abstract] The abstract mentions the result but does not indicate the key analytic tools (Bochner identity and Sobolev embedding); adding one sentence would improve readability without lengthening the abstract unduly.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were listed in the report, so we provide no point-by-point responses below. We have re-checked the manuscript for any minor issues that might warrant revision.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper cites Catino-Mastrolia-Monticelli (distinct authors) for the n≥10 case and claims an independent extension to 5≤n≤9 via new dimension-specific analytic estimates derived from the critical-point PDE and finite-energy decay. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear; the derivation chain from Euler-Lagrange equation through Bochner identities and Sobolev embeddings is presented as self-contained and externally verifiable.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is a pure-mathematics proof in Riemannian geometry. It introduces no free parameters, no ad-hoc axioms beyond standard differential geometry, and no invented entities.

axioms (1)
  • standard math Standard properties of complete Riemannian manifolds, scalar curvature, and the Euler-Lagrange equation of the L²-scalar-curvature functional
    Invoked throughout the statement of the conjecture and its proof.

pith-pipeline@v0.9.1-grok · 5657 in / 1192 out tokens · 41352 ms · 2026-06-30T08:42:10.059134+00:00 · methodology

0 comments
read the original abstract

Let $(M^n,g)$ be a complete Riemannian manifold of dimension $n\geq 5$ endowed with a critical metric of the quadratic scalar-curvature functional $$ \mathcal S^2(g)=\int_M R_g^2\,dV_g . $$ For $n\geq 10$, Catino, Mastrolia and Monticelli [J. Math. Pures Appl. 211 (2026), 103883] established that all complete noncompact critical metrics with finite energy are scalar-flat, and they conjectured that this scalar-flatness result holds for all dimensions $n\geq 5$. In this paper, we settle the conjecture by verifying its validity for the remaining dimension range $5\leq n\leq 9$.

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

22 extracted references

  1. [1]

    M. T. Anderson,Extrema of curvature functionals on the space of metrics on 3-manifolds, Calc. Var. Partial Differential Equations5(1997), no. 3, 199–269

    1997

  2. [2]

    M. T. Anderson,Extrema of curvature functionals on the space of metrics on 3-manifolds, II, Calc. Var. Partial Differential Equations12(2001), no. 1, 1–58

    2001

  3. [3]

    M. T. Anderson,On stationary vacuum solutions to the Einstein equations, Ann. Henri Poincar´ e1(2000), no. 5, 977–994

    2000

  4. [4]

    Bakry and M

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

    1983

  5. [5]

    A. L. Besse,Einstein Manifolds, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 10, Springer- Verlag, Berlin, 1987

    1987

  6. [6]

    Case, Y.-J

    J. Case, Y.-J. Shu and G. Wei,Rigidity of quasi-Einstein metrics, Differential Geom. Appl.29(2011), no. 1, 93–100

    2011

  7. [7]

    Catino,Critical metrics of theL 2-norm of the scalar curvature, Proc

    G. Catino,Critical metrics of theL 2-norm of the scalar curvature, Proc. Amer. Math. Soc.142(2014), no. 11, 3981–3986

    2014

  8. [8]

    Catino,Some rigidity results on critical metrics for quadratic functionals, Calc

    G. Catino,Some rigidity results on critical metrics for quadratic functionals, Calc. Var. Partial Differential Equations54(2015), no. 3, 2921–2937

    2015

  9. [9]

    Chen,Strong uniqueness of the Ricci flow, J

    B.-L. Chen,Strong uniqueness of the Ricci flow, J. Differential Geom.82(2009), no. 2, 363–382

    2009

  10. [10]

    Catino, P

    G. Catino, P. Mastrolia and A. Roncoroni,Two rigidity results for stable minimal hypersurfaces, Geom. Funct. Anal.34(2024), no. 1, 1–18

    2024

  11. [11]

    Catino, P

    G. Catino, P. Mastrolia and D. D. Monticelli,Uniqueness of critical metrics for a quadratic curvature func- tional, J. Math. Pures Appl. (9)211(2026), Art. 103883

    2026

  12. [12]

    Catino, P

    G. Catino, P. Mastrolia and D. D. Monticelli,Rigidity of critical metrics for quadratic curvature functionals, J. Math. Pures Appl. (9)171(2023), 102–121

    2023

  13. [13]

    Fischer-Colbrie,On complete minimal surfaces with finite Morse index in three manifolds, Invent

    D. Fischer-Colbrie,On complete minimal surfaces with finite Morse index in three manifolds, Invent. Math. 82(1985), no. 1, 121–132

    1985

  14. [14]

    R. E. Greene and H. Wu,C ∞ approximations of convex, subharmonic, and plurisubharmonic functions, Ann. Sci. ´Ecole Norm. Sup. (4)12(1979), no. 1, 47–84. 16 HENG ZHANG

    1979

  15. [15]

    M. J. Gursky and J. A. Viaclovsky,Rigidity and stability of Einstein metrics for quadratic curvature func- tionals, J. Reine Angew. Math.700(2015), 37–91

    2015

  16. [16]

    M. J. Gursky and J. A. Viaclovsky,Critical metrics on connected sums of Einstein four-manifolds, Adv. Math.292(2016), 210–315

    2016

  17. [17]

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

    2012

  18. [18]

    Magliaro, L

    M. Magliaro, L. Mari, F. Roing and A. Savas-Halilaj,Sharp pinching theorems for complete submanifolds in the sphere, J. Reine Angew. Math.814(2024), 117–134

    2024

  19. [19]

    Qian,Estimates for weighted volumes and applications, Quart

    Z. Qian,Estimates for weighted volumes and applications, Quart. J. Math. Oxford Ser. (2)48(1997), no. 190, 235–242

    1997

  20. [20]

    Wang,On noncompactτ-quasi-Einstein metrics, Pacific J

    L.-F. Wang,On noncompactτ-quasi-Einstein metrics, Pacific J. Math.254(2011), no. 2, 449–464

    2011

  21. [21]

    Wei and W

    G. Wei and W. Wylie,Comparison geometry for the Bakry–Emery Ricci tensor, J. Differential Geom.83 (2009), no. 2, 377–405

    2009

  22. [22]

    Yau,Some function-theoretic properties of complete Riemannian manifold and their applications to geometry, Indiana Univ

    S.-T. Yau,Some function-theoretic properties of complete Riemannian manifold and their applications to geometry, Indiana Univ. Math. J.25(1976), no. 7, 659–670. School of Mathematical Sciences, University of Science and Technology of China, Hefei, China Email address:hengz@mail.ustc.edu.cn

    1976