Pith. sign in

REVIEW 2 major objections 2 minor 1 cited by

Rectifiability of the reduced boundary for sets of finite perimeter over RCD$(K,N)$ spaces

T0 review · 2 major / 2 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 Reduced boundaries in RCD spaces are rectifiable: finite-perimeter sets have unique Euclidean half-space blow-ups and are covered by countably many bi-Lipschitz pieces.

desk verdict This paper closes the De Giorgi program for sets of finite perimeter on RCD(K,N) spaces: uniqueness of Euclidean half-space tangents and rectifiability of the reduced boundary, removing the non-collapsed restriction and covering collapsed Ricci limits. read the letter →

arxiv 1909.00381 v1 pith:EC26ZYY5 submitted 2019-09-01 math.MG math.DGmath.FA

Elia Bruè , Enrico Pasqualetto , Daniele Semola This is my paper · ORCID
classification math.MGmath.DGmath.FA MSC 26B3026B2053C23
keywords setsoffiniteperimeterreducedboundaryrectifiabilityRCDmetricmeasurespacesGauss-GreenformulaharmonicsplittingmapstangentconesDeGiorgitheorem
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 De Giorgi's theorem—the classical structure result for sets of finite perimeter—holds for RCD(K,N) metric measure spaces, the synthetic setting of spaces with Ricci curvature bounded below and dimension bounded above. The authors show that at almost every point of the reduced boundary of a set of finite perimeter there is one and only one tangent object: a Euclidean half-space of dimension k, for some k between 1 and the essential dimension. They then show that the stratum where this k occurs is rectifiable, meaning it is covered up to perimeter-negligible sets by countably many bi-Lipschitz images of $R^{{k-1}}$, with the perimeter measure represented by the codimension-one Hausdorff measure. These conclusions are new even for Ricci limit spaces and provide the missing boundary counterpart of the known structure theory for the ambient spaces.

What carries the argument

The load-bearing tool is a Gauss–Green integration-by-parts formula on RCD spaces (Theorem 2.2). Because the perimeter measure is absolutely continuous with respect to the 2-capacity, the paper can construct a capacitary tangent module over the boundary of E, define a trace of Sobolev vector fields there, and obtain a unit exterior normal $\nu_E$ satisfying $\int_E \mathrm{div}(v)\, dm = -\int \langle \mathrm{tr}_E(v), \nu_E\rangle\, d|D\chi_E|$. This normal is then combined with harmonic $\delta$-splitting maps—harmonic maps whose gradients form an almost orthonormal frame with small Hessian—to detect the Euclidean coordinate directions. A weighted maximal-function argument propagates the $\delta$-splitting and its $\delta$-orthogonality to the normal from one scale to all scales outside a set of small codimension-one Hausdorff content, which is what yields uniqueness of tangents and then bi-Lipschitz rectifiability.

What would settle it

A concrete way to falsify the central claim is to find an RCD(K,N) space and a finite-perimeter set E with a point x in a stratum $F^k_E$ where the density ratio $r|D\chi_E|(B_r(x))/m(B_r(x))$ does not converge to $\omega_{k-1}/\omega_k$ as $r\to 0$, since Corollary 3.15 forces this limit at every point of the reduced boundary. Equally, exhibiting a point with two distinct half-space tangents of different dimensions on a set of positive perimeter would contradict Theorem 3.2.

Watch

Extended reading notes

Core claim

Let (X,d,m) be an RCD(K,N) space with essential dimension n and E a set of finite perimeter. The paper establishes that for $|D\chi_E|$-almost every $x$ there is $k\in\{1,\ldots,n\}$ such that the tangent collection reduces to the single Euclidean half-space $(\mathbb{R}^k, d_{\mathrm{eucl}}, c_k \mathcal{L}^k, 0_k, \{x_k>0\})$. Defining the reduced boundary stratum $F^k_E$ as the points with this unique tangent, the paper proves each $F^k_E$ is $(|D\chi_E|, k-1)$-rectifiable; equivalently, up to $|D\chi_E|$-negligible sets, $F^k_E$ is covered by countably many bi-Lipschitz images of subsets of $\mathbb{R}^{k-1}$. A companion representation formula gives $|D\chi_E| = \sum_{k=1}^n \frac{\omega_{k-1}}{\omega_k} \mathcal{H}^{h}|_{F^k_E}$. In the non-collapsed case this reduces to the classical statement that the reduced boundary is $(N-1)$-rectifiable and its perimeter measure equals $\mathcal{H}^{N-1}$ restricted to it.

