[論文レビュー] Noncommutative Hodge-to-de Rham spectral sequence and the Heegaard Floer homology of double covers

Robert Lipshitz, David Treumann|arXiv (Cornell University)|Mar 13, 2012

Geometric and Algebraic Topology参考文献 27被引用数 13

ひとこと要約

本稿は特徴2における非可換 Hodge-to-de Rham 譜面を確立し、π-形式的条件のもとで、dg代数上の双モジュールの導来テンソル平方のホッホシュタインホモロジーが、その双モジュール自体のホッホシュタインホモロジーに収束することを示している。著者らはこの結果を境界付きヘーガードフローエルホモロジーに応用し、3次元多様体および絡み目の2重被覆（分岐および非分岐を含む）に対する新たな譜面を証明した。これはヘンドリックスの結果を一般化し、解析的手法にとらわれない代数的トポロジー的手法へと拡張している。

ABSTRACT

Let A be a dg algebra over F_2 and let M be a dg A-bimodule. We show that under certain technical hypotheses on A, a noncommutative analog of the Hodge-to-de Rham spectral sequence starts at the Hochschild homology of the derived tensor product of M with itself and converges to the Hochschild homology of M. We apply this result to bordered Heegaard Floer theory, giving spectral sequences associated to Heegaard Floer homology groups of certain branched and unbranched double covers.

研究の動機と目的

• dg代数および双モジュールに対して、特徴2における非可換 Hodge-to-de Rham 譜面の類似を確立すること。
• この譜面を境界付きヘーガードフローエルホモロジーに応用し、特に3次元多様体および絡み目の2重被覆に適用すること。
• 解析的手法に依存せず、純粋に代数的でカットアンドパースト方式の証明により、ヘンドリックスの定理など従来の解析的手法で得られた譜面を再構築・一般化すること。
• Z-被覆によって誘導される非分岐2重被覆に対しても譜面を一般化し、セイデル＝スミスの局在化定理の範囲を超えて拡張すること。

提案手法

• dg代数 A および双モジュール M が π-形式的かつホモロジカルに滑らかである条件のもとで、HH∗(M ⊗L_A M) から HH∗(M) に収束する譜面を構成すること。
• ホッホシュタインホモロジーにおける Z/2-局在化技術を用い、M ⊗L_A M のホッホシュタイン鎖複体における U(1) の部分群 Z/2 ⊂ U(1) の作用を分析すること。
• 境界付きヘーガードフローエル理論への応用において、絡み目のフローエルホモロジーを境界付き代数上の双モジュールのホッホシュタインホモロジーとして解釈すること。
• 特定の2重被覆（分岐または非分岐）に対して、対応する双モジュールが π-形式的かつ中立的であることを示し、譜面が期待どおりに収束することを保証すること。
• 境界付きフローエルホモロジーにおける正確な三角形と、ドレインツイストに付随する双モジュールのセルレ双対性を用いて、ホッホシュタインホモロジーにおける擬等長写像および同型写像を確立すること。
• TC(Z) がオーバートゥイストド近傍を持つ接触構造に対応することを活用し、境界付きサチュレートド設定における正確な三角形の議論を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 適切な代数的条件下で、特徴2において M ⊗L_A M のホッホシュタインホモロジーから HH∗(M) への譜面を構成できるか？
• RQ2 この譜面をヘーガードフローエルホモロジーに応用し、分岐2重被覆に対するヘンドリックスの譜面を回復または一般化できるか？
• RQ3 この手法は、解析的手法に失敗する非分岐2重被覆（特に Z-被覆によって誘導されるもの）へと拡張可能か？
• RQ4 π-形式的および中立性が、譜面の E∞-頁の収束および同定を保証する役割を果たすか？

主な発見

• π-形式的およびホモロジカルに滑らかな条件下で、HH∗(M ⊗L_A M) ⇒ HH∗(M) という譜面が構成され、特徴2における非可換 Hodge-to-de Rham 譜面が得られた。
• 3次元多様体 Y に零ホモロジカルな絡み目 K が存在し、そのジャンル2のセイフェルト表面を持つとき、各アレクサンダー次数 i に対して、[HFK(Σ(K), π⁻¹(K); π∗t, i)] ⊗ H∗(Tⁿ) から [HFK(Y, K; t, i)] への譜面が存在する。
• ジャンル k のセイフェルト表面を持つ絡み目 K に対して、[HFK(Σ(K), π⁻¹(K); π∗t, k−1)] から [HFK(Y, K; t, k−1)] への譜面が存在する。
• Z-被覆によって誘導される非分岐2重被覆 π: ˜Y →Y に対して、ねじれスピン構造 s に対して、dHF(˜Y; π∗s) ⊗ H∗(S¹) ⇒ dHF(Y; s) という譜面が確立された。
• この譜面が非可換 Hodge-to-de Rham 譜面と整合的であることが示され、特に Hodge-to-de Rham 譜面が退化する場合に顕著である。
• ドレインツイストに付随する双モジュールはセルレファンクターとして作用し、それとのテンソル積がホッホシュタインホモロジーに同型写像を誘導する。これは、譜面の正当性が主要な場合に確認された。