Pith. sign in

REVIEW 2 major objections 5 minor 41 references

Mean curvature and sharp Willmore inequalities in metric spaces

T0 review · 2 major / 5 minor · reviewed 2026-07-30 · grok-4.5

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

Pith's one-line read In non-smooth Ricci spaces, almost every level set of an electrostatic potential carries a mean curvature vector that obeys the same sharp Willmore inequality as in the smooth setting.

desk verdict Clean duality construction of an L^{2} mean-curvature vector on a.e. level sets inside RCD, plus the sharp Willmore inequality with rigidity and almost-rigidity for electrostatic potentials under Euclidean volume growth. read the letter →

arxiv 2607.27012 v1 pith:IZG7GBQD submitted 2026-07-29 math.DG math.MG

Nicola Gigli , Ivan Yuri Violo This is my paper
classification math.DGmath.MG MSC 53C2349Q1531C1553C21
keywords meancurvatureWillmoreinequalityRCDspaceselectrostaticpotentialisocapacitarytangentialdivergencemetricmeasurerigidity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper builds a workable notion of mean curvature on metric measure spaces with Ricci bounds from below, where classical surfaces need not exist. It defines a Willmore energy on Sobolev functions by duality against a tangential divergence; whenever that energy is finite, almost every level set admits an L2 mean-curvature vector that integrates by parts exactly as in the smooth case. The domain of finite energy is dense in every Lp, so the construction applies to a rich class of functions. The main geometric payoff is for electrostatic potentials on RCD(0,N) spaces with Euclidean volume growth: their level sets inherit this mean curvature and satisfy the classical sharp Willmore inequality, with rigidity when equality holds and almost-rigidity under near-equality. Along the way the paper also proves the sharp isocapacitary inequality in the same non-smooth setting. A sympathetic reader cares because second-order geometric quantities on hypersurfaces become available in spaces that only have synthetic curvature bounds.

What carries the argument

The Willmore functional W(u), defined as the supremum over test vector fields of the integral of (tangential divergence minus half the squared field) times |du|; Riesz representation then produces the mean-curvature vector that realizes the energy and the level-set integration-by-parts formula.

What would settle it

Produce an RCD(0,N) space with positive AVR and a compact set whose electrostatic-potential level sets have Willmore energy strictly below the stated lower bound, or show that equality holds for a non-conical exterior.

Watch

Extended reading notes

Core claim

On an RCD(K,∞) space, any Sobolev function of finite Willmore energy has, for almost every level, an L2 mean-curvature vector characterized by integration by parts against the tangential divergence; in RCD(0,N) spaces with Euclidean volume growth the electrostatic potential of a compact set has finite Willmore energy on its exterior, and the resulting mean-curvature energies satisfy the sharp Willmore lower bound of the smooth theory, with equality only for truncated Euclidean cones.

Load-bearing premise

The sharp inequalities require the space to have positive Euclidean volume growth at infinity so that a genuine electrostatic potential exists and the capacity-volume comparison can close.

Editorial extensions

If this is right

  • Almost every level set of a harmonic function with compact levels on an RCD(K,N) space carries an L2 mean-curvature vector given by the usual second-order formula.
  • The sharp isocapacitary inequality holds for every bounded Borel set in a CD(0,N) space with Euclidean volume growth, with rigidity to balls in cones under RCD.
  • Near-equality in the Willmore bound forces the exterior to be close in pointed measured Gromov–Hausdorff distance to a truncated cone.
  • The Willmore functional is lower-semicontinuous under pointed measured Gromov–Hausdorff convergence of the ambient spaces and strong W1,2 convergence of the functions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same duality construction could be tried for other foliations (distance functions, p-capacitary potentials) once suitable monotonicity formulas are available.
  • Density of finite-Willmore functions suggests that many variational problems involving mean curvature may be approximable inside RCD spaces without first smoothing the ambient geometry.
  • Almost-rigidity opens a quantitative stability route from Willmore-type inequalities to cone recognition that does not pass through smooth approximation.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper introduces a Willmore functional W on W^{1,2} functions on RCD(K,∞) spaces, defined by duality against a tangential divergence TD(v) that removes the normal covariant derivative. When W(u)<∞, Riesz representation yields an L^2 mean-curvature vector H(u) on |du|m-a.e. points that satisfies the expected integration-by-parts identity against TD on a.e. level sets (Theorem 1.1 / Prop. 3.5), and coincides with the classical formula when u∈D(Δ)∩LIP. The domain of finite W is shown dense in L^p. As the main application, in RCD(0,N) spaces with Euclidean volume growth the electrostatic potential has finite local Willmore energy, and its level-set Willmore energies W_{β+1}(t) obey the sharp inequality of the smooth theory, with rigidity to truncated Euclidean cones and an almost-rigidity statement in the pmGH topology. A sharp isocapacitary inequality (with rigidity) is proved en route, and W is shown lower semicontinuous under pmGH convergence.