Load-bearing premise

Everything rests on the perimeter measure being a codimension-one object: $|D\chi_E|$ is absolutely continuous with respect to the codimension-one Hausdorff measure, and hence with respect to the 2-capacity; if perimeter could concentrate in codimension two or higher, the trace, the normal, and the scale propagation would all break down.

Editorial extensions

If this is right

  • At almost every boundary point, the blow-up of a finite-perimeter set is unique: a Euclidean half-space of some dimension k, never a product with a nontrivial factor.
  • The reduced boundary stratum $F^k_E$ is countably covered by bi-Lipschitz images of subsets of $\mathbb{R}^{k-1}$, so the classical De Giorgi rectifiability theorem holds in RCD spaces.
  • The perimeter measure is a weighted codimension-one Hausdorff measure on the reduced boundary, with density $\omega_{k-1}/\omega_k$ on $F^k_E$.
  • In non-collapsed RCD spaces, the reduced boundary is $(N-1)$-rectifiable and the perimeter measure equals $\mathcal{H}^{N-1}$ restricted to it, matching the Euclidean statement.
  • Taking a product with a Euclidean line and the half-space $\{t>0\}$, rectifiability of the reduced boundary implies rectifiability of the ambient RCD space itself.

Reading between the lines

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

  • [Inference] The same proof structure should work on any PI space where perimeter is controlled by codimension-one Hausdorff measure and harmonic functions satisfy L^2 Hessian estimates; RCD spaces are one natural setting, not the only one.
  • [Inference] The quantitative nature of the maximal-function argument suggests an $\varepsilon$-regularity statement: if a finite-perimeter set is $\delta$-close to a half-space at one scale and the splitting map is $\delta$-orthogonal to the normal, then it is bi-Lipschitz to a hypersurface at all smaller scales with explicit constants—testable in concrete examples.
  • [Inference] Since the paper does not use constancy of dimension, a sharper version might show each stratum $F^k_E$ has a single dimension k and the sum in the representation formula collapses to one codimension-one measure; this is a natural next step.
  • [Inference] The authors' remark that the strategy fails for perimeter of codimension at least two suggests that extending these results to higher-codimension objects (e.g. minimal surfaces or clusters in RCD spaces) requires a new mechanism, not just a re-run of the same argument.
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.

Referee Report

2 major / 2 minor

Summary. The paper proves uniqueness of tangents and rectifiability for the reduced boundary of sets of finite perimeter in RCD(K,N) metric measure spaces. Starting from the existence of Euclidean half-space tangents established in [2], the authors develop a Gauss–Green integration-by-parts formula using a new tangent module over the boundary, built by projecting the capacitary tangent module of [22] onto the perimeter measure. A weighted maximal-function argument with harmonic δ-splitting maps then propagates regularity to yield, for |DχE|-almost every point, a unique tangent equal to a Euclidean half-space (Theorem 3.2), the (|DχE|,k−1)-rectifiability of the strata F_k^E (Theorem 4.1), and a representation of the perimeter measure in terms of codimension-one Hausdorff measure (Corollary 3.15).

Significance. These are major results. Theorems 3.2 and 4.1 resolve open questions from [2] and provide the first De Giorgi-type rectifiability theorem for sets of finite perimeter in full RCD(K,N) generality, with the non-collapsed case stated in Corollary 4.2. The novelty is significant even for Ricci limit spaces. The paper is technically substantial: it constructs a boundary tangent module, proves a Gauss–Green formula, and adapts δ-splitting techniques to codimension-one objects. The proofs are detailed and, apart from the issues below, internally coherent. The result is a clear advance in the structure theory of RCD spaces, and the perimeter-measure representation in Corollary 3.15 is a strong additional payoff.

