REVIEW 4 minor 22 references
Stability of local Riemannian Ricci curvature lower bounds
T0 review · 0 major / 4 minor · reviewed 2026-07-30 · grok-4.5
Pith's one-line read Local Riemannian Ricci lower bounds are stable under Gromov–Hausdorff convergence, and almost every weak tangent is Euclidean.
desk verdict Solid local stability package for RCD that answers Honda–Sun and supplies the missing local EVI/Mosco tools; the doubling dependence is explicit and not a hidden gap. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
An effective local Evolution Variational Inequality for the heat flow on sufficiently small balls, carrying a remainder that vanishes as t→0 when the measure is locally doubling (so the balls are John domains with Gaussian heat-kernel bounds). This yields strong local displacement convexity of entropy and local essential non-branching, which close the Lagrangian Mosco-convergence argument for the parallelogram identity.
What would settle it
Exhibit a pmG-convergent sequence of locally RCD spaces whose local radii and curvature parameters stay controlled, yet the limit fails the parallelogram identity for some pair of compactly supported Sobolev functions, or fails to have an Euclidean weak tangent at a positive-measure set of points.
Extended reading notes
Core claim
If a sequence of pointed complete metric measure spaces converges in the pointed measured Gromov sense and open sets Ω_n in them satisfy the local RCD condition with curvature–dimension parameters and local radii that remain controlled at every limit point, then the limit open set satisfies the corresponding local RCD condition. When the local radius becomes infinite at even one point, the whole limit space is globally RCD.
Load-bearing premise
The error term in the local heat-flow inequality must vanish for small times, which needs the reference measure to be locally doubling so that small balls admit Gaussian upper bounds on the heat kernel.
Editorial extensions
If this is right
- Local RCD bounds pass to Gromov–Hausdorff limits under uniform control of radii and curvature–dimension data.
- Weak tangents of locally RCD spaces are globally RCD(0,N) and Euclidean almost everywhere.
- Strong displacement convexity of entropy and essential non-branching hold on sufficiently small balls.
- The same stability holds in the infinite-dimensional local RCD(K(·),∞) setting once local doubling is assumed.
- If the local radius is infinite at one point, the entire limit space is globally RCD.
Reading between the lines
- The local EVI-with-error may be useful for quantitative stability or for Ricci flows that remain only locally controlled.
- The John-domain heat-kernel analysis suggests the result extends to other domains (e.g. uniform domains) that support global Sobolev inequalities without full geodesic completeness.
- Almost-everywhere Euclidean tangents under purely local curvature bounds open a route to partial regularity for singular spaces that are only locally RCD.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces local curvature-dimension conditions CD_loc(K(·),N(·)) and RCD_loc(K(·),N(·)) on open subsets of metric measure spaces, with point-dependent curvature, dimension and local radius. It proves that these conditions are stable under pointed measured Gromov convergence when the local radii stay uniformly positive and the curvature/dimension parameters remain controlled (Theorems 1.1, 3.8, 3.14). The key analytic step is a local Mosco convergence of Cheeger energies (Theorem 1.3 / Theorem 8.2), obtained by adapting the Lagrangian polygonal approximation of [70] after establishing a local Evolution Variational Inequality with an annular remainder (Theorem 1.4 / Theorem 7.1). The remainder is shown to vanish on sufficiently small balls once local doubling makes them John domains admitting Gaussian heat-kernel bounds (Proposition 7.4, Theorem 6.17). This yields strong CD_loc and local essential non-branching (Theorem 7.5, Corollary 7.6). As an application, almost every point of an RCD_loc space admits a Euclidean weak tangent (Theorem 1.2).
Significance. Stability of global RCD under pmG convergence is classical (Ambrosio–Gigli–Savaré, Gigli–Mondino–Savaré). Extending it to genuinely local, pointwise-variable bounds closes a gap left open by Honda–Sun and aligns the synthetic theory with the extrinsic, local character of Cheeger–Colding. The local EVI with controlled remainder and the resulting strong displacement convexity / essential non-branching on small balls are of independent interest and supply tools for further local analysis. The Euclidean-tangent application via Gigli–Mondino–Rajala is a clean payoff. The arguments are written in full, rely on standard optimal-transport and Dirichlet-form ingredients, and make the doubling hypothesis needed for error vanishing completely explicit.
minor comments (4)
- [Theorem 1.1 / §3.2–§8] In the statement of Theorem 1.1 the universal constant c appearing in r_∞(x)=c·lim r_n(y_n) is left unspecified; a parenthetical reference to the concrete factors 1/10 (Theorem 3.14) and 1/6 (Theorem 8.2) would help the reader track the radius losses.
- [§1, §7–§8] The reduction from RCD_loc(K(·),N(·)) to strong CD_loc(K(·),∞) via Corollary 3.12 and Theorem 7.5 is correct but slightly buried; a short remark in the introduction or at the beginning of §8 recalling that finite dimensionality supplies the doubling needed for Proposition 7.4 would improve readability.
- [Throughout] Typographical inconsistencies appear in a few places (e.g., “comple metric”, “Poincar´ e”, “Arzel` a-Ascoli”). A light copy-edit pass would remove them.
- [Definition 3.1, Remark 8.3] In Definition 3.1 the requirement r(x)≤r_C(x) is natural for locally complete spaces, but the subsequent global statements sometimes silently assume completeness of the ambient space; Remark 8.3 clarifies the issue, yet a forward pointer earlier would be useful.
Circularity Check
No significant circularity: local RCD stability is proved from OT/Dirichlet-form ingredients, not by renaming inputs
full rationale
The paper defines CD_loc/RCD_loc synthetically, then proves stability under pmG by (i) localizing classical entropy-convexity stability, (ii) establishing a local EVI with an explicit remainder, (iii) killing the remainder under local doubling via John-domain Gaussian heat-kernel bounds from the Dirichlet-form literature, yielding strong CD_loc and local essential nonbranching, and (iv) feeding those into a Lagrangian polygonal Mosco argument adapted from the authors' prior work [70]. Self-citations ([70], AGS, etc.) supply tools and comparison theorems; none of the target identities (parallelogram stability, RCD_loc stability, Euclidean weak tangents) is assumed in those citations or forced by a fit/normalization. There are no fitted constants, no uniqueness theorem that merely restates the claim, and no step where a predicted quantity equals an input by construction. The derivation is self-contained mathematical deduction.
Assumptions & free parameters
assumptions (6)
- domain assumption Metric measure spaces are locally complete, separable, with boundedly finite measures satisfying the quadratic exponential growth condition (2.1) when unbounded.
- domain assumption CD(K,N)/CD(K,∞) entropy convexity along some (resp. all, for strong CD) W2-geodesics characterizes synthetic Ricci lower bounds (Lott–Villani, Sturm).
- domain assumption Infinitesimal Hilbertianity is equivalent to the parallelogram identity for weak gradients on functions supported in the open set (Thm 2.14 / Gigli).
- standard math On doubling John domains supporting a weak (2,2)-Poincaré inequality, the Dirichlet form of a quadratic Cheeger energy admits a Hölder heat kernel with Gaussian upper bounds (Sturm; Chen–Kim–Kumagai–Wang; Hajłasz–Koskela Sobolev on John domains).
- domain assumption Under strong CD_loc, absolutely continuous marginals on small balls admit a unique nonbranching optimal geodesic plan induced by a map (Rajala–Sturm type, Thm 4.3).
- domain assumption pmG convergence is realized extrinsically by isometric embeddings into a common space Z with weak convergence of measures (Gigli–Mondino–Savaré).
invented entities (2)
-
CD_loc(K(·),N(·)) / RCD_loc(K(·),N(·)) with pointwise local radius r(x)
independent evidence
-
Local EVI with remainder C·lim∥f_t∥_L∞(annulus) along the localized heat flow
independent evidence
Cite this review
Pith. "Pith review of Stability of local Riemannian Ricci curvature lower bounds." pith.science (2026). https://pith.science/paper/OMFPKBPC
@misc{pith2026260727008,
author = {Pith},
title = {Pith review of: Stability of local Riemannian Ricci curvature lower bounds},
year = {2026},
howpublished = {\url{https://pith.science/paper/OMFPKBPC}},
note = {Machine review of arXiv:2607.27008}
}
read the original abstract
We establish the stability of local Riemannian Ricci curvature lower bounds along Gromov-Hausdorff convergence. A central part of our analysis is devoted to showing the stability of the parallelogram identity for weak gradients, obtained implementing the Lagrangian approach developed in [arXiv:2511.13320] in the local setting. As an application, we deduce the almost everywhere existence of Euclidean weak tangents. An important ingredient, of independent interest, is an effective local Evolution Variational Inequality along the heat flow on sufficiently small balls, with a remainder term depending on the rate of decay of the flow. This has applications to strong displacement convexity of the Entropy functional along local Wasserstein interpolations and to local essential nonbranching properties.
Reference graph
Works this paper leans on
-
[6]
Cavalletti and E
[26]F. Cavalletti and E. Milman,The globalization theorem for the curvature-dimension condition, Invent. Math., 226 (2021), pp. 1–137. [27]J. Cheeger,Differentiability of Lipschitz functions on metric measure spaces, Geom. Funct. Anal., 9 (1999), pp. 428–517. 44 [28]J. Cheeger and T. H. Colding,Lower bounds on Ricci curvature and the almost rigidity of wa...
2021
-
[21]
©2024, pp. 49–89. [76]T. Rajala,Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension con- ditions of Sturm, J. Funct. Anal., 263 (2012), pp. 896–924. [77]T. Rajala and K.-T. Sturm,Non-branching geodesics and optimal maps in strongCD(K,∞)-spaces, Calc. Var. Partial Differential Equations, 50 (2012), pp. 831–846. [7...
2024
-
[23]
Ambrosio, S
[13]L. Ambrosio, S. Honda, and D. Tewodrose,Short-time behavior of the heat kernel and Weyl’s law on RCD∗(K, N)spaces, Ann. Global Anal. Geom., 53 (2018), pp. 97–119. [14]L. Ambrosio, T. Ikonen, D. Lu ˇci´c, and E. Pasqualetto,Metric Sobolev spaces. I: Equivalence of definitions, Milan J. Math., 92 (2024), pp. 255–347. [15]L. Ambrosio, A. Mondino, and G. ...
2018
-
[27]
45 [58]S
Id/No 113629. 45 [58]S. Honda and S. Sun,From almost smooth spaces to RCD spaces, Calc. Var. Partial Differ. Equ., 65 (2026), p
2026
-
[40]
Cordero-Erausquin, R
[34]D. Cordero-Erausquin, R. J. McCann, and M. Schmuckenschl ¨ager,A Riemannian interpolation inequality ` a la Borell, Brascamp and Lieb, Invent. Math., 146 (2001), pp. 219–257. [35]S. Daneri and G. Savar ´e,Eulerian calculus for the displacement convexity in the Wasserstein distance, SIAM J. Math. Anal., 40 (2008), pp. 1104–1122. [36]Q. Deng,H¨ older co...
2001
-
[67]
Id/No 108347. [68]F. Nobili,An overview of the stability of Sobolev inequalities on Riemannian manifolds with Ricci lower bounds, Indag. Math., New Ser., 37 (2026), pp. 960–992. [69]F. Nobili, E. Pasqualetto, and T. Schultz,On master test plans for the space of BV functions, Adv. Calc. Var., 16 (2023), pp. 1061–1092. [70]F. Nobili, F. Renzi, and F. Vitill...
arXiv 2026
-
[77]
[18]G. Antonelli, E. Pasqualetto, M. Pozzetta, and D. Semola,Sharp isoperimetric comparison on non- collapsed spaces with lower Ricci bounds, Ann. Sci. ´Ec. Norm. Sup´ er. (4), 58 (2025), pp. 1–52. [19]K. Bacher and K.-T. Sturm,Localization and tensorization properties of the curvature-dimension condition for metric measure spaces, J. Funct. Anal., 259 (2...
arXiv 2025
-
[131]
Jordan, D
[59]R. Jordan, D. Kinderlehrer, and F. Otto,The variational formulation of the Fokker-Planck equation, SIAM J. Math. Anal., 29 (1998), pp. 1–17. [60]S. Keith,Modulus and the Poincar´ e inequality on metric measure spaces, Math. Z., 245 (2003), pp. 255–292. [61]C. Ketterer,On the geometry of metric measure spaces with variable curvature bounds, J. Geom. An...
1998
Show all 22 references
-
[180]
Nobili and I
[72]F. Nobili and I. Y. Violo,Stability of Sobolev inequalities on Riemannian manifolds with Ricci curvature lower bounds, Adv. Math., 440 (2024), p. Paper No. 109521. [73]F. Nobili and I. Y. Violo,Fine P´ olya-Szeg˝ o rearrangement inequalities in metric spaces and applicatio...
2024
-
[276]
Nobili and I
[74]F. Nobili and I. Y. Violo,Generalized existence of extremizers for the sharpp-Sobolev inequality on Riemannian manifolds with nonnegative curvature, Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods, 266 (2026), p
2026
-
[1994]
Gigli,On the heat flow on metric measure spaces: existence, uniqueness and stability, Calc
[43]N. Gigli,On the heat flow on metric measure spaces: existence, uniqueness and stability, Calc. Var. PDE, 39 (2010), pp. 101–120. [44]N. Gigli,Introduction to optimal transport: theory and applications, Publica¸ c˜ oes Matem´ aticas do IMPA. [IMPA Mathematical Publications]...
2010
-
[2000]
Honda,Ricci curvature andL p-convergence, J
[55]S. Honda,Ricci curvature andL p-convergence, J. Reine Angew. Math., 705 (2015), pp. 85–154. [56]S. Honda,Spectral convergence under bounded Ricci curvature, J. Funct. Anal., 273 (2017), pp. 1577–1662. [57]S. Honda, C. Ketterer, I. Mondello, R. Perales, and C. Rigoni,Gromov...
2015
-
[2007]
Based on the 1981 French original, With appendices by M. Katz, P. Pansu and S. Semmes, Translated from the French by Sean Michael Bates. [53]P. Haj lasz,Sobolev spaces on an arbitrary metric space, Potential Anal., 5 (1996), pp. 403–415. [54]P. Haj lasz and P. Koskela,Sobolev ...
1981
-
[2008]
Ambrosio, N
[7]L. Ambrosio, N. Gigli, and G. Savar ´e,Density of Lipschitz functions and equivalence of weak gradients in metric measure spaces, Rev. Mat. Iberoam., 29 (2013), pp. 969–996. [8]L. Ambrosio, N. Gigli, and G. Savar ´e,Calculus and heat flow in metric measure spaces and applic...
2013
-
[2009]
Villani,Synthetic theory of ricci curvature bounds, Japanese Journal of Mathematics, 11 (2016), pp
[86]C. Villani,Synthetic theory of ricci curvature bounds, Japanese Journal of Mathematics, 11 (2016), pp. 219–263. [87]M.-K. von Renesse and K.-T. Sturm,Entropic measure and Wasserstein diffusion, Ann. Probab., 37 (2009), pp. 1114–1191. 46 Scuola Normale Superiore, Piazza dei...
2016
-
[2011]
[28th Brazilian Mathematics Colloquium]
28o Col´ oquio Brasileiro de Matem´ atica. [28th Brazilian Mathematics Colloquium]. [45]N. Gigli,On the differential structure of metric measure spaces and applications, Mem. Amer. Math. Soc., 236 (2015), pp. vi+91. [46]N. Gigli,De Giorgi and Gromov working together. arXiv:2306.14604,
2015 arXiv
-
[2014]
Di Marino, N
[38]S. Di Marino, N. Gigli, and A. Pratelli,Global lipschitz extension preserving local constants, Rendiconti Lincei - Matematica e Applicazioni, 31 (2021), pp. 757–765. [39]M. Erbar, K. Kuwada, and K.-T. Sturm,On the equivalence of the entropic curvature-dimension condition a...
2021
-
[2018]
Vol. I. Plenary lectures, World Sci. Publ., Hackensack, NJ, 2018, pp. 301–340. [2]L. Ambrosio, E. Bru ´e, and D. Semola,Rigidity of the 1-Bakry- ´Emery inequality and sets of finite perimeter in RCD spaces, Geom. Funct. Anal., 29 (2019), pp. 949–1001. [3]L. Ambrosio, E. Bru ´e...
2018
-
[2020]
Gigli and S
[51]N. Gigli and S. Vincini,Stability of the heat flow under convergence in concentration and consequences. arXiv:2410.05011,
-
[2023]
Gigli, A
[47]N. Gigli, A. Mondino, and T. Rajala,Euclidean spaces as weak tangents of infinitesimally Hilbertian metric measure spaces with Ricci curvature bounded below, J. Reine Angew. Math., 705 (2015), pp. 233–244. [48]N. Gigli, A. Mondino, and G. Savar ´e,Convergence of pointed no...
2015
-
[2024]
Ambrosio and S
[4]L. Ambrosio and S. Di Marino,Equivalent definitions ofBVspace and of total variation on metric measure spaces, J. Funct. Anal., 266 (2014), pp. 4150–4188. [5]L. Ambrosio, N. Gigli, A. Mondino, and T. Rajala,Riemannian Ricci curvature lower bounds in metric measure spaces wi...
2014
-
[2025]
Nobili and I
[71]F. Nobili and I. Y. Violo,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
2022
Reviewed July 30, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.