On the structure of RCD spaces with upper curvature bounds

Christian Ketterer; Martin Kell; Vitali Kapovitch

REVIEW 2 major objections 3 minor 43 references

On the structure of RCD spaces with upper curvature bounds

T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Every RCD space with an Alexandrov upper curvature bound is a topological manifold with boundary, and its interior consists precisely of the regular points.

desk verdict The paper proves the manifold-with-boundary theorem for all RCD+CAT spaces; the main soft spot is Remark 3.5, where the key closure argument is left as a sketch. read the letter →

arxiv 1908.07036 v2 pith:PPFHMX2A submitted 2019-08-19 math.DG math.MG

Vitali Kapovitch , Martin Kell , Christian Ketterer This is my paper · ORCID

classification math.DGmath.MG MSC 53C2053C21

keywords RCDspacesCAT(kappa)metricmeasureAlexandrovcurvatureboundsmanifoldwithboundarygeodesictangentconeDCcoordinatesspheretheorem

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

The paper proves that a metric measure space satisfying the synthetic Ricci lower bound $RCD(K,N)$ together with an Alexandrov upper curvature bound $\mathrm{CAT}(\kappa)$ is always a topological manifold with boundary, with the manifold interior equal to the set of regular points. It shows further that this regular set is geodesically convex, that geodesics inside it extend locally, and that it admits $C^1$ (in fact $DC^0$) coordinates in which the distance is induced by a continuous Riemannian metric of bounded variation. A companion sphere theorem says that in the model case $RCD(N-1,N)$ with $\mathrm{CAT}(1)$, the space is either a metric measure sphere or homeomorphic to a closed disk. Because this class of spaces is closed under measured Gromov–Hausdorff limits, the theorem supplies a structural description of every limit space in the class.

What carries the argument

The load-bearing object is the geodesic tangent cone $T^g_p X$, the Euclidean cone over the space of geodesic directions $\Sigma^g_p X$ at $p$. The paper isolates an abstract class $\mathcal{C}$ of $\mathrm{CAT}(1)$ spaces that is closed under pointed Gromov–Hausdorff limits, non-branching, uniformly doubling, and stable under taking geodesic tangent cones and suspensions; $RCD+\mathrm{CAT}$ spaces enter this class because the curvature-dimension condition forces infinitesimal Hilbertianity and non-branching. Inside the class, the decisive mechanism is a chain of equivalences: a point is regular iff its space of directions is non-contractible iff geodesics starting there extend locally iff the geodesic tangent cone is Euclidean, detected through local homology and a geodesic-extension criterion. To promote this to manifold structure, the paper uses DC coordinates (functions written locally as differences of semiconvex functions) and a bounded-variation (BV) Riemannian metric, imported from the theory of geodesically complete CAT spaces.

What would settle it

Exhibit a compact $RCD(K,N)$ space with $\mathrm{CAT}(\kappa)$ and nonempty geometric boundary where some boundary point has geodesic tangent cone not homeomorphic to a Euclidean half-space of dimension equal to the space dimension, or, in the empty-boundary model case, a space not metric-measure isomorphic to a sphere; the paper's theorem predicts all boundary tangent cones are half-spaces, so one such example would refute the manifold-with-boundary conclusion.

Watch

Extended reading notes

Core claim

The central discovery is that the combination of a lower Ricci bound in the synthetic $RCD$ sense with an upper sectional-curvature bound in the Alexandrov $\mathrm{CAT}$ sense forces the regular/boundary dichotomy to coincide exactly with the manifold-interior/boundary dichotomy. Regular points are characterized equivalently as points whose space of geodesic directions is non-contractible, as points at which every geodesic extends locally, and as points whose tangent cone is Euclidean. The proof axiomatizes an abstract class $\mathcal{C}$ of $\mathrm{CAT}(1)$ spaces closed under blow-up limits, non-branching, doubling, and taking geodesic tangent cones and suspensions; in that class the regular set is dense, open, geodesically convex, and equal to a single regularity stratum, and the whole space is homeomorphic to a manifold with boundary equal to the geometric boundary. For $RCD+\mathrm{CAT}$ spaces this yields the $C^1$/$DC^0$ smooth structure and the $BV\cap C^0$ Riemannian metric on the interior.

