From the Mahler conjecture to Gauss linking integrals

Greg Kuperberg

Paper

From the Mahler conjecture to Gauss linking integrals

Abstract

We establish a version of the bottleneck conjecture, which in turn implies a partial solution to the Mahler conjecture on the product

of the volume of a symmetric convex body

and its polar body

. The Mahler conjecture asserts that the Mahler volume

is minimized (non-uniquely) when

is an

-cube. The bottleneck conjecture (in its least general form) asserts that the volume of a certain domain

is minimized when

is an ellipsoid. It implies the Mahler conjecture up to a factor of

, where

is a monotonic factor that begins at

and converges to

. This strengthens a result of Bourgain and Milman, who showed that there is a constant

such that the Mahler conjecture is true up to a factor of

. The proof uses a version of the Gauss linking integral to obtain a constant lower bound on

, with equality when

is an ellipsoid. It applies to a more general conjecture concerning the join of any two necks of the pseudospheres of an indefinite inner product space. Because the calculations are similar, we will also analyze traditional Gauss linking integrals in the sphere

and in hyperbolic space

Parse Issues: 3 warnings