[論文レビュー] Combinatorial Heegaard Floer homology and nice Heegaard diagrams

Peter S. Ozsváth, András I. Stipsicz+1 more|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|Dec 4, 2009

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

ひとこと要約

本稿では、ペア・オブ・パンツ分解から導かれる特別に構築された「ニース」なヘーガード図を用いて、安定化されたヘーガード・フローリングホモロジー ${\widehat{\rm{HF}}}_{\rm{st}}(Y)$ の組み合わせ的・位相的構成を提示する。$\mathbb{F} \oplus \mathbb{F}$ とのテンソル積による安定化ホモロジー群の定義により、擬解析的曲線に依存しない完全な位相的不変証明が可能となり、有理ホモロジー球面に対してはこの不変量が標準的な ${\widehat{\rm{HF}}}(Y)$ と同値であることが示された。

ABSTRACT

We consider a stabilized version of hat Heegaard Floer homology of a 3-manifold Y (i.e. the U=0 variant of Heegaard Floer homology for closed 3-manifolds). We give a combinatorial algorithm for constructing this invariant, starting from a Heegaard decomposition for Y, and give a combinatorial proof of its invariance properties.

研究の動機と目的

• 擬解析的曲線のような解析的技法に依存せずに、完全に位相的で組み合わせ的なヘーガード・フローリングホモロジーの記述を構築すること。
• ヘーガード図のクラスを体系的に構成すること——特に、ペア・オブ・パンツ分解に関連する「マルチポイント付きニース図」を用い、そのチェーン複体を明示的に計算可能にするもの。
• $(\mathbb{F} \oplus \mathbb{F})$ とのテンソル積を用いて、${\widehat{\rm{HF}}}(Y)$ の安定化版 ${\widehat{\rm{HF}}}_{\rm{st}}(Y)$ を定義し、その不変性を位相的手段によって証明すること。
• ${\widehat{\rm{HF}}}_{\rm{st}}(Y)$ が3次元多様体不変量であることを示し、有理ホモロジー球面に対しては標準的な ${\widehat{\rm{HF}}}(Y)$ と同値であることを確立すること。
• この枠組みをねじれ係数へと拡張し、有理ホモロジー球面に対して ${\widehat{\rm{HF}}}_{T}(Y)$ の位相的定義を提供すること。

提案手法

• まず、$Y = Y_1 \# n(S^1 \times S^2)$ の素成分 $Y_1$ のためのヘーガード図 $\mathfrak{D}$ を、サルカラとワンの定義における「ニース」で、複数の基点 $\mathbf{w}$ を持つものとしてとる。
• 交点とホロモーフィックディスクの数を位相的データに置き換えることにより、図から組み合わせ的にチェーン複体 $({\widetilde{\rm{CF}}}(\mathfrak{D}), {\widetilde{\partial}}_{\mathfrak{D}})$ を構成する。
• この複体のホモロジー ${\widetilde{\rm{HF}}}(\mathfrak{D})$ を、$(\mathbb{F} \oplus \mathbb{F})^n$ とのテンソル積により安定化し、${\widetilde{\rm{HF}}}(\mathfrak{D}, n)$ を得る。
• 安定不変量 ${\widehat{\rm{HF}}}_{\rm{st}}(Y)$ は、$b(\mathfrak{D}) = |\mathbf{w}|$ である等価類 $[ {\widetilde{\rm{HF}}}(\mathfrak{D}, n), b(\mathfrak{D}) ]$ として定義される。
• 不変性は、$g$-フラップとマーク付き曲面上の弧のホトポシィーに依存する位相的議論により証明され、ホトポシィー中に通過するマーク点の数に関する帰納法を用いる。
• 証明は、任意の曲面のペア・オブ・パンツ分解が、組み合わせ的構造を保つトップロジカル・ムーブである $g$-フラップの系列によって関連付けられることを示すことに依存する。

実験結果

リサーチクエスチョン

• RQ1 擬解析的曲線に依存せずに、完全に位相的で組み合わせ的なヘーガード・フローリングホモロジーの構成が可能か？
• RQ2 ヘーガード曲面のペア・オブ・パンツ分解から、どのようにしてヘーガード図を体系的に構成できるか？
• RQ3 $(\mathbb{F} \oplus \mathbb{F})$ とのテンソル積による安定化版 ${\widehat{\rm{HF}}}(Y)$ は、ハンドルスライドやホトポシィーなどの位相的変形に対して不変か？
• RQ4 解析的技法を一切用いずに、位相的および組み合わせ的技術のみを用いて、得られたホモロジー群の不変性を証明できるか？
• RQ5 この安定不変量は、有理ホモロジー球面に対して標準的な ${\widehat{\rm{HF}}}(Y)$ を回復するか？

主な発見

• ${\widehat{\rm{HF}}}_{\rm{st}}(Y)$ は、ヘーガード図やペア・オブ・パンツ分解の選択に依存しない、well-defined な3次元多様体不変量である。
• 本構成は、擬解析的曲線の解析的技法に代わる完全な位相的不変証明を提供し、組み合わせ的ホトポシィーと $g$-フラップの議論を用いる。
• 有理ホモロジー球面に対して、不変量 ${\widehat{\rm{HF}}}_{\rm{st}}(Y)$ は標準的な ${\widehat{\rm{HF}}}(Y)$ と同値であり、同じ位相的情報を捉えている。
• 本稿は、任意の閉じた3次元多様体がニースなヘーガード図を持つことを確立し、このような図がペア・オブ・パンツ分解から構成可能であることを示し、ヘーガード・フローリングホモロジーを古典的3次元多様体位相へと結びつけた。
• $g$-フラップとマーク付き曲面上の弧のホトポシィーの方法は、異なるヘーガード図を関連付ける完全な位相的フレームワークを提供し、マーク点の数に関する帰納法により等価性を証明する。
• この枠組みはねじれ係数へと拡張可能であり、有理ホモロジー球面に対して ${\widehat{\rm{HF}}}_{T}(Y)$ の位相的定義が得られ、これは ${\widehat{\rm{HF}}}(Y)$ と同型である。