Load-bearing premise

The proof rests on the premise that at every point the directions one sees along geodesics form a closed convex cone inside every infinitesimal blow-up of the space, and that repeating the same construction at directions inside that cone keeps enough structure for the splitting theorem; if either inherited structure failed, the abstract class no longer exists and the manifold conclusion has no support.

Editorial extensions

If this is right

Every $RCD(K,N)$ space with $\mathrm{CAT}(\kappa)$ is a topological $n$-manifold with boundary, where $n$ is the geometric dimension, and the interior equals the regular set; hence there are no singular interior points of any other kind.
The regular set is geodesically convex, geodesics inside it extend locally, and it carries $C^1$/$DC^0$ coordinates with a $BV\cap C^0$ Riemannian metric inducing the original distance, so standard differential-geometric formulas are valid on the interior.
In the model case $RCD(N-1,N)$ with $\mathrm{CAT}(1)$, a nonempty geometric boundary forces the space to be homeomorphic to a closed disk of dimension at most $N$, while empty boundary forces the space to be a metric measure sphere $S^N$.
The volume-density function $\theta(x)=\lim_{r\to 0} m(B_r(x))/(\omega_n r^n)$ exists at every regular point, is locally Lipschitz and positive there, and in weakly non-collapsed spaces it is constant almost everywhere, confirming the conjecture that weak non-collapsing forces measure rigidity.
Same-scale tangent cones are continuous along the interior of every geodesic, giving a Ricci-limit-like stability property in this larger class.

Reading between the lines

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

The abstract axiomatization suggests the manifold-with-boundary conclusion likely holds for any class of non-branching, doubling $\mathrm{CAT}(1)$ spaces closed under geodesic tangents and suspensions; a testable extension is the measure-contraction class the paper says it plans to study.
The continuity of same-scale tangent cones along geodesics may imply that the geometric dimension is constant along geodesics in this class, a direct dimension-constancy statement not spelled out in the paper.
A recent preprint mentioned in the introduction confirms the weakly non-collapsed density conjecture for compact RCD spaces without an upper curvature bound; if that route combines with the DC-coordinate machinery developed here, the same theorem may extend to all RCD spaces, making this paper a stepping stone rather than an endpoint.
Because the interior regular set is geodesically convex, optimal transport between regular points likely stays inside the regular set, which could allow analytic constructions such as heat flow and gradient flows to live entirely on the smooth part.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Colleague,

The main thing to know: this paper proves that every RCD(K,N) space with an upper curvature bound (CAT(κ)) is a topological manifold with boundary, with the interior equal to the regular set. That resolves the regularity problem for the entire class, collapsed and non-collapsed alike. The extras—geodesic convexity of the regular set, the C^1 manifold structure with a BV∩C^0 Riemannian metric that induces the distance, the sphere theorem, continuity of same-scale tangent cones along geodesics—are all genuine progress. The abstract class C framework is a clean way to separate the topological core from the RCD machinery, and Section 8 shows the same conclusions hold for a purely metric class of non-branching CAT(1) spaces. The paper also discloses the overlap with the authors' own KK19, which is fine.

The proof is mostly careful. The structure theorem (3.19) is proved cleanly using Kleiner's splitting dimension and the Lytchak–Schroeder extendibility criterion. The density section is solid and gives a simpler road to the Gigli–De Philippis conjecture in this setting.