Significance. The work supplies a pointwise, second-order notion of mean curvature vector on a.e. level sets of a rich class of functions in RCD spaces, characterized by the natural tangential integration-by-parts formula and linked to the existing covariant calculus. This is a genuine advance over previous scalar weak bounds obtained by 1D localization or Laplacian comparison. The sharp Willmore inequality, rigidity, and almost-rigidity for electrostatic potentials extend the Agostiniani–Fogagnolo–Mazzieri theory to the non-smooth setting and appear new even in the smooth category for the almost-rigidity part. The isocapacitary inequality and Γ-liminf of W are independently useful. The constructions are clean (duality + Riesz + coarea) and rest on the authors’ prior monotonicity formulas in a non-circular way.

major comments (2)
  1. [§3.3, after Prop. 3.5] Theorem 1.1 and Prop. 3.5 leave open whether H(u) is necessarily parallel to e_u when u is not in D(Δ)∩LIP. The paper notes this explicitly after Prop. 3.5, but the geometric applications (Thm 1.4, Cor. 3.11) all use harmonic or D(Δ) functions, so the vector is normal. For the general theory it would help to either give a counter-example sketch or a sufficient condition beyond D(Δ) under which parallelism holds, so that readers know the scope of the ‘mean curvature vector’ terminology.
  2. [Theorem 6.7 and the paragraph following it] The almost-rigidity Theorem 6.7 requires an a-priori L^∞ bound on |du| on {u<t_0}, together with bounds on Cap(K), diam(K) and m(B_1). The text remarks that the gradient bound is often automatic for smooth boundaries, but in the RCD setting it is an extra hypothesis. A short clarification of when this bound follows from the other geometric assumptions (or a reference to the discussion before Prop. 7.5 in [24]) would make the statement more self-contained and easier to apply.
minor comments (5)
  1. [Def. 3.3] In Definition 3.3 the non-negativity W_E(u)≥0 is asserted immediately; it follows by taking v=0, but a half-sentence would help first-time readers.
  2. [Lemma 2.7, Prop. 3.4] Lemma 2.7 (approximation of bounded vector fields by TestV) is used repeatedly; the three-step proof is correct but dense. A forward reference when it is first invoked in Prop. 3.4 would improve readability.
  3. [Title / headers] The title page and running heads contain spaced letters (‘MEAN CUR V A TURE’, ‘SP ACES’); these are PDF-extraction artefacts but should be cleaned in the final version.
  4. [§5, proof of Prop. 5.1] In the proof of Prop. 5.1 the approximating sequence h_n → −|H|^{p−2}H is taken in L^q(|du|m); existence of such Lipschitz approximants with a dominating function is standard but could be cited or briefly justified.
  5. [References] Reference [20] is listed as arXiv:2306.14604 (2023); if a published version now exists it should be updated.

Circularity Check

1 steps flagged · score 1.0 of 10

