A geometric inequality on hypersurface in hyperbolic space (Q2445969)

This paper proves a sharp geometric inequality for hypersurfaces \(\Sigma\) in the hyperbolic space that are star-shaped and two-convex. Recall that star-shaped means that, using polar (spherical) coordinates, \(\Sigma\) is a graph of the radius as a function on the unit \((n-1)\)-sphere. Two-convex means that the first and second symmetric functions on the principal curvatures are positive. Those are denoted by \(\sigma_1\) and \(\sigma_2\), thus \(\sigma_1\) is the mean curvature. The inequality proved is \[ \int_\Sigma \sigma_2 d\mu\geq \frac{(n-1)(n-2)}2 (\omega_{n-1}^{\frac 2{n-1}} |\Sigma|^{\frac{n-3}{n-1} }+|\Sigma|), \] where \(\omega_{n-1}\) denotes the volume of the unit \((n-1)\)-sphere and \(| \Sigma|\) the area of \(\Sigma\). In addition, there is equality if and only if \(\Sigma\) is a geodesic sphere. The proof uses one of the inverse curvature flows from \textit{C. Gerhardt} [J. Differ. Geom. 89, No. 3, 487--527 (2011; Zbl 1252.53078)]. The authors consider the quantity \[ Q(t)= |\Sigma|^{-\frac{n-3}{n-1} } ( \int_\Sigma \sigma_2 d\mu -\frac{(n-1)(n-2)}2 |\Sigma| ), \] that is proved to be decreasing under the flow. By Gerhardt's theorem [op. cit.] the flow converges at infinity, \(\Sigma\) becomes strongly convex exponentially fast and totally umbilical at infinite. Then the authors prove that \[ \lim \inf_{t\to \infty} Q(t)\geq \frac{(n-1)(n-2)}{2}\omega_{n-1}^{ 2/(n-1)} , \] using a sharp version of Sobolev inequality from \textit{W. Beckner} [Ann. Math. (2) 138, No. 1, 213--242 (1993; Zbl 0826.58042)].