[论文解读] Knot invariants and higher representation theory I: diagrammatic and geometric categorification of tensor products

Ben Webster|arXiv (Cornell University)|Jan 13, 2010

Algebraic structures and combinatorial models参考文献 35被引用 87

一句话总结

本文通过广义环形奎夫赫尔代数，构建了可对称化卡克-莫迪代数的不可约表示张量积的图示化与几何化范畴化，证明了由此得到的范畴的格罗滕迪克群实现了张量积表示。关键贡献在于确立了这些范畴在卡宏诺夫-劳达意义下对张量积的范畴化，其应用包括纽结同调，以及与类型 A 中的抛物范畴 O 和环形 q-舒尔代数的联系。

ABSTRACT

In this paper, we study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. Our aim is to construct knot homologies categorifying Reshetikhin-Turaev invariants of knots for arbitrary representations, which will be done in a follow-up paper. We consider an algebraic construction of these categories, via an explicit diagrammatic presentation, generalizing the cyclotomic quotient of the quiver Hecke algebra. One of our primary results is that these categories coincide when both are defined. We also investigate finer structure of these categories. Like many similar representation-theoretic categories, they are standardly stratified and satisfy a double centralizer property with respect to their self-dual modules. The standard modules of the stratification play an important role, as Vermas do in more classical representation theory, as test objects for functors. The existence of these representations has consequences for the structure of previously studied categorifications; it allows us to prove the non-degeneracy of Khovanov and Lauda's 2-category (that its Hom spaces have the expected dimension) in all symmetrizable types, and that the cyclotomic quiver Hecke algebras are symmetric Frobenius.

研究动机与目标

• 构建一个 2-量子群的 2-表示，以范畴化不可约表示的张量积。
• 使用广义环形奎夫赫尔代数，提供这些范畴化的图示化与代数表示。
• 建立这些范畴与经典表示论对象（特别是类型 A 中的抛物范畴 O 和环形 q-舒尔代数）之间的联系。
• 证明卡宏诺夫-劳达 2-范畴的非退化性，以及环形奎夫赫尔代数的对称弗罗贝尼乌斯性质。
• 为后续工作中构建范畴化雷斯捷金-图雷夫不变量的纽结同调奠定基础框架。

提出的方法

• 本文将代数 $T^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 定义为环形奎夫赫尔代数的推广，其由李代数 $σ$ 和多项式 $Q_{ij}$ 的选择参数化。
• 构造范畴 $Π^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 为 $T^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 的有限维模范畴，证明其携带 2-量子群 $Σ$ 的 2-表示。
• 证明 $Π^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 的格罗滕迪克群与张量积 $V_{\lambda_1} \otimes \cdots \otimes V_{\lambda_\ell}$ 可自然同构，从而确立范畴化。
• 在类型 A（即 $\mathfrak{sl}_n$）中，通过莫里塔等价，证明范畴 $Π^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 同构于 $\mathfrak{gl}_k$ 的抛物范畴 O 的全子范畴。
• 本文证明 $T^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 是标准分层的，并且在其自对偶模上满足双重中心化性质。
• 建立 $T^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 是科祖尔代数，且 2-表示可被提升为与范畴 O 中已知分次相容的分次作用。

实验结果

研究问题

• RQ1 如何通过任意可对称化卡克-莫迪代数的图示化与代数构造，范畴化 $U_q(\mathfrak{g})$ 的不可约表示张量积？
• RQ2 所构造的范畴与经典表示论对象（如类型 A 中的抛物范畴 O 和环形 q-舒尔代数）之间的精确关系是什么？
• RQ3 卡宏诺夫与劳达定义的 2-范畴是否具有非退化的范畴化？代数 $T^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 是否具有预期的同态空间维数？
• RQ4 范畴 $\Pi^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 中的标准模与自对偶模的行为如何？它们在范畴结构中起什么作用？
• RQ5 范畴 $\Pi^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 上的 2-表示能否被提升为与范畴 O 中现有分次相容的分次作用？

主要发现

• 范畴 $\Pi^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 是张量积 $V_{\lambda_1} \otimes \cdots \otimes V_{\lambda_\ell}$ 的范畴化，其格罗滕迪克群与该表示的整格形式可自然同构。
• 当 $\mathfrak{g} = \mathfrak{sl}_n$ 时，范畴 $\Pi^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 通过莫里塔等价同构于 $\mathfrak{gl}_k$ 的抛物范畴 $\mathcal{O}$ 的全子范畴。
• $T^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 是标准分层的，且不可约投射-内射模的和满足双重中心化性质。
• 当 $\mathfrak{g} = \widehat{\mathfrak{sl}}_n$ 时，范畴 $\Pi^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 同构于由某些投射模生成的环形 $q$-舒尔代数的子范畴。
• $T^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$ 是科祖尔代数，且 2-表示可被提升为与范畴 $\mathcal{O}$ 中分次相容的分次作用。
• 2-范畴 $\mathcal{U}$ 通过双自伴函子作用于 $\Pi^{\boldsymbol{\tilde{\boldsymbol{\nu}}}}$，并在有限型单连通类型情况下实现典范基。