[论文解读] An introduction to diagrammatic algebra and categorified quantum sl(2)

Aaron D. Lauda|arXiv (Cornell University)|Jun 10, 2011

Algebraic structures and combinatorial models参考文献 44被引用 37

一句话总结

本文通过一个2-范畴U，引入了量子sl(2)的图示范畴化，其中1-态射对应于基本表示的张量积，2-态射由图示关系生成。关键贡献在于，通过诸如Zig-Zag恒等式和态射空间的度数约束等关系，确立了图示演算与部分旗流形上上同调作用一致，且完全捕捉了结构，无需额外生成元。

ABSTRACT

This expository article explains how planar diagrammatics naturally arise in the study of categorified quantum groups with a focus on the categorification of quantum sl2. We derive the definition of categorified quantum sl2 and highlight some of the new structure that arises in categorified quantum groups. The expert will find a discussion of rescalling isomorphisms for categorified quantum sl2, a proof that cyclotomic quotients of the nilHecke algebra are isomorphic to matrix rings over the cohomology ring of Grassmannians, and an interpretation of `fake bubbles' using symmetric functions.

研究动机与目标

• 构建一个图示2-范畴U，利用图示演算对量子sl(2)进行范畴化。
• 确定U中关系的确切形式，以确保与部分旗流形上同调环作用的一致性。
• 证明除来自Zig-Zag图示和恒等态射外，无需额外的生成2-态射。
• 确立态射空间的零度部分完全由恒等2-态射的标量倍数所涵盖，模去所施加的关系。
• 通过度数约束与对称性，确保图示演算的一致性与复合下的封闭性。

提出的方法

• 定义2-范畴U，其中1-态射为以n索引的基本表示的张量积，2-态射为带有线段与交叉的图示。
• 通过态射空间HOM_U(EF1^n, FE1^n)与HOM_U(FE1^n, EF1^n)上的度数考虑，约束可能的2-态射度数。
• 施加关系(3.19)，将Zig-Zag图示等同于恒等态射，确保图示演算的一致性。
• 利用部分旗流形上同调环的作用，确定关系的确切形式。
• 应用图示推理，证明演算中所有图示均可仅通过给定生成元与关系约化。
• 验证所得2-范畴满足范畴化量子sl(2)所需性质，包括移位等变性与规范基对应关系。

实验结果

研究问题

• RQ1 在2-范畴U中，为确保与部分旗流形上同调环作用一致，需要哪些关系？
• RQ2 U的图示演算是否可在不引入新生成2-态射的情况下对复合封闭？
• RQ3 HOM_U(EF1^n, FE1^n)与HOM_U(FE1^n, EF1^n)上态射空间的度数约束如何影响2-范畴的结构？
• RQ4 Zig-Zag图示在态射空间零度部分中起到何种作用，其与恒等2-态射有何关联？
• RQ5 U是否足以仅通过图示生成元与关系对量子sl(2)进行范畴化？

主要发现

• 在HOM_U(EF1^n, FE1^n)中，Zig-Zag图示的度数为零，且通过关系(3.19)被识别为恒等2-态射。
• 图示演算具有一致性且对复合封闭，无需额外的生成2-态射，仅需Zig-Zag图示与恒等映射。
• 关系(3.19)将特定Zig-Zag图示等同于恒等态射，确保态射空间的零度部分完全由恒等2-态射的标量倍数所涵盖。
• 关系的确切形式由与部分旗流形上同调环作用的一致性所固定。
• 在给定生成元与关系下，2-范畴U无需额外生成元即可对量子sl(2)进行范畴化。
• 在移位等价下，图示结构与Lusztig规范基一致，证实了该表述的完备性。