[論文レビュー] On the contact class in Heegaard Floer homology

Ko Honda, William Kazez+1 more|ArXiv.org|Sep 26, 2006

Geometric and Algebraic Topology参考文献 11被引用数 17

ひとこと要約

この論文は、Heegaard Floer homologyにおけるOzsváth-Szabó接触類の代替的で幾何的に直感的な記述を、EH類を用いて提示する。このEH類が元の接触不変量と一致することが示され、特に一重の穴あきトーラスをページとする開ブックに対して、接触構造が非自明である（tight）ための必要十分条件が、モノドロミーが右向きであることに等しいことが明らかになる。この結果により、この場合のtightnessの完全な特徴づけが得られる。

ABSTRACT

We present an alternate description of the Ozsvath-Szabo contact class in Heegaard Floer homology. Using our contact class, we prove that if a contact structure (M,ξ) has an adapted open book decomposition whose page S is a once-punctured torus, then the monodromy is right-veering if and only if the contact structure is tight.

研究の動機と目的

• Heegaard Floer homologyにおけるOzsváth-Szabó接触類のより幾何的で実用的な記述を提供すること。
• 右向きモノドロミーと3次元多様体上のtight接触構造との間の関係を確立すること。
• 一重の穴あきトーラスをページとする開ブックに対して、モノドロミーの性質に基づくtightnessの完全な特徴づけを示すこと。
• 最小の右向きモノドロミーを持つ開ブックが、 genus one の場合にtight接触構造を支持するという予想を解決すること。

提案手法

• Heegaard Floer homologyにおけるEH類を、Ozsváth-Szabó接触類の代替として導入する。
• EH類が元の接触類 $ c(\xi) $ に等しいことを証明し、接触不変量としての有効性を確立する。
• 擬アノソフモノドロミーをもつ一重の穴あきトーラスをページとする特定のHeegaard図を用いる。
• 曲面の対称積における擬似正則ディスクの数え上げを応用し、EH類の非自明性を示す。
• 写像類群におけるデーンねじれと分数デーンねじれ係数を用いてモノドロミーの力学的性質を分析する。
• ファレイのタイル張りと $ SL(2,\mathbb{Z}) $ 内の共役性を用いて、接触不変量の計算に適した基底を選択する。

実験結果

リサーチクエスチョン

• RQ1 Heegaard Floer homologyにおけるOzsváth-Szabó接触類は、より幾何的かつ計算可能な形に再表現可能か？
• RQ2 右向きモノドロミーと3次元多様体上のtight接触構造との間に直接的な関係は存在するか？
• RQ3 一重の穴あきトーラスをページとする開ブックに対して、右向きモノドロミーはtight接触構造を完全に特徴づけるか？
• RQ4 EH類は、この文脈において、非自明なオーバートゥイスト性の障害を計算可能に提供するか？
• RQ5 分数デーンねじれ係数は、接触類の非自明性を決定づける際に果たす正確な役割は何か？

主な発見

• EH類が $ \widehat{HF}(-M) $ 内でOzsváth-Szabó接触類 $ c(\xi) $ に等しいことが証明され、接触不変量としての有効性が裏付けられた。
• 一重の穴あきトーラスをページとする開ブックに対して、接触構造がtightであることとモノドロミーが右向きであることは同値である。
• モノドロミーが擬アノソフ的で、分数デーンねじれ係数 $ c = \frac{1}{2} $ の場合、接触類は非ゼロであり、tightnessを示唆する。
• 可約なモノドロミーに対しても、接触類は非ゼロであるが、これはモノドロミーが右向きである場合に限る。負のデーンねじれが存在しても成立する。
• 非右向きモノドロミーに対してはEH類が消えるため、この場合にオーバートゥイスト性が確認される。
• 証明は、生成元 $ \mathbf{x} = (x_0, y_0) $ を消去する可能性のある擬似正則ディスクがHeegaard図に存在しないことの証明に依拠しており、これにより接触類の非自明性が保証される。