[论文解读] A Counterexample to Viterbo's Conjecture

Pazit Haim‐Kislev, Yaron Ostrover|arXiv (Cornell University)|May 26, 2024

Mathematics and Applications被引用 4

一句话总结

本文针对所有维度 $ n \geq 2 $，通过闵可夫斯基弹道动力学计算 $ \mathbb{R}^4 $ 中两个旋转后的正五边形的拉格朗日子积的 Ekeland–Hofer–Zehnder 容量，构造了对 Viterbo 体积-容量猜想的反例。关键结果表明，该容量与体积之比超过了欧几里得球体的值，证明在凸域类中，辛容量并非普遍受体积限制。

ABSTRACT

We present a counterexample to Viterbo's volume-capacity conjecture. This implies, in particular, that in contrast with a well-known conjecture, symplectic capacities do not coincide on the class of convex domains in the classical phase space.

研究动机与目标

• 为反驳 Viterbo 长期以来的体积-容量猜想，该猜想认为在固定体积的凸域中，欧几里得球体具有最大的辛容量。
• 探究在 $ \mathbb{R}^{2n} $ 中的凸域类中，辛容量是否普遍受体积限制。
• 证明拉格朗日子积的凸体的 Ekeland–Hofer–Zehnder 容量可通过闵可夫斯基弹道动力学计算。
• 在 $ \mathbb{R}^4 $ 中构建一个具体反例，使用对称凸体——即正五边形及其 90° 旋转体——表明所猜想的不等式被违反。

提出的方法

• 作者采用 Ekeland–Hofer–Zehnder 容量的定义，即凸域边界上闭特征线的最小作用量。
• 通过闵可夫斯基弹道轨迹计算拉格朗日子积 $ K \times T $ 的容量，其中 $ K $ 为正五边形，$ T $ 为 $ \mathbb{R}^4 $ 中其 90° 旋转体。
• 证明该容量等于沿 $ K $ 对角线的 2 次反弹 $ T $-弹道轨迹的 $ T^\circ $-长度，利用弹道动力学中的对偶性与对称性。
• 通过支持泛函显式计算 $ T^\circ $-长度：$ \|x\|_{T^\circ} = \langle x, w_i \rangle $，其中 $ w_i $ 为对偶体的顶点。
• 证明依赖于在几何约束（不可平移性、方向约束）下对 3 个顶点弹道路径的 $ T^\circ $-长度最小化，表明最小值出现在 2 次反弹轨迹上。
• 使用连续性与逼近论证，将反例从非光滑五边形推广至光滑凸体，同时保持对 Viterbo 不等式的违反。

实验结果

研究问题

• RQ1 Viterbo 的体积-容量猜想对所有 $ \mathbb{R}^{2n} $ 中的凸域是否成立，还是存在反例？
• RQ2 在固定体积下，辛容量在凸域类中是否可能不同？
• RQ3 拉格朗日子积的凸体的 Ekeland–Hofer–Zehnder 容量是否可通过闵可夫斯基弹道动力学计算？
• RQ4 非球形凸域是否可能实现高于欧几里得球体的辛容量-体积比？

主要发现

• 拉格朗日子积 $ K \times T $ 的 Ekeland–Hofer–Zehnder 容量，其中 $ K $ 为正五边形且 $ T $ 为其 90° 旋转体，为 $ c_{\text{EHZ}}(K \times T) = 2\cos(\pi/10)(1 + \cos(\pi/5)) $。
• 容量-体积比满足 $ \frac{c_{\text{EHZ}}(K \times T)^2}{2A^2} = \frac{\sqrt{5}+3}{5} > 1 $，其中 $ A = \frac{5}{2}\sin(2\pi/5) $ 为 $ K $ 或 $ T $ 的面积，违反了 Viterbo 的猜想。
• 该反例对所有 $ n \geq 2 $ 成立，因为 $ \mathbb{R}^4 $ 中的结果已足以通过标准延拓论证否定高维中的猜想。
• 在 $ K $ 中，3 个顶点弹道路径的最小 $ T^\circ $-长度由沿对角线的 2 次反弹轨迹实现，且该值等于 Ekeland–Hofer–Zehnder 容量。
• 结果表明，辛容量在凸域类中并非由体积唯一确定，且欧几里得球体并非在所有等体积凸体中最大化辛大小。
• 基于五边形的域的光滑逼近产生一个 $ C^\infty $ 凸体，同样违反 Viterbo 的猜想，表明该失败现象不限于多面体或非光滑域。