Author:
Bruè Elia,Naber Aaron,Semola Daniele
Abstract
AbstractThis paper studies the structure and stability of boundaries in noncollapsed $${{\,\mathrm{RCD}\,}}(K,N)$$
RCD
(
K
,
N
)
spaces, that is, metric-measure spaces $$(X,{\mathsf {d}},{\mathscr {H}}^N)$$
(
X
,
d
,
H
N
)
with Ricci curvature bounded below. Our main structural result is that the boundary $$\partial X$$
∂
X
is homeomorphic to a manifold away from a set of codimension 2, and is $$N-1$$
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 $$(M_i^N,{\mathsf {d}}_{g_i},p_i) \rightarrow (X,{\mathsf {d}},p)$$
(
M
i
N
,
d
g
i
,
p
i
)
→
(
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 $$\partial X$$
∂
X
. The key local result is an $$\varepsilon $$
ε
-regularity theorem, which tells us that if a ball $$B_{2}(p)\subset X$$
B
2
(
p
)
⊂
X
is sufficiently close to a half space $$B_{2}(0)\subset {\mathbb {R}}^N_+$$
B
2
(
0
)
⊂
R
+
N
in the Gromov–Hausdorff sense, then $$B_1(p)$$
B
1
(
p
)
is biHölder to an open set of $${\mathbb {R}}^N_+$$
R
+
N
. In particular, $$\partial X$$
∂
X
is itself homeomorphic to $$B_1(0^{N-1})$$
B
1
(
0
N
-
1
)
near $$B_1(p)$$
B
1
(
p
)
. Further, the boundary $$\partial X$$
∂
X
is $$N-1$$
N
-
1
rectifiable and the boundary measure "Equation missing" is Ahlfors regular on $$B_1(p)$$
B
1
(
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 $$X_i\rightarrow X$$
X
i
→
X
. Specifically, we show a boundary volume convergence which tells us that the $$N-1$$
N
-
1
Hausdorff measures on the boundaries converge "Equation missing" to the limit Hausdorff measure on $$\partial X$$
∂
X
. We will see that a consequence of this is that if the $$X_i$$
X
i
are boundary free then so is X.
Publisher
Springer Science and Business Media LLC
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献