major comments (2)
  1. [§2, Theorems 2.1–2.2] The application of Corollary 3.12 in the proof of the claim is not justified. Corollary 3.12 states that a δ-splitting map on B_{4r}(p) yields a good set G contained in B_{2r}(p) with the splitting property only for scales s<r. In this proof, the map u_i is defined on B_{5r_i}(x_i); taking r=5r_i/4, the corollary gives G_i⊂B_{2.5r_i}(x_i), not G_i⊂B_{5r_i}(x_i). The text instead asserts G_i⊂B_{5r_i}(x_i) with the estimate H^h_5(B_{5r_i}(x_i)\G_i)≤ C_N√δ m(B_{5r_i}(x_i))/(5r_i), which does not follow. The annulus B_{5r_i}(x_i)\B_{2.5r_i}(x_i) can carry H^h_5-measure comparable to Per(E,B_{r_i}(x_i)) per ball, and summing over the Vitali family gives a constant multiple of Per(E,B_2(p)) that is not small. Since (3.7) is the step needed to obtain Per(E,A_k\G_η)=0 via Lemma 1.10, this is load-bearing. The proof should be repaired, for instance by choosing the initial covering balls so that the good set obtained from Corollary 3.12 actually controls the H^h_5-measure of the bad part of each covering ball.
  2. [§3.2] The construction of the boundary tangent module L^2_E(TX) and the Gauss–Green formula depend on two black-box results from [22]: the existence of the capacitary tangent module (Theorem 1.35 in the present paper) and the quasi-continuous representative theorem for Sobolev vector fields ([22, Theorem 2.14]). These results are taken from a submitted preprint that shares an author with the present paper, and they are essential for the trace operator tr_E and the exterior normal ν_E. The manuscript should state the precise hypotheses under which these results hold and verify that an RCD(K,N) space as used here satisfies them; in particular the projection in Lemma 1.36 requires a finite Borel measure μ≪Cap, which is provided by Lemma 1.10 and Theorem 1.12, but the hypotheses for [22, Theorem 2.14] (σ-finiteness, local compactness, or other global properties) are not checked. Without this, the existence of ν_E and the subsequent orthogonality propagation in Propositions 4.5 and 4.7 lack a verified foundation.
minor comments (2)
  1. [§4.1] The deduction of lim_{r→0} r^2 ⨏_{B_r(x)} |Hess φ|^2 dm = 0 for |Dχ_E|-a.e. x should explicitly apply Lemma 1.11 with α=1, not α=2. The inclusion {limsup r^2(f)_{x,r}>0} ⊂ {limsup r(f)_{x,r}>0} makes the argument correct after combining Lemma 1.11(α=1) with Lemma 1.10, but the text as written is ambiguous.
  2. [§4.2] In the displayed equation before (4.24), the convergence of (X_n,d_n,m_n,x_n) to (R^k, d_eucl, (1/ω_k)L^k, 0) follows from condition (i) with r=1/2 and |K|≤4; for clarity, it would help to state explicitly that the rescaling is the one given in condition (i), since the proof later uses both the normalized measure and the c_k-normalization of Definition 1.15.

Circularity Check

0 steps flagged · score 1.0 of 10

No substantive circularity: the paper's central theorems are derived from independent inputs, with the main non-proved inputs being external theorems whose statements do not contain the target conclusions.

full rationale

