pith. sign in

arxiv: 2605.20114 · v1 · pith:VDGJFEQDnew · submitted 2026-05-19 · 🧮 math.DG

Scalar curvature bounds for 3D continuous metrics through the Inverse Mean Curvature Flow

Mattia Fogagnolo , Giorgio Gatti , Alessandra Pluda This is my paper

Pith reviewed 2026-05-20 03:11 UTC · model grok-4.3

classification 🧮 math.DG
keywords scalar curvatureinverse mean curvature flowHawking masscontinuous metricsstability theoremRiemannian manifoldsthree-dimensional geometrylower bounds
0
0 comments X

The pith

Continuous three-dimensional metrics admit scalar curvature lower bounds defined by Hawking mass monotonicity along the inverse mean curvature flow.

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

The paper introduces a definition of lower bounds on scalar curvature for metrics that are only continuous rather than differentiable in three-dimensional manifolds. The definition requires that the Hawking mass is non-decreasing along the inverse mean curvature flow. The main result is a stability theorem showing that if smooth metrics with nonnegative scalar curvature converge uniformly to a continuous metric, then the limit metric satisfies the new lower bound. This matters because it provides a way to handle scalar curvature in settings where the metric may have low regularity, such as in limits or approximations. Readers interested in extending classical results to rougher geometries would find this useful.

Core claim

We propose a notion of scalar curvature lower bounds in a three-dimensional Riemannian manifold endowed with a C^0 metric based on the monotonicity of the Hawking mass along the inverse mean curvature flow. We present a stability theorem for continuous Riemannian metrics with nonnegative scalar curvature in such IMCF sense.

What carries the argument

The monotonicity of the Hawking mass along the inverse mean curvature flow, serving as a proxy for scalar curvature lower bounds in continuous metrics.

Load-bearing premise

That the monotonicity of the Hawking mass along the inverse mean curvature flow remains well-defined and can serve as a faithful proxy for a classical scalar curvature lower bound when the metric is merely continuous rather than smooth.

What would settle it

A C^0 limit of smooth metrics with nonnegative scalar curvature for which the Hawking mass decreases along some inverse mean curvature flow.

read the original abstract

We propose a notion of scalar curvature lower bounds in a three-dimensional Riemannian manifold endowed with a $C^0$ metric based on the monotonicity of the Hawking mass along the inverse mean curvature flow. We present a stability theorem for continuous Riemannian metrics with nonnegative scalar curvature in such IMCF sense.

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 / 2 minor

Summary. The paper proposes a notion of scalar curvature lower bounds for C^0 Riemannian metrics on three-dimensional manifolds, defined in terms of the monotonicity of the Hawking mass along the inverse mean curvature flow. It establishes a stability theorem asserting that continuous metrics satisfying nonnegative scalar curvature in this IMCF sense enjoy certain stability properties under the flow.

Significance. If the central claims hold with rigorous justification, the work would offer a potentially useful extension of scalar curvature conditions to low-regularity metrics, relevant for applications in geometric analysis and general relativity where C^0 or weaker metrics arise naturally. The approach leverages IMCF monotonicity in a novel way, but its value depends on establishing consistency with classical notions and well-posedness of the flow.

major comments (2)
  1. [Definition of IMCF-monotonicity notion] The definition of the proposed IMCF-monotonicity notion of scalar curvature lower bound (introduced in the main definition, likely §2) is given directly in terms of the monotonicity property itself. This risks making the subsequent stability theorem circular or tautological unless the manuscript separately verifies that the notion recovers the classical scalar curvature bound for smooth metrics and that the Hawking mass remains well-defined and monotone under a suitable weak formulation of the flow for C^0 metrics.
  2. [Stability theorem] Standard IMCF theory (Huisken-Ilmanen) requires C^{2,α} regularity to define the mean curvature H and the evolution equation. The stability theorem (likely §4 or the main theorem statement) therefore depends on an unstated passage to C^0 limits of smooth approximations; the manuscript must supply either an existence result for the flow in the C^0 category or a limiting argument showing that monotonicity of m_H survives without oscillation or blow-up of the speed. Without this, the notion does not faithfully proxy the classical R ≥ 0 condition.
minor comments (2)
  1. [Introduction or §2] Add explicit comparison or consistency check showing that the new notion agrees with the classical scalar curvature when the metric is smooth (e.g., in a dedicated subsection or remark).
  2. [Preliminaries] Include a reference to the precise statement of the Huisken-Ilmanen weak IMCF and clarify how the Hawking mass integral is interpreted in the continuous case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment point by point below.

