Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds (Q2356911)

We say that a~metric measure space \((X,d,\mu)\) with a~probability measure \(\mu\) is \(\text{RCD}^*(K,N)\) if it is \(\text{RCD}(K,\infty)\) and satisfies the (reduced) curvature-dimension condition \(\text{CD}^*(K,N)\). For that space we define the isoperimetric profile (introduced by E. Milman, see the reference below), denoted by \({I}_{(X,d,\mu)}\), as the point-wise maximal function so that \[ \mu^+(A) \geq {I}_{(X,d,\mu)}(\mu(A)) \] for all Borel subsets of \(X\) and where \(\mu^+\) is the Minkowski exterior boundary measure given by \[ \mu^+(A):=\liminf_{\varepsilon\to 0}(\mu(A^\varepsilon)-\mu(A))/\varepsilon \] with \(A^\varepsilon\) -- the \(\varepsilon\)-neighborhood of \(A\). The main goal of the paper is the version of the Lévy-Gromov isoperimetric inequality in the case \(\text{RCD}^*(K,N)\) which states that the isoperimetric profile function \({I}_{(X,d,\mu)}\) is bounded from below by the isoperimetric profile of the model space \({I}_{K,N,D}\). This result extends the one given by \textit{E. Milman} [J. Eur. Math. Soc. (JEMS) 17, No. 5, 1041--1078 (2015; Zbl 1321.53043)].