Volume bounds for the quantitative singular strata of non collapsed RCD metric measure spaces

Daniele Semola; Elia Bru\`e; Gioacchino Antonelli

arxiv: 1907.02735 · v1 · pith:GJQHOEFMnew · submitted 2019-07-05 · 🧮 math.MG

Volume bounds for the quantitative singular strata of non collapsed RCD metric measure spaces

Gioacchino Antonelli , Elia Bru\`e , Daniele Semola This is my paper

Pith reviewed 2026-05-25 01:53 UTC · model grok-4.3

classification 🧮 math.MG

keywords RCD spacessingular stratavolume boundsnon-collapsed spacesmetric measure spacesquantitative differentiationRicci curvature boundsboundary enlargement

0 comments

The pith

The volume bound for effective singular strata from Cheeger-Naber extends to non-collapsed RCD(K,N) metric measure spaces.

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

This paper establishes that a volume estimate on the effective singular strata, first proved by Cheeger and Naber for non-collapsed Ricci limit spaces, continues to hold when the spaces are taken from the wider class of non-collapsed RCD(K,N) metric measure spaces. The argument uses a quantitative differentiation technique that carries over with only small modifications. As a direct result the same technique produces a volume bound on the enlargement of the Gigli-DePhilippis boundary inside these RCD spaces. A reader would care because the result enlarges the setting in which one can control the size of almost-singular regions under synthetic lower Ricci bounds.

Core claim

The volume bound for the effective singular strata obtained by Cheeger and Naber for non collapsed Ricci limits holds for non collapsed RCD(K,N) metric measure spaces. The proof, which is based on a quantitative differentiation argument, closely follows the original one. As a simple outcome the same method supplies a volume estimate for the enlargement of Gigli-DePhilippis' boundary of ncRCD(K,N) spaces.

What carries the argument

The quantitative differentiation argument that produces volume control on the effective singular strata by comparing local geometry to Euclidean space at quantitative scales.

If this is right

The same volume upper bound holds for the k-dimensional effective singular stratum inside any ncRCD(K,N) space.
The bound is uniform across the entire class of such spaces for fixed K, N and dimension k.
The enlargement of the Gigli-DePhilippis boundary in an ncRCD(K,N) space has volume controlled by the same constants.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same differentiation technique might adapt to produce volume bounds in other synthetic curvature classes beyond RCD.
Uniform volume control on singular strata could be used to study rectifiability or measure-theoretic properties of boundaries in RCD spaces.
One could test whether the constants in the bound remain exactly the same as in the Ricci-limit case or require a small adjustment depending on the RCD constants.

Load-bearing premise

The quantitative differentiation argument developed for Ricci limits applies with only minor changes to the RCD setting.

What would settle it

A concrete non-collapsed RCD(K,N) space in which the volume of the effective singular stratum at some scale exceeds the Cheeger-Naber constant would disprove the claimed bound.

read the original abstract

The aim of this note is to generalize to the class of non collapsed RCD(K,N) metric measure spaces the volume bound for the effective singular strata obtained by Cheeger and Naber for non collapsed Ricci limits in \cite{CheegerNaber13a}. The proof, which is based on a quantitative differentiation argument, closely follows the original one. As a simple outcome we provide a volume estimate for the enlargement of Gigli-DePhilippis' boundary (\cite[Remark 3.8]{DePhilippisGigli18}) of ncRCD(K,N) spaces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This note extends Cheeger-Naber's volume bound on effective singular strata to ncRCD(K,N) spaces via a claimed close copy of the quantitative differentiation argument, plus a quick application to the Gigli-DePhilippis boundary enlargement.

read the letter

The punchline is that this is a direct generalization of the Cheeger-Naber volume bound on the effective singular strata to non collapsed RCD(K,N) spaces, using a quantitative differentiation argument that the authors say closely follows the 2013 paper. They also get a volume estimate for the enlargement of the Gigli-DePhilippis boundary as an application. What the paper does is identify that the same volume control should hold in the synthetic setting and carry the argument over. That's a legitimate extension because ncRCD is the natural class that includes the limits but is defined intrinsically. The citation pattern is clean, pointing back to Cheeger-Naber and the boundary work. The soft spot is exactly the one the stress test flags. The original argument depends on the space being a limit to get good control on tangent cones and on the measure of sets where the stratification or differentiation fails. General ncRCD satisfy the curvature dimension condition and non-collapsing, but they may not come with approximating smooth manifolds or the associated estimates. The note does not provide explicit verification that the key volume estimates survive when you only have the intrinsic properties. If the adaptations turn out to be minor, the result is fine. If they require new work, then the central claim is not fully supported by the current write-up. This paper is for researchers already working in RCD theory who need quantitative control on singular sets. Someone who has read Cheeger-Naber will find the extension straightforward to use. It deserves a serious referee because the result is a useful tool in the area and the potential gap is checkable with the full proof. Recommendation: Yes, send it out for review so the details of the transfer can be verified.

Referee Report

1 major / 1 minor

Summary. The note generalizes the volume bound for the effective singular strata obtained by Cheeger and Naber for non-collapsed Ricci limits to the class of non-collapsed RCD(K,N) metric measure spaces. The argument relies on a quantitative differentiation approach that is stated to closely follow the 2013 proof, and as a corollary it yields a volume estimate for an enlargement of the Gigli-DePhilippis boundary of ncRCD(K,N) spaces.

Significance. If the transfer of the volume bound holds, the result extends a key quantitative stratification estimate beyond spaces arising as Gromov-Hausdorff limits to the broader synthetic setting of ncRCD spaces. This would strengthen the toolkit for studying singular sets in metric measure spaces satisfying synthetic Ricci bounds.

major comments (1)

[Abstract / proof outline] The central claim rests on the assertion that the quantitative differentiation argument of Cheeger-Naber transfers with only minor changes. The manuscript provides no explicit verification that the volume estimates on the 'bad' sets in the differentiation lemma (which in the original rely on tangent cone structure, harmonic coordinate estimates, and control coming from smooth approximations) continue to hold when only the intrinsic RCD properties (Bishop-Gromov, Poincaré inequality, and the definition of the quantitative strata) are used. This adaptation is load-bearing for the generalization and requires a concrete check.

minor comments (1)

[Abstract] The statement that the proof 'closely follows the original one' should be accompanied by a short list of the precise points where the RCD axioms replace the limit-specific approximations.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our note. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Abstract / proof outline] The central claim rests on the assertion that the quantitative differentiation argument of Cheeger-Naber transfers with only minor changes. The manuscript provides no explicit verification that the volume estimates on the 'bad' sets in the differentiation lemma (which in the original rely on tangent cone structure, harmonic coordinate estimates, and control coming from smooth approximations) continue to hold when only the intrinsic RCD properties (Bishop-Gromov, Poincaré inequality, and the definition of the quantitative strata) are used. This adaptation is load-bearing for the generalization and requires a concrete check.

Authors: We agree that an explicit verification of the estimates on the bad sets would improve clarity. In the revised version we will add a short dedicated paragraph right after the statement of the quantitative differentiation lemma. This paragraph will record that the volume bounds continue to hold under the RCD axioms alone: Bishop-Gromov supplies the monotonicity and doubling needed for the covering arguments, the Poincaré inequality (together with the RCD heat-flow approximation) replaces the harmonic-coordinate estimates, and the existence and metric-cone structure of RCD tangent cones (which follows from the definition of ncRCD spaces) substitutes for the smooth tangent-cone analysis. Because the quantitative strata are defined directly via the intrinsic epsilon-regularity scale of the RCD space, no additional smooth approximations are invoked. The changes to the original argument are therefore minor and intrinsic to the RCD setting; we will spell them out explicitly in the revision. revision: yes

Circularity Check

0 steps flagged

No circularity: direct generalization of external Cheeger-Naber result via quantitative differentiation

full rationale

The paper states its goal as generalizing the volume bound from Cheeger-Naber 2013 to ncRCD(K,N) spaces, with the proof 'closely follows the original one' based on quantitative differentiation. The cited result is external (different authors, 2013), and the note provides no self-citations that are load-bearing for the central claim. No equations or steps reduce by construction to fitted inputs, self-definitions, or author-prior ansatzes. The derivation chain relies on the external theorem plus minor adaptations claimed to work under RCD axioms (Bishop-Gromov, Poincaré), which are independent of the target volume bound. This is the standard case of an honest extension with no reduction to inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the assumption that the quantitative differentiation technique transfers to RCD spaces; no free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Quantitative differentiation argument from Cheeger-Naber applies to ncRCD spaces
Abstract states the proof closely follows the original one, so this transfer is the key unverified premise.

pith-pipeline@v0.9.0 · 5628 in / 1010 out tokens · 17532 ms · 2026-05-25T01:53:52.689810+00:00 · methodology

Volume bounds for the quantitative singular strata of non collapsed RCD metric measure spaces

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)