TY - JOUR

T1 - Boundary regularity and stability for spaces with Ricci bounded below

AU - Bruè, Elia

AU - Naber, Aaron

AU - Semola, Daniele

N1 - Funding Information:
The first author is supported by the Giorgio and Elena Petronio Fellowship at the Institute for Advanced Study. The second author was partially supported by the National Science Foundation Grant No. DMS-1809011. The third author is supported by the European Research Council (ERC), under the European’s Union Horizon 2020 research and innovation programme, via the ERC Starting Grant “CURVATURE”, Grant Agreement No. 802689. Most of this work was developed while the first and third authors were Ph.D. students at Scuola Normale Superiore. They wish to express their gratitude to this institution for the excellent working conditions and the stimulating atmosphere. The authors are grateful to Alexander Lytchak for useful comments on a preliminary version of the note and to the anonymous reviewers for their careful reading and remarks.
Publisher Copyright:
© 2022, Crown.

PY - 2022/5

Y1 - 2022/5

N2 - This paper studies the structure and stability of boundaries in noncollapsed RCD(K,N) spaces, that is, metric-measure spaces (X, d, HN) with Ricci curvature bounded below. Our main structural result is that the boundary ∂X is homeomorphic to a manifold away from a set of codimension 2, and is N- 1 rectifiable. Along the way, we show effective measure bounds on the boundary and its tubular neighborhoods. These results are new even for Gromov–Hausdorff limits (MiN,dgi,pi)→(X,d,p) of smooth manifolds with boundary, and require new techniques beyond those needed to prove the analogous statements for the regular set, in particular when it comes to the manifold structure of the boundary ∂X. The key local result is an ε-regularity theorem, which tells us that if a ball B2(p) ⊂ X is sufficiently close to a half space B2(0)⊂R+N in the Gromov–Hausdorff sense, then B1(p) is biHölder to an open set of R+N. In particular, ∂X is itself homeomorphic to B1(0 N-1) near B1(p). Further, the boundary ∂X is N- 1 rectifiable and the boundary measure [InlineEquation not available: see fulltext.] is Ahlfors regular on B1(p) with volume close to the Euclidean volume. Our second collection of results involve the stability of the boundary with respect to noncollapsed mGH convergence Xi→ X. Specifically, we show a boundary volume convergence which tells us that the N- 1 Hausdorff measures on the boundaries converge [InlineEquation not available: see fulltext.] to the limit Hausdorff measure on ∂X. We will see that a consequence of this is that if the Xi are boundary free then so is X.

AB - This paper studies the structure and stability of boundaries in noncollapsed RCD(K,N) spaces, that is, metric-measure spaces (X, d, HN) with Ricci curvature bounded below. Our main structural result is that the boundary ∂X is homeomorphic to a manifold away from a set of codimension 2, and is N- 1 rectifiable. Along the way, we show effective measure bounds on the boundary and its tubular neighborhoods. These results are new even for Gromov–Hausdorff limits (MiN,dgi,pi)→(X,d,p) of smooth manifolds with boundary, and require new techniques beyond those needed to prove the analogous statements for the regular set, in particular when it comes to the manifold structure of the boundary ∂X. The key local result is an ε-regularity theorem, which tells us that if a ball B2(p) ⊂ X is sufficiently close to a half space B2(0)⊂R+N in the Gromov–Hausdorff sense, then B1(p) is biHölder to an open set of R+N. In particular, ∂X is itself homeomorphic to B1(0 N-1) near B1(p). Further, the boundary ∂X is N- 1 rectifiable and the boundary measure [InlineEquation not available: see fulltext.] is Ahlfors regular on B1(p) with volume close to the Euclidean volume. Our second collection of results involve the stability of the boundary with respect to noncollapsed mGH convergence Xi→ X. Specifically, we show a boundary volume convergence which tells us that the N- 1 Hausdorff measures on the boundaries converge [InlineEquation not available: see fulltext.] to the limit Hausdorff measure on ∂X. We will see that a consequence of this is that if the Xi are boundary free then so is X.

UR - http://www.scopus.com/inward/record.url?scp=85124740103&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85124740103&partnerID=8YFLogxK

U2 - 10.1007/s00222-021-01092-8

DO - 10.1007/s00222-021-01092-8

M3 - Article

AN - SCOPUS:85124740103

SN - 0020-9910

VL - 228

SP - 777

EP - 891

JO - Inventiones Mathematicae

JF - Inventiones Mathematicae

IS - 2

ER -