Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Mosco-convergence of Cheeger energies on varying spaces satisfying curvature dimension conditions

T0 review · 3 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read This paper establishes lower semicontinuity of Cheeger energies and BV total variations along pointed measured Gromov–Hausdorff convergence for essentially non-branching CD(K,N) and MCP(K,N) spaces, proving Mosco-convergence of the nonsmoot

desk verdict Solid, genuinely novel stability result with one load-bearing bridge: the CD(K,N) case is made to satisfy strong-CD-type uniqueness/density inputs via an asserted citation to [45] that is never stated or proved. read the letter →

arxiv 2511.13320 v3 pith:IE6L5HLP submitted 2025-11-17 math.MG math.FAmath.PR

Francesco Nobili , Federico Renzi , Federico Vitillaro This is my paper
classification math.MGmath.FAmath.PR MSC 53C2349Q2246E36
keywords MoscoconvergenceCheegerenergycurvaturedimensionconditionmeasurecontractionpropertyessentiallynon-branchingpmGHBVfunctionsoptimaltransport
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 proves that the nonsmooth Sobolev and BV calculus is stable under Gromov–Hausdorff convergence of spaces carrying synthetic Ricci curvature lower bounds. Specifically, if a sequence of essentially non-branching CD(K,N) spaces converges in the pointed measured Gromov–Hausdorff sense, then any weak L^p limit of functions with bounded p-Cheeger energy has Cheeger energy no larger than the limiting energy; the same holds for the total variation of BV functions. The result extends to MCP(K,N) spaces at the cost of a factor 2^N. The proof works through a Lagrangian description of Sobolev and BV functions in duality with test plans, combined with polygonal geodesic interpolations that preserve compression and kinetic-energy estimates. A consequence is the continuity of Neumann eigenvalues along such convergent sequences.

What carries the argument

The engine is a Lagrangian characterization of W^{1,p} and BV: f has finite p-Cheeger energy iff its oscillations along q-test plans (q conjugate to p) are controlled by Comp(π)^{1/p} Ke_q(π)^{1/q} times the Cheeger constant; BV is similarly characterized by Comp(π) Lip(π). The paper then builds M-polygonal geodesic plans on the approximating spaces whose compression and kinetic energies asymptotically match those of a given limit test plan, using density estimates for optimal dynamical plans that follow from essential non-branching (uniqueness of optimal plans) plus CD or MCP. The CD case uses the independence of CD_q on q (Theorem 2.14) to cover all p simultaneously.

What would settle it

Look for a pmGH-convergent sequence of q-essentially non-branching CD(K,N) spaces with finite reference measures and functions f_n with sup_n Ch_p(f_n) < ∞, f_n → f∞ weakly in L^p, yet Ch_p(f∞) > liminf_n Ch_p(f_n). The theorem asserts the reverse inequality, so any such example would falsify it. A concrete candidate to test would be a sequence of shrinking-neck surfaces with controlled Ricci lower bounds where a concentration of gradient occurs at the neck.

Watch

Extended reading notes

Core claim

Along a pmGH-converging sequence of q-essentially non-branching CD(K,N) spaces with finite reference measures, Lp-weak convergence f_n → f∞ forces f∞ into the Sobolev class with Ch_p(f∞) ≤ liminf Ch_p(f_n), for every p∈(1,∞); the same inequality holds for L1-weak convergence and the BV total variation. For MCP(K,N) spaces, the identical statement holds with the right-hand side multiplied by 2^N. This establishes Mosco-convergence of the Cheeger energies in these sweeping classes, covering possibly infinite-dimensional and non-Riemannian limits, and it is the first such stability result under the measure contraction property.

Load-bearing premise

The load-bearing premise is that each approximating space is essentially non-branching — geodesics cannot fork at an intermediate time — and, in the CD case, that each reference measure is finite; if branching occurs or measures are not finite, the density estimates that replace strong curvature-dimension conditions are unavailable and the proof collapses.

Editorial extensions

