[論文レビュー] Odd Khovanov homology for tangles

Grégoire Naisse, Krzysztof K. Putyra|arXiv (Cornell University)|Mar 31, 2020

Algebraic structures and combinatorial models参考文献 24被引用数 4

ひとこと要約

本稿は、3次コchain付きのカテゴリで重み付けされた擬代数的代数およびバイモジュールを用いて、奇数のクラスカルンホモロジーをトゥーリングに拡張する。これは、奇数のアーキテクチャ代数における非結合性を解消する。G-重み付き2関手を構成し、レベル2のクライストルミック半2-カク＝ムーディ代数の被覆版を介して奇数のクラスカルントゥーリング不変量を回復する。これはファズの構成と整合しており、トゥーリング不変量の接合性を確立する。

ABSTRACT

We extend the covering of even and odd Khovanov link homology to tangles, using arc algebras. For this, we develop the theory of quasi-associative algebras and bimodules graded over a category with a 3-cocycle. Furthermore, we show that a covering version of a level 2 cyclotomic half 2-Kac--Moody algebra acts on the bicategory of quasi-associative bimodules over the covering arc algebras, relating our work to a construction of Vaz.

研究の動機と目的

• 奇数のアーキテクチャ代数における非結合性を解消し、標準的なバイモジュールテンソル積によるトゥーリング不変量の定義を可能にする。
• 3次コchain（結合子）を備えたカテゴリで重み付けされた擬代数的代数およびバイモジュールの理論を構築し、奇数の文脈における一貫性のあるトゥーリング接合を可能にする。
• 擬代数的バイモジュールのための重み付けシフト関手系を構築し、スーパーカテゴリのパリティシフトを一般化する。
• 時間的コボルディズム2カテゴリから擬代数的バイモジュールの2圏へのG-重み付き2関手を構築し、トゥーリング不変量を生み出す。
• この構成がリンクに対して奇数クラスカルンホモロジーを回復し、クライストルミック半2-カク＝ムーディ代数の2作用を通じてファズの奇数トゥーリング不変量と一致することを示す。

提案手法

• 平坦なトゥーリングとZ×Zの重みを備えた、トゥーリングのG-重み付きカテゴリを導入し、アーキテクチャ代数の一貫性のある重み付けを可能にする。
• 3次コホモロジーを備えたカテゴリ上で定義された擬代数的代数およびバイモジュールを定義し、アブリコ・マジッドの枠組みを一般化して非結合的構造を扱う。
• 重みカテゴリ上にシフト-2系を構築し、重み付けシフト関手をモデル化する。これは、スーパーカテゴリのシフト関手を一般化する。
• 時間的コボルディズムの2カテゴリから、被覆アーキテクチャ代数上の擬代数的バイモジュールの2圏へのG-重み付き2関手FLを定義する。
• FLがG-重み付き2関手であり、整合性条件（ユニタおよび結合子図式）を満たすことを証明し、トゥーリング接合と整合することを保証する。
• R = Z[X,Y,Z±1]/(X²=Y²=0) 上の被覆アーキテクチャ代数をX=Z=1、Y=−1に特殊化することで、奇数クラスカルンホモロジーを回復し、ファズのトゥーリング不変量と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 奇数のクラスカルンホモロジーを、非結合的である奇数のアーキテクチャ代数のための標準的バイモジュールテンソル積の制限を受けることなく、リンクからトゥーリングに拡張する方法は何か？
• RQ2 3次コホモロジーの存在下で、結合性を一般化する代数的構造は何か？これにより、奇数の文脈における一貫性のあるトゥーリング接合が可能になる。
• RQ3 擬代数的バイモジュールのための重み付けシフト関手は、非自明な重みを持つトゥーリング不変量をモデル化するためにどのように定義できるか？
• RQ4 クライストルミック半2-カク＝ムーディ代数の2作用が、擬代数的バイモジュールのカテゴリ上で、ファズの奇数トゥーリング不変量を回復するか？
• RQ5 G-重み付き2関手FLはフルファイントであるか？これは、新しい奇数クラスカルントゥーリング不変量とファズの構成との同値性を示唆する。

主な発見

• 本稿は、3次コホモロジー付きの重みカテゴリ上で定義された擬代数的バイモジュールを用いて、トゥーリングの被覆版の奇数クラスカルンホモロジーを構築し、奇数のアーキテクチャ代数における非結合性の問題を解消する。
• 時間的コボルディズムの2カテゴリから、擬代数的バイモジュールの2圏へのG-重み付き2関手FLを定義し、2関手のすべての整合性条件を満たす。
• この構成は接合性を満たす：Kh(T′) ⊗Hn Kh(T) ≅ Kh(T′T)。これは、偶数の場合の一般化を奇数の文脈に拡張する。
• 被覆アーキテクチャ代数をX=Z=1、Y=−1に特殊化することで、リンクに対して奇数クラスカルンホモロジーと一致するトゥーリング不変量が得られる。
• クライストルミック奇数半2-カク＝ムーディ代数の2作用が、擬代数的バイモジュールの2圏上で、ファズの構成における1-モーフィズムの複体を再現する。
• 著者らは、2関手FLがフルファイントであると予想しており、これはファズのトゥーリング不変量と新しい奇数クラスカルントゥーリング不変量との同値性を示唆する。