[论文解读] Categorification of some level two representations of sl(n)

Ruth Stella Huerfano, Mikhail Khovanov|ArXiv.org|Apr 28, 2002

Algebraic structures and combinatorial models参考文献 7被引用 14

一句话总结

本文通过分次环 $ H^m $ 对 $ \mathfrak{sl}_n $ 的最高权为 $ 2\omega_k $ 的第二级表示 $ V $ 进行范畴化，构造了一个分次 $ H^m $-模的范畴 $ \mathcal{C} $，其格罗滕迪克群实现 $ V $。关键结果是 $ \mathcal{C} $ 中的不可约投射模范畴化了 $ V $ 的典范基，函子 $ \mathcal{E}_i $、$ \mathcal{F}_i $ 实现了 $ \mathfrak{sl}_n $-作用，且 braid 群作用可上延至 $ \mathcal{C} $ 的导出范畴。

ABSTRACT

We categorify representations of quantum sl(n) whose highest weight is twice a fundamental weight.

研究动机与目标

• 构造 $ \mathfrak{sl}_n $ 的不可约表示 $ V $ 的范畴化，其最高权为 $ 2\omega_k $，且 $ V $ 是 $ S^2(\Lambda^k W) $ 的直和项。
• 通过范畴 $ \mathcal{C} $ 中的正合函子 $ \mathcal{E}_i $、$ \mathcal{F}_i $ 实现 $ \mathfrak{sl}_n $ 生成元 $ E_i $、$ F_i $ 在 $ V $ 上的作用。
• 将 $ V $ 的典范基上延至 $ \mathcal{C} $ 的格罗滕迪克群，证明不可约投射模对应于典范基向量。
• 在 $ \mathcal{C} $ 的导出范畴中推广表示，实现 braid 群作用，推广 Green 的平面图式微积分以适用于第二级表示。

提出的方法

• 为 $ m = m(\lambda) $（即允许权序列 $ \lambda $ 中 1 的个数的一半）定义环 $ H^m $，使得 $ H^m $-模构成范畴 $ \mathcal{C} $。
• 在 $ \mathcal{C} $ 上构造正合函子 $ \mathcal{E}_i $、$ \mathcal{F}_i $，使其在格罗滕迪克群 $ K(\mathcal{C}) \cong V $ 上诱导出 $ \mathfrak{sl}_n $-作用，且分次位移编码了量子群结构。
• 利用 $ \mathcal{C} $ 上的反变对偶函子 $ \Psi $ 实现 $ V $ 上的典范形式，证明 $ \Psi $ 保持不可约投射模，并在 $ K(\mathcal{C}) $ 上诱导出对合 $ \psi_V $。
• 在 $ \mathcal{C} $ 的导出范畴 $ \mathcal{D} $ 上定义函子 $ \Sigma_i $，通过函子复形建模 braid 群作用，其中 $ \Sigma_i $ 同构于 $ \mathcal{Y}_\lambda[x]\{x\} $ 或当 $ (\lambda_i, \lambda_{i+1}) = (1,1) $ 时为二项复形。
• 通过证明不可约平衡投射模 $ Q_{\lambda,a} $ 的类 $ [Q_{\lambda,a}] $ 在 $ \Psi $ 下不变，从而依据 Lusztig 定理将典范基上延至 $ \mathcal{C} $。
• 建立格罗滕迪克群 $ K(\mathcal{C}) $ 与 $ V $ 作为 $ U_q(\mathfrak{sl}_n) $-模的同构，其中分次位移对应于乘以 $ q $。

实验结果

研究问题

• RQ1 如何通过一族环 $ H^m $ 对 $ \mathfrak{sl}_n $ 的最高权为 $ 2\omega_k $ 的第二级表示 $ V $ 进行范畴化？
• RQ2 $ H^m $-模的格罗滕迪克群在实现 $ V $ 的权空间时起什么作用？分次如何提升量子群结构？
• RQ3 $ \mathcal{C} $ 中的函子 $ \mathcal{E}_i $ 和 $ \mathcal{F}_i $ 如何范畴化 $ V $ 上的 $ \mathfrak{sl}_n $-作用？
• RQ4 能否将 $ V $ 的典范基上延至 $ \mathcal{C} $ 的格罗滕迪克群基？若能，通过哪些对象实现？
• RQ5 由含除幂的公式给出的 $ V $ 上的 braid 群作用，如何在 $ \mathcal{C} $ 的导出范畴中范畴化实现？

主要发现

• 范畴 $ \mathcal{C} $ 的格罗滕迪克群（即分次 $ H^m $-模）同构于表示 $ V $，且分次位移对应于乘以 $ q $，从而将 $ V $ 实现为 $ U_q(\mathfrak{sl}_n) $-模。
• $ \mathcal{C} $ 中的函子 $ \mathcal{E}_i $ 和 $ \mathcal{F}_i $ 在 $ K(\mathcal{C}) \cong V $ 上诱导出 $ E_i $ 和 $ F_i $ 的作用，且 $ \mathcal{E}_i $、$ \mathcal{F}_i $ 在分次位移下同时具有左和右伴随。
• $ V $ 上的反变对称双线性形式通过 $ \mathcal{C} $ 中投射模之间的 Hom 空间维数实现，且对偶函子 $ \Psi $ 在 $ K(\mathcal{C}) $ 上诱导出对合 $ \psi_V $。
• $ \mathcal{C} $ 中的不可约投射模 $ Q_{\lambda,a} $ 对应于 $ V $ 的典范基向量，因为其类在对合 $ \Psi $ 下不变，从而确认其典范性。
• $ V $ 上的 braid 群作用可上延至 $ \mathcal{C} $ 的导出范畴 $ \mathcal{D} $，其中函子 $ \Sigma_i $ 以函子复形建模，满足 braid 交换关系，并在 $ K(\mathcal{C}) $ 上下降为 braid 群算子。
• 每个权空间 $ V_\lambda $ 的维数为第 $ m $ 个卡塔兰数 $ c_m = \frac{1}{m+1}\binom{2m}{m} $，且这与 $ H^m $-模的格罗滕迪克群的秩一致，从而确认卡塔兰数作为 $ \mathbb{Z}[q,q^{-1}] $-秩被范畴化。