If this is right

  • The p-Cheeger energies Mosco-converge for all p∈(1,∞) along pmGH-converging q-essentially non-branching CD(K,N) spaces with finite measures.
  • The BV total variation is lower semicontinuous along the same convergence, so sets of finite perimeter and isoperimetric quantities pass to the limit in the expected direction.
  • For MCP(K,N) spaces, the same semicontinuity holds with a factor 2^N, without requiring finite reference measures, so σ-finite and non-compact limits are covered.
  • As a direct by-product, the Neumann spectrum of the Cheeger–Laplacian is continuous along such convergent sequences (claimed in the abstract).
  • The infinite-dimensional and non-Riemannian settings are included, going beyond the Riemannian RCD framework used in earlier work.

Reading between the lines

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

  • Because the proof estimates mass and energy on geodesic polygons in bounded regions, it likely extends to localized (non-global) curvature bounds; a natural test is whether the same conclusion holds for local CD or for spaces with a lower bound only on a uniformly shrinking neighborhood of the support.
  • The factor 2^N in the MCP theorem seems to be an artifact of the compression estimates; a sharper constant (perhaps 1) may hold for essentially non-branching MCP spaces, and examples such as n-dimensional Heisenberg groups (which are non-branching and satisfy MCP) could be used to probe this.
  • Without essential non-branching, branching geodesics could break the uniqueness of optimal dynamical plans and the density estimates; constructing a branching CD(K,N) example where semicontinuity fails would mark the exact limit of the method.
  • The Lagrangian test-plan formulation decouples the dual exponent from the curvature condition; this suggests the same scheme may prove Mosco-convergence for other first-order functionals defined via test plans, such as p-weak upper gradients.
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

3 major / 5 minor

Summary. The paper establishes Mosco-convergence type lower semicontinuity results for p-Cheeger energies and total variations along pointed-measure Gromov–Hausdorff converging metric measure spaces satisfying synthetic curvature bounds. The main theorems are: for q-essentially non-branching CD(K,N) spaces with finite reference measures, L^p-weak convergence f_n → f_∞ implies Ch_p(f_∞) ≤ liminf Ch_p(f_n) for every p∈(1,∞), and L^1-weak convergence implies |Df_∞|(X_∞) ≤ liminf |Df_n|(X_n); for q-essentially non-branching MCP(K,N) spaces the same conclusions hold with a factor 2^N on the right-hand side. The proofs combine a Lagrangian characterization of Sobolev and BV functions (Proposition 3.1) with polygonal geodesic interpolation built on the varying spaces, using curvature-dimension conditions to control compression and kinetic-energy constants.

Significance. If the main results are correct, they provide the first sharp lower semicontinuity/Mosco-convergence statements for Cheeger energies in the non-Riemannian, finite-dimensional CD(K,N) and MCP(K,N) settings, extending earlier results that were restricted to RCD(K,∞) or strong CD_q(K,∞) spaces. The paper also gives a self-contained Lagrangian characterization of Sobolev spaces (Proposition 3.1) and a detailed polygonal-interpolation machinery that may be of independent interest. The use of the q-independence theorem of Akdemir–Colinet–McCann–Cavalletti–Santarcangelo is elegant and allows all p to be treated by the same mechanism. However, as discussed below, a load-bearing step in the CD(K,N) case is only asserted via an external reference and is not formally stated or proved in the manuscript.

