Convex non-squeezing conjecture in intermediate dimensions

Let 1<k<m1<k<m, let φSymp(R2m)\varphi\in\operatorname{Symp}(\mathbb R^{2m}), and let PR2k:R2mR2kP_{\mathbb R^{2k}}:\mathbb R^{2m}\to\mathbb R^{2k} be projection onto the first 2k2k coordinates. Assume that φ(B2m)\varphi(B^{2m}) is convex. Convex intermediate-dimensional non-squeezing conjecture.

volR2k(PR2k(φ(B2m)))πkk!.\operatorname{vol}_{\mathbb R^{2k}}\bigl(P_{\mathbb R^{2k}}(\varphi(B^{2m}))\bigr)\geq\frac{\pi^k}{k!}.

The unrestricted statement is false for 1<k<m1<k<m, but the source proposes that convexity of the symplectic image restores the lower bound; no resolution is given.

Sources & referencesView supporting material

Primary source

Gabriele Benedetti, “First steps into the world of systolic inequalities: From Riemannian to symplectic geometry”, arXiv:2103.09356 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.