On the local minimizers of the Mahler volume

Abstract: We focus on the analysis of local minimizers of the Mahler volume, that is to say the local solutions to the problem $$\min{ M(K):=|K||K^{\circ|\;/\;K\subset\R^d\textrm{} open and convex}, K=-K},$$ where $K^{\circ:={\xi\in\R^d} ; \forall x\in K, x\cdot\xi&lt;1}$ is the polar body of $K$, and $|\cdot|$ denotes the volume in $\R<sup>d$. According to a famous conjecture of Mahler the cube is expected to be a global minimizer for this problem. We express the Mahler volume in terms of the support functional of the convex body, which allows us to compute first and second derivatives, and leads to a concavity property of the functional. As a consequence, we prove first that any local minimizer has a Gauss curvature that vanishes at any point where it is defined. Going more deeply into the analysis in the two-dimensional case, we also prove that any local minimizer must be a parallelogram. We thereby retrieve and improve an original result of Mahler, who showed that parallelograms are global minimizers in dimension 2, and also the case of equality of Reisner, who proved that they are the only global minimizers.