major comments (3)
  1. [§5.2, proof of Theorem 1.1(i); Remark 2.12; Proposition 4.5] Theorem 5.1 and Proposition 4.5 are stated for strong CD_q(K,∞) spaces. The proof of Theorem 1.1(i) obtains CD_q(K,N) from Theorem 2.14, but CD_q(K,N) does not by itself provide the strong-CD property needed in Proposition 4.5. The only bridge is the final sentence of Remark 2.12, which asserts that property (2.18) holds for q-essentially non-branching CD_q(K,N) spaces 'thanks to [45]', without stating or proving the corresponding theorem. This estimate is used in an essential way in (4.13) to control Comp(η_{i,n}); without it the polygonal construction does not yield property (iii) of Proposition 4.5. Since uniqueness of the optimal dynamical plan for absolutely continuous marginals is nontrivial and depends on the precise non-branching definition, the claim cannot be checked by the reader. Please state the exact result from [45] that supplies (2.18), verify its hypotheses against those
  2. [§5.2, proof of Theorem 1.1(ii); Proposition 4.8] The BV part of Theorem 1.1 has the same gap. Proposition 4.8 invokes Proposition 4.6, which is proved under strong CD_{q_k}(K,∞) (or CD_{q_k}(K,∞) when K≥0). For K<0, the CD(K,N) setting does not satisfy the hypotheses of Proposition 4.6 unless the uniqueness/density assertion of Remark 2.12 is valid. The proof should either apply a version of Proposition 4.6 whose hypotheses are verified after Theorem 2.14, or replace the appeal by a direct argument using the asserted (2.18). As written, the deduction is not complete.
  3. [§5.3, Proposition 5.2] The MCP case also relies on an unstated uniqueness theorem. Proposition 5.2 invokes [45, Theorem 5.8] for uniqueness of optimal dynamical plans and then uses [23, Proposition 9.1] for the density estimate. The hypotheses of [45, Theorem 5.8] — in particular, any qualitative non-degeneracy condition on the reference measure and the exact class of essentially non-branching spaces — are not checked against the assumptions of Theorem 1.2. Since uniqueness is what upgrades the density bound to the particular plan used in Proposition 5.3, the theorem should be stated explicitly and its hypotheses verified. This is likely fixable by a precise citation, but as written it leaves a gap in the MCP proof.
minor comments (5)
  1. [§4, headings] The word 'Poligonal' in the section heading and in Proposition 4.5 should be 'Polygonal'.
  2. [§2.5, Definition 2.13] In the definition of τ^{(t)}_{K,N}(θ), the last displayed case involving sinh should be 'if K<0', not 'if K>0'.
  3. [Proposition 4.8(iii)] The exponent in the bound is written as e^{K_- Lip(η)^2/M^2}, while the proof obtains e^{(K_-/12) Lip(η)^2/M^2}. The proof's factor 1/12 should be carried through or intentionally absorbed; as written the statement is weaker than the proof and may confuse.
  4. [§5.3, proof of Proposition 5.3] The notation η(Γ_k) appears where η_k(Γ_k) is meant; also in Proposition 4.6 the expression for π_k is typographically garbled.
  5. [§5.3, proof of Theorem 1.2(i)] The sentence 'The argument is analogous to that of Theorem 1.2 (in fact, Theorem 5.1)' should presumably read 'Theorem 1.1' instead of 'Theorem 1.2'.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: main Mosco-convergence claim is proved from independent curvature-dimension inputs; only minor non-load-bearing self-citations appear.

full rationale

The central semicontinuity bounds (Theorems 1.1 and 1.2) are not assumed from prior work and do not reduce by construction to any input. The proof chain is: Proposition 3.1 characterizes Ch_p via q-test plans; Propositions 4.5/4.8 construct polygonal interpolations on varying spaces; Theorem 5.1 transfers the test-plan bounds to the limit; Theorem 2.14 (external [1]) provides q-independence for finite-measure CD(K,N); the density estimates needed to replace strong-CD assumptions are imported from [61] and [45]; MCP estimates come from [23, Prop 9.1] and [24]. None of these external results is equivalent to the claimed Mosco convergence. The paper reproduces rather than merely cites the key polygon construction (Prop 4.6 says 'For the sake of completeness' and gives the proof), and benchmark comparisons with [35] and [10] show the result is not a renaming of known RCD theory. The only self-citations, [36] and [52], are for auxiliary facts (MCP q-independence and ∞-test-plan compactness/polygonal identities); these are not the load-bearing content of the main theorem and are either proved in the text or standard in the authors' published work. A genuine correctness risk, but not circularity, is the one-sentence bridge in Remark 2.12 ('This will be possible thanks to [45]') and the assertion in §5.2 that Theorem 2.14 makes Theorem 5.1 apply: the paper does not spell out how Kell's uniqueness/density results supply (2.18) for q-essentially non-branching CD(K,N) spaces under the exact hypotheses of Theorem 1.1. If that bridge fails, Theorems 1.1 and 1.2 would be unsupported, but the failure would be a gap in external cited hypotheses, not self-consistency of the present derivation. Hence no circular step is evidenced; the manuscript is self-contained modulo standard external ingredients.

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

