[論文レビュー] A connected sum formula for involutive Heegaard Floer homology

Kristen Hendricks, Ciprian Manolescu+1 more|arXiv (Cornell University)|Jul 25, 2016

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

ひとこと要約

本稿は、包絡的ヘーガードフローホモロジーに対する連結和の公式を確立し、3次元多様体のフローホモロジー複体上の共役自己同型が、個々の自己同型のテンソル積とチェインホモトピー同値であることを証明する。主な結果は、ホモロジーコボルディズム群から、自己同型を備えた複体の代数的・アーベル群へのホモモーフィズムの構成であり、$​\underline{d}(Y) \neq d(Y) \neq \bar{d}(Y)$ を満たす3次元多様体の初例の提供である。

ABSTRACT

We prove a connected sum formula for involutive Heegaard Floer homology, and use it to study the involutive correction terms of connected sums. In particular, we give an example of a three-manifold with $\underline{d}(Y) eq d(Y) eq \overline{d}(Y)$. We also construct a homomorphism from the three-dimensional homology cobordism group to an algebraically defined Abelian group, consisting of certain complexes (equipped with a homotopy involution) modulo a notion of local equivalence.

研究の動機と目的

• 標準的ヘーガードフローホモロジーの既知の公式を拡張し、包絡的ヘーガードフローホモロジーに対する連結和の公式を確立すること。
• 連結和における包絡的補正項 $\underline{d}$ および $\bar{d}$ の振る舞いを調べること。
• 3次元ホモロジー・コボルディズム群 $\Theta^3_{\mathbb{Z}}$ から、局所同値を modulo として定義された自己同型付き複体の代数的アーベル群へのホモモーフィズムを構成すること。
• $(\underline{d}(Y) \neq d(Y) \neq \bar{d}(Y)$ を満たす3次元多様体の初例を提供し、包絡的不変量の洗練された検出能力を示すこと。

提案手法

• グラフコボルディズム写像と代数的議論を用いて、$\mathbb{Z}_2[U]$ 上で $\mathit{CF}^{-}(Y_1\#Y_2, \mathfrak{s}_1\#\mathfrak{s}_2)$ 上の共役自己同型 $\iota$ が $\iota_1 \otimes \iota_2$ とチェインホモトピー同値であることを証明する。
• 写像コーンの理論を用いて、$\mathit{CFI}^{-}(Y_1\#Y_2, \mathfrak{s}_1\#\mathfrak{s}_2)$ を $\mathit{CF}^{-}(Y_1) \otimes \mathit{CF}^{-}(Y_2)$ 上の $Q(1 + \iota_1 \otimes \iota_2)$ のコーンとして計算する。
• $\mathit{CF}^{-}$ 複体の $\mathbb{Z}$-次数を活用し、追加の項 $U(\Phi_1\iota_1 \otimes \Phi_2\iota_2)$ がチェインホモトピー同値にゼロであることを示す。
• $\mathcal{R} = \mathbb{Z}_2[Q,U]/(Q^2)$ 上の写像コーン複体のホモロジーとして、包絡的ヘーガードフローホモロジー $\mathit{HFI}^{-}$ を定義する。
• $\mathit{HFI}^{-}$ 上に $\mathcal{A}_\infty$-加群構造が存在する可能性を検討し、連結和に対する予想的なアイレンバーグ＝モア・スペクトル系列の可能性を示唆する。
• 連結和のコーンのホモロジーと個々の $\mathit{CFI}^{-}$ 複体のテンソル積を比較し、$\mathbb{Z}_2[U]$ 上では準同型であるが、$\mathcal{R}$-不変的にはそうではないことを示す。

実験結果

リサーチクエスチョン

• RQ1 3次元多様体の連結和のヘーガードフローホモロジー複体上の共役自己同型は、個々の自己同型のテンソル積に分解可能か？
• RQ2 包絡的補正項 $\underline{d}$ および $\bar{d}$ は、標準的 $d$-不変量を超えてホモロジー・コボルディズム群内の非自明な要素を検出できるか？
• RQ3 3次元ホモロジー・コボルディズム群 $\Theta^3_{\mathbb{Z}}$ から、自己同型付き複体の代数的群へのホモモーフィズムは存在するか？
• RQ4 包絡的ヘーガードフローホモロジーの連結和の公式は、アイレンバーグ＝モア型のスペクトル系列を導くか？
• RQ5 $\mathit{HFI}^{-}$ 上の $\mathcal{A}_\infty$-加群構造は、予想的な Künneth 型同型を実現するように構成可能か？

主な発見

• 連結和 $Y_1\#Y_2$ の $\mathit{CF}^{-}$ 複体上での共役自己同型 $\iota$ は、$\mathbb{Z}_2[U]$ 上で $\iota_1 \otimes \iota_2$ とチェインホモトピー同値であり、包絡的ヘーガードフローホモロジーに対する連結和の公式が証明された。
• 包絡的補正項は $\underline{d}(Y_1\#Y_2) = \underline{d}(Y_1) + \underline{d}(Y_2)$ および $\bar{d}(Y_1\#Y_2) = \bar{d}(Y_1) + \bar{d}(Y_2)$ を満たし、標準的 $d$-不変量の加法性が拡張された。
• 本稿は、$\Theta^3_{\mathbb{Z}}$ から局所同値を modulo として定義された自己同型付き複体のアーベル群へのホモモーフィズムを構成し、新たな代数的不変量を提供した。
• 明示的な例として、$\underline{d}(Y) \neq d(Y) \neq \bar{d}(Y)$ を満たすものが与えられ、包絡的不変量が標準的 $d$-不変量よりも洗練された構造を検出できることを示した。
• 連結和のコーンのホモロジーは、$\mathbb{Z}_2[U]$ 上では個々の $\mathit{CFI}^{-}$ 複体のテンソル積と準同型であるが、$\mathcal{R}$-不変的にはそうではない。
• 本稿は、$\mathit{HFI}^{-}(Y_1\#Y_2) \cong \mathit{HFI}^{-}(Y_1) \tilde{\otimes}_{\mathfrak{R}} \mathit{HFI}^{-}(Y_2)$ が $\mathcal{A}_\infty$-加群として成り立つと予想し、それに伴うアイレンバーグ＝モアスペクトル系列の存在を示唆している。