No meaningful circularity: new duality definition of mean curvature is independent; Willmore inequality builds on prior monotonicity without presupposing the target.

  1. self citation load bearing [Thm 6.4 / proof of Thm 1.4 (Sec. 6.2)]
    "The monotonicity of U_β and (6.9) are proved in [24, Theorem 5.4]. ... Combining (6.16) with (6.15) we obtain (W_{β+1})^{1/(β+1)} ≥ ... Since R(t)≥0 and recalling the lower bound for U_β given in (6.10), we obtain (1.6)."

    The inequality step that turns the new mean-curvature object into the sharp Willmore bound uses monotonicity and the sign of U'_β from the authors’ prior paper [24] as an essential black box. This is load-bearing self-citation, but not circular: [24] establishes monotonicity of capacitary level-set integrals without assuming any Willmore inequality, so the target is not smuggled in by definition or by an unverified self-reference.

full rationale

The paper’s core construction is non-circular. The Willmore functional W is defined by duality against the tangential divergence TD (Def. 3.3), and the mean-curvature vector H(u) is extracted by Riesz (Prop. 3.5/3.10); the identity W = (1/2)∫|H|² is the standard consequence of that variational definition, not a hidden assumption. Density of D(W), the local theory for harmonic functions, Γ-liminf under pmGH, and the sharp isocapacitary inequality (Thm 6.1 via Pólya–Szegő) are proved inside the paper from RCD calculus. The sharp Willmore inequality (Thm 1.4) does load-bearingly invoke the authors’ earlier monotonicity formulas for U_β from [24], but those formulas do not assume or contain the Willmore inequality; they are an independent, parameter-free input under the same RCD(0,N)+AVR hypotheses. No fitted parameters, no self-definitional loop, and no uniqueness theorem that forbids alternatives by author fiat. Score 1 only for the ordinary (non-circular) dependence on one prior paper by the same authors.

Assumptions & free parameters 0 free parameters · 5 assumptions · 2 invented entities

The work sits inside the standard RCD(K,N) axiomatic framework and the second-order calculus of Gigli et al. The only essential extra geometric hypotheses are non-negative Ricci, finite dimension N>2, and positive asymptotic volume ratio; these are domain assumptions needed for capacity, electrostatic potentials, and the model-space comparison. No free parameters are fitted. The new analytic objects (Willmore energy, tangential divergence, mean-curvature vector) are defined from existing first- and second-order calculus and are not postulated entities.

assumptions (5)
  • domain assumption The ambient space is RCD(K,∞) or RCD(0,N) (N finite) in the sense of Ambrosio-Gigli-Savaré, with the standard first- and second-order differential structure (tangent module, covariant derivative, Laplacian, TestV).
    Used throughout; all Sobolev, BV, and divergence identities are taken from this calculus (Sections 2-3).
  • domain assumption Euclidean volume growth AVR(X)>0 and N>2 are required for existence of electrostatic potentials realizing capacity and for the sharp constants in the isocapacitary/Willmore inequalities.
    Hypotheses of Prop. 2.5, Thm 6.1, Thm 1.4 and Thm 6.4; without them the comparison with the model cone fails.
  • standard math Coarea formula for W^{1,2} functions on RCD spaces and the existence of quasi-continuous representatives.
    Invoked repeatedly to pass from bulk integrals to level-set integrals (Thm 2.8, proofs of 3.5, 5.1, 6.x).
  • domain assumption Monotonicity formulas for the quantities U_β along level sets of electrostatic potentials on RCD(0,N) spaces (from the authors' earlier work [24]).
    Thm 6.4 is quoted from [24] and supplies the derivative of U_β that is compared with the new mean-curvature term.
  • standard math Pólya-Szegő inequality and its rigidity on CD(0,N) spaces with AVR>0 (from [36], variant of [33]).
    Used as a black box to prove the sharp isocapacitary inequality by rearrangement (Thm 6.2).
invented entities (2)
  • Willmore functional W(u) defined by duality against tangential divergence
    purpose: Provides a bulk energy whose finiteness guarantees existence of an L2 mean-curvature vector on a.e. level sets.
    Defined in Def. 3.3 by a supremum over TestV; not present in prior RCD literature. It is an analytic device rather than a physical entity, and its properties are derived rather than postulated.
  • Mean curvature vector H(u) ∈ L^2(TX; |du|m) extracted by Riesz representation
    purpose: Gives a pointwise (a.e.) vector field on level sets that satisfies the classical integration-by-parts formula with tangential divergence.
    Obtained in Prop. 3.5/3.7 from the dual definition of W; coincides with the classical expression when u is smooth enough. No external mass or charge is predicted.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Mean curvature and sharp Willmore inequalities in metric spaces." pith.science (2026). https://pith.science/paper/IZG7GBQD

@misc{pith2026260727012,
  author       = {Pith},
  title        = {Pith review of: Mean curvature and sharp Willmore inequalities in metric spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IZG7GBQD}},
  note         = {Machine review of arXiv:2607.27012}
}
abstract

