[論文レビュー] Indecomposable 1-morphisms of \dot{U}^+_3 and the canonical basis of U_q^+(sl_3)

Marko Stošić|arXiv (Cornell University)|May 23, 2011

Algebraic structures and combinatorial models参考文献 6被引用数 9

ひとこと要約

この論文は、量子 $υ\mathfrak{sl}_3$ の分類化された正の半分 $·\mathcal{U}^+_3$ における分解不能な 1-自己準同型を、整数係数線形の図式的計算を用いて計算する。これらの分解不能な対象が $U_q^+(\mathfrak{sl}_3)$ のルシュチッグの自己的基底を分類化することを証明し、ホモトピー的にゼロに同値な複体を構成することで、高次量子セール関係式を図式的に分類化し、整数上での証明を提供する。

ABSTRACT

We compute the indecomposable objects of \dot{U}^+_3 - the category that categorifies the positive half of the quantum sl_3, and we decompose an arbitrary object into indecomposable ones. On decategorified level we obtain the Lusztig's canonical basis of the positive half U^+_q(sl_3) of the quantum sl_3. We also categorify the higher quantum Serre relations in U_q^+(sl_3), by defining a certain complex in the homotopy category of $\dot{U}^+_3$ that is homotopic to zero. We work with the category $\dot{U}^+_3$ that is defined over the ring of integers. This paper is based on the (extended) diagrammatic calculus introduced to categorify quantum groups.

研究の動機と目的

• 分類化された正の半分の量子 $υ\mathfrak{sl}_3$、すなわち $·\mathcal{U}^+_3$ におけるすべての分解不能な 1-自己準同型を、整数環上に分類すること。
• これらの分解不能対象の分類化が、$U_q^+(\mathfrak{sl}_3)$ のルシュチッグの自己的基底を導き、構造定数が $π[q,q^{-1}]$ に属することを証明すること。
• ホモトピー圏 $·\mathcal{U}^+_3$ 内のホモトピー的にゼロに同値な複体を用いて、$U_q^+(\mathfrak{sl}_3)$ の高次量子セール関係式を図式的に分類化すること。
• 整数環上での図式的計算を拡張し、体の仮定なしに自己的基底の完全な分類化を可能にすること。

提案手法

• $Χ$ 上での拡張図式的計算（厚さ付き計算）を用い、1-自己準同型を平面的タングル図式の $Χ$-線形結合として定義する。
• $·\mathcal{U}^+_3$ にカルーブィ・エンvelope を適用し、すべてのイデムポテンスが分裂することを保証し、モノイダル 1-圏構造の中で作業する。
• 厚さ付き R2、厚さ付き R3、ドット移動の移動を用いて、厚いエッジを操作し、ホモトピー的関係を検証する。
• 交互に異なる微分 $d_i$ とホモトピー写像 $h_i$ を持つ 1-自己準同型の複体を構成し、図式的恒等式を用いて $h_i d_i + d_{i-1} h_{i-1} = \text{Id}$ を証明する。
• 恒等式 $\mathcal{E}_1^{(a)}\mathcal{E}_2^{(a+c)}\mathcal{E}_1^{(c)} \cong \mathcal{E}_2^{(c)}\mathcal{E}_1^{(a+c)}\mathcal{E}_2^{(a)}$ を用いて関係を簡略化・検証する。
• インデックスと図式的移動に基づく場合分けを用いて、ホモトピー関係が成り立つことから、複体がホモトピー的にゼロに同値であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 整数環上での $\mathfrak{sl}_3$ の分類化された正の半分における分解不能な 1-自己準同型は何か？
• RQ2 $\u00b7\mathcal{U}^+_3$ における分解不能な 1-自己準同型の集合は、$U_q^+(\mathfrak{sl}_3)$ のルシュチッグの自己的基底に分類化されるか？
• RQ3 $U_q^+(\mathfrak{sl}_3)$ の高次量子セール関係式は、ホモトピー的にゼロに同値な図式的複体によって分類化可能か？
• RQ4 $\u03a7$ 上での厚さ付き計算は、体の仮定なしに自己的基底の完全な分類化をどのように可能にするか？

主な発見

• $\u00b7\mathcal{U}^+_3$ における分解不能な 1-自己準同型は、$b \geq a + c$, $a,c \geq 0$, $t \in \mathbb{Z}$ を満たす $\mathcal{E}_1^{(a)}\mathcal{E}_2^{(b)}\mathcal{E}_1^{(c)}\{t\}$ および $\mathcal{E}_2^{(a)}\mathcal{E}_1^{(b)}\mathcal{E}_2^{(c)}\{t\}$ である。
• $\u00b7\mathcal{U}^+_3$ における分解不能対象のシフトなしの分類化は、$B = \{E_1^{(a)}E_2^{(b)}E_1^{(c)}, E_2^{(a)}E_1^{(b)}E_2^{(c)} \mid b \geq a+c, a,c \geq 0\}$ を与え、これは $U_q^+(\mathfrak{sl}_3)$ のルシュチッグの自己的基底である。
• $\mathcal{E}_1^{(a)}\mathcal{E}_2^{(b)}\mathcal{E}_1^{(i)}\{-(a-b-1)i\}$ を対象とし、微分 $d_i$ を持つ複体 $\mathcal{C}$ はホモトピー的にゼロに同値であり、高次量子セール関係式の分類化を提供する。
• ホモトピー写像 $h_i$ は $h_i d_i + d_{i-1} h_{i-1} = \text{Id}_{C_i}$, $h_0 d_0 = \text{Id}_{C_0}$, および $d_{a-1} h_{a-1} = \text{Id}_{C_a}$ を満たし、複体がノルムホモトピー的であることを証明する。
• 分類化は $\mathbb{Z}$ 上で定義されており、体の仮定を避けており、自己的基底の構造定数が図式的計算によって自然に持ち上げられる。
• 結果として、$\u00b7\mathcal{U}^+_3$ における分解不能な 1-自己準同型が自己的基底を分類化することを確認し、従来の体上での結果を整数環上に拡張した。