Rigidity of the 1-Bakry-Émery inequality and sets of finite Perimeter in RCD spaces

From MaRDI portal
Publication:2317433



Abstract: This note is dedicated to the study of the asymptotic behaviour of sets of finite perimeter over RCD(K,N) metric measure spaces. Our main result asserts existence of a Euclidean tangent half-space almost everywhere with respect to the perimeter measure and it can be improved to an existence and uniqueness statement when the ambient is non collapsed. As an intermediate tool, we provide a complete characterization of the class of RCD(0,N) spaces for which there exists a nontrivial function satisfying the equality in the 1-Bakry-'Emery inequality. This result is of independent interest and it is new, up to our knowledge, even in the smooth framework.


Geometric measure theory allows the study of non-smooth objects in a smooth ambient space. The authors here argue that the theory of RCD spaces may now be sufficiently well developed to allow them to serve as ambient spaces. RCD spaces are metric measure spaces with a lower Ricci curvature bound in a synthetic sense which, like Riemannian manifolds, are infinitesimally Hilbertian, meaning that their weak Sobolev space \(W^{1,2}\) is a Hilbert space. They include the limits of sequences of manifolds with a uniform lower bound on Ricci curvature. In particular, this paper generalises De Giorgi's Theorem, a fundamental result in geometric measure theory which guarantees the existence of a tangent half-space at every point on the boundary of a set of finite perimeter in a Euclidean space. Since the tangent bundle of an RCD space is only defined up to sets which are negligible with respect to the measure, the result here establishes the existence of a tangent half-space almost everywhere with respect to the perimeter measure. As an intermediate tool to handle the fact that the tangent bundle is not defined everywhere, the authors prove an interesting splitting theorem. It is shown that the existence of a function for which the 1-Bakry-Émery inequality is sharp almost everywhere guarantees that the space splits off a line.



Cites work


Cited in
(45)








This page was built for publication: Rigidity of the 1-Bakry-Émery inequality and sets of finite Perimeter in RCD spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2317433)