[论文解读] Affinization of category O for quantum groups

Charles A. S. Young, E. Mukhin|arXiv (Cornell University)|Apr 12, 2012

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

一句话总结

本文引入并发展了仿射量子群的范畴 $\hat{\mathcal{O}}$，推广了有限维表示理论。它建立了 $q$-特征理论，对类型 ABCFG 中抛物 Verma 模的最小仿射化进行了分类，并猜想其 $U_q(\mathfrak{g})$-特征具有类似 Weyl 分母的公式，将已知结果扩展至具有有限 $U_q(\mathfrak{g})$-权重重数的无限维模。

ABSTRACT

Let g be a simple Lie algebra. We consider the category O-hat of those modules over the affine quantum group Uq(g-hat) whose Uq(g)-weights have finite multiplicity and lie in a finite union of cones generated by negative roots. We show that many properties of the category of the finite-dimensional representations naturally extend to the category O-hat. In particular, we develop the theory of q-characters and define the minimal affinizations of parabolic Verma modules. In types ABCFG we classify these minimal affinizations and conjecture a Weyl denominator type formula for their characters.

研究动机与目标

• 将仿射量子群有限维表示理论扩展至更广范畴 $\hat{\mathcal{O}}$，其具有有限 $U_q(\mathfrak{g})$-权重重数。
• 为 $\hat{\mathcal{O}}$ 发展 $q$-特征理论，以实现其格罗滕迪克环的组合研究。
• 对类型 ABCFG 中抛物 Verma 模的最小仿射化进行分类，并猜想其 $U_q(\mathfrak{g})$-特征。
• 通过分析其作为具有单特征的 $U_q(\mathfrak{g})$-模的仿射化，为研究最小仿射化提供新框架。
• 将 Kirillov-Reshetikhin 模与最小仿射化的经典理论扩展至有限维设定之外。

提出的方法

• 将 $\hat{\mathcal{O}}$ 定义为 $U_q(\widehat{\mathfrak{g}})$-模的范畴，其 $U_q(\mathfrak{g})$-权重空间为有限维，且位于由负根生成的有限个锥的并集中。
• 构造从 $\hat{\mathcal{O}}$ 的格罗滕迪克环到形式环的 $q$-特征同态，以实现组合分析。
• 通过参数 $n$ 的解析延拓研究 Kirillov-Reshetikhin 模的极限，避免使用非标准量子仿射代数。
• 利用 $q$-特征与 [Cha95] 中的偏序关系，对类型 ABCFG 中抛物 Verma 模的最小仿射化进行分类，证明其在该序下为最小元。
• 提出最小仿射化 $U_q(\mathfrak{g})$-特征的猜想型 Weyl 分母公式：$\chi_\lambda = e^\lambda \prod_{\alpha \in \Delta^+} (1 - e^\alpha)^{-m_\alpha}$，其中 $m_\alpha = \max_i \{\alpha_i\}$。
• 通过 [FM01] 算法进行计算机辅助验证，以测试并支持猜想的特征公式。

实验结果

研究问题

• RQ1 如何系统地发展 $U_q(\widehat{\mathfrak{g}})$-模的范畴 $\hat{\mathcal{O}}$，使其作为有限维表示理论的推广，且具有有限 $U_q(\mathfrak{g})$-权重重数？
• RQ2 在 $\hat{\mathcal{O}}$ 中，$q$-特征映射的结构是什么？它如何促进不可约模的分类？
• RQ3 在 $\hat{\mathcal{O}}$ 中，哪些模是抛物 Verma 模的最小仿射化？它们作为 $U_q(\mathfrak{g})$-模如何表现？
• RQ4 能否为类型 ABCFG 中最小仿射化的 $U_q(\mathfrak{g})$-特征提出并部分验证一个类似 Weyl 分母的公式？
• RQ5 猜想的特征公式 $\chi_\lambda = e^\lambda \prod_{\alpha \in \Delta^+} (1 - e^\alpha)^{-m_\alpha}$ 在何种条件下成立？对参数 $f_i(u)$ 的必要约束是什么？

主要发现

• 范畴 $\hat{\mathcal{O}}$ 是一个张量范畴，包含有限维模，并对张量积封闭；其单对象由满足 $f_i(0)f_i(\infty) = 1$ 的有理函数 $f_i(u)$ 给出的 $\ell$-权重分类。
• $q$-特征映射给出了从 $\hat{\mathcal{O}}$ 的格罗滕迪克环到形式环的单射环同态，从而实现对表示的组合研究。
• 在类型 ABCFG 中，抛物 Verma 模的最小仿射化不仅在 [Cha95] 的偏序下是最小的，而且是该序下的最小元。
• 为最高权为 $\lambda = \sum \lambda_i \omega_i$ 的 Verma 模的最小仿射化，提出了 $U_q(\mathfrak{g})$-特征的猜想型 Weyl 分母公式：$\chi_\lambda = e^\lambda \prod_{\alpha \in \Delta^+} (1 - e^\alpha)^{-m_\alpha}$，其中 $m_\alpha = \max_i \{\alpha_i\}$。
• 通过 [FM01] 算法的计算机检查支持了该猜想在特殊情形（如 $A_n$，$B_2$）及特定 $f_i(u)$-元组下的成立，但当 $n_a(3) < |N_a(3)| - 1$ 时公式不成立。
• 当 $f_i(u)$ 不全为 $1 - aq^4u$ 或 $1/(1 - aqu)$ 形式时，该猜想成立，甚至在某些违反陈述条件 (3) 的情形下也成立，提示其具有更广的适用范围。