read point-by-point responses

  1. Referee: [Definition of IMCF-monotonicity notion] The definition of the proposed IMCF-monotonicity notion of scalar curvature lower bound (introduced in the main definition, likely §2) is given directly in terms of the monotonicity property itself. This risks making the subsequent stability theorem circular or tautological unless the manuscript separately verifies that the notion recovers the classical scalar curvature bound for smooth metrics and that the Hawking mass remains well-defined and monotone under a suitable weak formulation of the flow for C^0 metrics.

    Authors: The definition is deliberately formulated in terms of the monotonicity property because this is the characterizing feature of nonnegative scalar curvature in the smooth setting, as shown by Huisken-Ilmanen. The manuscript first recalls this equivalence for smooth metrics before extending the definition to the C^0 case. For C^0 metrics the Hawking mass is defined via the level-set formulation of the weak IMCF, which remains well-defined under C^0 convergence. The stability theorem is not tautological; it establishes additional geometric consequences (such as controlled behavior of the flow) for metrics satisfying the monotonicity condition. We will add a short clarifying paragraph in §2 to make the consistency with the classical case explicit. revision: partial

  2. Referee: [Stability theorem] Standard IMCF theory (Huisken-Ilmanen) requires C^{2,α} regularity to define the mean curvature H and the evolution equation. The stability theorem (likely §4 or the main theorem statement) therefore depends on an unstated passage to C^0 limits of smooth approximations; the manuscript must supply either an existence result for the flow in the C^0 category or a limiting argument showing that monotonicity of m_H survives without oscillation or blow-up of the speed. Without this, the notion does not faithfully proxy the classical R ≥ 0 condition.

    Authors: The proof of the stability theorem proceeds exactly by passing to C^0 limits of smooth approximations. We approximate the given C^0 metric by a sequence of smooth metrics with classical nonnegative scalar curvature; the standard Huisken-Ilmanen theory applies to each approximant. Uniform estimates on the flow speed and area, together with continuity of the Hawking mass under C^0 convergence of the metrics, allow us to pass the monotonicity to the limit without oscillations or blow-up. These limiting arguments are contained in §4. We therefore maintain that the notion does faithfully extend the classical condition. revision: no

Circularity Check

0 steps flagged

No circularity: new definition and stability result are independent

full rationale

The paper introduces a definition of nonnegative scalar curvature for C^0 metrics via monotonicity of the Hawking mass along IMCF and separately proves a stability theorem for this notion under C^0 convergence. No quoted step reduces the stability result to a tautology by construction, nor does any load-bearing premise collapse to a self-citation or fitted input renamed as prediction. The derivation chain remains self-contained against external IMCF theory and does not rely on renaming or smuggling ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The work relies on the established theory of inverse mean curvature flow and Hawking mass in smooth settings, then extends the monotonicity condition to define a new notion for C^0 metrics.

axioms (2)
  • domain assumption Inverse mean curvature flow exists and the Hawking mass is well-defined for surfaces in 3D Riemannian manifolds with C^0 metrics
    Central to using monotonicity as a curvature bound.
  • ad hoc to paper Monotonicity of Hawking mass implies a lower bound on scalar curvature
    This is the proposed definition itself.
invented entities (1)
  • IMCF-monotonicity notion of scalar curvature lower bound no independent evidence
    purpose: To define nonnegative scalar curvature for merely continuous metrics
    New definition introduced to handle C^0 regularity.

