[論文レビュー] A Counterexample to Viterbo's Conjecture

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

Mathematics and Applications被引用数 4

ひとこと要約

本稿では、$ \mathbb{R}^4 $ 内の2つの回転された正五角形のラグランジュ的積の Ekeland–Hofer–Zehnder 容量をミンコフスキー・ビリヤード力学を用いて計算することで、すべての次元 $ n \geq 2 $ に対して 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 容量がミンコフスキー・ビリヤード力学を用いて計算可能であることを示すこと。
• 対称的な凸体、特に正五角形とその90°回転体を用いて、$ \mathbb{R}^4 $ 内に明示的な反例を構成し、予想された不等式の違反を示すこと。

提案手法

• 著者らは、凸領域の境界上での閉じた特徴的軌道の最小作用として定義される Ekeland–Hofer–Zehnder 容量を用いる。
• $ K $ を正五角形、 $ T $ をその $ \mathbb{R}^4 $ 内での90°回転とし、ラグランジュ的積 $ K \times T $ の容量をミンコフスキー・ビリヤード軌道を用いて計算する。
• 容量は、 $ 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 $ とその90°回転体 $ T $ のラグランジュ的積の Ekeland–Hofer–Zehnder 容量は、 $ 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 の予想に違反する。
• $ \mathbb{R}^4 $ での結果は、標準的な拡張議論により、すべての $ n \geq 2 $ に対して有効であり、高次元でも予想を反証するのに十分である。
• $ K $ 内の3頂点のビリヤード経路の最小 $ T^\circ $-長さは、対角線上に沿った2回跳ね返りの軌道で達成され、その値は Ekeland–Hofer–Zehnder 容量に等しい。
• この結果は、凸領域のクラスにおいてシンプレクティック容量が体積によって一意に決定されないことを示し、ユークリッド球が等しい体積を持つすべての凸体の中でシンプレクティックなサイズを最大にしないことを示唆する。
• 五角形に基づく領域の滑らかな近似により、 $ C^\infty $ 凸体が得られ、これも Viterbo の予想に違反する。したがって、失敗は多面体的または非滑らかな領域に限定されるものではない。