The soft spot is Remark 3.5. To place RCD+CAT spaces in the class C, the authors need closure under iterated geodesic spaces of directions. That is exactly what the remark claims: it builds an RCD structure on T^g_pX as a pmGH limit of ε-neighborhoods, concedes that Σ^g_p itself gets no natural measure, and then asserts that the splitting theorem gives an RCD structure on T^g_vΣ^g_pX. The stress-test is right to flag this as a hinge. The leap from the GH tangent factor T_vΣ^g_pX to the geodesic tangent T^g_vΣ^g_pX is not proved, and without it the iterated directions do not yet carry RCD measures. On reading, I think the gap is fillable: once T_vΣ^g_pX is RCD, the convex subcone T^g_vΣ^g_pX can be handled by the same ε-neighborhood construction used earlier. But the paper does not say this, and a referee should require a detailed argument. There is also a smaller unstated assumption that convex ε-neighborhoods in a CAT(0) RCD space are themselves RCD; that deserves a reference or a proof.

These are technical rather than conceptual. The central argument holds up as far as I can see. The paper deserves serious peer review. I would send it to a strong metric geometer, asking them to pin down Remark 3.5 before publication.

Referee Report

2 major / 3 minor

Summary. The paper studies metric measure spaces (X,d,m) that are RCD(K,N) and CAT(κ). Section 3 introduces an abstract class C of CAT(1) spaces satisfying seven closure axioms and proves inside C that every space is a topological manifold with boundary, that the regular set R is geodesically convex and coincides with the manifold interior, and that R carries a C1 structure with a BV^0 Riemannian metric inducing d. The paper then asserts that RCD+CAT spaces belong to C, which yields Theorem 1.1 as the main structural result. Further results include a sphere theorem for RCD(N-1,N)+CAT(1) spaces, existence and regularity of a density function, rigidity for weakly non-collapsed spaces, continuity of same-scale tangent cones along geodesics, and an extension of the structure theory to weakly stably non-branching CAT(1) spaces.

Significance. If the proof of the main theorem were complete, this would be a significant structural result: it would extend the Berestovskii-Nikolaev theorem for Alexandrov spaces to a strictly larger class that is stable under measured Gromov-Hausdorff convergence, and it would provide the DC/BV calculus needed for further analytic arguments. The paper is carefully organized and honest: it explicitly discloses the overlap with [KK19], names open questions, and identifies where arguments rely on external results. The abstract class C is a useful organizing device, and Section 8 gives an independent classification for a purely metric class of weakly stably non-branching CAT(1) spaces. However, the central claim depends on a closure property that the authors themselves mark as not established.

major comments (2)

[§3, Remark 3.5 and definition of the class C] The membership of spaces satisfying (6) in the abstract class C is asserted but not proved. To verify axiom (v), one needs the geodesic tangent cone T^g_pX to be in C. The remark constructs an RCD(0,N) limit measure on T^g_pX as a pmGH limit of neighbourhoods Y_ε, but it explicitly concedes that the limit measure need not be a volume cone, so no natural RCD measure is obtained on the space of directions Σ^g_pX. To verify axiom (vii), one needs that, for v ∈ Σ^g_pX, the splitting theorem applied to T^g_pX produces a factor isometric to the geodesic tangent cone T^g_vΣ^g_pX. The remark only gives an isomorphism with R×T_vΣ^g_pX, and the equality of the metric tangent cone T_vΣ^g_pX with the geodesic tangent cone T^g_vΣ^g_pX is precisely the missing volume-cone property. This is load-bearing: Theorem 3.19, Corollary 4.4, Theorem 5.1 and Corollary 4.6 use axioms (v)-(vii) repeatedly, for example through Proposition 3.13, Lemma 3.9 and Proposition 4.1. Without a proof of the two missing facts (a) and (b) identified in Remark 3.5, the main theorem is conditional on an unproved closure statement.
[§8, Corollary 8.5] The same gap propagates to the MCP statement. The proof of Corollary 8.5 asserts that geodesic tangents of CAT(1) spaces with MCP(K,N) inherit MCP(0,N) by saying 'As in Remark 3.5 this shows that geodesic tangents are CAT(0) spaces with MCP(0,N) condition as well.' This repeats the same unproved inheritance: a limit measure on a geodesic tangent cone need not be a volume cone, and the iterated geodesic spaces of directions are not known to carry MCP measures. Consequently Corollary 8.5 does not provide an independent proof that RCD+CAT spaces lie in C_n, and the broader classification in Section 8 does not repair the gap in the main theorem.

