[論文レビュー] On the agreement of symplectic capacities in high dimension

Dan Cristofaro‐Gardiner, Richard Hind|arXiv (Cornell University)|Jul 22, 2023

Geometry and complex manifoldsMathematics被引用数 3

ひとこと要約

本稿は、4次元におけるシンプレクティック容量のGutt-Hutchings-Ramos定理を任意の次元に拡張し、単調なトーリックドメイン上ですべての正規化されたシンプレクティック容量が一致することを証明することで、それを達成している。主な革新は、任意の次元における$L$-型領域から無限大シリンダーへのシンプレクティック埋め込みを構成的に証明したことであり、Gutt-Pereira-Ramosの予想を解消し、4次元を超える容量の一意性の拡張を可能にした。

ABSTRACT

A theorem of Gutt-Hutchings-Ramos asserts that all normalized symplectic capacities give the same value for monotone four-dimensional toric domains. We generalize this theorem to arbitrary dimension. The new ingredient in our proof is the construction of symplectic embeddings of "$L$-shaped" domains in any dimension into corresponding infinite cylinders; this resolves a conjecture of Gutt-Pereira-Ramos in the affirmative.

研究の動機と目的

• シンプレクティック容量の一意性が4次元から任意の次元へ一般化されることを目的とする。
• Gutt-Pereira-Ramosが提起した、高次元における$L$-型領域の無限大シリンダーへのシンプレクティック埋め込みに関する予想を解消することを目的とする。
• 単調なトーリックドメインに対して、Gromov幅とシリンダ容量が一致することを確立し、容量の一意性を示すこと。
• 複素射影空間上のハミルトニアンディフェオモーフィズムを用いた、高次元におけるシンプレクティック埋め込みの新しい構成的技法を提供すること。
• シンプレクティック還元とモーメント写像の枠組みを拡張し、$\mathbb{C}P^{n-1}(S)$ 上で支持が制御された埋め込みを構築すること。

提案手法

• ハミルトニアンディフェオモーフィズムを用いて、$\mathbb{C}P^{n-1}(S)$ 上で$L$-型領域$L(a_1,\dots,a_n)$ を無限大シリンダー$Z(r)$ に埋め込む。ただし$r > \sum a_k$ である。
• 埋め込み問題を、$\mathbb{C}P^{n-1}(S)$ 上の滑らかなハミルトニアン関数の族を用いて、$V_S$ の補集合を$U_S$ の補集合へ写像することに還元する。
• シンプレクティック還元を用いて、$\partial B(S)$ のモーメント写像像を$\mathbb{R}^{n-1}$ 内の三角形$\Delta_S$ と特定し、トーリックファイバー解析を可能にする。
• 各$\mathbb{C}$ 上の1次元ハミルトニアンディフェオモーフィズム$\phi_i^t$ の積を用い、$\phi_i(D(S-r)) \subset A(a_i, S - \sum_{j \neq i} a_j)$ を満たすことで、面積の制御を実現する。
• ハミルトニアンフローにカットオフを施して、そのサポートが$B(S)$ 内に収まるようにし、$\mathbb{C}P^{n-1}(S)$ 上への拡張を可能にする。
• 推移的評価を用いて、$\pi|z|^2$ と三角不等式の性質により、得られたフローが必要なドメイン包含関係を保存することを検証する。

実験結果

リサーチクエスチョン

• RQ1 4次元と同様に、任意の次元における単調なトーリックドメイン上で、すべての正規化されたシンプレクティック容量が一致するか？
• RQ2 $\mathbb{C}^n$ 内の$L$-型領域が、$r > \sum a_k$ のとき無限大シリンダー$Z(r)$ にシンプレクティックに埋め込めるか？
• RQ3 4次元で用いられた擬全純曲線技法の高次元版が存在するか？
• RQ4 高次元における単調なトーリックドメインに対して、Gromov幅$c_G(X_\Omega)$ とシリンダ容量$c_Z(X_\Omega)$ が一致することを示せるか？
• RQ5 このような埋め込みの存在が、すべての単調なトーリックドメインにわたる正規化されたシンプレクティック容量の一意性を示唆するか？

主な発見

• 任意の次元において、単調なトーリックドメイン上ですべての正規化されたシンプレクティック容量が一致し、Gutt-Hutchings-Ramosの4次元結果が一般化された。
• $L$-型領域$L(a_1,\dots,a_n)$ は、$r > \sum_{k=1}^n a_k$ のとき、$Z(r)$ にシンプレクティックに埋め込める。これはGutt-Pereira-Ramosの予想を確認する。
• すべての単調なトーリックドメイン$X_\Omega$ に対して、Gromov幅$c_G(X_\Omega)$ とシリンダ容量$c_Z(X_\Omega)$ が一致し、容量の一意性が示された。
• 構成は、$\overline{B(S-r)}$ を$U_S$ の補集合へ写像する、アフィン部分にサポートを持つ$\mathbb{C}P^{n-1}(S)$ 上のハミルトニアンディフェオモーフィズムに依存する。
• 面積成長が制御された1次元ハミルトニアンフローの積を用い、十分小さい$\epsilon$ と$t \in [0,1]$ に対して$\sum \pi|\phi_i^t(z_i)|^2 < S - a_n$ が成り立つようにし、ドメイン包含関係が保存されることを保証した。
• 定理4.3 [8] を併用すれば、$r = \sum a_k$ の場合にも結果が成り立つが、主な容量一意性結果の証明には厳密な不等号十分である。