[論文レビュー] Instanton Floer homology, sutures, and Euler characteristics

Zhenkun Li, Fan Ye|arXiv (Cornell University)|Jan 13, 2021

Geometric and Algebraic Topology参考文献 88被引用数 6

ひとこと要約

本稿は、バランスの取れたサチュレートド多様体上のインスタントンフロー・ホモロジーについて公理的枠組みを確立し、このホモロジーにおける順序付きオイラー特性が公理によって完全に決定されることを証明する。主な結果は、サチュレートドインスタントンホモロジーの順序付きオイラー特性 $\chi_{\rm gr}(SHI(M,\gamma))$ が、サチュレートドハイガード・フロー・ホモロジーのそれ $\chi_{\rm gr}(SFH(M,\gamma))$ と単項式因数を除き一致することであり、$S^3$ 内のリンクに対するアレクサンダー多項式の回復を一般化し、オイラー特性の文脈におけるインスタントンおよびハイガード・フロー不変量の同値性に関する予想を裏付ける。

ABSTRACT

This is a companion paper to an earlier work of the authors. In this paper, we provide an axiomatic definition of Floer homology for balanced sutured manifolds and prove that the graded Euler characteristic $χ_{ m gr}$ of this homology is fully determined by the axioms we proposed. As a result, we conclude that $χ_{ m gr}(SHI(M,γ))=χ_{ m gr}(SFH(M,γ))$ for any balanced sutured manifold $(M,γ)$. In particular, for any link $L$ in $S^3$, the Euler characteristic $χ_{ m gr}(KHI(S^3,L))$ recovers the multi-variable Alexander polynomial of $L$, which generalizes the knot case. Combined with the authors' earlier work, we provide more examples of $(1,1)$-knots in lens spaces whose $KHI$ and $\widehat{HFK}$ have the same dimension. Moreover, for a rationally null-homologous knot in a closed oriented 3-manifold $Y$, we construct canonical $\mathbb{Z}_2$-gradings on $KHI(Y,K)$, the decomposition of $I^\sharp(Y)$ discussed in the previous paper, and the minus version of instanton knot homology $\underline{ m KHI}^-(Y,K)$ introduced by the first author.

研究の動機と目的

• バランスの取れたサチュレートド 3 次元多様体に対するインスタントンフロー・ホモロジーの公理的定義を提供すること。
• このホモロジーの順序付きオイラー特性が公理によって一意に決定されることを証明すること。
• $(M,\gamma)$ がバランスの取れたサチュレートド多様体である限り、$\chi_{\rm gr}(SHI(M,\gamma)) \sim \chi_{\rm gr}(SFH(M,\gamma))$ が成り立つことを確立すること。ここで $\sim$ は $\pm t_1^{j_1} \cdots t_n^{j_n}$ の乗算を除き等価を意味する。
• リンク $L \subset S^3$ の多変数アレクサンダー多項式が、インスタントン絡みのホモロジー $KHI(S^3, L)$ の順序付きオイラー特性から回復可能である一般化を達成すること。

提案手法

• コボルディズム写像と次数の形式的性質を用いて、バランスの取れたサチュレートド多様体に対するフローエ型ホモロジーの公理化を行う。
• $H_2(M,\partial M)/{\rm Tors}$ を生成する適切に埋め込まれた適切な表面を用いて、$SHI(M,\gamma)$ および $SFH(M,\gamma)$ に $\mathbb{Z}^n$-次数を定義する。
• 両方のホモロジーに $\mathbb{Z}^n$-次数と整合性を持つ相対的 $\mathbb{Z}_2$-次数を導入する。
• 理論の形式的構造を用いて、ハンドル付加および接触構造に関する帰納法により、順序付きオイラー特性 $\chi_{\rm gr}(SHI(M,\gamma))$ を計算する。
• $KHI(Y,K)$、$I^\sharp(Y)$、および $\underline{\rm KHI}^-(Y,K)$ における標準的 $\mathbb{Z}_2$-次数を活用し、理論間のオイラー特性を関連付ける。
• 以前の研究におけるフレーム付きインスタントンホモロジーおよびコボルディズム写像の結果を応用し、オイラー特性の計算の一貫性を検証する。

実験結果

リサーチクエスチョン

• RQ1 インスタントンサチュレートドホモロジーの順序付きオイラー特性は、公理の集合によって完全に決定されるか？
• RQ2 $(M,\gamma)$ がバランスの取れたサチュレートド多様体である限り、$\chi_{\rm gr}(SHI(M,\gamma))$ と $\chi_{\rm gr}(SFH(M,\gamma))$ は単項式因数を除き一致するか？
• RQ3 リンク $L \subset S^3$ の多変数アレクサンダー多項式は、$KHI(S^3, L)$ の順序付きオイラー特性から回復可能か？
• RQ4 $KHI(Y,K)$、$I^\sharp(Y)$、および $\underline{\rm KHI}^{-}(Y,K)$ における標準的 $\mathbb{Z}_2$-次数は何か？ そしてそれはオイラー特性にどのように影響するか？
• RQ5 正規化がクロノイマーとムロウカのものである場合、$\mathbf{KHI}^g(-S^3, K)$ と $\chi_{\mu}(-S^3, K)$ のオイラー特性はどのように関係するか？

主な発見

• 提案されたバランスの取れたサチュレートド多様体上のインスタントンフロー・ホモロジーの公理によって、順序付きオイラー特性 $\chi_{\rm gr}(SHI(M,\gamma))$ が完全に決定されること。
• 任意のバランスの取れたサチュレートド多様体 $(M,\gamma)$ に対して、$\chi_{\rm gr}(SHI(M,\gamma)) \sim \chi_{\rm gr}(SFH(M,\gamma))$ が成り立つ。ここで $\sim$ は $\pm t_1^{j_1} \cdots t_n^{j_n}$ の乗算を除き等価を意味する。
• 任意のリンク $L \subset S^3$ に対して、順序付きオイラー特性 $\chi_{\rm gr}(KHI(S^3, L))$ は、$L$ の多変数アレクサンダー多項式を回復する。これは、絡み目の場合の一般化である。
• $KHI(Y,K)$、$I^\sharp(Y)$、および $\underline{\rm KHI}^{-}(Y,K)$ における標準的 $\mathbb{Z}_2$-次数は、適切に定義されており、オイラー特性の計算と整合性を持つ。
• $S^3$ 内の任意の絡み目 $K$ に対して、正規化がクロノイマーとムロウカのものである限り、$\chi_{\mu}(-S^3, K) = -1$ であり、$y > 0$ のとき $\chi_{y/x}(-S^3, K) = -y$ である。
• $\underline{\rm SHI}(M,\gamma)$ の直接系は閉包の genus に依存せず、写像 $\psi_{-,n+1}^n$ は $\mathbb{Z}_2$-次数を保存するため、$\underline{\rm KHI}^{-}(-S^3, K)$ に適切に定義された $\mathbb{Z}_2$-次数が保証される。