Suppose $(X^m, g)$ is a closed Riemannian manifold of dimension $m$ with the following properties,

  1. There is a constant $\kappa$ such that $\kappa r^m \leq Vol(B(x, r)) \leq \kappa^{-1} r^m$ for every $r \in (0,1)$.

  2. For every $C^1$ function $f$, we have $(\int_X |f|^{\frac{2m}{m-2}})^{\frac{m-2}{m}} \leq C_S (\int_X |f|^2 + |\nabla f|^2)$.

  3. For every $C^1$ function $f$, we have $\int_X |f|^2 \leq C_P (\int_X |\nabla f|^2 + (\int_X f)^2)$.

Can we say that there is a positive constant $I$ depending only on $m, \kappa, C_S, C_P$ such that $\frac{Area(\partial \Omega)^m}{Vol(\Omega)^{m-1}} \geq I$ for every domain $\Omega$ satisfying $Vol(\Omega) \leq \frac{1}{2} Vol(X)$?

  • 2
    $\begingroup$ mathoverflow.net/howtoask $\endgroup$ – David Roberts Sep 19 '11 at 3:14
  • 1
    $\begingroup$ I modified the problem. Now it should be clear. $\endgroup$ – user17314 Sep 19 '11 at 16:31
  • 1
    $\begingroup$ In 3) you forgot to add the assumption $\int_X f=0$. $\endgroup$ – Rbega Sep 19 '11 at 17:46
  • 1
    $\begingroup$ It is worth noting that this is essentially the same as asking whether the $L_2$ Sobolev constant determines a bound on the $L_1$ Sobolev constant. It is well known how to go in the opposite direction, but I don't believe I've ever seen any result in this direction. On the other hand, I don't believe I've seen any counterexample, either. $\endgroup$ – Deane Yang Sep 19 '11 at 20:18
  • 1
    $\begingroup$ It is false that just #2 implies a bound on the isoperimetric constant. For an example, take an analytic family of projective varieties X_t (parametrized by t a disc in C, with the whole family embedded in CxP^N) which are smooth for t not 0, while X_0 is reducible with at least 2 components. Take as Kahler metrics the restriction of the Fubini-Study metric to X_t. Then these metrics as t goes to 0 have uniform Sobolev constant (by Michael-Simon, Allard), but the Poincare' constant goes to infinity (by Yoshikawa, see e.g. arXiv:0905.3424 remark on p.24). There are surely simpler examples... $\endgroup$ – YangMills Sep 24 '11 at 12:56

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.