An application of shadow systems to Mahler's conjecture (Q714987)

The main result of this paper is the following theorem. Consider two different planes \(H_{1}\) and \(H_{2}\) in \(\mathbb R^{3}\) and a convex body \(K\subset \mathbb R^{3}\) such that \(K=\overline{\text{conv}}(K\cap H_{1}, K\cap H_{2})\). Then \[ \mathcal{P}(K) \geq \mathcal{P}(\varDelta ^{3})=\frac{64}{9}, \] where \(\varDelta ^{3}\) is a 3-dimensional simplex. If, moreover, \(K\) is centrally symmetric then \[ \mathcal{P}(K) \geq \mathcal{P}(B_{\infty}^{3})=\frac{32}{3}, \] where \(B_{\infty}^{3}\) is the unit cube. Here \(\mathcal{P}(K)=\min_{z\in\text{int}(K)}|K||K^{z}|\) is the volume product of \(K\) and \(K ^{z}=\{ y\in \mathbb R^{3}:(y - z)\cdot (x - z)\leq 1\) for all \(x\in K \}\) is the polar body of \(K\) with respect to the center of polarity \(z\). This confirms a conjecture of Mahler.