[论文解读] 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-态射。证明了这些不可约对象分类化了 Lusztig 的 $U_q^+(\mathfrak{sl}_3)$ 的典范基，并通过构造一个同伦等价于零的复形，实现了对更高量子 Serre 关系的图式化分类化，从而在整数上给出了一个完全的图式证明。

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)$ 的 Lusztig 典范基，且结构常数属于 $π[q,q^{-1}]$。
• 通过 $·\mathcal{U}^+_3$ 的同伦范畴中同伦等价于零的复形，提供 $U_q^+(\mathfrak{sl}_3)$ 中更高量子 Serre 关系的图式化分类化。
• 将图式演算扩展至整数环设定，从而在无需域假设的前提下，实现典范基的完整分类化。

提出的方法

• 使用在 $Χ$ 上的扩展图式演算（厚边演算），将 1-态射定义为平面辫状图的 $Χ$-线性组合。
• 对 $·\mathcal{U}^+_3$ 应用 Karoubi 包络构造，确保所有幂等元分裂，并在张量 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)$ 的 Lusztig 典范基？
• RQ3 是否能通过一个同伦等价于零的图式复形，对 $U_q^+(\mathfrak{sl}_3)$ 中的更高量子 Serre 关系实现分类化？
• RQ4 厚演算在 $\u03a7$ 上如何促进在无需域假设下对典范基的完整分类化？

主要发现

• 在 $\u00b7\mathcal{U}^+_3$ 中，不可约 1-态射恰好是形如 $\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\}$ 的对象，其中 $b \geq a + c$，$a,c \geq 0$，$t \in \mathbb{Z}$。
• 对 $\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)$ 的 Lusztig 典范基。
• 复形 $\mathcal{C}$，其对象为 $\mathcal{E}_1^{(a)}\mathcal{E}_2^{(b)}\mathcal{E}_1^{(i)}\{-(a-b-1)i\}$，微分为 $d_i$，同伦等价于零，从而为更高量子 Serre 关系提供了分类化。
• 同伦映射 $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-态射确实分类化了典范基，将先前在域上的结果推广到了整数环。