[論文レビュー] Surgery exact triangles in involutive Heegaard Floer homology

Kristen Hendricks, Jennifer Hom+2 more|arXiv (Cornell University)|Oct 30, 2020

Geometric and Algebraic Topology参考文献 28被引用数 7

ひとこと要約

本稿では、自己同型の二重化モデルを用いて、自己同型的ヘーガードフラワー homology における手術正確三角形を確立し、ねじれ手術のオルツヴァース＝ツァボーのマッピングコーン公式の自己同型的版を可能にする。主な貢献は、線形結合としてのセイフェルト被覆空間のいずれともホモロジー コボルディズムでない整数ホモロジー球面の例を生成する、新しい手術公式の確立である。

ABSTRACT

We establish a surgery exact triangle for involutive Heegaard Floer homology by using a doubling model of the involution. We use this exact triangle to give an involutive version of Ozsváth-Szabó's mapping cone formula for knot surgery. As an application, we use this surgery formula to give examples of integer homology spheres that are not homology cobordant to any linear combination of Seifert fibered spaces.

研究の動機と目的

• ねじれ手術のマッピングコーン公式を、ヘーガードフラワー homology の自己同型的設定に拡張すること。
• 自己同型の二重化モデルを用いて、自己同型的ヘーガードフラワー homology における手術正確三角形を構成すること。
• 自己同型的不変量を用いたホモロジー コボルディズムの新しい障害理論を提供すること。
• 線形結合としてのセイフェルト被覆空間のいずれともホモロジー コボルディズムでない整数ホモロジー球面の存在を示すこと。
• 手術正確三角形に自己同型的対称性を組み込むことによって、3次元多様体トポロジーにおける既存の道具を精緻化すること。

提案手法

• ヘーガードフラワー鎖複体上の共役自己同型の二重化モデルを構築する。
• 二重化モデルを用いて、自己同型的設定における手術正確三角形を定義する。
• 自己同型的微分の構造を活用して、ねじれ手術のマッピングコーン公式を導出する。
• 得られた正確三角形を用いて、ねじれ手術の自己同型的不変量を計算する。
• 精緻化された不変量を用いて、ホモロジー コボルディズム群における非自明性を検出する。
• 手術公式と既知の不変量を組み合わせて、ホモロジー コボルディズムに対する明示的な障害を構成する。

実験結果

リサーチクエスチョン

• RQ1 自己同型の二重化モデルを用いて、自己同型的ヘーガードフラワー homology における手術正確三角形を構成できるか？
• RQ2 自己同型的構造は、ねじれ手術の古典的マッピングコーン公式をどのように精緻化するか？
• RQ3 自己同型的手術公式から、ホモロジー コボルディズムにどのような新しい障害が生じるか？
• RQ4 線形結合としてのセイフェルト被覆空間のいずれともホモロジー コボルディズムでない整数ホモロジー球面は存在するか？
• RQ5 自己同型的手術正確三角形は、ホモロジー コボルディズム群における非自明な要素を検出できるか？

主な発見

• 著者らは、自己同型の二重化モデルを用いて、自己同型的ヘーガードフラワー homology における手術正確三角形を構築した。
• この正確三角形を用いて、ねじれ手術のオルツヴァース＝ツァボーのマッピングコーン公式の自己同型版が確立された。
• 手術公式は、自己同型的不変量の文脈において、ホモロジー コボルディズムに対する新しい障害を提供する。
• 著者らは、線形結合としてのセイフェルト被覆空間のいずれともホモロジー コボルディズムでない整数ホモロジー球面の明示的例を生成した。
• 結果として、自己同型的手術正確三角形がホモロジー コボルディズム群における非自明な要素を検出できることを示した。
• 本研究は、古典的不変量のみでは検出できない非自明なホモロジー コボルディズム類の存在を確認した。