Symmetric Mahler's conjecture for the volume product in the \(3\)-dimensional case (Q2178462)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Symmetric Mahler's conjecture for the volume product in the \(3\)-dimensional case
scientific article

    Statements

    Symmetric Mahler's conjecture for the volume product in the \(3\)-dimensional case (English)
    0 references
    0 references
    0 references
    11 May 2020
    0 references
    A convex body $K$ in the $n$-dimensional Euclidean space $\mathbb{R}^n$ is centrally symmetric if $K=-K$. The polar body of $K$ with respect to the origin is defined by \[ K^{\circ}=\{y\in \mathbb{R}^n:y\cdot x\leq 1 \text{ for any } x\in K\} \] where $\cdot$ denotes the standard inner product on $\mathbb{R}^n$. Associated with the polar body is Mahler's conjecture. Symmetric Mahler conjecture: for any centrally symmetric convex body $K$ in $\mathbb{R}^n$, it holds \[ |K||K^{\circ}|\geq \frac{4^n}{n!}. \] Obviously, Mahler's conjecture is true when $n=1$, and the $2$-dimensional case was proved by Mahler himself in 1938. A new proof together with equality condition was given by \textit{M. Meyer} [Monatsh. Math. 112, No. 4, 297--301 (1991; Zbl 0737.52002)] when $n=2$. When $n\geq 3$, Mahler's conjecture has been proved for some special cases. Over the years, this elusive problem has been the focus of much attention. In the paper under review, the authors give a positive answer to the symmetric Mahler conjecture when $n=3$. The following is their main result: Theorem 1.1. For any $3$-dimensional, centrally symmetric, convex body $K$, we have \[ |K||K^{\circ}|\geq \frac{32}{3}, \] with equality if and only if either $K$ or $K^{\circ}$ is a parallelepiped. The symmetric Mahler conjecture still remains as an extremely important open problem when $n\geq4$.
    0 references
    0 references
    convex body
    0 references
    volume product
    0 references
    Mahler conjecture
    0 references
    symplectic capacity
    0 references
    degree of maps
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references