minor comments (3)

[§3, Remark 3.5] The notation T_vT^g_pX is ambiguous because v is used both for a point of Σ^g_pX and for the corresponding point of the cone T^g_pX; please specify at which height the tangent cone is taken.
[Title and abstract] The arXiv version contains typesetting artifacts such as 'SP ACES' in the title and 'W e' in the abstract; these should be corrected in the final version.
[§7, Theorem 7.4] The proof uses Sturm's D-convergence without recalling its definition; adding a one-sentence definition or a precise reference would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reasoning: the RCD+CAT structure theorem is not derived from its conclusion; the only flagged issue is an unproved identification in Remark 3.5, which is a proof gap rather than a circular step.

full rationale

The central Theorem 1.1 is obtained by first proving a structure theorem for an abstract class C satisfying axioms (i)-(vii) and then arguing that RCD+CAT spaces form an instance of C. No line of this argument assumes the manifold-with-boundary conclusion, the equality of regular set and interior, or the density result. The cited inputs [KK17] and [KK19] are independent, parameter-free results with stated assumptions (CD+CAT implies infinitesimal Hilbertianity and non-branching; weakly non-collapsed RCD+CAT density), and the overlap with [KK19] is explicitly disclosed in the introduction. The one passage that announces an incomplete verification is Remark 3.5, which concedes: "Note however, that even though T^g_p X is a metric cone by construction, it's not clear if (T^g_p X, d∞, m^g∞, o) is always a volume cone," and then asserts that the splitting theorem gives T^g_v Σ^g_p X a natural RCD(0,N−1) structure. This assertion is load-bearing for verifying axioms (v)-(vii) for RCD+CAT spaces, and the required identification of the splitting factor with the geodesic tangent cone is not fully justified, since Lemma 3.4(i) only embeds T^g_v Σ^g_p X into the tangent cone. However, this is a potential gap in the proof, not circularity: the splitting theorem is an external structural input, and the missing identification is neither the same as nor derived from the theorem being proved. No equation in the paper reduces a claimed prediction to its own input, no fitted parameter is renamed as a prediction, and no load-bearing argument reduces to an unverified self-citation. Therefore the circularity score is 0.

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

The central claim rests on the established structure theory of RCD and CAT spaces. No free parameters are introduced. The proof does not postulate new objects; it derives the manifold structure from the given axioms.

assumptions (5)

domain assumption CD(K,N) + CAT(kappa) implies infinitesimal Hilbertian and non-branching (KK17).
Used to establish that X is RCD and non-branching, the starting point of the structure theory.
domain assumption Geometric dimension of an RCD space is well-defined and the regular set has full measure (BS18).
Provides the dimension n and the density of regular points.
domain assumption Splitting theorem holds for RCD(0,N) spaces and applies to geodesic tangent cones (Remark 3.5).
Used to show that spaces of directions with opposites are spherical suspensions, a key step in the induction.
domain assumption Kleiner's dimension theory and Kramer's local homology theorem for CAT spaces (Kle99, Kra11).
Used to relate topological dimension, splitting dimension, and to prove local Euclidean structure at regular points.
domain assumption Lytchak-Nagano DC coordinates and BV Riemannian metric on regular parts of CAT spaces (LN19).
Provides the DC coordinate charts and the BV metric used in Theorem 5.1.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the structure of RCD spaces with upper curvature bounds." pith.science (2026). https://pith.science/paper/PPFHMX2A

