[论文解读] A categorification of finite-dimensional irreducible representations of quantum sl(2) and their tensor products

Igor Frenkel, Mikhail Khovanov+1 more|ArXiv.org|Nov 18, 2005

Algebraic structures and combinatorial models参考文献 30被引用 32

一句话总结

本文通过 $\mathfrak{gl}_n$ 的 Harish-Chandra 双模，对量子群 $U_q(\mathfrak{sl}_2)$ 的有限维不可约表示及其张量积进行了范畴化，利用 $\mathfrak{gl}_n$ 的范畴 $\mathcal{O}$ 的块建立了 graded 范畴化，并通过旗流形和 Steinberg 流形将其与几何实现联系起来。关键贡献在于对 $U_q(\mathfrak{sl}_2)$ 作用于张量积 $V_{\mathbf{d}} = \bigotimes V_{d_i}$ 的范畴实现，通过投影模、倾斜模和单模明确关联了典范基和标准基。

ABSTRACT

The purpose of this paper is to study categorifications of tensor products of finite dimensional modules for the quantum group for sl(2). The main categorification is obtained using certain Harish-Chandra bimodules for the complex Lie algebra gl(n). For the special case of simple modules we naturally deduce a categorification via modules over the cohomology ring of certain flag varieties. Further geometric categorifications and the relation to Steinberg varieties are discussed. We also give a categorical version of the quantised Schur-Weyl duality and an interpretation of the (dual) canonical bases and the (dual) standard bases in terms of projective, tilting, standard and simple Harish-Chandra bimodules.

研究动机与目标

• 通过 $\mathfrak{gl}_n$ 的表示理论，对任意有限维不可约 $U_q(\mathfrak{sl}_2)$-模的张量积进行范畴化。
• 通过 $\mathfrak{gl}_n$ 的 Harish-Chandra 双模范畴的块，建立 $V_{\mathbf{d}} = \bigotimes V_{d_i}$ 的 graded 范畴化。
• 将 $\mathcal{O}(\mathfrak{gl}_n)$ 的代数范畴化与 Grassmannian 的上同调环及广义 Steinberg 流形的几何实现联系起来。
• 提供量子 Schur-Weyl 对偶性的范畴化版本，并以 Harish-Chandra 双模解释典范基和标准基。
• 提出并支持使用广义 Steinberg 流形的 Borel-Moore 上同调对 $\overline{V}_{\mathbf{d}}$ 进行几何范畴化的猜想。

提出的方法

• 通过 $\mathfrak{gl}_n$ 的 Harish-Chandra 双模范畴的 graded 版本 $\mathcal{H}_\mu$ 构造范畴化，其中 $\mu$ 是一个具有稳定子 $S_{\mathbf{d}} = \prod S_{d_i}$ 的极大权。
• 证明了范畴 $\bigoplus_{i=0}^n {}_{\omega_i}\mathcal{H}_\mu$ 的 Grothendieck 群同构于 $U_q(\mathfrak{sl}_2)$-模 $V_{\mathbf{d}}$，从而确立了张量积的范畴化。
• 通过函子 $X \mapsto X \otimes_{\mathcal{U}(\mathfrak{gl}_n)} M(\mu)$ 建立了与经典 $\mathcal{U}(\mathfrak{sl}_2)$-范畴化的联系，该函子将 $\mathcal{H}_\mu$ 与 $\mathcal{O}(\mathfrak{gl}_n)$ 的块联系起来。
• 通过将 $H_{\mathbf{d}}^i$ 识别为 Grassmannian 上同调环的不变子代数，并将其与广义 Steinberg 流形的 Borel-Moore 上同调联系起来，实现了几何范畴化。
• $U_q(\mathfrak{sl}_2)$ 的作用通过由投影函子和 Zuckerman 函子诱导的函子 $E^G$ 和 $F^G$ 在范畴上实现，其 graded 上升通过 Soergel 理论完成。
• 使用 Koszul 对偶将奇异块范畴化与抛物子范畴化联系起来，证实了 [BFK99] 中的猜想。

实验结果

研究问题

• RQ1 如何利用 $\mathfrak{gl}_n$ 的表示理论对有限维不可约 $U_q(\mathfrak{sl}_2)$-模的张量积 $V_{\mathbf{d}} = \bigotimes V_{d_i}$ 进行范畴化？
• RQ2 Harish-Chandra 双模在范畴层面实现 $U_q(\mathfrak{sl}_2)$ 作用于 $V_{\mathbf{d}}$ 的角色是什么？
• RQ3 在范畴化中，$V_{\mathbf{d}}$ 的典范基、标准基和对偶典范基如何对应于投影模、倾斜模、标准模和单模？
• RQ4 能否使用广义 Steinberg 流形和 Borel-Moore 上同调构造 $\overline{V}_{\mathbf{d}}$ 的几何范畴化？
• RQ5 是否存在 $\mathcal{O}(\mathfrak{gl}_n)$ 的代数范畴化与 Steinberg 流形上同调的几何范畴化之间的概念性联系？

主要发现

• 范畴 $\bigoplus_{i=0}^n {}_{\omega_i}\mathcal{H}_\mu$ 的 Grothendieck 群同构于 $U_q(\mathfrak{sl}_2)$-模 $V_{\mathbf{d}}$，确立了张量积的范畴化。
• 通过 Harish-Chandra 双模的范畴化，$U_q(\mathfrak{sl}_2)$ 的作用通过函子 $E^G$ 和 $F^G$ 实现，这些函子提升了 $V_{\mathbf{d}}$ 上标准 $\mathfrak{sl}_2$-作用。
• $V_{\mathbf{d}}$ 的典范基和对偶典范基分别由投影和倾斜 Harish-Chandra 双模的类范畴化。
• 标准基和对偶标准基在范畴化中分别由标准模和单模的类实现，从而在代数基与范畴基之间建立了完整的字典。
• 对于 $n=2,3$，涉及 $E_{\text{geom}}$ 和 $F_{\text{geom}}$ 函子的猜想性几何范畴化被验证，其保持了投影模的加法范畴并符合代数范畴化。
• 广义 Steinberg 流形 $Z_{\mathbf{d}}^i$ 的 Borel-Moore 上同调同构于 $W_{\mathbf{d}} \otimes W_i$-不变子代数在 $H_*(Z)$ 中的子代数，从而将几何与代数结构联系起来。