Alexandrov-Fenchel inequality for odd curvature integrals

Let n3n\geq 3, let kk be an integer satisfying 2k+1n12k+1\leq n-1, and let Σ\Sigma be a hypersurface in hyperbolic space Hn\mathbb{H}^n with nonnegative sectional curvature. Write pjp_j for the normalized jj-th elementary symmetric curvature of Σ\Sigma, Σ|\Sigma| for its area, and let ωn1\omega_{n-1} denote the area of the unit (n1)(n-1)-sphere.

Alexandrov-Fenchel inequality. One should have

Σp2k+1ωn1[(Σωn1)22k+1+(Σωn1)22k+1n22kn1]2k+12.\int_{\Sigma} p_{2k+1}\geq \omega_{n-1}\left[\left(\frac{|\Sigma|}{\omega_{n-1}}\right)^{\frac{2}{2k+1}}+\left(\frac{|\Sigma|}{\omega_{n-1}}\right)^{\frac{2}{2k+1}\frac{n-2-2k}{n-1}}\right]^{\frac{2k+1}{2}}.

Equality should hold if and only if Σ\Sigma is a geodesic sphere in Hn\mathbb{H}^n.

This proposes an Alexandrov-Fenchel-type inequality under nonnegative sectional curvature, extending the preceding inequality for Σp1\int_{\Sigma}p_1. The paper presents it as an open conjecture; whether the relevant curvature conditions are preserved along inverse mean curvature flow remains an open problem.

Sources & referencesView supporting material

Primary source

Yingxiang Hu and Haizhong Li, “Geometric inequalities for hypersurfaces with nonnegative sectional curvature in hyperbolic space”, arXiv:1807.04653 (2018).

Additional references

2 papers in this index state this conjecture (2016–2018). The statement above is taken from the most recent of them; the others are arXiv:1609.05806.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.