[論文レビュー] Combinatorial embedded contact homology for toric contact manifolds

Keon Choi|arXiv (Cornell University)|Aug 29, 2016

Geometric and Algebraic Topology参考文献 10被引用数 6

ひとこと要約

本稿は、軌道的モーメント写像とパス分解を用いて、トーリック接触3次元多様体の埋め込み接触ホモロジー（ECH）チェーン複体を組み合わせ的に記述する。ECHインデックス1の擬全純曲線を、自明な領域、分解不能な領域、および最小に装飾された領域の連結により特徴付けることで、ECHの微分に関する基準を確立し、[8]におけるレンズ空間のシンプレクティック埋め込みに関する予想A.3を証明する。

ABSTRACT

Computing embedded contact homology (ECH) and related invariants of certain toric 3-manifolds (in the sense of Lerman) has led to interesting new results in the study of symplectic embeddings. Here, we give a combinatorial formulation of ECH chain complexes for general toric contact 3-manifolds. As a corollary, we prove Conjecture A.3 from [Hutchings14].

研究の動機と目的

• 一般のトーリック接触3次元多様体に対する埋め込み接触ホモロジー（ECH）チェーン複体の組み合わせ的定式化を構築すること。
• ハッチングとサリヴァンの多角形パスおよびコーナーの丸め法を、すべてのトーリック接触構造へと拡張すること。
• レンズ空間のシンプレクティック埋め込みに関する[8]の予想A.3を解明すること。
• 自明な領域、分解不能な成分、および正則性条件に基づいた幾何学的・組み合わせ的データを用いて、ECH微分を特徴付けること。

提案手法

• 接触構造を軌道的モーメント写像 $ a: \mathbb{I} \to ({\mathfrak{t}}^2)^* $ により表現し、$ \lambda $ を $ \pi_{\mathbb{I}}^*a $ の摂動とする。
• リーマン面のパス $ \bar{\mathcal{P}} $ を定義し、辺の方向、凸性、重複度の成分を含める。
• ECH生成子を軌道集合として特徴付け、微分 $ \partial $ をECHインデックス1の $ J $-擬全純曲線のモジュライ空間を用いて定義する。
• モース＝ボット理論と摂動技術を用いて、$ \mathbb{Z}/2 $ホモロジーにおける横断性と正しく定義された数え上げを保証する。
• 有効な擬全純曲線寄与を分類するために、$ a $-正則性、最小に正則、およびほぼ最小に装飾された領域の概念を導入する。
• 軌道的モーメント写像の部分区間へのパスデータの制限により、$ ECC(L(p,q)) $ から $ ECC(T^3) $ へのチェーン写像 $ \Phi $ を構成し、微分と整合することを証明する。

実験結果

リサーチクエスチョン

• RQ1 トーリック接触3次元多様体において、ECHインデックス1の擬全純曲線がECH微分によって数え上げられる組み合わせ的条件は何か？
• RQ2 軌道的モーメント写像のパス分解を用いて、トーリック接触多様体のECHチェーン複体を完全に記述できるか？
• RQ3 $ ECC(L(p,q)) $ から $ ECC(T^3) $ へのチェーン写像 $ \Phi $ は、シンプレクティック埋め込みの障害として必要な微分を保存するか？
• RQ4 リーマン軌道の凸性と凹性が、擬全純曲線寄与の符号と存在に果たす正確な役割は何か？
• RQ5 [8]の予想A.3—レンズ空間が凸なトーリック領域にシンプレクティックに埋め込めるかどうか—は、提示された組み合わせ的枠組みのもとで真であるか？

主な発見

• 微分 $ \partial \alpha $ が $ \beta $ を含むのは、領域 $ \mathcal{R}_{\alpha,\beta} $ が $ \mathcal{T}_1 \mathcal{R}' \mathcal{T}_2 $ の形に分解可能であり、$ \mathcal{T}_i $ が自明で、$ \mathcal{R}' $ が局所的でなく、分解不能で、$ a $-正則で、最小に正則で、ほぼ最小に装飾されたときである。
• このような領域の組み合わせ的ECHインデックスは非負であり、領域が最小に正則かつ最小に装飾されているときにかつそのときに限り0である。
• 微分寄与の一意性は、2つのこのような領域が存在する場合にのみ失敗し、その場合、$ \mathbb{Z}/2 $ホモロジーにおいて寄与が相殺される。
• チェーン写像 $ \Phi: ECC(L(p,q)) \to ECC(T^3) $ が、軌道的モーメント写像の部分区間へのパスデータの制限により構成され、微分と次数を保存する。
• 写像 $ \Phi $ が、$ a_T $ が凸であり、$ (\tilde{x}_1, \tilde{x}_0 + 2) $ で特定の符号条件を満たす場合にチェーン写像であることが示され、[8]の予想A.3が確認される。
• 証明は、$ T^3 $ 内の任意の擬全純曲線で $ \mathcal{R}_{\alpha,\beta} $ が非自明であるものは、レンズ空間の像内に支持されている必要があることを示すことにより、正則性とインデックス制約に依拠する。