[论文解读] Khovanov homology is a skew Howe 2-representation of categorified quantum sl(m)

Aaron D. Lauda, Hoel Queffélec+1 more|arXiv (Cornell University)|Dec 25, 2012

Algebraic structures and combinatorial models参考文献 65被引用 39

一句话总结

该论文证明了Khovanov上同调及其sl3类比物通过范畴化量子群的范畴化斜Howe对偶，作为其2-表示而出现。通过从范畴化量子群UQ(slm)构造到泡沫范畴的2-函子，直接从范畴化量子群的高阶关系推导出所有泡沫关系——包括颈部切割、点移动和气泡关系——从而在高阶表示理论中统一了Jones-Wenzl投影算子和链上同调的构造。

ABSTRACT

We show that Khovanov homology (and its sl(3) variant) can be understood in the context of higher representation theory. Specifically, we show that the combinatorially defined foam constructions of these theories arise as a family of 2-representations of categorified quantum sl(m) via categorical skew Howe duality. Utilizing Cautis-Rozansky categorified clasps we also obtain a unified construction of foam-based categorifications of Jones-Wenzl projectors and their sl(3) analogs purely from the higher representation theory of categorified quantum groups. In the sl(2) case, this work reveals the importance of a modified class of foams introduced by Christian Blanchet which in turn suggest a similar modified version of the sl(3) foam category introduced here.

研究动机与目标

• 建立Khovanov上同调与范畴化量子群之间的直接联系，绕过通过O类或几何构造的间接关联。
• 证明基于泡沫的sl2和sl3链上同调理论可通过范畴化斜Howe对偶自然实现为范畴化量子群的2-表示。
• 直接从范畴化量子群的高阶关系推导出所有泡沫关系——包括颈部切割、点移动和气泡关系。
• 在范畴化量子群的框架内，利用Cautis-Rozansky范畴化束，统一构造范畴化投影算子（Jones-Wenzl幂等元及其sl3类比）。
• 提出修改后的泡沫范畴（受Blanchet在sl2中的工作启发）是从范畴化量子群视角来看这些构造最自然的设定。

提出的方法

• 利用范畴化斜Howe对偶，定义从2-范畴˙UQ(slm)到sl2和sl3泡沫范畴的2-函子。
• 利用Cautis-Rozansky范畴化束，将范畴化投影算子构造为˙UQ(slm)中1-态射的像，从而提升Jones-Wenzl幂等元。
• 通过分析˙UQ(slm)中关键关系的像来推导泡沫关系，例如NilHecke关系、Weyl群作用和KLR代数关系。
• 利用˙UQ(slm)的分次结构来控制泡沫面和点的次数，从而推导出点滑动和泡泡求值规则。
• 应用完全局部性原理，通过假设某些关系的局部实现，推导出复杂的泡沫关系（例如含复系数的接缝关系）。
• 通过在2-函子像中的显式计算，验证推导出的泡沫关系与文献中已知关系（如CMW关系、sl3泡沫关系）一致，包括颈部切割和气泡关系。

实验结果

研究问题

• RQ1 Khovanov上同调及其sl3类比物能否直接从范畴化量子群的2-表示理论中构造出来？
• RQ2 Khovanov上同调中使用的泡沫关系是否自然地源自范畴化量子群的高阶关系？
• RQ3 范畴化投影算子（Jones-Wenzl幂等元及其sl3类比）能否仅从范畴化量子群的结构中构造出来？
• RQ4 是否存在一个自然的泡沫范畴，能实现范畴化量子群的2-表示，且与已知的泡沫范畴一致？
• RQ5 在附加假设（如完全局部性）下，CMW泡沫关系中的复系数能否从范畴化量子群中推导出来？

主要发现

• Khovanov上同调及其sl3类比物通过由范畴化斜Howe对偶构造的2-函子，被实现为范畴化量子群的2-表示。
• 所有泡沫关系——包括颈部切割、点移动和气泡关系——均直接从范畴化量子群的高阶关系（如NilHecke关系和Weyl群作用）推导而出。
• 2-函子的像是一个修改后的sl2泡沫范畴，表明Blanchet的修改后泡沫范畴是从范畴化量子群视角来看最自然的设定。
• 对于sl3，本文建议类似的修改后泡沫范畴，且所有关系——包括theta-泡沫求值——均从范畴化量子群结构中推导而出。
• 权重为±1和±2的零次泡泡值由2-和3-点球面的像决定，其求值结果为±1或0，具体取决于次数和权重。
• 颈部切割关系以变形形式恢复：= • + • − •²，当令•² = 0时，即恢复出[21]中的标准泡沫范畴。