[論文レビュー] Framed instanton homology of surgeries on L-space knots

Tye Lidman, Juanita Pinzón‐Caicedo+1 more|arXiv (Cornell University)|Mar 6, 2020

Geometric and Algebraic Topology被引用数 4

ひとこと要約

本稿は、インスタントンL空間絡み目のすべての整数スケーリングについて、フレーム付きインスタントンフローホモロジーを計算し、絶対的ℤ/2-次数においてヘーガードフローホモロジーと一致することを証明する。スケーリングの正確な三角形と接触位相的道具を用いて、$I^\#(S^3_n(K))$ について、 knot genus $g$ を用いた完全な公式を確立し、Baldwin-Sivekの接触不変量がℤ/2-次数において均一的であるが、ℤ/4-次数においてはそうではないことを示し、インスタントンフローホモロジーにおけるL空間スケーリングの主要な構造的問題を解決する。

ABSTRACT

An important class of three-manifolds are L-spaces, which are rational homology spheres with the smallest possible Floer homology. For knots with an instanton L-space surgery, we compute the framed instanton Floer homology of all integral surgeries. As a consequence, if a knot has a Heegaard Floer and instanton Floer L-space surgery, then the theories agree for all integral surgeries. In order to prove the main result, we prove that the Baldwin-Sivek contact invariant in framed instanton Floer homology is homogeneous with respect to the absolute $\mathbb{Z}/2$-grading, but not the $\mathbb{Z}/4$-grading.

研究の動機と目的

• 非自明なインスタントンL空間絡み目に対するすべての整数スケーリングについて、フレーム付きインスタントンフローホモロジー $I^\#(S^3_n(K))$ を計算すること。
• Heegaardフローホモロジーの構造と一致するように、$I^\#(S^3_n(K))$ をℤ/2-次数付きℂ-ベクトル空間として完全な公式を確立すること。
• フレーム付きインスタントンホモロジーにおけるBaldwin-Sivek接触不変量がℤ/2-次数において均一的であるが、ℤ/4-次数においてはそうではないことを証明すること。
• 追加のレンズ空間スケーリングの仮定の下で、ℤ/4-次数群への計算を精緻化すること。
• Seifert空間 $\Sigma(2,3,7)$ などの既知のインスタントンホモロジー計算を、新しい手法により回復すること。

提案手法

• インスタントンスケーリング正確三角形を用いて、$I^\#(S^3_n(K))$、$I^\#(S^3_{n+1}(K))$、および $I^\#(S^3)$ を関連付け、コーボリズム写像によるℤ/4-次数のずれを追跡する。
• インスタントンL空間絡み目がファイバードであり、強く準正則的であり、$\overline{sl}(K) = 2g(K) - 1$ を満たすという事実を活用し、接触構造とスケーリングコーボリズムを制御する。
• フレーム付きインスタントンホモロジーにおけるBaldwin-Sivek接触不変量の構成を適用し、コーボリズム写像を用いてその次数挙動を分析する。
• $I^\#(S^3) \cong \mathbb{C}$ が次数0に成り立つという事実とスケーリング三角形を用い、帰納的にホモロジー群を特定する。
• レンズ空間スケーリングの場合、スケーリング三角形における$n$に依存する特定の次数ずれを用いて、ℤ/2-次数の結果をℤ/4-次数に精緻化する。
• 既知の結果（例：$I^\#(\Sigma(2,3,7))$ および $I^\#(\Sigma(2,3,5))$）との一貫性を検証する。

実験結果

リサーチクエスチョン

• RQ1 インスタントンL空間絡み目の整数スケーリングにおけるフレーム付きインスタントンフローホモロジーは、ℤ/2-次数においてヘーガードフローホモロジーと一致するか？
• RQ2 フレーム付きインスタントンホモロジーにおけるBaldwin-Sivek接触不変量は、ℤ/4-次数において均一的か？
• RQ3 スケーリング $S^3_n(K)$ がレンズ空間であるとき、$I^\#(S^3_n(K))$ のℤ/4-次数構造は完全に計算可能か？
• RQ4 インスタントンとヘーガードフローホモロジーのL空間条件が両方満たされる場合、すべての整数スケーリングに対して同型なホモロジー群が得られるか？
• RQ5 すべての整数スケーリングに対して、$\dim I^\#(Y) = |H_1(Y;\mathbb{Z})|$ を満たすインスタントンL空間$Y$は、必ずℤ/4-次数付きベクトル空間として $(\lceil(n+1)/2\rceil, 0, \lfloor(n-1)/2\rfloor, 0)$ に同型であるか？

主な発見

• 任意の非自明なインスタントンL空間絡み目 $K$（ genus $g$）に対して、フレーム付きインスタントンフローホモロジー $I^\#(S^3_n(K))$ は、ℤ/2-次数付きℂ-ベクトル空間として $\widehat{HF}(S^3_n(K))$ に同型であり、明示的な公式は定理1.1に与えられる。
• フレーム付きインスタントンホモロジーにおける接触不変量 $\Theta^\#$ はℤ/2-次数において均一的であるが、ℤ/4-次数においてはそうではない。これは、コーボリズム写像と異なる次数ずれを用いた背理法によって示された。
• $n > 0$ のとき $S^3_n(K)$ がレンズ空間であるならば、Corollary 5.3により $I^\#(S^3_n(K))$ のℤ/4-次数構造が完全に決定され、各次数における次元は $n$ と $g$ に依存して明示的に与えられる。
• $I^\#(S^3_n(K))$ のℤ/4-次数公式は、$\Sigma(2,3,7)$ および $\Sigma(2,3,5)$ に対する既知の結果を回復し、従来の独立した計算と一貫性を示している。
• $n > 0$ のとき右回転トレイフォールド $T_{2,3}$ に対する $1/n$-スケーリングでは、ℤ/2-次数インスタントンホモロジーは $I^\#(S^3_{1/n}(T_{2,3})) \cong \mathbb{C}^n_{(0)} \oplus \mathbb{C}^{n-1}_{(1)}$ であり、$\widehat{HF}$ と一致する。
• 本稿は、インスタントンとヘーガードフローホモロジーの両方のL空間絡み目に対して、$I^\#(S^3_n(K))$ の同型型が、 genus $g$ とスケーリング係数 $n$ のみによって完全に決定され、ねじれがなく、最小のランクを持つことを確立した。