A sharp isoperimetric inequality and the top order $Q$-curvature

Abstract

For a smooth, complete and normal metric $g = e^{2u}|dx|^2$ with finite total $n$-th order $Q$-curvature on $\mathbb{R}^n$ with dimension $n \geq 2$, we first show that everywhere non-negativity (resp. non-positivity) $n$-th order $Q$-curvature $Q_g^{(n)}$ implies everywhere non-negativity (resp. non-positivity) of the sectional curvature. Based on this fact, we secondly show that, once $Q_g^{(n)}$ is non-negative, then for any compact domain $Ω\subset \mathbb{R}^n$ with smooth boundary $\partialΩ$, the following sharp isoperimetric inequality holds: $$|\partialΩ|_g^{\frac{n}{n-1}} \geq n^{\frac{n}{n-1}} |\mathbb{B}^n|^{\frac{1}{n-1}} \left(1 - \frac{2}{(n-1)!\,|\mathbb{S}^n|} \int_{\mathbb{R}^n} Q_g^{(n)} \, dμ_g\right) |Ω|_g.$$ The third claim in this article is that, if the $n$-th order $Q$-curvature, $Q_g^{(n)}$, is non-positive and under the main assumption that Cartan-Hadamard conjecture holds true, then we have the sharp inequality $$|\partialΩ|_g^{\frac{n}{n-1}} \geq n^{\frac{n}{n-1}} |\mathbb{B}^n|^{\frac{1}{n-1}}|Ω|_g.$$