@misc{pith2026190807036,
  author       = {Pith},
  title        = {Pith review of: On the structure of RCD spaces with upper curvature bounds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PPFHMX2A}},
  note         = {Machine review of arXiv:1908.07036}
}

read the original abstract

We develop a structure theory for RCD spaces with curvature bounded above in Alexandrov sense. In particular, we show that any such space is a topological manifold with boundary whose interior is equal to the set of regular points. Further the set of regular points is a smooth manifold and is geodesically convex. Around regular points there are DC coordinates and the distance is induced by a continuous BV Riemannian metric.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 31 canonical work pages

[1]

Luigi Ambrosio and J\' e r\^ o me Bertrand, D C calculus , Math. Z. 288 (2018), no. 3-4, 1037--1080. 3778989

work page 2018
[2]

Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar \'e , Density of L ipschitz functions and equivalence of weak gradients in metric measure spaces , Rev. Mat. Iberoam. 29 (2013), no. 3, 969--996. 3090143

work page 2013
[3]

, Calculus and heat flow in metric measure spaces and applications to spaces with R icci bounds from below , Invent. Math. 195 (2014), no. 2, 289--391. 3152751

work page 2014
[4]

, Metric measure spaces with R iemannian R icci curvature bounded from below , Duke Math. J. 163 (2014), no. 7, 1405--1490. 3205729

work page 2014
[5]

Portegies , and David Tewodrose , Embedding of RCD^*(K,N) spaces in L^2 via eigenfunctions , arXiv e-prints (2018), arXiv:1812.03712

Luigi Ambrosio , Shouhei Honda , Jacobus W. Portegies , and David Tewodrose , Embedding of RCD^*(K,N) spaces in L^2 via eigenfunctions , arXiv e-prints (2018), arXiv:1812.03712

arXiv 2018
[6]

Werner Ballmann and Michael Brin, Diameter rigidity of spherical polyhedra, Duke Math. J. 97 (1999), no. 2, 235--259. 1682245

work page 1999
[7]

33, American Mathematical Society, Providence, RI, 2001

Dmitri Burago, Yuri Burago, and Sergei Ivanov, A course in metric geometry, Graduate Studies in Mathematics, vol. 33, American Mathematical Society, Providence, RI, 2001. 1835418 (2002e:53053)

2001
[8]

Berestovski , Busemann spaces with upper-bounded A leksandrov curvature , Algebra i Analiz 14 (2002), no

Valeri N. Berestovski , Busemann spaces with upper-bounded A leksandrov curvature , Algebra i Analiz 14 (2002), no. 5, 3--18, translation in St. Petersburg Math. J. 14 (2003), no. 5, 713--723. 1970330

work page 2002

Show all 43 references

[9]

Bridson and Andr \'e Haefliger, Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol

Martin R. Bridson and Andr \'e Haefliger, Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin, 1999. MR1744486 (2000k:53038)

1999
[10]

Berestovski and Igor G

Valeri N. Berestovski and Igor G. Nikolaev, Multidimensional generalized R iemannian spaces , Geometry, IV , Encyclopaedia Math. Sci., vol. 70, Springer, Berlin, 1993, pp. 165--243, 245--250. 1263965

1993
[11]

