[论文解读] The Khovanov-Lauda 2-category and categorifications of a level two quantum sl(n) representation

David Hill, Joshua Sussan|ArXiv.org|Oct 13, 2009

Algebraic structures and combinatorial models参考文献 21被引用 4

一句话总结

本文从Khovanov-Lauda 2-category显式构造了到两个不同版本的最高权$2\omega_k$的不可约量子$\sigma\mathfrak{sl}_n$-表示的 categorification 的2-函子，即Huerfano-Khovanov的图示范畴和$\mathfrak{gl}_{2k}$的分次范畴$\epsilon\mathcal{O}$的最大抛物子范畴。关键贡献在于通过显式定义满足Khovanov-Lauda 2-category定义关系的自然变换，证明了这些2-函子的存在性，从而在这些范畴上实现了$\mathcal{U}_q(\mathfrak{sl}_n)$的2-表示。

ABSTRACT

We construct 2-functors from a 2-category categorifying quantum sl(n) to 2-categories categorifying the irreducible representation of highest weight $ 2 ω_k. $

研究动机与目标

• 从Khovanov-Lauda 2-category到Huerfano-Khovanov对不可约表示$V_{2\omega_k}$的categorification构造一个2-functor。
• 在$\mathfrak{gl}_{2k}$的分次范畴$\mathcal{O}$的最大抛物子范畴上建立$\mathcal{U}_q(\mathfrak{sl}_n)$的2-表示。
• 验证categorification中函子之间的自然变换满足Khovanov-Lauda 2-category的定义关系。
• 证明范畴$\mathcal{P}_{k,n}$的Grothendieck群与不可约表示$V_{2\omega_k}$同构。

提出的方法

• 显式定义从Khovanov-Lauda 2-category到图示和范畴$\mathcal{O}$ categorification的2-functors $\Omega_{k,n}: \mathcal{KL} \to \mathcal{HK}_{k,n}$ 和 $\Pi_{k,n}: \mathcal{KL} \to \mathcal{P}_{k,n}$。
• 通过Soergel函子$\mathbb{V}$将1-态射构造为投影函子，2-态射构造为自然变换。
• 利用[11, 第6.2节]中同构的自然性，验证Khovanov-Lauda 2-category中的关系成立。
• 利用范畴$\mathcal{O}$上的Koszul分次结构以及[11]中的上同调计算，定义范畴$\mathcal{P}_{k,n}$上的2-functor。
• 在范畴$\mathcal{O}^{(k,k)}_{\overline{\lambda}}(\mathfrak{gl}_{2k})$中的投射-内射对象集合与列严格递减、行非递减的表格之间建立双射，以计算权空间维数。
• 应用Weyl特征公式，证明$[\mathcal{P}_{k,n}]_{\mathbb{Q}(q)}$中$\lambda$-权空间的维数与$V_{2\omega_k}$中的维数一致。

实验结果

研究问题

• RQ1 Khovanov-Lauda 2-category是否通过2-functor作用于Huerfano-Khovanov对$V_{2\omega_k}$的categorification？
• RQ2 是否可以在$\mathfrak{gl}_{2k}$的分次范畴$\mathcal{O}$的最大抛物子范畴上实现$\mathcal{U}_q(\mathfrak{sl}_n)$的2-表示？
• RQ3 Huerfano-Khovanov和范畴$\mathcal{O}$ categorification中的自然变换是否与Khovanov-Lauda 2-category中的关系同构？
• RQ4 范畴$\mathcal{P}_{k,n}$的Grothendieck群是否与不可约表示$V_{2\omega_k}$同构？
• RQ5 能否通过分次范畴$\mathcal{O}$将$V_{2\omega_k}$的categorification从$q=1$的经典极限提升到量子设置？

主要发现

• 存在一个2-functor $\Omega_{k,n}: \mathcal{KL} \to \mathcal{HK}_{k,n}$，将Khovanov-Lauda 2-category映射到Huerfano-Khovanov对$V_{2\omega_k}$的图示categorification。
• 存在一个2-functor $\Pi_{k,n}: \mathcal{KL} \to \mathcal{P}_{k,n}$，在$\mathfrak{gl}_{2k}$的分次范畴$\mathcal{O}$的最大抛物子范畴上实现了$\mathcal{U}_q(\mathfrak{sl}_n)$的2-表示。
• Grothendieck群$[\mathcal{P}_{k,n}]_{\mathbb{Q}(q)}$与$\mathcal{U}_q(\mathfrak{sl}_n)$的不可约表示$V_{2\omega_k}$同构。
• $[\mathcal{P}_{k,n}]_{\mathbb{Q}(q)}$中$\lambda$-权空间的维数由Catalan数$\frac{1}{|S|+1}\binom{2|S|}{|S|}$给出，与$V_{2\omega_k}$中对应权空间的维数一致。
• 该构造依赖于[11]中的Soergel函子和上同调同构，确保了自然性以及对Khovanov-Lauda关系的满足。
• 通过范畴$\mathcal{O}$实现的categorification比以往方法更显式，利用了几何Koszul分次结构和显式上同调计算。