The derivation of Theorem 3.2 begins explicitly from [2, Theorem 4.3] (quoted as Theorem 3.3), which states only that a Euclidean half-space tangent exists for |DχE|-a.e. point; uniqueness is not contained in that statement, and the propagation argument via harmonic δ-splitting maps supplies the missing uniqueness. Theorem 4.1 is proved from Theorem 3.2 together with Proposition 4.5 and Proposition 4.7, whose proofs use the Gauss–Green formula (Theorem 2.2) and the capacitary tangent module over the boundary. Theorem 2.2 is constructed in the paper from the heat-flow/divergence representation formula (Theorem 2.8) and is not an assumed normal vector. The quoted results from [22] (capacitary tangent module, quasi-continuous representatives for Sobolev vector fields) are external theorems with stated hypotheses; one author (Pasqualetto) overlaps, but those results are about capacities and Sobolev functions, not about uniqueness or rectifiability of perimeters, so the central claims do not reduce to them by definition. Lemma 1.10 is taken from Ambrosio [1] (not an author of the present paper), and Theorem 1.12 is proved here, so the codimension-one control of perimeter is not imported solely from self-citation. There is no fitted parameter that is later renamed a prediction; there are no empirical inputs. The note's own caveat that the strategy would fail if perimeter had codimension ≥ 2 is a scope limitation, not a circular step. In sum, the derivation chain is structurally self-contained: each main result uses previously established theorems whose statements are strictly weaker than the conclusion.

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

No free parameters appear: constants such as C_N,K, delta, epsilon, and eta are universal proof constants rather than fitted values. No new physical or geometric entity is postulated: the boundary tangent module L^2_E(TX) and the exterior normal ν_E are constructed from the capacitary calculus, not added as assumptions. The axioms are the standard machinery of RCD spaces together with the prior results [1,2,22,23].

assumptions (5)
  • domain assumption RCD(K,N) condition and its consequences: local doubling, Poincare inequality, Bishop-Gromov volume growth, stability under pmGH convergence, good cut-off functions, and L2 Hessian bounds.
    Section 1.2; the entire framework and the delta-splitting arguments presuppose these established properties of RCD spaces.
  • standard math Existence of a Euclidean half-space tangent for Per-a.e. point, quoted from [2, Theorem 4.3] as Theorem 3.3.
    This is the starting point for uniqueness; it provides existence but not uniqueness, so the paper's conclusion is not assumed in the input.
  • standard math Codimension-one relation Per(E,.) is absolutely continuous with respect to H^{h1} and H^{hα} is absolutely continuous with respect to Cap for α<2.
    Lemma 1.10 and Theorem 1.12; makes |DχE| absolutely continuous with respect to the capacity, enabling the trace and the boundary tangent module.
  • standard math Capacitary tangent module, quasi-continuous representatives, and H^{1,2}_C vector field traces from [22].
    Used in Theorem 2.1 and Theorem 2.2 to define the boundary tangent module and the exterior normal; one coauthor of the present paper is an author of [22].
  • standard math Representation of total variation via derivations and its restriction to Sobolev-regular vector fields.
    Theorem 1.7 and Theorem 2.8; used to prove that the exterior normal has unit length in Theorem 2.2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rectifiability of the reduced boundary for sets of finite perimeter over RCD$(K,N)$ spaces." pith.science (2026). https://pith.science/paper/EC26ZYY5

@misc{pith2026190900381,
  author       = {Pith},
  title        = {Pith review of: Rectifiability of the reduced boundary for sets of finite perimeter over RCD$(K,N)$ spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EC26ZYY5}},
  note         = {Machine review of arXiv:1909.00381}
}
abstract

This note is devoted to the study of sets of finite perimeter over RCD$(K,N)$ metric measure spaces. Its aim is to complete the picture about the generalization of De Giorgi's theorem within this framework. Starting from the results of [2] we obtain uniqueness of tangents and rectifiability for the reduced boundary of sets of finite perimeter. As an intermediate tool, of independent interest, we develop a Gauss-Green integration by parts formula tailored to this setting. These results are new and non-trivial even in the setting of Ricci limits.

Discussion (0). Continue with ORCID 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. Lipschitz continuity of harmonic maps between ${\rm RCD}(K,N)$ spaces and ${\rm CAT}(\kappa)$ spaces

    math.AP 2026-07 accept novelty 5.0 of 10

    Energy-minimizing harmonic maps from RCD(K,N) domains into small balls in CAT(κ) spaces are locally Lipschitz, completing the singular Bochner–Eells–Sampson picture.

