[论文解读] Categorification of level two representations of quantum sl(N) via generalized arc rings

Yanfeng Chen|ArXiv.org|Nov 1, 2006

Algebraic structures and combinatorial models参考文献 5被引用 6

一句话总结

本文引入了具有两个平台的广义弧环 $A_{n}^{k,l}$，以对量子群 $U_q(\mathfrak{sl}_N)$ 的二级表示进行 categorification。通过构造一个模层范畴 $\mathcal{C}$，其对象为环 $A^{k,0}_{m(\mu)}$ 上的模，实现了 Grothendieck 群作为与最高权 $\omega_k + \omega_{k+s}$ 对应的不可约表示的 $U_q(\mathfrak{sl}_N)$-模，且该模同构于二级表示，同时通过精确函子实现对量子群作用的 categorification。

ABSTRACT

We build extensions of the arc rings, relate their centers to the cohomology rings of the Springer varieties, and categorify all level two representations of quantum sl(N).

研究动机与目标

• 将 Khovanov 的弧环构造推广至具有两个平台的环，从而实现对 $U_q(\mathfrak{sl}_N)$ 二级表示的 categorification。
• 为允许的权 $\mu$ 定义广义弧环 $A^{k,0}_{m(\mu)}$ 上模的范畴 $\mathcal{C}$。
• 在 $\mathcal{C}$ 上构造精确函子 $\mathcal{E}_i$、$\mathcal{F}_i$ 和 $\mathcal{K}_i$，以 categorify 量子群 $U_q(\mathfrak{sl}_N)$ 的生成元。
• 证明 $\mathcal{C}$ 的 Grothendieck 群同构于最高权为 $\omega_k + \omega_{k+s}$ 的不可约二级表示。

提出的方法

• 通过引入大小为 $k$ 和 $l$ 的两个平台，将弧环 $A^{n-k,k}$ 推广为 $A_{n}^{k,l}$，并保持原始构造中的分次与乘法结构。
• 将 $A_{n}^{k,l}$ 定义为子环 $\widetilde{A}^{n-k,k}$ 关于理想 $I^{n-k,k}$ 的商环，以消除与平台相交超过一次的圆（III型）。
• 利用平坦辫子cobordism 构造辫子不变量，其中 $A_{n}^{k,l}$ 上的双模在辫子cobordism 下是函子性的。
• 计算 $A_{n}^{k,l}$ 的中心，并通过同构 $Z(A_{n}^{k,l}) \cong H^*(\mathrm{Fl}_{k,l,n})$ 将其与 Springer 簇的上同调环联系起来。
• 将范畴 $\mathcal{C}$ 定义为所有允许权 $\mu$ 对应的 $A^{k,0}_{m(\mu)}$ 模范畴的直和，其中函子 $\mathcal{E}_i^\mu$、$\mathcal{F}_i^\mu$ 和 $\mathcal{K}_i$ 通过辫子cobordism 的双模定义。
• 利用 Grothendieck 群 $K(\mathcal{C})$ 实现 $U_q(\mathfrak{sl}_N)$-模结构，其中分次移位对应于 $q$-乘法。

实验结果

研究问题

• RQ1 如何将弧环构造推广至支持两个平台，以实现对更高阶量子群表示的 categorification？
• RQ2 广义弧环 $A_{n}^{k,l}$ 的中心结构是什么？它与已知的上同调环有何关系？
• RQ3 是否可以通过 $A^{k,0}_{m(\mu)}$ 上模的范畴实现 $U_q(\mathfrak{sl}_N)$-表示的权空间分解？
• RQ4 范畴 $\mathcal{C}$ 上的精确函子 $\mathcal{E}_i$、$\mathcal{F}_i$ 和 $\mathcal{K}_i$ 是否实现了对 $U_q(\mathfrak{sl}_N)$ 量子群作用的 categorification？
• RQ5 范畴 $\mathcal{C}$ 的 Grothendieck 群是否同构于最高权为 $\omega_k + \omega_{k+s}$ 的不可约二级表示？

主要发现

• 广义弧环 $A_{n}^{k,l}$ 定义为 $H^n$ 的子环的商环，其乘法与分次结构与原始构造保持一致。
• 广义弧环 $A_{n}^{k,l}$ 的中心同构于旗流形 $\mathrm{Fl}_{k,l,n}$ 的上同调环，即 $Z(A_{n}^{k,l}) \cong H^*(\mathrm{Fl}_{k,l,n})$。
• 对于允许权 $\mu$，$A^{k,0}_{m(\mu)}$ 上模的范畴 $\mathcal{C}$ 的 Grothendieck 群同构于最高权为 $\omega_k + \omega_{k+s}$ 的不可约 $U_q(\mathfrak{sl}_N)$-模。
• 范畴 $\mathcal{C}$ 上的精确函子 $\mathcal{E}_i$、$\mathcal{F}_i$ 和 $\mathcal{K}_i$ 实现了量子群生成元 $E_i$、$F_i$ 和 $K_i$ 的 categorification，且满足 $U_q(\mathfrak{sl}_N)$ 的定义关系。
• 在基域变换至 $\mathbb{C}$ 后，范畴 $\mathcal{C}$ 的 Grothendieck 群同构于二级表示 $V$，即 $K(\mathcal{C}) \otimes_{\mathbb{Z}[q,q^{-1}]} \mathbb{C} \cong V$。
• 范畴 $\mathcal{C}$ 中的函子同构与伴随关系与量子群关系一致，确认了 categorified 作用实现了正确的 $U_q(\mathfrak{sl}_N)$-模结构。