[論文レビュー] An sl_n stable homotopy type for matched diagrams

Dan Jones, Andrew Lobb+1 more|arXiv (Cornell University)|Jun 25, 2015

Geometric and Algebraic Topology参考文献 5被引用数 3

ひとこと要約

本稿は、反対方向に向きが付けられたストランドと偶数個の交差を持つ開2ブレイドから成る図式（マッチドダイアグラム）に対して、$ɑ\mathfrak{sl}_n$安定ホモトピー型を構成する。これは、$n=2$ の場合にリプシッツ＝サルカラの安定ホモトピー型を回復し、$n\geq3$ の場合にそのコホモロジーが $\mathfrak{sl}_n$ クノーヴァン・ロザンスキー・コホモロジーを回復する。明示的な計算により、$\mathbb{C}\mathbf{P}^2$ が $\mathfrak{sl}_3$ に現れるなど、新たな安定ホモトピー型が特定された。

ABSTRACT

There exists a simplified Bar-Natan Khovanov complex for open 2-braids. The Khovanov cohomology of a knot diagram made by gluing tangles of this type is therefore often amenable to calculation. We lift this idea to the level of the Lipshitz-Sarkar stable homotopy type and use it to make new computations. Similarly, there exists a simplified Khovanov-Rozansky sl_n complex for open 2-braids with oppositely oriented strands and an even number of crossings. Diagrams made by gluing tangles of this type are called matched diagrams, and knots admitting matched diagrams are called bipartite knots. To a pair consisting of a matched diagram and a choice of integer n >= 2, we associate a stable homotopy type. In the case n = 2 this agrees with the Lipshitz-Sarkar stable homotopy type of the underlying knot. In the case n >= 3 the cohomology of the stable homotopy type agrees with the sl_n Khovanov-Rozansky cohomology of the underlying knot. We make some consistency checks of this sl_n stable homotopy type and show that it exhibits interesting behaviour. For example we find a CP^2 in the sl_3 type for some diagram, and show that the sl_4 type can be interesting for a diagram for which the Lipshitz-Sarkar type is a wedge of Moore spaces.

研究の動機と目的

• $\mathfrak{sl}_n$ クノーヴァン・ロザンスキー・コホモロジーの安定ホモトピー型を構築し、$n=2$ を超えてリプシッツ＝サルカラの構成を一般化すること。
• 高次の $\mathfrak{sl}_n$ 不変量の計算的困難を克服するため、簡略化された複体を持つマッチドダイアグラムに制限すること。
• つなぎ合わせたタングル図式からフレーム付きフローレイツを構成し、コーエン＝ジョーンズ＝セガルの道具立てを用いて安定ホモトピー型を実現すること。
• 第二ストーンロッド作用と整数コホモロジーの一致を確認することで、構成の整合性を検証すること。
• $T_{4,7}$ や $P(2,-3,5)$ などの絡み目の新しい安定ホモトピー型の計算を可能とし、以前に検出されなかった和因子を明らかにすること。

提案手法

• マッチドダイアグラムを、反対方向のストランドを持つ開2ブレイドと偶数個の交差を持つリンク図式として定義し、$n\geq2$ に対して簡略化された $\mathfrak{sl}_n$ 複体が得られることを示す。
• リプシッツ＝サルカラの手法を一般化するため、'ソックス・フローレイツ'とその被覆を用いて、タングル分解からフレーム付きフローレイツを構成する。
• フレーム付きフローレイツにコーエン＝ジョーンズ＝セガルの構成を適用し、そのコホモロジーが $\mathfrak{sl}_n$ クノーヴァン・ロザンスキー・コホモロジーを回復する安定ホモトピー型を生成する。
• 障害理論とフレーム割り当てを用いて、フローレイツが適切にフレーム付きであり、安定ホモトピー型の構成と整合することを保証する。
• 安定ホモトピー型における第二ストーンロッド作用を計算し、特に $\mathrm{Sq}^2$ が消えない量子次数において非自明な位相的性質を検出する。
• ストーンロッド代数作用と整数コホモロジー情報に分類定理（例：バウエス＝ヘンネス）を組み合わせ、安定ホモトピー型内の不分解和因子を同定する。

実験結果

リサーチクエスチョン

• RQ1 $n=2$ を超えて、$\mathfrak{sl}_n$ クノーヴァン・ロザンスキー・コホモロジーの安定ホモトピー型をリプシッツ＝サルカラの構成に一般化して構成可能か？
• RQ2 マッチドダイアグラムにおいて、安定ホモトピー型はどのように振る舞い、すべてのケースで正しい $\mathfrak{sl}_n$ コホモロジーを回復するか？
• RQ3 $n\geq3$ の場合に、$\mathfrak{sl}_n$ 安定ホモトピー型にどのような新しい位相的特徴が現れるか、特に $n=2$ の場合と比較して。
• RQ4 第二ストーンロッド作用と整数コホモロジー情報は、$\mathfrak{sl}_n$ 型において以前に未知であった安定ホモトピー和因子を検出可能か？
• RQ5 $n=2$ の場合にホモトピー型がモアスペースのワッセド型である場合でも、$\mathfrak{sl}_n$ 安定ホモトピー型がモアスペースのワッセド型でないような絡み目は存在するか？ これはより豊かな位相的性質を示唆する。

主な発見

• $n=2$ の場合、構築された安定ホモトピー型はリプシッツ＝サルカラの安定ホモトピー型と一致し、既知の事例と整合していることが確認された。
• $\mathfrak{sl}_3$ の場合、$(3,4)$-トーラス絡み目の安定ホモトピー型には $\mathbb{C}\mathbf{P}^2$ 和因子が含まれており、非自明な位相的性質を示している。
• $(3,4)$-トーラス絡み目の $\mathfrak{sl}_4$ 型では、安定ホモトピー型がモアスペースのワッセド型でなく、整数コホモロジーが $H_{-2}(\mathcal{X}^4_{-1}(D)) = \mathbb{Z} \oplus \mathbb{Z}/4$ を示しており、さらなるボッケイン作用の計算が必要である。
• $T_{4,7}$ の $\mathfrak{sl}_4$ 型では、量子次数 $q=29$ に、以前に検出されなかった新しい和因子 $X(\eta 2, 5)$ が現れた。
• $T_{4,5}$ の $\mathfrak{sl}_4$ 型では、量子次数 $q=25$ における安定ホモトピー型が $X(\eta 4, 7)$ に同定され、これは $n=2$ の場合に存在しない以前に未知の和因子であった。
• $T_{4,7}$ および $T_{4,5}$ の複数の $\mathfrak{sl}_n$ 安定ホモトピー型において、複数の量子次数で非自明な第二ストーンロッド作用が観測され、$X(_2\eta, 2)$ や $X(\eta 2, 5)$ などの和因子が確認され、モアスペースを越えた非自明な位相的性質が裏付けられた。