Reference graph

Works this paper leans on

48 extracted references · 36 canonical work pages · cited by 1 Pith paper

  1. [2]

    Ambrosio, E

    L. Ambrosio, E. Bru `e, and D. Semola , Rigidity of the 1-Bakry- ´Emery inequality and sets of finite perimeter in RCD spaces. Accepted at Geom. Funct. Anal., arXiv:1812.07890, 2018

    arXiv 2018

  2. [22]

    Quasi-continuous vector fields on RCD spaces

    C. Debin, N. Gigli, and E. Pasqualetto , Quasi-continuous vector fields on RCD spaces. Submitted, arXiv:1903.04302, 2019

    work page Pith review arXiv 1903

  3. [1]

    Ambrosio , Fine properties of sets of finite perimeter in doubling metri c measure spaces, Set-Valued Anal., 10 (2002), pp

    L. Ambrosio , Fine properties of sets of finite perimeter in doubling metri c measure spaces, Set-Valued Anal., 10 (2002), pp. 111–128

    work page 2002

  4. [3]

    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

    work page 2014

  5. [4]

    Ambrosio, N

    L. Ambrosio, N. Gigli, A. Mondino, and T. Rajala , Riemannian Ricci curvature lower bounds in metric measure spaces with σ -finite measure , Trans. Amer. Math. Soc., 367 (2015), pp. 4661–4701

    2015

  6. [5]

    Ambrosio, N

    L. Ambrosio, N. Gigli, and G. Savar ´e, Metric measure spaces with Riemannian Ricci curvature boun ded from below, Duke Math. J., 163 (2014), pp. 1405–1490. [6] , Bakry- ´Emery curvature-dimension condition and Riemannian Ricci curvature bounds, The Annals of Probability, 43 (2015), pp. 339–404

    work page 2014

  7. [7]

    Ambrosio and S

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

    work page 2017

  8. [8]

    , Local spectral convergence in RCD∗ (K, N ) spaces, Nonlinear Anal., 177 (2018), pp. 1–23

    work page 2018

Show all 48 references
  1. [9]

    Ambrosio, S

    L. Ambrosio, S. Honda, J. W. Portegies, and D. Tewodrose , Embedding of RCD∗ (K, N ) spaces in L2 via eigenfunctions. Preprint, arXiv:1812.03712, 2018

    2018 arXiv

  2. [10]

    Ambrosio, A

    L. Ambrosio, A. Mondino, and G. Savar ´e, Nonlinear diffusion equations and curvature conditions in m etric measure spaces. Accepted at Memoirs Amer. Math. Soc., arXiv:1509.07273, 2 015

    arXiv

  3. [11]

    Antonelli, E

    G. Antonelli, E. Bru `e, and D. Semola , Volume bounds for the quantitative singular strata of non co llapsed RCD(K, N ) metric measure spaces . Submitted, arXiv:1907.02735, 2019

    1907 arXiv

  4. [12]

    Bru `e and D

    E. Bru `e and D. Semola , Constancy of the dimension for RCD(K, N ) spaces via regularity of Lagrangian flows . Accepted at Comm. Pure Appl. Math., arXiv:1804.07128, 201 8

    arXiv

  5. [13]

    Buffa, G

    V. Buffa, G. E. Comi, and M. Miranda Jr , On BV functions and essentially bounded divergence-measur e fields in metric spaces . Preprint, arXiv:1906.07432, 2019

    1906 arXiv

  6. [14]

    Cavalletti and E

    F. Cavalletti and E. Milman , The globalization theorem for the curvature dimension cond ition. Preprint, arXiv:1612.07623, 2016

    2016 arXiv

  7. [15]

    Cheeger and T

    J. Cheeger and T. H. Colding , Lower bounds on Ricci curvature and the almost rigidity of wa rped products, Ann. of Math. (2), 144 (1996), pp. 189–237. [16] , On the structure of spaces with Ricci curvature bounded belo w. I , J. Differential Geom., 46 (1997), pp. 406–480

    1996

  8. [17]

    , On the structure of spaces with Ricci curvature bounded belo w. II , J. Differential Geom., 54 (2000), pp. 13–35

    2000

  9. [18]

    , On the structure of spaces with Ricci curvature bounded belo w. III , J. Differential Geom., 54 (2000), pp. 37–74

    2000

  10. [19]

    Cheeger, W

    J. Cheeger, W. Jiang, and A. Naber , Rectifiability of Singular Sets in Noncollapsed Spaces with Ricci Curvature bounded below . Preprint, arXiv:1805.07988

    arXiv

  11. [20]

    Cheeger and A

    J. Cheeger and A. Naber , Regularity of Einstein manifolds and codimension 4 conject ure, Ann. of Math., 182 (2015), pp. 1–73

    2015

  12. [21]

    De Philippis, A

    G. De Philippis, A. Marchese, and F. Rindler , On a conjecture of Cheeger , Measure Theory in Non-Smooth Spaces, (2017)

    2017

  13. [23]

    Di Marino , Sobolev and BV spaces on metric measure spaces via derivatio ns and integration by parts

    S. Di Marino , Sobolev and BV spaces on metric measure spaces via derivatio ns and integration by parts . Submitted, arXiv:1409.5620, 2014

    2014 arXiv

  14. [24]

    Di Marino, N

    S. Di Marino, N. Gigli, E. Pasqualetto, and E. Soultanis , Infinitesimal Hilbertianity of locally CAT(κ )- spaces. Submitted, arXiv:1812.02086, 2018

    2018 arXiv

  15. [25]

    Erbar, K

    M. Erbar, K. Kuw ada, and K.-T. Sturm , On the equivalence of the entropic curvature-dimension con dition and Bochner’s inequality on metric measure spaces , Inventiones mathematicae, 201 (2014), pp. 1–79

    2014

  16. [26]

    Evans and R

    L. Evans and R. Gariepy , Measure Theory and Fine Properties of Functions , Studies in Advanced Mathe- matics, Taylor & Francis, 1991. 42 ELIA BRU `E, ENRICO PASQUALETTO, AND DANIELE SEMOLA

    1991

  17. [27]

    Gigli , Nonsmooth differential geometry - an approach tailored for s paces with Ricci curvature bounded from below

    N. Gigli , Nonsmooth differential geometry - an approach tailored for s paces with Ricci curvature bounded from below. Mem. Amer. Math. Soc., 236 (2015), pp. vi+91

    2015

  18. [28]

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

    2015

  19. [29]

    , Lecture notes on differential calculus on RCD spaces. Publ. RIMS Kyoto Univ. 54, 2018

    2018

  20. [30]

    Gigli and B

    N. Gigli and B. Han , Independence on p of weak upper gradients on RCD spaces, Journal of Functional Analysis, 271 (2014)

    2014

  21. [31]

    Gigli, A

    N. Gigli, A. Mondino, and T. Rajala , Euclidean spaces as weak tangents of infinitesimally Hilber tian metric measure spaces with Ricci curvature bounded below , J. Reine Angew. Math., 705 (2015), pp. 233–244

    2015

  22. [32]

    Gigli and E

    N. Gigli and E. Pasqualetto , Behaviour of the reference measure on RCD spaces under charts . Accepted at Communications in Analysis and Geometry, arXiv: 1607.05 188

  23. [33]

    Accepted at Communications in Analysis and Geometry, arXiv:1611.09 645

    , Equivalence of two different notions of tangent bundle on rec tifiable metric measure spaces . Accepted at Communications in Analysis and Geometry, arXiv:1611.09 645

  24. [34]

    Han , Ricci tensor on RCD∗ (K, N ) spaces

    B. Han , Ricci tensor on RCD∗ (K, N ) spaces. Preprint, arXiv: 1412.0441, 2014

    2014 arXiv

  25. [35]

    Jiang , Cheeger-harmonic functions in metric measure spaces revis ited, J

    R. Jiang , Cheeger-harmonic functions in metric measure spaces revis ited, J. Funct. Anal., 266 (2014), pp. 1373–1394

    2014

  26. [36]

    Kapovitch, A

    V. Kapovitch, A. L ytchak, and A. Petrunin , Metric-measure boundary and geodesic flow on Alexandrov spaces. Preprint, arXiv:1705.04767, 2017

    2017 arXiv

  27. [37]

    Kapovitch and A

    V. Kapovitch and A. Mondino , On the topology and the boundary of n-dimensional RCD(K, N ) spaces. Preprint, arXiv:1907.02614, 2019

    1907 arXiv

  28. [38]

    Kell and A

    M. Kell and A. Mondino , On the volume measure of non-smooth spaces with Ricci curvat ure bounded below. 2018

    2018

  29. [39]

    Lott and C

    J. Lott and C. Villani , Ricci curvature for metric-measure spaces via optimal tran sport, Ann. of Math. (2), 169 (2009), pp. 903–991

    2009

  30. [40]

    Magnani, On a measure theoretic area formula , Proc

    V. Magnani, On a measure theoretic area formula , Proc. Roy. Soc. Edinburgh Sect. A, 145 (2015), pp. 885–891

    2015

  31. [41]

    Miranda, Jr

    M. Miranda, Jr. , Functions of bounded variation on “good” metric spaces , J. Math. Pures Appl. (9), 82 (2003), pp. 975–1004

    2003

  32. [42]

    Mondino and A

    A. Mondino and A. Naber , Structure Theory of Metric-Measure Spaces with Lower Ricci Curvature Bounds. Accepted at Journ. European Math Soc., arXiv:1405.2222, 20 14

    arXiv

  33. [43]

    Petrunin , Alexandrov meets Lott-Villani-Sturm , M¨ unster J

    A. Petrunin , Alexandrov meets Lott-Villani-Sturm , M¨ unster J. Math., 4 (2011), pp. 53–64

    2011

  34. [44]

    G. D. Philippis and N. Gigli , Non-collapsed spaces with Ricci curvature bounded from bel ow, Journal de l’´Ecole polytechnique — Math´ ematiques, 5 (2018), pp. 613–65 0

    2018

  35. [45]

    Rajala , Local Poincar´ e inequalities from stable curvature conditions on metric spaces , Calc

    T. Rajala , Local Poincar´ e inequalities from stable curvature conditions on metric spaces , Calc. Var. Partial Differential Equations, 44 (2012), pp. 477–494

    2012

  36. [46]

    Savar´e, Self-improvement of the Bakry- ´Emery condition and Wasserstein contraction of the heat flow in RCD(K, ∞ ) metric measure spaces , Discrete Contin

    G. Savar´e, Self-improvement of the Bakry- ´Emery condition and Wasserstein contraction of the heat flow in RCD(K, ∞ ) metric measure spaces , Discrete Contin. Dyn. Syst., 34 (2014), pp. 1641–1661

    2014

  37. [47]

    Sturm , On the geometry of metric measure spaces

    K.-T. Sturm , On the geometry of metric measure spaces. I , Acta Math., 196 (2006), pp. 65–131

    2006

  38. [48]

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

    , On the geometry of metric measure spaces. II , Acta Math., 196 (2006), pp. 133–177

    2006

  39. [49]

    Villani , Optimal transport

    C. Villani , Optimal transport. Old and new , vol. 338 of Grundlehren der Mathematischen Wissenschafte n, Springer-Verlag, Berlin, 2009

    2009

  40. [50]

    Weaver , Lipschitz algebras and derivations

    N. Weaver , Lipschitz algebras and derivations. II. Exterior different iation, J. Funct. Anal., 178 (2000), pp. 64–112. Scuola Normale Superiore, Piazza dei Cavalieri 7, 56126 Pisa , Italy E-mail address : elia.brue@sns.it University of Jyvaskyla, Department of Mathematics and ...

    2000

Pith tools

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