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

Constancy of the dimension in codimension one and locality of the unit normal on $\RCD(K,N)$ spaces

“…• we will prove that reduced boundaries of sets of finite perimeter have constant dimension, positively answering to one of the questions left open in [19]; • we will clarify in which sense the blow-up of a set of finite perimeter is orthogonal to its unit normal at almost every point and develop a series of useful tools suitable to treat cut and paste operations between sets of finite perimeter in this setting, by analogy with the Euclidean theory (see for instance [47,Chapter 16]); • relying on the finite dimensionality assumption N < ∞, we will sharpen the Gauss-Green integration by parts formulae for essentially bounded divergence measure vector fields studied in [21] on RCD(K, ∞) metric measure spaces. The class of RCD(K, N ) metric measure spaces includes as notable examples (pointed measured) Gromov-Hausdorff limits of smooth manifolds with uniform lower bounds on their Ricci curvature (the so called Ricci limit spaces) and Alexandrov spaces with sectional curvature bounded from below.…”

“…In this framework it is too optimistic to hope for a regularity theorem as strong as the Euclidean one. However, in [3,19] a counterpart of De Giorgi's regularity theorem has been obtained in the setting of RCD(K, N ) spaces, with finite N , that are a class of possibly singular metric measure spaces with Ricci curvature bounded from below and dimension bounded from above, in synthetic sense. We recall below two of the main results of [3,19].…”

“…However, in [3,19] a counterpart of De Giorgi's regularity theorem has been obtained in the setting of RCD(K, N ) spaces, with finite N , that are a class of possibly singular metric measure spaces with Ricci curvature bounded from below and dimension bounded from above, in synthetic sense. We recall below two of the main results of [3,19]. By Tan x (X, d, m, E) we shall denote the set of all possible blow-ups of a set of finite perimeter E at a point x, see Definition 2.19 for the precise notion.…”

“…It turns out that it is also possible to reconcile the definition of set of finite perimeter via relaxation, see Definition 2.16, with the distributional perspective, proving a Gauss-Green integration by parts formula for sufficiently regular vector fields. Theorem 1.2 (Theorem 2.4 in [19]). Let (X, d, m) be an RCD(K, N ) metric measure space and let E ⊂ X be a set with finite perimeter and finite measure.…”

“…One of the questions left open in [19] was the possibility of having sets of finite perimeter E ⊂ X such that |Dχ E | (F k E) > 0 for some k < n, where F k E is as in (1.2) and n denotes the essential dimension of (X, d, m) as above. Our first main result is a negative answer to this question.…”