Isoperimetric sets in spaces with lower bounds on the Ricci curvature (Q2132486)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Isoperimetric sets in spaces with lower bounds on the Ricci curvature
scientific article

    Statements

    Isoperimetric sets in spaces with lower bounds on the Ricci curvature (English)
    0 references
    0 references
    0 references
    0 references
    28 April 2022
    0 references
    The authors extend the basic regularity theory for sets minimizing a functional under a volume constraint in the smooth setting [\textit{E. Gonzalez} et al., Indiana Univ. Math. J. 32, 25--37 (1983; Zbl 0486.49024)] to non-collapsed \(\mathrm{RCD}(K,N)\) spaces \((X,d,\mathcal{H}^N\)) in the following way: Volume-constrained minimizers of quasi-perimeters on a non-collapsed \(\mathrm{RCD}(K,N)\) space (\(K\in \mathbb{R}, 2\leq N\in\mathbb{Z}\)) with a uniform bound from below on the volume of unit balls are open bounded sets with \((N-1)\)-Ahlfors regular topological boundary coinciding with the essential boundary. Here a quasi-perimeter is a functional given by the sum of the usual perimeter and of a suitable continuous term, i.e., \(\mathcal{P}:=P+G\), where \(P\) is the perimeter and \(G\): \{\(\mathcal{H}^N\)-measurable sets in X\}/\(\sim\) \(\to (-\infty,+\infty]\) satisfies \(E \sim F\) iff \(\mathcal{H}^N(E \triangle F)=0\), \(G(\emptyset)<+\infty\), and \(G(E)\leq G(F)+ C_G\mathcal{H}^N(E \triangle F)^\rho\), with \(C_G>0, \rho>1-1/N\), for any Borel sets \(E, F\subset X\). The relative version of the theorem is also proved by the authors. The authors note that the condition \(2\leq N\) plays a key role and it is not clear whether the result above holds for spaces (\(X,d,\mu\)) with generic reference measure \(\mu\). The authors modify the deformation lemma in the Euclidean spaces to a new one. That is, for an \(\mathrm{RCD}(k,N)\) space (\(X,d,\mu\)) and \(R>0\), there exists \(C_{K,N,R}>0\) such that \[ P(E\setminus B_r(x))\leq \frac{C_{K,N,R}}{r} \mu(E\cap B_r(x))+P(E) \] and \[ P(E\cup B_r(x))\leq \frac{C_{K,N,R}}{r} \mu(B_r(x)\setminus E)+P(E) \] for every \(r\in (0, R)\), \(x\in X\), and a finite perimeter set \(E\subset X\). Then, the authors use the new deformation lemma to prove the above theorems.
    0 references
    0 references
    RCD spaces
    0 references
    quasi-perimeters
    0 references
    volume constrained minimizers
    0 references
    deformation lemma
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references