[論文レビュー] Equivariant aspects of singular instanton Floer homology

Aliakbar Daemi, Christopher Scaduto|arXiv (Cornell University)|Dec 19, 2019

Geometric and Algebraic Topology参考文献 51被引用数 11

ひとこと要約

本稿は、$SU(2)$ゲージ理論に円作用を導入したフレームド特異接続の上で、整数ホモロジー3次元球面内の絡み目の同相的不変量として、等長不変量を導入する。チェーン＝シモンズ汎関数から等長モース複体を構成することで、3つのホモロジー群、$h(K)$のような同相不変量、および拡張された$\mathcal{S}$-複体を定義する。主な結果として、$h(K) = 0$ が特定のトーラス絡み目およびモンテスィノス絡み目に対して成り立つ。これは、トレースレス表現多様体のサイズが$\frac{1}{2}(|\Delta_K| + 1)$である場合に成り立ち、クロンハイマー–マローウァの不変量を回復・拡張する。

ABSTRACT

We associate several invariants to a knot in an integer homology 3-sphere using $SU(2)$ singular instanton gauge theory. There is a space of framed singular connections for such a knot, equipped with a circle action and an equivariant Chern-Simons functional, and our constructions are morally derived from the associated equivariant Morse chain complexes. In particular, we construct a triad of groups analogous to the knot Floer homology package in Heegaard Floer homology, several Frøyshov-type invariants which are concordance invariants, and more. The behavior of our constructions under connected sums are determined. We recover most of Kronheimer and Mrowka's singular instanton homology constructions from our invariants. Finally, the ADHM description of the moduli space of instantons on the 4-sphere can be used to give a concrete characterization of the moduli spaces involved in the invariants of spherical knots, and we demonstrate this point in several examples.

研究の動機と目的

• フレームド特異$SU(2)$接続に$S^1$対称性をもつ$SU(2)$ゲージ理論を用いた、特異インスタントンフローエルホモロジーにおける等長不変量の構築。
• キーバンドルホモロジー群の三重組みを、絡み目のフローエルホモロジーに類似した形で構成し、インスタントンホモロジーの代数的構造を強化する。
• 等長ホモロジーと局所係数系を用いて、$h(K)$ や $\Gamma^{R}_{(Y,K)}$ などの新しい同相不変量を定義する。
• フレームドインスタントン複体を用いて、クロンハイマーとマローオの既存の不変量、特に $I^\natural(K)$ と $I^\#(K)$ を回復・一般化する。
• 接続和に関する定理を確立し、球面的絡み目のモジュライ空間をADHM構成を用いて特徴付ける。

提案手法

• フレームド特異$SU(2)$接続の空間に円作用を導入し、等長チェーン＝シモンズ汎関数を用いて、$S^1$-等長性を持つモース＝ボット複体を定義する。
• $\mathcal{S}$-複体構造を導入し、等長ホモロジーをモデル化する。演算子$\delta_1$ と $\delta_2$ が等長微分を符号化する。
• 局所係数系とチェーン＝シモンズフィルトレーションを用いて複体を拡張し、$\Gamma^{R}_{(Y,K)}$ などの新しい不変量を可能にする。
• 分岐被覆と表現多様体の解析を用いて、トーラス絡み目およびモンテスィノス絡み目に理論を適用し、トレースレス表現多様体$\mathscr{X}(K)$ を用いる。
• 球面的絡み目のモジュライ空間を明示的に記述するためにADHM構成を用い、具体的な計算を可能にする。
• チェーン写像$\widetilde{\lambda}_{(W,S)}$ と $\widetilde{\lambda}_{(W',S')}$ を定義し、チェーンホモトピーと自然性を確立することで、接続和定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 整数ホモロジー3次元球面内の絡み目$K$に対して、等長不変量$h(K)$がどのような条件下で消えるか。
• RQ2 特異インスタントンフローエル複体の等長構造は、クロンハイマー–マローオの不変量$I^\natural(K)$ と $I^\#(K)$ をどのように回復・一般化できるか。
• RQ3 チェーン＝シモンズフィルトレーションと局所係数系は、$\mathcal{S}$-複体構造をどのように拡張し、新しい同相不変量を生み出すか。
• RQ4 接続和における特異インスタントンのモジュライ空間はどのように振る舞い、その結果得られる不変量の代数的構造は何か。
• RQ5 ADHM構成を用いて、トーラス絡み目のような球面的分岐被覆を持つ絡み目のモジュライ空間を明示的に計算できるか。

主な発見

• $(p, 2pk+2)$ および $(p, 2pk\pm(2-p))$ という形のトーラス絡み目について、$p \equiv \pm1 \pmod{4}$ かつ $1 + |\sigma(K)| = |\Delta_K|$ のとき、不変量$h(K)$ は消える。
• 絡み目$K$ に対して、トレースレス表現多様体$\mathscr{X}(K)$ が有限かつ非退化的で、$|\mathscr{X}(K)| = \frac{1}{2}(|\Delta_K| + 1)$ であれば、$h(K) = 0$ である。
• フレームドインスタントン複体$\widetilde{C}_*(K)$ は、$C_*(K) \oplus C_{*-1}(K) \oplus \mathbb{Z}$ に擬同型であり、$C_*(K)$ が$\frac{1}{2}(|\Delta_K| - 1)$ 個の生成元を持つならば、$\delta_1 = \delta_2 = 0$ であり、$h(K) = 0$ である。
• 接続和定理により、接続和の等長不変量と各和因子の不変量のテンソル積との間で自然な同型が成り立つ。
• $(-2,3,7)$ プレゼル絡み目について、$|\mathscr{X}(K)| = \frac{1}{2}(|\Delta_K| + 1)$ であるため、$h(K) = 0$ である。これはカスン不変量と臨界集合の非退化性によって確認された。
• $\mathcal{S}$-複体構造は絡み目の符号数をカテゴリファイし、その階層のオイラー特徴はアレクサンダー多項式に一致する。