The Grassmannian \(L_p\)-sine Blaschke-Santaló inequality (Q6168103)

Let \(K\) be a star body in \(\mathbb{R}^n\), and let \(1 \leq p \leq \infty\). The \textit{\(L_p\)-sine centroid body} of \(K\) is the convex body \(\Lambda_p K\) whose support function \(h_{\Lambda_p K} : \mathbb{R}^n \to \mathbb{R}\) is defined by \[ h_{\Lambda_p K}(x) = \frac{1}{\tilde{c}_{n,p} V_n(K)} \int_K [x,y]^p dy, \] \bigskip where \(V_n(\cdot)\) denotes \(n\)-dimensional volume, \([x,y]\) denotes the area of the parallelogram spanned by \(x\) and \(y\), and \(\tilde{c}_{n,p} = \frac{(n-1) \omega_{n-1} \omega_{n+p-2}}{(n+p) \omega_n \omega_{n+p-3}}\), with \(\omega_k = \frac{\pi^{k/2}}{\Gamma(k/2+1)}\). Here the normalizing factor \(\tilde{c}_{n,p}\) is chosen to satisfy \(\Lambda_p B^n = B^n\), where \(B^n\) denotes the closed Euclidean unit ball of the space \(\Re^n\). Regarding this quantity, an inequality, called the \(L_p\)-sine Blaschke-Santaló Inequality, was proved recently [\textit{Q. Huang} et al., J. Funct. Anal. 283, No. 6, Article ID 109571, 32 p. (2022; Zbl 1492.52003)], stating that for any star body \(K \subset \mathbb{R}^n\), \(V(K) V(\Lambda_p^{\circ} K) \leq \omega_n^2\), with equality if and only if \(K\) is an origin-symmetric ellipsoid when \(n=2\), and an origin-symmetric ball if \(n=3\). Here \(X^{\circ}\) denotes the polar of the set \(X\). The aim of the authors is to generalize the above inequality for the Grassmannian spaces of \(\mathbb{R}^n\). More specifically, let \(\mathcal{G}_{n,m}\) denote the Grassmannian of the \(m\)-dimensional subspaces of \(\mathbb{R}^n\), and let \(\nu_{n,m}\) denote the unique rotationally symmetric probability measure on \(\mathcal{G}_{n,m}\). The main result of the authors states that if \(n \geq m \geq 2\) and \(p \geq 1\), for any convex body \(K \subset \mathbb{R}^n\) containing the origin in its interior, one has \[ \int_{\mathcal{G}_{n,m}} V_m(K \cap H)^{\frac{n+p}{m}} V_m (\Lambda_p^{\circ} K \cap H)^{\frac{n+p}{m}} \nu_{n,m} (\mathrm{d} H) \leq \omega_m^{\frac{2n+2p}{m}}. \] Here, for \(n=m=2\), equality holds if and only if \(K\) is an origin-symmetric ellipsoid. For \(n \geq 3\), equality holds if and only if \(K\) is an origin-symmetric ball. This inequality, in the special case that \(n=m\), reduces to the \(L_p\)-sine Blaschke-Santaló Inequality.