The paper introduces no free parameters, fitted constants, or new physical entities. The only 'load' carried from outside consists of standard axioms of metric measure geometry, the synthetic curvature assumptions, and several external theorems (uniqueness of optimal maps, CD_q-independence, density estimates). The MCP case adds C_{K,N}[r] and the factor 2^N, but these are analytical constants, not fitted parameters.

assumptions (5)
  • domain assumption Each X_n is q-essentially non-branching for every q∈(1,∞).
    Stated in Theorems 1.1 and 1.2; used to obtain uniqueness of optimal dynamical plans and density estimates through [45], and for the CD_q-independence theorem [1].
  • domain assumption In Theorem 1.1, the reference measures m_n are finite.
    Explicitly assumed and needed for Theorem 2.14 from [1]; the authors note the extension to σ-finite measures would follow if [1] worked in that case.
  • domain assumption The spaces satisfy CD(K,N) or MCP(K,N) as defined in Section 2.5.
    The entire result is a statement about these synthetic curvature-dimension and measure-contraction classes; the definitions are imported from [48,64,65,57].
  • standard math External theorem: q-essentially non-branching CD(K,N) spaces with finite measure are CD_q(K,N) for all q (Akdemir–Colinet–McCann–Cavalletti–Santarcangelo [1]).
    Theorem 2.14 is the bridge that lets all p-Cheeger energies be treated simultaneously; the main CD result relies on it.
  • standard math External theorem: uniqueness of optimal transport plans and density bounds for essentially non-branching CD/MCP spaces ([45], [59], [61]).
    Used in Propositions 4.5, 4.6, 4.8 and 5.2 to control compression of polygonal and W∞-geodesic plans; substitutes for the strong-CD hypothesis.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Mosco-convergence of Cheeger energies on varying spaces satisfying curvature dimension conditions." pith.science (2026). https://pith.science/paper/IE6L5HLP

@misc{pith2026251113320,
  author       = {Pith},
  title        = {Pith review of: Mosco-convergence of Cheeger energies on varying spaces satisfying curvature dimension conditions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IE6L5HLP}},
  note         = {Machine review of arXiv:2511.13320}
}
read the original abstract

We study the Mosco-convergence of Cheeger energies on Gromov-Hausdorff converging spaces satisfying different types of curvature dimension conditions. The case of functions of bounded variation is also considered, and applications to the continuity of Neumann eigenvalues are obtained. Our method, covering possibly infinite dimensional settings, is based on a Lagrangian approach and combines the stability properties of Wasserstein geodesics with the characterization of the nonsmooth calculus in duality with test plans.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Stability of local Riemannian Ricci curvature lower bounds

    math.DG 2026-07 accept novelty 7.0 of 10

    Local RCD(K(·),N(·)) bounds are stable under pointed measured Gromov convergence, via a local EVI with remainder and Lagrangian Mosco convergence of Cheeger energies.

Reference graph

Works this paper leans on

