[論文レビュー] An involutive upsilon knot invariant

Matthew Hogancamp, Charles Livingston|arXiv (Cornell University)|Oct 23, 2017

Geometric and Algebraic Topology参考文献 10被引用数 4

ひとこと要約

本稿では、非可換的ヘーガードフローリングホモロジーを用いて、[0,2] 上の区分線形関数として定義される、2つの新しい自己同型的 Upsilon 結び目の濃縮不変量を導入する。これらの不変量は濃縮不変量であり、結び目の三重性を制限する。これはヘンディックス＝マノレスクの理論における自己同型構造を組み込んだ、古典的 Upsilon 不変量の拡張である。

ABSTRACT

Using the theory of involutive Heegaard Floer knot theory developed by Hendricks-Manolescu, we define two involutive analogs of the Upsilon knot concordance invariant of Ozsvath-Stipsicz-Szabo. These involutive invariants are piecewise linear functions defined on the interval [0,2]. Each is a concordance invariant and provides bounds on the three-genus of a knot.

研究の動機と目的

• 自己同型的ヘーガードフローリングホモロジー理論を用いて、古典的 Upsilon 結び目濃縮不変量を自己同型的設定に拡張すること。
• Upsilon関数のアナログとして、$\overline{\Upsilon}_t(K)$ および $\underline{\Upsilon}_t(K)$ と表記される2つの新しい区分線形濃縮不変量を定義すること。
• これらの自己同型的不変量が結び目の濃縮に関して不変であり、結び目の三重性に上限を与えることを確立すること。
• 自己同型的 Upsilon 関数の $t=2$ における値を、既に知られている不変量 $\overline{V}_0(K)$ および $\underline{V}_0(K)$ と関連付けること。

提案手法

• 結び目の自己同型的ヘーガードフローリングホモロジー複体 $\operatorname{CFKI}^\infty(K)$ を、$\operatorname{CFK}^\infty(K)$ 上の歪双フィルター的自己同型 $\mathcal{I}$ を用いて構成する。
• 自己同型的 Upsilon 関数を、$\operatorname{CFKI}^\infty(K)$ 上の最大-最小フィルターを用いて、$[0,2]$ 上の区分線形関数として定義する。
• 自己同型ホモロジーの連結和公式を用いて、濃縮に関する不変量の振る舞いを分析する。
• $\mathcal{I} + \mathrm{id}$ のマッピングコーン構成を用いて $\operatorname{CFKI}^\infty(K)$ を定義し、Upsilon 関数に必要なフィルター情報を抽出する。
• 自己同型 $\mathcal{I}$ の自然性とサルカラ写像との関係を活用し、チェーンホモトピー同値に関して不変であることを保証する。
• 自己同型的 Upsilon 関数の $t=2$ における値を、$\overline{d}(S^3_p(K),[0])$ および $\underline{d}(S^3_p(K),[0])$ と関連付ける。これらは $\overline{V}_0(K)$ および $\underline{V}_0(K)$ を決定する。

実験結果

リサーチクエスチョン

• RQ1 Upsilon 不変量は、自己同型的ヘーガードフローリングホモロジー枠組みを用いて自己同型的設定に拡張可能か？
• RQ2 得られる自己同型的 Upsilon 関数は、古典的 Upsilon 関数よりも強力な濃縮不変量を提供するか？
• RQ3 自己同型的 Upsilon 関数は、古典的不変量 $\overline{V}_0(K)$ および $\underline{V}_0(K)$ とどのように関係するか？
• RQ4 自己同型的 Upsilon 関数を用いて、結び目の三重性を制限できるか？
• RQ5 自己同型的 Upsilon 関数は結び目の濃縮に関して不変か？

主な発見

• 自己同型的 Upsilon 関数 $\overline{\Upsilon}_t(K)$ および $\underline{\Upsilon}_t(K)$ は、$[0,2]$ 上の良好に定義された区分線形関数であり、濃縮不変量である。
• 任意の結び目 $K$ と $J$ が濃縮されているとき、$\overline{\Upsilon}_t(K) = \overline{\Upsilon}_t(J)$ および $\underline{\Upsilon}_t(K) = \underline{\Upsilon}_t(J)$ が成り立つ。
• $t=2$ における値は、$\overline{\Upsilon}_2(K) = -2\overline{V}_0(K)$ および $\underline{\Upsilon}_2(K) = -2\underline{V}_0(K)$ と古典的不変量と関連づけられる。
• 自己同型的 Upsilon 関数は四球面性を制限する：$g_4(K) \geq \left| \frac{d}{dt} \overline{\Upsilon}_t(K) \right|$ が微分可能点で成り立つ。
• 結び目の三重性は、古典的 Upsilon 関数と同様の議論により、$g_3(K) \geq \max_{t \in [0,2]} \left| \frac{d}{dt} \overline{\Upsilon}_t(K) \right|$ を満たす。
• トーラス結び目 $T(3,7)$ に対して、構成が検証されており、$\operatorname{CFKI}^\infty(K)$ が計算され、自己同型的 Upsilon 関数が明示的に決定されている。