pith-pipeline@v0.9.0 · 5568 in / 1377 out tokens · 38502 ms · 2026-05-20T03:11:46.104131+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

  1. [1]

    Functions of

    Ambrosio, Luigi and Fusco, Nicola and Pallara, Diego , year =. Functions of

    work page

  2. [2]

    Ricerche Mat

    Ambrosio, Luigi and Paolini, Emanuele , TITLE =. Ricerche Mat. , FJOURNAL =. 1999 , PAGES =

    work page 1999

  3. [3]

    Schmidt, Thomas , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2015 , NUMBER =

    work page 2015

  4. [4]

    2024 , eprint=

    Positive mass and isoperimetry for continuous metrics with nonnegative scalar curvature , author=. 2024 , eprint=

    work page 2024

  5. [5]

    Anzellotti, Gabriele , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 1983 , PAGES =

    work page 1983

  6. [6]

    , TITLE =

    Bamler, Richard H. , TITLE =. Math. Res. Lett. , FJOURNAL =. 2016 , NUMBER =

    work page 2016

  7. [7]

    Anisotropic isoperimetric problems and related topics , SERIES =

    Benatti, Luca and Fogagnolo, Mattia , TITLE =. Anisotropic isoperimetric problems and related topics , SERIES =. 2024 ,

    work page 2024

  8. [8]

    Bray, Hubert and Miao, Pengzi , TITLE =. Invent. Math. , FJOURNAL =. 2008 , NUMBER =

    work page 2008

  9. [9]

    Benatti, Luca and Fogagnolo, Mattia and Mazzieri, Lorenzo , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2025 , NUMBER =

    work page 2025

  10. [10]

    2026 , eprint=

    Proper solutions of the 1/H -flow and the Green kernel of the p -Laplacian , author=. 2026 , eprint=

    work page 2026

  11. [11]

    2025 , eprint=

    Fine properties of nonlinear potentials and a unified perspective on monotonicity formulas , author=. 2025 , eprint=

    work page 2025

  12. [12]

    2026 , eprint=

    Curvature bounds, regularity and inextendibility of spacetimes , author=. 2026 , eprint=

    work page 2026

  13. [13]

    Burkhardt-Guim, Paula , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2019 , NUMBER =

    work page 2019

  14. [14]

    SIGMA Symmetry Integrability Geom

    Burkhardt-Guim, Paula , TITLE =. SIGMA Symmetry Integrability Geom. Methods Appl. , FJOURNAL =. 2020 , PAGES =

    work page 2020

  15. [15]

    , TITLE =

    Burtscher, Annegret Y. , TITLE =. New York J. Math. , FJOURNAL =. 2015 , PAGES =

    work page 2015

  16. [16]

    Crasta, Graziano and De Cicco, Virginia , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =

    work page 2019

  17. [17]

    Cabezas-Rivas, Esther and Moll, Salvador and Solera, Marcos , TITLE =. J. Funct. Anal. , FJOURNAL =. 2024 , NUMBER =

    work page 2024

  18. [18]

    Fogagnolo, Mattia and Mazzieri, Lorenzo , TITLE =. J. Funct. Anal. , FJOURNAL =. 2022 , NUMBER =

    work page 2022

  19. [19]

    Fogagnolo, Mattia and Gatti, Giorgio and Pluda, Alessandra , TITLE =

    work page

  20. [20]

    Gromov, Misha , TITLE =. Cent. Eur. J. Math. , FJOURNAL =. 2014 , NUMBER =

    work page 2014

  21. [21]

    The Inverse Mean Curvature Flow and the

    Huisken, Gerhard and Ilmanen, Tom , year =. The Inverse Mean Curvature Flow and the. Journal of Differential Geometry , shortjournal =

    work page

  22. [22]

    2026 , eprint=

    Quantification of scalar curvature under C^0 convergence using smoothing , author=. 2026 , eprint=

    work page 2026

  23. [23]

    Li, Chao , TITLE =. Invent. Math. , FJOURNAL =. 2020 , NUMBER =

    work page 2020

  24. [24]

    2026 , eprint=

    Stability of Synthetic Timelike Ricci Bounds under C^0 -Limits and Applications to Impulsive Gravitational Waves , author=. 2026 , eprint=

    work page 2026

  25. [25]

    A non-homogeneous elliptic problem dealing with the level set formulation of the inverse mean curvature flow , JOURNAL =

    Maz\'on, Jos\'e. A non-homogeneous elliptic problem dealing with the level set formulation of the inverse mean curvature flow , JOURNAL =. 2015 , NUMBER =

    work page 2015

  26. [26]

    Maz\'on, Jos\'e. The. Adv. Calc. Var. , FJOURNAL =. 2013 , NUMBER =

    work page 2013

  27. [27]

    2026 , eprint=

    Quantification of C^0 Convergence in Dimension Three , author=. 2026 , eprint=

    work page 2026

  28. [28]

    2026 , eprint=

    Scalar curvature under weak limits of manifolds , author=. 2026 , eprint=

    work page 2026

  29. [29]

    Manuscripta Math

    Rigoli, Marco and Salvatori, Maura and Vignati, Marco , TITLE =. Manuscripta Math. , FJOURNAL =. 1997 , NUMBER =

    work page 1997

  30. [30]

    1994 , PAGES =

    Schoen, Richard and Yau, Shing-Tung , TITLE =. 1994 , PAGES =

    work page 1994

  31. [31]

    White, Brian , TITLE =. Comm. Anal. Geom. , FJOURNAL =. 2010 , NUMBER =

    work page 2010

  32. [32]

    Xu, Kai , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2024 , NUMBER =

    work page 2024

  33. [33]

    The weak inverse mean curvature flow: existence theories and applications

    Xu, Kai. The weak inverse mean curvature flow: existence theories and applications. 2025

    work page 2025

  34. [34]

    2025 , eprint=

    Inverse mean curvature flow with outer obstacle , author=. 2025 , eprint=

    work page 2025

  35. [35]

    Zhu, Jintian , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2021 , NUMBER =

    work page 2021