12 extracted references · 3 linked inside Pith · cited by 1 Pith paper

  1. [7]

    ,Density of Lipschitz functions and equivalence of weak gradients in metric measure spaces, Rev. Mat. Iberoam., 29 (2013), pp. 969–996

    2013

  2. [8]

    Math., 195 (2014), pp

    ,Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below, Invent. Math., 195 (2014), pp. 289–391

    2014

  3. [9]

    J., 163 (2014), pp

    ,Metric measure spaces with Riemannian Ricci curvature bounded from below, Duke Math. J., 163 (2014), pp. 1405–1490. [10]L. Ambrosio and S. Honda,New stability results for sequences of metric measure spaces with uniform Ricci bounds from below, in Measure theory in non-smooth spaces, Partial Differ. Equ. Meas. Theory, De Gruyter Open, Warsaw, 2017, pp. 1–...

    arXiv 2014

  4. [21]

    ,Limits of manifolds with a Kato bound on the Ricci curvature. II, Ann. Fenn. Math., 50 (2025), pp. –. [22]F. Cavalletti and M. Huesmann,Existence and uniqueness of optimal transport maps, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 32 (2015), pp. 1367–1377. [23]F. Cavalletti and E. Milman,The globalization theorem for the curvature-dimension conditi...

    2025

  5. [27]

    ,On the structure of spaces with Ricci curvature bounded below. III, J. Differential Geom., 54 (2000), pp. 37– 74. [28]Q. Deng,H¨ older continuity of tangent cones inRCD(K, N)spaces and applications to nonbranching, Geom. Topol., 29 (2025), pp. 1037–1114. [29]S. Di Marino,Recent advances on BV and Sobolev spaces in metric measure spaces. PhD Thesis, 2014....

    2000

  6. [33]

    [IMPA Mathematical Publications], Instituto Nacional de Matem´ atica Pura e Aplicada (IMPA), Rio de Janeiro, 2011

    ,Introduction to optimal transport: theory and applications, Publica¸ c˜ oes Matem´ aticas do IMPA. [IMPA Mathematical Publications], Instituto Nacional de Matem´ atica Pura e Aplicada (IMPA), Rio de Janeiro, 2011. 28o Col´ oquio Brasileiro de Matem´ atica. [28th Brazilian Mathematics Colloquium]. [34]N. Gigli,De Giorgi and Gromov working together. arXiv:...

    arXiv 2011

  7. [42]

    ,Spectral convergence under bounded Ricci curvature, J. Funct. Anal., 273 (2017), pp. 1577–1662. [43]S. Honda, C. Ketterer, I. Mondello, R. Perales, and C. Rigoni,Gromov-hausdorff stability of tori under Ricci and integral scalar curvature bounds, Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods, 249 (2024), p. 27. Id/No 113629. [44]A. Kasue,...

    arXiv 2017

  8. [54]

    ,Rigidity and almost rigidity of Sobolev inequalities on compact spaces with lower Ricci curvature bounds, Calc. Var. Partial Differential Equations, 61 (2022), p. Paper No. 180

    2022

Show all 12 references
  1. [55]

    Math., 440 (2024), p

    ,Stability of Sobolev inequalities on Riemannian manifolds with Ricci curvature lower bounds, Adv. Math., 440 (2024), p. Paper No. 109521

    2024

  2. [56]

    ,Fine P´ olya-Szeg˝ o rearrangement inequalities in metric spaces and applications, Calc. Var. Partial Differ. Equ., 64 (2025), p. 56. Id/No 276. [57]S.-i. Ohta,On the measure contraction property of metric measure spaces, Comment. Math. Helv., 82 (2007), pp. 805–828. [58]M. P...

    2025

  3. [60]

    ,Improved geodesics for the reduced curvature-dimension condition in branching metric spaces, Discrete Contin. Dyn. Syst., 33 (2013), pp. 3043–3056. [61]T. Rajala and K.-T. Sturm,Non-branching geodesics and optimal maps in strongCD(K,∞)-spaces, Calc. Var. Partial Differential ...

    2013

  4. [65]

    II, Acta Math., 196 (2006), pp

    ,On the geometry of metric measure spaces. II, Acta Math., 196 (2006), pp. 133–177. [66]C. Villani,Optimal transport. Old and new, vol. 338 of Grundlehren der Mathematischen Wissenschaften, Springer-Verlag, Berlin, 2009. [67]M.-K. von Renesse,On local Poincar´ e via transporta...

    2006

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.