The goal of this work is to introduce a notion of mean curvature for level sets of functions in non-smooth spaces with Ricci curvature bounded below, and to prove that it satisfies sharp geometric inequalities. More precisely, we define a suitable Willmore functional $\mathcal{W}$ on Sobolev functions, whose domain of finiteness is dense in $L^p$ for any $1\le p<\infty$. For any function with finite Willmore energy, we show that almost all of its level sets admit a mean curvature vector satisfying the natural integration by parts formula with respect to the tangential divergence. As a main application, we show that in ${\rm RCD}(0,N)$ spaces with Euclidean volume growth, almost every level set of the electrostatic potential possesses a mean curvature vector in the above sense. Furthermore, we prove that this vector satisfies the same sharp Willmore inequality as in the smooth setting, alongside rigidity and almost-rigidity statements. Finally, as a technical tool, we generalize the sharp isocapacitary inequality to the non-smooth setting.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

41 extracted references · 2 linked inside Pith

  1. [24]

    Gigli and I

    N. Gigli and I. Y. Violo , Monotonicity formulas for harmonic functions in RCD (0,N) spaces , J. Geom. Anal., 33 (2023), pp. Paper No. 100, 89

    2023

  2. [1]

    Agostiniani, M

    V. Agostiniani, M. Fogagnolo, and L. Mazzieri , Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative R icci curvature , Invent. Math., 222 (2020), pp. 1033--1101

    2020

  3. [2]

    Agostiniani and L

    V. Agostiniani and L. Mazzieri , Monotonicity formulas in potential theory , Calc. Var. Partial Differential Equations, 59 (2020), pp. Paper No. 6, 32

    2020

  4. [3]

    Ambrosio , Some fine properties of sets of finite perimeter in A hlfors regular metric measure spaces , Adv

    L. Ambrosio , Some fine properties of sets of finite perimeter in A hlfors regular metric measure spaces , Adv. Math., 159 (2001), pp. 51--67

    2001

  5. [4]

    Ambrosio and S

    L. Ambrosio and S. Di Marino , Equivalent definitions of BV space and of total variation on metric measure spaces , J. Funct. Anal., 266 (2014), pp. 4150--4188

    2014

  6. [5]

    Ambrosio, N

    L. Ambrosio, N. Gigli, and G. Savar \'e , Metric measure spaces with R iemannian R icci curvature bounded from below , Duke Math. J., 163 (2014), pp. 1405--1490

    2014

  7. [6]

    Ambrosio and S

    L. Ambrosio and S. Honda , New stability results for sequences of metric measure spaces with uniform R icci bounds from below , in Measure theory in non-smooth spaces, Partial Differ. Equ. Meas. Theory, De Gruyter Open, Warsaw, 2017, pp. 1--51

    2017

  8. [7]

    Ambrosio and S

    L. Ambrosio and S. Masnou , A direct variational approach to a problem arising in image reconstruction , Interfaces and Free Boundaries, 5 (2003), pp. 63--81

    2003

