[论文解读] On uniqueness of tensor products of irreducible categorifications

Ivan Losev, Ben Webster|arXiv (Cornell University)|Mar 6, 2013

Algebraic structures and combinatorial models参考文献 12被引用 13

一句话总结

本文为Kac-Moody代数的不可约表示的张量积范畴化给出了一个普遍的公理化表征，引入了一种与张量积组合学兼容的强分层范畴结构。证明了任何此类范畴化都唯一等价于先前定义的范畴$χ(\boldsymbol{\underline{\nu}})$，并建立了其与最高权晶格张量积的典范晶同构。

ABSTRACT

In this paper, we propose an axiomatic definition for a tensor product categorification. A tensor product categorification is an abelian category with a categorical action of a Kac-Moody algebra g in the sense of Rouquier or Khovanov-Lauda whose Grothendieck group is isomorphic to a tensor product of simple modules. However, we require a much stronger structure than a mere isomorphism of representations; most importantly, each such categorical representation must have standardly stratified structure compatible with the categorification functors, and with combinatorics matching those of the tensor product. With these stronger conditions, we recover a uniqueness theorem similar in flavor to that of Rouquier for categorifications of simple modules. Furthermore, we already know of an example of such a categorification: the representations of algebras T^λpreviously defined by the second author using generators and relations. Next, we show that tensor product categorifications give a categorical realization of tensor product crystals analogous to that for simple crystals given by cyclotomic quotients of KLR algebras. Examples of such categories are also readily found in more classical representation theory; for finite and affine type A, tensor product categorifications can be realized as quotients of the representation categories of cyclotomic q-Schur algebras.

研究动机与目标

• 为Kac-Moody代数不可约表示的张量积的范畴化提供一个普遍的、公理化的表征。
• 通过定义强于单纯格罗滕迪克群同构的结构框架，克服先前构造的随意性。
• 在范畴化中的单个对象与张量积晶$B(\nu_1) \otimes \cdots \otimes B(\nu_\ell)$之间建立典范晶同构，证实了先前工作中的猜想。
• 证明此前通过生成元与关系定义的范畴$\mathcal{C}(\boldsymbol{\underline{\nu}})$是在新公理下唯一的此类范畴化。
• 为李超代数表示理论中的应用以及范畴化$χ$-作用2范畴中的内张量积结构奠定基础。

提出的方法

• 将张量积范畴化定义为具有范畴化$χ$-作用和与张量积组合学兼容的标准分层结构的阿贝尔范畴。
• 基于张量因子的顺序定义分层预序，确保与范畴化函子和晶结构的兼容性。
• 使用范畴化分裂，通过归纳法将子范畴识别为更小张量积的范畴化，从而将问题约化为低秩情形。
• 对张量因子的数量进行归纳，假设前$\ell-1$个因子对应的子范畴已与$\mathcal{C}(\nu_1, \dots, \nu_{\ell-1})$相等。
• 利用范畴与晶之间$h_-$-不变量的相等性，证明简单对象上的神田算子与晶算子一致。
• 使用对$i$-族的逆字典序排列，并通过归纳比较$\tilde{e}$-作用，证明$\tilde{e}L(\boldsymbol{\underline{\lambda}}) = L(\tilde{e}\boldsymbol{\underline{\lambda}})$，从而完成晶同构的证明。

实验结果

研究问题

• RQ1 能否为Kac-Moody代数不可约表示的张量积的范畴化给出一个普遍的公理化表征？
• RQ2 此前通过生成元与关系定义的范畴$\mathcal{C}(\boldsymbol{\underline{\nu}})$，是否是唯一满足与张量积组合学强结构兼容的范畴化？
• RQ3 每个张量积范畴化是否都存在其简单对象与张量积晶$B(\nu_1) \otimes \cdots \otimes B(\nu_\ell)$之间的典范晶同构？
• RQ4 能否通过基于范畴化分裂与分层的归纳论证，确立此类范畴化的唯一性？
• RQ5 这些范畴化在范畴化$χ$-作用2范畴的内张量积结构中，能实现到何种程度？

主要发现

• 任何$V_{\nu_1} \otimes \cdots \otimes V_{\nu_\ell}$的张量积范畴化都与$\mathcal{C}(\boldsymbol{\underline{\nu}})$强等变等价，从而确立了唯一性。
• 任何此类范畴化中简单对象的晶结构都与张量积晶$B(\nu_1) \otimes \cdots \otimes B(\nu_\ell)$存在典范同构，证实了先前工作的猜想。
• 范畴化中简单对象$L(\boldsymbol{\underline{\lambda}})$的$h_-$-不变量等于晶中对应权的$h_-$-不变量，确保了兼容性。
• 神田算子$\tilde{e}$在简单对象上的作用满足$\tilde{e}L(\boldsymbol{\underline{\lambda}}) = L(\tilde{e}\boldsymbol{\underline{\lambda}})$，在范畴层面证明了晶同构。
• 该证明依赖于基于范畴化分裂与$h_\pm$-不变量相等性的归纳论证，这迫使$\tilde{e}$-作用与范畴化作用可交换。