[論文レビュー] Representations of the oriented skein category

Jonathan Brundan|arXiv (Cornell University)|Dec 24, 2017

Algebraic structures and combinatorial models参考文献 42被引用数 21

ひとこと要約

本稿は、最高重量理論を用いて、HOMFLY-PTリンク不変量の基盤をなすリボン圏である、方向付きスケイン圏 $ϵ\mathcal{OS}(z,t)$ の表現理論を開発する。すべてのパrameter値、すなわち半単純および非半単純の場合を含めて、その加法的カルーブィ包のGrothendieck環を特定し、Kac-Moody 2カテゴリーの2表現を用いた次数付きリフトを構成する。また、退化した場合を方向付きブラウアー圏として扱う。

ABSTRACT

The oriented skein category $OS(z,t)$ is a ribbon category which underpins the definition of the HOMFLY-PT invariant of an oriented link, in the same way that the Temperley-Lieb category underpins the Jones polynomial. In this article, we develop its representation theory using a highest weight theory approach. This allows us to determine the Grothendieck ring of its additive Karoubi envelope for all possible choices of parameters, including the (already well-known) semisimple case, and all non-semisimple situations. Then we construct a graded lift of $OS(z,t)$ by realizing it as a 2-representation of a Kac-Moody 2-category. We also discuss the degenerate analog of $OS(z,t)$, which is the oriented Brauer category $OB(δ)$.

研究の動機と目的

• 方向付きスケイン圏 $ϵ\mathcal{OS}(z,t)$ の表現理論を最高重量理論を用いて発展させる。
• すべてのパrameter選択、半単純および非半単純の場合を含めて、$ϵ\mathcal{OS}(z,t)$ の加法的カルーブィ包のGrothendieck環を特定する。
• $ϵ\mathcal{OS}(z,t)$ の次数付きリフトを、Kac-Moody 2カテゴリーの2表現として実現することにより構成する。
• $ϵ\mathcal{OS}(z,t)$ の退化した類似物を、方向付きブラウアー圏 $ϵ\mathcal{OB}(δ)$ として同定する。

提案手法

• 方向付きスケイン圏 $ϵ\mathcal{OS}(z,t)$ の表現を分類するために最高重量理論を適用する。
• カテゴリーの構造から得られる組合せ的データを用いて、表現をラベル付けるための重み関数 $ω^\uparrow(\bm{\lambda})$ および $ω^\downarrow(\bm{\lambda})$ を定義する。
• その2表現が $ϵ\mathcal{OS}(z,t)$ をカテゴリファイするKac-Moody 2カテゴリーを構成し、次数付きリフトを提供する。
• 重要な補題において、$t^{-2}i^{-1}$ を $-i - \delta$ に、$I_1$ を $I_0$ に、$I_{t^{-2}}$ を $I_{-\delta}$ に置き換えることで、カテゴリーの定義関係を調整する。
• パラメータ集合 $I = I_0 \cup I_{-\delta} = \{n, -n - \delta \mid n \in \mathbb{Z}\}$ を定義し、非半単純な設定への一般化を可能にする。
• 添字集合 $I$ に適応した、Cartan行列 $(c_{i,j})_{i,j \in I}$ に付随するリー代数 $τ\mathfrak{g}$ を再構成する。

実験結果

リサーチクエスチョン

• RQ1 方向付きスケイン圏 $ϵ\mathcal{OS}(z,t)$ の表現理論を、最高重量理論を用いて体系的にどのように発展させることができるか？
• RQ2 任意のパrameter $z$ および $t$ に対して、$ϵ\mathcal{OS}(z,t)$ の加法的カルーブィ包のGrothendieck環の構造は何か？
• RQ3 Kac-Moody 2カテゴリーの2表現を用いて、$ϵ\mathcal{OS}(z,t)$ の次数付きリフトを構成することは可能か？
• RQ4 $ϵ\mathcal{OS}(z,t)$ の退化した場合、すなわち方向付きブラウアー圏 $ϵ\mathcal{OB}(\delta)$ に対応する場合、一般枠組みとはどのように関係するか？
• RQ5 パrameter化において $t^{-2}i^{-1}$ から $-i - \delta$ に移行する際、カテゴリーの公理および補題にどのような修正が必要か？

主な発見

• すべてのパrameter $z$ および $t$ の選択、半単純および非半単純の場合を含めて、$ϵ\mathcal{OS}(z,t)$ の加法的カルーブィ包のGrothendieck環が完全に特定された。
• $ϵ\mathcal{OS}(z,t)$ は、Kac-Moody 2カテゴリーの2表現として実現される次数付きリフトを有し、これによりスケイン圏のカテゴリファイケーションが達成された。
• $ϵ\mathcal{OS}(z,t)$ の退化した類似物は、方向付きブラウアー圏 $ϵ\mathcal{OB}(\delta)$ に同定され、$\Lambda_{-\delta}$ および $\alpha_{-\operatorname{cont}(A) - \delta}$ を含む対応する重み公式が得られた。
• パラメータ集合 $I = \{n, -n - \delta \mid n \in \mathbb{Z}\}$ が、元の $I_0 \cup I_{t^{-2}}$ を置き換え、非半単純な場合の取り扱いを可能にした。
• 重み関数は、$\operatorname{wt}^\uparrow(\bm{\lambda}) = -\Lambda_0 + \sum_{A \in \lambda^\uparrow} \alpha_{\operatorname{cont}(A)}$ および $\operatorname{wt}^\downarrow(\bm{\lambda}) = \Lambda_{-\delta} - \sum_{A \in \lambda^\downarrow} \alpha_{-\operatorname{cont}(A) - \delta}$ として再定義され、新しいパラメータ化を反映した。
• すべての結果、特に第6節の補題および組合せ的構造は、一貫した関係式およびインデックスの修正を伴い、新しいパラメータ集合に適応された。