Show all 41 references
  1. [8]

    Antonelli, E

    G. Antonelli, E. Pasqualetto, M. Pozzetta, and I. Y. Violo , Topological regularity of isoperimetric sets in PI spaces having a deformation property , Proc. Roy. Soc. Edinburgh Sect. A, 155 (2025), pp. 611--633

    2025

  2. [9]

    Benatti, M

    L. Benatti, M. Fogagnolo, and L. Mazzieri , Minkowski inequality on complete R iemannian manifolds with nonnegative R icci curvature , Analysis & PDE, 17 (2024), pp. 3039--3077

    2024

  3. [10]

    Benatti, A

    L. Benatti, A. Pluda, and M. Pozzetta , Fine properties of nonlinear potentials and a unified perspective on monotonicity formulas , arXiv preprint arXiv:2411.06462, (2024)

    2024

  4. [11]

    o rn and J. Bj \

    A. Bj \"o rn and J. Bj \"o rn , Nonlinear potential theory on metric spaces , vol. 17 of EMS Tracts in Mathematics, European Mathematical Society (EMS), Z\"urich, 2011

    2011

  5. [12]

    Bru \`e , E

    E. Bru \`e , E. Pasqualetto, and D. Semola , Rectifiability of the reduced boundary for sets of finite perimeter over RCD(K,N) spaces , J. Eur. Math. Soc., 25 (2023), pp. 413--465

    2023

  6. [13]

    Burtscher, C

    A. Burtscher, C. Ketterer, R. J. McCann, and E. Woolgar , Inscribed radius bounds for lower R icci bounded metric measure spaces with mean convex boundary , SIGMA Symmetry Integrability Geom. Methods Appl., 16 (2020), pp. Paper No. 131, 29

    2020

  7. [14]

    Cavalletti and A

    F. Cavalletti and A. Mondino , Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications , Camb. J. Math., 12 (2024), pp. 417--534

    2024

  8. [15]

    T. H. Colding , New monotonicity formulas for Ricci curvature and applications. I , Acta Mathematica, 209 (2012), pp. 229 -- 263

    2012

  9. [16]

    Debin, N

    C. Debin, N. Gigli, and E. Pasqualetto , Quasi-continuous vector fields on RCD spaces , Potential Anal., 54 (2021), pp. 183--211

    2021

  10. [17]

    Fogagnolo, L

    M. Fogagnolo, L. Mazzieri, and A. Pinamonti , Geometric aspects of p-capacitary potentials , Annales de l'Institut Henri Poincaré C, Analyse non linéaire, 36 (2019), pp. 1151--1179

    2019

  11. [18]

    Gigli , On the differential structure of metric measure spaces and applications , Mem

    N. Gigli , On the differential structure of metric measure spaces and applications , Mem. Amer. Math. Soc., 236 (2015), pp. vi+91

    2015

  12. [19]

    height 2pt depth -1.6pt width 23pt, Nonsmooth differential geometry - an approach tailored for spaces with R icci curvature bounded from below , Mem. Amer. Math. Soc., 251 (2018), p. 161

    2018

  13. [20]

    Gigli , De G iorgi and G romov working together

    N. Gigli , De G iorgi and G romov working together . arXiv:2306.14604, 2023

    2023 arXiv

  14. [21]

    Gigli, A

    N. Gigli, A. Mondino, and G. Savar\' e , Convergence of pointed non-compact metric measure spaces and stability of R icci curvature bounds and heat flows , Proc. Lond. Math. Soc. (3), 111 (2015), pp. 1071--1129

    2015

  15. [22]

    Gigli and E

    N. Gigli and E. Pasqualetto , Lectures on Nonsmooth Differential Geometry , SISSA Springer Series 2, 2020

    2020

  16. [23]

    height 2pt depth -1.6pt width 23pt, Lectures on Nonsmooth Differential Geometry , SISSA Springer Series 2, 2020

    2020

  17. [25]

    Heinonen, P

    J. Heinonen, P. Koskela, N. Shanmugalingam, and J. T. Tyson , Sobolev Spaces on Metric Measure Spaces: An Approach Based on Upper Gradients , New Mathematical Monographs, Cambridge University Press, 2015

    2015

  18. [26]

    Jiang , Cheeger-harmonic functions in metric measure spaces revisited , J

    R. Jiang , Cheeger-harmonic functions in metric measure spaces revisited , J. Funct. Anal., 266 (2014)

    2014

  19. [27]

    Ketterer , The H eintze- K archer inequality for metric measure spaces , Proc

    C. Ketterer , The H eintze- K archer inequality for metric measure spaces , Proc. Amer. Math. Soc., 148 (2020), pp. 4041--4056

    2020

  20. [28]

    Lahti, L

    P. Lahti, L. s. Mal\'y, N. Shanmugalingam, and G. Speight , Domains in metric measure spaces with boundary of positive mean curvature, and the D irichlet problem for functions of least gradient , J. Geom. Anal., 29 (2019), pp. 3176--3220

    2019

  21. [29]

    S. D. Marino, N. Gigli, and A. Pratelli , Global lipschitz extension preserving local constants , Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni, 31 (2020), pp. 757--765

    2020

  22. [30]

    Masnou and G

    S. Masnou and G. Nardi , A coarea-type formula for the relaxation of a generalized elastica functional , J. Convex Anal., 20 (2013), pp. 617--653

    2013

  23. [31]

    Masnou and G

    S. Masnou and G. Nardi , Gradient Y oung measures, varifolds, and a generalized W illmore functional , Advances in Calculus of Variations, 6 (2013), pp. 433--482

    2013

  24. [32]

    Miranda , Functions of bounded variation on ``good'' metric spaces , Journal de Math\' e matiques Pures et Appliqu\' e es, 82 (2003), pp

    M. Miranda , Functions of bounded variation on ``good'' metric spaces , Journal de Math\' e matiques Pures et Appliqu\' e es, 82 (2003), pp. 975--1004

    2003

  25. [33]

    Mondino and D

    A. Mondino and D. Semola , Polya- S zego inequality and D irichlet p -spectral gap for non-smooth spaces with R icci curvature bounded below , J. Math. Pures Appl. (9), 137 (2020), pp. 238--274

    2020

  26. [34]

    Mondino and D

    A. Mondino and D. Semola , Weak laplacian bounds and minimal boundaries in non-smooth spaces with Ricci curvature lower bounds , Mem. Amer. Math. Soc., 310 (2025), pp. 1--117

    2025

  27. [35]

    Nobili and I

    F. Nobili and I. Y. Violo , Rigidity and almost rigidity of Sobolev inequalities on compact spaces with lower Ricci curvature bounds , Calculus of Variations and Partial Differential Equations, 61 (2022)

    2022

  28. [36]

    Nobili and I

    F. Nobili and I. Y. Violo , Stability of S obolev inequalities on R iemannian manifolds with R icci curvature lower bounds , Advances in Mathematics, 440 (2024), p. 109521

    2024

  29. [37]

    Nobili and I

    F. Nobili and I. Y. Violo , Fine P \'o lya--Szeg o rearrangement inequalities in metric spaces and applications , Calculus of Variations and Partial Differential Equations, 64 (2025), p. 276

    2025

  30. [38]

    Savar \'e , Self-improvement of the B akry-\' E mery condition and W asserstein contraction of the heat flow in RCD (K, ) metric measure spaces , Discrete Contin

    G. Savar \'e , Self-improvement of the B akry-\' E mery condition and W asserstein contraction of the heat flow in RCD (K, ) metric measure spaces , Discrete Contin. Dyn. Syst., 34 (2014), pp. 1641--1661

    2014

  31. [39]

    I. Y. Violo , Functional and geometric rigidities of RCD spaces and bi-Lipschitz Reifenberg's theorem in metric spaces , PhD thesis, SISSA, Trieste, 2021

    2021

  32. [40]

    height 2pt depth -1.6pt width 23pt, An overview of regularity results for the L aplacian and p - L aplacian in metric spaces , Indag. Math. (N.S.), 37 (2026), pp. 799--827

    2026

  33. [41]

    Wu , Almost rigidity of the T alenti-type comparison theorem on RCD (0, N) space , arXiv preprint arXiv:2506.07100, (2025)

    W. Wu , Almost rigidity of the T alenti-type comparison theorem on RCD (0, N) space , arXiv preprint arXiv:2506.07100, (2025)

    2025 arXiv

Pith tools

Reviewed July 30, 2026 · model on record in the stance chip above.