[論文レビュー] Contact Homology, Capacity and Non-Squeezing in R^2n x S^1 via Generating Functions

Sheila Sandon|arXiv (Cornell University)|Jan 20, 2009

Geometric and Algebraic Topology参考文献 32被引用数 23

ひとこと要約

この論文は、ℝ²ⁿ×S¹における接触ホモロジーの生成関数によるアプローチを確立し、ヴィテルボのシンプレクティック容量構成を接触設定に拡張する。生成関数を用いた接触ホモロジー群のファンクター性および単調性を用いて、特定の領域がより小さい領域にコンパクトに補間可能な接触埋め込みを持たないことを示すことで、エリャシバーグ＝キム＝ポルトェロヴィッチの非圧縮定理を新たな証明で示している。

ABSTRACT

Starting from the work of Bhupal, we extend to the contact case the Viterbo capacity and Traynor's construction of symplectic homology. As an application we get a new proof of the Non-Squeezing Theorem of Eliashberg, Kim and Polterovich.

研究の動機と目的

• 生成関数を用いて、ヴィテルボのシンプレクティック容量およびトレーナーのシンプレクティックホモロジー構成を接触状況に拡張すること。
• ホロモーフィック曲線に依存せずに、ℝ²ⁿ×S¹ におけるエリャシバーグ＝キム＝ポルトェロヴィッチの非圧縮定理の別証明を提供すること。
• 生成関数を用いて、ℝ²ⁿ×S¹ 内の領域に対する接触ホモロジー群を定義・研究し、その不変性および単調性の性質を確立すること。
• 生成関数から導かれる位相的不変量によって、ℝ²ⁿ×S¹ 内の特定の領域の接触圧縮がどのように妨げられるかを示すこと。

提案手法

• 生成関数の非有界な順序付き列を用いて、領域 $ \tilde{\mathcal{U}} \subset \mathbb{R}^{2n} \times S^1 $ に対して接触ホモロジー群 $ G_*^{(a,b]}(\tilde{\mathcal{U}}) $ を定義する。
• 接触不変性の確立：恒等写像にホモトープな任意の接触微分同相写像は、ホモロジー群に同型を誘導する。
• 単調性の証明：領域の包含写像は、ホモロジー群の順序を反転させる準同型を誘導し、接触微分同相写像の作用とファンクター的に整合する。
• 同型 $ G_*^{(a,b]}(\mathcal{U} \times S^1) \cong G_*^{(a,b]}(\mathcal{U}) \otimes H_*(S^1) $ を用いて、シンプレクティックホモロジーと接触ホモロジーを関連付ける。
• ファンクター性および単調性を応用し、微分同相的カテゴリーでは可能であるが接触埋め込みでは不可能な埋め込みを妨げる。
• 生成関数の構造を活用して、ヴィテルボのシンプレクティック容量に類似した接触容量を定義する。

実験結果

リサーチクエスチョン

• RQ1 ホロモーフィック曲線の技法に代えて、生成関数を用いて $ \mathbb{R}^{2n} \times S^1 $ 内の非圧縮現象を証明できるか？
• RQ2 領域 $ \mathbb{R}^{2n} \times S^1 $ における接触ホモロジー群の構造は何か？ また、包含写像および接触微分同相写像の下での挙動は？
• RQ3 生成関数を用いて、ヴィテルボのシンプレクティック容量構成を接触設定にどのように拡張できるか？
• RQ4 整数 $ k $ に対して $ R_2 \leq k \leq R_1 $ が成り立つとき、接触圧縮にどのような障害が生じ、それらはホモロジー不変量によってどのように記述されるか？
• RQ5 生成関数に基づく接触容量は、$ \mathbb{R}^{2n} \times S^1 $ 内の非圧縮を検出できるか？ これは $ \mathbb{R}^{2n} $ 内のシンプレクティック容量に類似したものか？

主な発見

• 接触ホモロジー群 $ G_*^{(a,b]}(\mathcal{U} \times S^1) $ は $ G_*^{(a,b]}(\mathcal{U}) \otimes H_*(S^1) $ に同型であり、シンプレクティックホモロジーと接触ホモロジーを結ぶ。
• 恒等写像にホモトープな接触微分同相写像は、接触ホモロジーに同型を誘導し、接触ホモトピーによる不変性が確立される。
• 領域の包含は、ホモロジー群の順序を反転させる準同型を誘導し、接触微分同相写像の作用とファンクター的に整合する。
• 非圧縮定理が成立する：$ R_2 \leq k \leq R_1 $ である整数 $ k $ に対して、$ \widehat{B(R_1)} $ はコンパクトに補間可能な接触埋め込みを $ \widehat{B(R_2)} $ に持たない。これはホモロジーによる障害によって示される。
• 本手法により、ホロモーフィック曲線の手法に依存せずに、エリャシバーグ＝キム＝ポルトェロヴィッチの非圧縮定理の生成関数に基づく証明が得られる。
• 本手法により、生成関数を用いてヴィテルボのシンプレクティック容量を接触トポロジーに拡張し、接触容量不変量を導出できる。