Elia Bru \`e and Daniele Semola , Constancy of the dimension for RCD(K,N) spaces via regularity of Lagrangian flows , arXiv e-prints (2018), arXiv:1804.07128

2018 arXiv
[12]

Jeff Cheeger, Differentiability of L ipschitz functions on metric measure spaces , Geom. Funct. Anal. 9 (1999), no. 3, 428--517. 1708448 (2000g:53043)

1999
[13]

Fabio Cavalletti and Andrea Mondino, Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower R icci curvature bounds , Invent. Math. 208 (2017), no. 3, 803--849. 3648975

2017
[14]

Tobias Holck Colding and Aaron Naber, Sharp H \"older continuity of tangent cones for spaces with a lower R icci curvature bound and applications , Ann. of Math. (2) 176 (2012), no. 2, 1173--1229. 2950772

2012
[15]

Guido De Philippis and Nicola Gigli, Non-collapsed spaces with R icci curvature bounded from below , J. \' E c. polytech. Math. 5 (2018), 613--650. 3852263

2018
[16]

Guido De Philippis, Andrea Marchese, and Filip Rindler, On a conjecture of C heeger , Measure theory in non-smooth spaces, Partial Differ. Equ. Meas. Theory, De Gruyter Open, Warsaw, 2017, pp. 145--155. 3701738

2017
[17]

Evans and Ronald F

Lawrence C. Evans and Ronald F. Gariepy, Measure theory and fine properties of functions, revised ed., Textbooks in Mathematics, CRC Press, Boca Raton, FL, 2015. 3409135

2015
[18]

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

2015
[19]

Nicola Gigli, Andrea Mondino, and Giuseppe 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), no. 5, 1071--1129. 3477230

2015
[20]

Nicola Gigli and Enrico Pasqualetto , Behaviour of the reference measure on RCD spaces under charts , arXiv e-prints (2016), arXiv:1607.05188

2016 arXiv
[21]

Bang-Xian Han , Measure rigidity of synthetic lower Ricci curvature bound on Riemannian manifolds , arXiv e-prints (2019), arXiv:1902.00942

2019 arXiv
[22]

Shouhei Honda , New differential operator and non-collapsed \ RCD\ spaces , arXiv e-prints (2019), arXiv:1905.00123

2019 arXiv
[23]

Martin Kell, Transport maps, non-branching sets of geodesics and measure rigidity, Adv. Math. 320 (2017), 520--573. MR3709114

2017
[24]

Christian Ketterer, Cones over metric measure spaces and the maximal diameter theorem, J. Math. Pures Appl. (9) 103 (2015), no. 5, 1228--1275. 3333056

2015
[25]

Yu Kitabeppu, A B ishop-type inequality on metric measure spaces with R icci curvature bounded below , Proc. Amer. Math. Soc. 145 (2017), no. 7, 3137--3151. 3637960

2017
[26]

51 (2019), no

, A S ufficient C ondition to a R egular S et B eing of P ositive M easure on S paces , Potential Anal. 51 (2019), no. 2, 179--196. 3983504

2019
[27]

Vitali Kapovitch and Christian Ketterer, CD meets CAT , arXiv e-prints (2017), arXiv:1712.02839

2017 arXiv
[28]

, Weakly noncollapsed RCD spaces with upper curvature bounds , arXiv e-prints (2019), arXiv:1901.06966

2019 arXiv
[29]

Reine Angew

Vitali Kapovitch and Nan Li, On dimensions of tangent cones in limit spaces with lower R icci curvature bounds , J. Reine Angew. Math. 742 (2018), 263--280. 3849628

2018
[30]

Bruce Kleiner, The local structure of length spaces with curvature bounded above, Math. Z. 231 (1999), no. 3, 409--456. 1704987

1999
[31]

Martin Kell and Andrea Mondino, On the volume measure of non-smooth spaces with R icci curvature bounded below , 2018. 3801291

2018
[32]

Vitali Kapovitch and Andrea Mondino, On the topology and the boundary of N -dimensional RCD(K,N) spaces , arXiv:1907.02614, 2019

1907 arXiv
[33]

Linus Kramer, On the local structure and the homology of CAT ( ) spaces and E uclidean buildings , Adv. Geom. 11 (2011), no. 2, 347--369. 2795430

2011
[34]

Alexander Lytchak and Koichi Nagano, Geodesically complete spaces with an upper curvature bound, Geom. Funct. Anal. 29 (2019), no. 1, 295--342. 3925112

2019
[35]

Alexander Lytchak and Viktor Schroeder, Affine functions on CAT ( ) -spaces , Math. Z. 255 (2007), no. 2, 231--244. 2262730

2007
[36]

John Lott and C \'e dric Villani, Ricci curvature for metric-measure spaces via optimal transport, Ann. of Math. (2) 169 (2009), no. 3, 903--991. 2480619 (2010i:53068)

2009
[37]

Simone Di Marino, Nicola Gigli, Enrico Pasqualetto, and Elefterios Soultanis, Infinitesimal hilbertianity of locally CAT( ) -spaces , arXiv e-prints (2018), arXiv:1812.02086

2018 arXiv
[38]

Andrea Mondino and Aaron Naber, Structure theory of metric measure spaces with lower R icci curvature bounds , J. Eur. Math. Soc. (JEMS) 21 (2019), no. 6, 1809--1854. 3945743

2019
[39]

Shin-ichi Ohta, On the measure contraction property of metric measure spaces, Comment. Math. Helv. 82 (2007), no. 3, 805--828. 2341840 (2008j:53075)

2007
[40]

Perelman, DC structure on A lexandrov space with curvature bounded below

G. Perelman, DC structure on A lexandrov space with curvature bounded below. , preprint, http://www.math.psu.edu/petrunin/papers/papers.html, 1995

1995
[41]

Anton Petrunin, Alexandrov meets L ott- V illani- S turm , M\"unster J. Math. 4 (2011), 53--64. 2869253 (2012m:53087)

2011
[42]

I , Acta Math

Karl-Theodor Sturm, On the geometry of metric measure spaces. I , Acta Math. 196 (2006), no. 1, 65--131. 2237206 (2007k:53051a)

2006
[43]

II , Acta Math

, On the geometry of metric measure spaces. II , Acta Math. 196 (2006), no. 1, 133--177. 2237207 (2007k:53051b)

2006

Pith tools

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

[1] [1]

Luigi Ambrosio and J\' e r\^ o me Bertrand, D C calculus , Math. Z. 288 (2018), no. 3-4, 1037--1080. 3778989

work page 2018

[2] [2]

Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar \'e , Density of L ipschitz functions and equivalence of weak gradients in metric measure spaces , Rev. Mat. Iberoam. 29 (2013), no. 3, 969--996. 3090143

work page 2013

[3] [3]

, Calculus and heat flow in metric measure spaces and applications to spaces with R icci bounds from below , Invent. Math. 195 (2014), no. 2, 289--391. 3152751

work page 2014

[4] [4]

, Metric measure spaces with R iemannian R icci curvature bounded from below , Duke Math. J. 163 (2014), no. 7, 1405--1490. 3205729

work page 2014

[5] [5]

Portegies , and David Tewodrose , Embedding of RCD^*(K,N) spaces in L^2 via eigenfunctions , arXiv e-prints (2018), arXiv:1812.03712

Luigi Ambrosio , Shouhei Honda , Jacobus W. Portegies , and David Tewodrose , Embedding of RCD^*(K,N) spaces in L^2 via eigenfunctions , arXiv e-prints (2018), arXiv:1812.03712

arXiv 2018

[6] [6]

Werner Ballmann and Michael Brin, Diameter rigidity of spherical polyhedra, Duke Math. J. 97 (1999), no. 2, 235--259. 1682245

work page 1999

[7] [7]

33, American Mathematical Society, Providence, RI, 2001

Dmitri Burago, Yuri Burago, and Sergei Ivanov, A course in metric geometry, Graduate Studies in Mathematics, vol. 33, American Mathematical Society, Providence, RI, 2001. 1835418 (2002e:53053)

2001

[8] [8]

Berestovski , Busemann spaces with upper-bounded A leksandrov curvature , Algebra i Analiz 14 (2002), no

Valeri N. Berestovski , Busemann spaces with upper-bounded A leksandrov curvature , Algebra i Analiz 14 (2002), no. 5, 3--18, translation in St. Petersburg Math. J. 14 (2003), no. 5, 713--723. 1970330

work page 2002