[論文レビュー] Projective Naturality in Heegaard Floer Homology

Mike Gartner|arXiv (Cornell University)|Aug 17, 2019

Geometric and Algebraic Topology被引用数 4

ひとこと要約

本稿は、積分Heegaard Floerホモロジーの射影的自然性を確立する。そのために、不変量が$\mathbb{Z}[U]$-加群のホモトピー圏の射影化されたカテゴリにおける可換系への関手をなすこと、すなわち、射影化されたホモトピー圏における可換系のカテゴリへの関手として不変量が形成されることを示す。これは、$\mathbb{F}_2$係数で既に得られていた自然性の結果を$\mathbb{Z}$係数へ拡張し、文献における空白を埋め、コボルディズム写像および自己同型的不変量における自然性の基盤を提供する。

ABSTRACT

Let $ ext{Man}_{*}$ denote the category of closed, connected, oriented and based $3$-manifolds, with basepoint preserving diffeomorphisms between them. Juhász, Thurston and Zemke showed that the Heegaard Floer invariants are natural with respect to diffeomorphisms, in the sense that there are functors $HF^{\circ}: ext{Man}_{*} ightarrow \mathbb{F}_{2}[U] ext{-} ext{Mod}$ whose values agree with the invariants defined by Ozsváth and Szabó. The invariant associated to a based $3$-manifold comes from a transitive system in $\mathbb{F}_{2}[U] ext{-} ext{Mod}$ associated to a graph of embedded Heegaard diagrams representing the $3$-manifold. We show that the Heegaard Floer invariants yield functors $HF^{\circ}: ext{Man}_{*} ightarrow ext{Trans}(P(\mathbb{Z}[U] ext{-} ext{Mod}))$ to the category of transitive systems in a projectivized category of $\mathbb{Z}[U]$-modules. In doing so, we will see that the transitive system of modules associated to a $3$-manifold actually comes from an underlying transitive system in the projectivized homotopy category of chain complexes over $\mathbb{Z}[U] ext{-} ext{Mod}$. We discuss an application to involutive Heegaard Floer homology, and potential generalizations of our results.

研究の動機と目的

• 微分同相写像およびコボルディズムに関して、$\mathbb{Z}$-係数Heegaard Floerホモロジーの自然性に関する文献における空白を埋めること。
• Juhász, Thurston, Zemkeが$\mathbb{F}_2$係数で既に確立した自然性枠組みを、可換系を用いて整数係数へ拡張すること。
• 異なる図と基点間でのHeegaard Floer不変量を比較する体系的な方法を提供すること。これは、接触不変量や絡み目の理論への応用にとって不可欠である。
• 積分コボルディズム写像の自然性を証明する基盤を築くこと。
• 不変量を、$\mathbb{Z}[U]$-加群の射影化されたホモトピー圏における可換系のカテゴリへの関手として形式化すること。

提案手法

• 閉じた向き付け可能な3次元多様体の、点付きHeegaard図の同相型のグラフ$\mathcal{G}_{\text{man}}$を構成し、辺はHeegaard移動と微分同相写像に対応する。
• このグラフ上の$\mathbb{Z}[U]$-加群の可換系としてHeegaard Floer不変量を定義し、Heegaard移動および微分同相写像の下で一貫性を保証する。
• $\mathbb{Z}[U]$-加群上の複体のカテゴリを射影化し、その可換系が、$\mathbb{Z}[U]$-加群の射影化されたホモトピー圏における可換系から生じることを示す。
• 擬似正則三角形によって誘導される継続写像と三角形写像を用いて、Heegaard Floer加群間の射を定義し、Heegaard移動によって誘導される同値関係の下で整合性を保証する。
• 手術正確三角形が可換系の部分的に定義された三角形へ拡張されることを示し、その拡張を、逆同値関係との合成により完全に定義された可換系の射へ拡張する。
• 文献[OS06]の定理4.4および関手的性質の結果を活用し、構成された写像が同値関係を誘導する写像と符号を除き可換することを保証し、可換系の構造を保存する。

実験結果

リサーチクエスチョン

• RQ1 微分同相写像に関して、$\mathbb{Z}$-係数Heegaard Floerホモロジーの自然性はどのように確立できるか？
• RQ2 整数係数設定における不変量を関手として形式化するための正しい圏的枠組みは何か？
• RQ3 可換系としての$\mathbb{Z}[U]$-加群は、射影化された複体のホモトピー圏における構造に引き上げられるか？
• RQ4 手術正確三角形および継続写像は、射影的自然性枠組みの下でどのように振る舞うか？
• RQ5 この枠組みは、自己同型的Heegaard Floerホモロジーおよびコボルディズム写像にどのような含意を持つのか？

主な発見

• $\mathbb{Z}$-係数Heegaard Floer不変量は、関手$HF^\circ: \text{Man}_* \to \text{Trans}(P(\mathbb{Z}[U]\text{-Mod}))$を定め、$\mathbb{Z}[U]$-加群の射影化されたカテゴリにおける可換系の値をとる。
• 可換系としての$\mathbb{Z}[U]$-加群は、$\mathbb{Z}[U]$-加群の射影化されたホモトピー圏における可換系から生じる。
• 手術正確三角形は、可換系の部分的に定義された三角形へ拡張され、Heegaard移動によって誘導される同値関係と整合性を保つ。
• 逆同値関係を用いて、図の間でHeegaard Floer加群間の写像を一貫して拡張でき、可換系の射が正しく定義される。
• 図のすべての面が符号を除き可換であり、正確性および関手的性質が保たれる。
• この枠組みにより、微分同相写像に関して、積分Heegaard Floerホモロジーの自然性の完全な証明が得られ、文献における重要な空白が埋められた。