Centro-Affine Differential Geometry and the Log-Minkowski Problem

Emanuel Milman
DOI: https://doi.org/10.48550/arXiv.2104.12408
2023-03-01
Abstract:We interpret the log-Brunn-Minkowski conjecture of Böröczky-Lutwak-Yang-Zhang as a spectral problem in centro-affine differential geometry. In particular, we show that the Hilbert-Brunn-Minkowski operator coincides with the centro-affine Laplacian, thus obtaining a new avenue for tackling the conjecture using insights from affine differential geometry. As every strongly convex hypersurface in $\mathbb{R}^n$ is a centro-affine unit-sphere, it has constant centro-affine Ricci curvature equal to $n-2$, in stark contrast to the standard weighted Ricci curvature of the associated metric-measure space, which will in general be negative. In particular, we may use the classical argument of Lichnerowicz and a centro-affine Bochner formula to give a new proof of the Brunn-Minkowski inequality. For origin-symmetric convex bodies enjoying fairly generous curvature pinching bounds (improving with dimension), we are able to show global uniqueness in the $L^p$- and log-Minkowski problems, as well as the corresponding global $L^p$- and log-Minkowski conjectured inequalities. As a consequence, we resolve the isomorphic version of the log-Minkowski problem: for any origin-symmetric convex body $\bar K$ in $\mathbb{R}^n$, there exists an origin-symmetric convex body $K$ with $\bar K \subset K \subset 8 \bar K$, so that $K$ satisfies the log-Minkowski conjectured inequality, and so that $K$ is uniquely determined by its cone-volume measure $V_K$. If $\bar K$ is not extremely far from a Euclidean ball to begin with, an analogous isometric result, where $8$ is replaced by $1+\epsilon$, is obtained as well.
Functional Analysis,Analysis of PDEs,Differential Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the verification of the log - Brunn–Minkowski conjecture and its interpretation in centro - affine differential geometry. Specifically, the author reinterprets the log - Brunn–Minkowski conjecture proposed by Böröczky–Lutwak–Yang–Zhang and regards it as a spectral problem in centro - affine differential geometry. The main contributions of the paper are as follows: 1. **Equivalence between the centro - affine Laplacian operator and the Hilbert - Brunn–Minkowski operator**: - The author proves that the Hilbert - Brunn–Minkowski operator is identical to the centro - affine Laplacian operator. This discovery provides a new way to study the log - Brunn–Minkowski conjecture, using the insights of affine differential geometry. 2. **A new proof of the log - Brunn–Minkowski inequality**: - Using the classical Lichnerowicz argument and the centro - affine Bochner formula, the author gives a new proof of the Brunn–Minkowski inequality. 3. **Global uniqueness and verification of inequalities**: - For origin - symmetric convex bodies with relatively wide curvature pinching conditions, the author is able to prove the existence of global uniqueness in the Lp - and log - Minkowski problems, as well as the corresponding Lp - and log - Minkowski inequalities. 4. **The isomorphic version of the log - Minkowski problem**: - The author solves the isomorphic version of the log - Minkowski problem, that is, for any origin - symmetric convex body \(\bar{K}\), there exists another origin - symmetric convex body \(K\) such that \(\bar{K}\subset K\subset 8\bar{K}\), and \(K\) satisfies the inequality of the log - Minkowski conjecture, and \(K\) is uniquely determined by its cone volume measure \(V_K\). 5. **Results of the isometric version**: - If \(\bar{K}\) does not deviate too much from the Euclidean ball, the author also obtains an isometric result, in which the constant 8 is replaced by \(1 + \epsilon\). ### Formula summary - **Hilbert - Brunn–Minkowski operator**: \[ \Delta_K f=\text{div}_{\nabla_K}(\text{grad}_{g_K} f) \] where \(\text{div}_{\nabla_K}\) is the connection divergence and \(\text{grad}_{g_K} f\) is the metric gradient. - **Centro - affine Laplacian operator**: \[ \Delta_{\nabla_K, g_K} f=\text{div}_{\nabla_K}(\text{grad}_{g_K} f) \] - **Log - Minkowski inequality**: \[ \frac{1}{V(K)}\int_{S^*}\log\left(\frac{h_L}{h_K}\right)dV_K\geq\frac{1}{n}\log\left(\frac{V(L)}{V(K)}\right) \] The equality holds if and only if \(L = cK\), where \(c>0\). - **Curvature pinching condition**: \[ \frac{1}{R}|X|^2\leq II_{\partial\tilde{K}}(X, X)\leq\frac{1}{r}|X|^2\quad\forall X\in T\partial\tilde{K} \] where \(R\geq r > 0\), indicating that all curvature radii of \(\tilde{K}\) are between \(r\) and \(R\). Through these results, the author not only provides new perspectives and tools for the log - Brunn–Minkowski conjecture, but also opens up new directions for the research of related problems.