## Levy-Gromov Isoperimetric Inequality

In his paper "Paul Levy's Isoperimetric Inequality", Gromov gives the following isoperimetric inequality:

Let $V$ be a closed $(n+1)$-dimensional Riemannian Manifold with $\mathrm{Ric}(V) \geq n \space (= \mathrm{Ric}(S^{n+1}))$. Let $V_0 \subset V$ be a domain with smooth boundary and let $B$ be a round ball in $S^{n+1}$ such that $$\frac{ Vol(V_0)}{Vol(V)}= \frac{Vol(B)}{Vol(S^{n+1})}.$$ Then it follows that $$\frac{Vol( \partial V_0)}{Vol(V)} \geq \frac{Vol(\partial B)}{Vol(S^{n+1})}.$$

Now my question: in a (slightly earlier) article 'Isoperimetric Inequalities In Riemannian Manifolds', Gromov states that the above inequality will still be true even if $V$ only admits a negative lower bound on its Ricci curvature. Does anyone have a reference for a proof of this, or is the statement obvious? It just seems to me that the hypothesis compares the curvature of $V$ to that of $S^{n+1}$, so allowing $\mathrm{Ric}(V)$ to be negative will obscure this.

-
Just a quick comment: the paper "Paul Levy..." was written in 1979, before the paper "Isoperimetric..." which is from aroung 1986. Both papers are freely available here: ihes.fr/~gromov/topics/topic11.html – YangMills May 9 2012 at 15:30
Ah sorry, my mistake. – T-' May 9 2012 at 16:03

I guess Gromov wanted to say that there is a lower bound for $\mathop{\rm vol}\partial V_0$ in terms of $\mathop{\rm vol} V_0/\mathop{\rm Vol} V$, $\mathop{\rm diam}V$ and lower bound for Ricci curvature. The same proof as in "Paul Levy's Isoperimetric Inequality", gives such a bound, but it is not longer sharp.

BTW, there is an analog of Levy--Gromov for open manifolds with $\mathop{\rm Ricc}\ge 0$. It is sharp and gives a lower bound for $\mathop{\rm vol}\partial V_0$ in terms of $\mathop{\rm vol} V_0$ and the volume growth of $V$, BUT as far as I know it is not written. (Please correct me if I am wrong.)

-

I'm not sure about who did it first and how sharp the results are, but you can find isoperimetric inequalities for a negative lower bound on Ricci in a paper of Croke (http://www.math.poly.edu/people/faculty.phtml). My recollection is that Gallot also proved a similar isoperimetric inequality, but I can't seem to find the paper.

-