[论文解读] Characters of representations of affine Kac-Moody Lie algebras at the critical level

Tomoyuki Arakawa|arXiv (Cornell University)|Jun 13, 2007

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

一句话总结

本文在有限维单李代数上可积的条件下，为仿射 Kac-Moody 代数在临界水平的不可约高权表示建立了特征公式。通过量子 Drinfeld-Sokolov 约化和几何 Langlands 对偶性结果，作者推导出一个类似于 Weyl-Kac 的公式，其中涉及 Weyl 群作用和正根的乘积，解决了临界水平不可约表示特征理论中长期存在的空白。

ABSTRACT

We present an explicit character formula for the irreducible highest weight representations of the non-twisted affine Kac-Moody Lie algebra at the critical level which are integrable over the corresponding finite-dimensional simple Lie algebra.

研究动机与目标

• 确定仿射 Kac-Moody 代数在临界水平的不可约高权表示的正式特征。
• 解决临界水平表示（尤其是可积表示）缺乏特征公式的问题。
• 利用表示论与几何方法，在临界水平情形建立一个类似于 Weyl-Kac 的特征公式。
• 通过量子 Drinfeld-Sokolov 约化，证实 Frenkel 与 Gaitsgory 关于这些表示结构的猜想。

提出的方法

• 作者利用量子 Drinfeld-Sokolov 约化，将 Verma 模的特征与真空模的自同态环联系起来。
• 通过特定中心特征标所 annihilate 的模类别与 Zhu 代数上的分次模类别之间的范畴等价关系，推导出特征公式。
• 该方法依赖于临界水平顶点代数的中心与真空模自同态环之间的同构。
• 利用 Weyl 群作用以及平移作用 $ w \bullet \lambda = w(\lambda + \rho) - \rho $ 来表达特征公式的分子部分。
• 分母部分包含正实根与正整数的乘积，反映了权空间分解的结构。
• 通过验证 Verma 模的特征等于自同态环特征与不可约模特征的乘积，完成证明。

实验结果

研究问题

• RQ1 当不可约高权表示在有限维分量上可积时，仿射 Kac-Moody 代数在临界水平的 $ L(\lambda) $ 的特征是什么？
• RQ2 鉴于标准 Weyl-Kac 公式在临界水平失效，如何将特征公式推广到临界水平情形？
• RQ3 量子 Drinfeld-Sokolov 约化方法是否可用于推导临界水平的特征公式？
• RQ4 是否存在一种范畴等价关系，能够以 Zhu 代数上的分次模形式解释临界水平表示的结构？
• RQ5 当最高权避开整数奇点时，该特征公式是否退化为已知的通用情形？

主要发现

• 当 $ \lambda \in P^{+}_{\text{crit}} $ 时，$ L(\lambda) $ 在临界水平的特征为 $ \operatorname{ch}L(\lambda) = \frac{\sum_{w \in \bar{W}} (-1)^{\ell(w)} e^{w \bullet \lambda}}{\prod_{\alpha \in \bar{\Delta}_+} (1 - q^{-\langle \lambda + \rho, \alpha^\vee \rangle}) \prod_{\alpha \in \Delta^{\text{re}}_+} (1 - e^{-\alpha})} $，其中 $ q = e^{\delta} $。
• 真空模的自同态环 $ R_{{\mathcal{Z}}}^{\bar{\lambda}} $ 同构于 Zhu 代数，其分次特征为 $ \operatorname{ch}R_{{\mathcal{Z}}}^{\bar{\lambda}} = \frac{\prod_{\alpha \in \bar{\Delta}_+} (1 - q^{-\langle \lambda + \rho, \alpha^\vee \rangle})}{\prod_{j \geq 1} (1 - q^{-j})^{\ell}} $。
• Verma 模 $ V(\lambda) $ 是 $ R_{{\mathcal{Z}}}^{\bar{\lambda}} $ 上的自由模，其特征满足 $ \operatorname{ch}V(\lambda) = \operatorname{ch}R_{{\mathcal{Z}}}^{\bar{\lambda}} \cdot \operatorname{ch}L(\lambda) $。
• 范畴等价 $ \mathcal{M}^{\bar{\lambda}} \sim R_{{\mathcal{Z}}}^{\bar{\lambda}}\text{-grmod} $ 被建立，其逆函子为 $ F(M) = \operatorname{Hom}_{U({\mathfrak{g}}')} (V(\lambda), M) $ 与 $ G(X) = V(\lambda) \otimes_{R_{{\mathcal{Z}}}^{\bar{\lambda}}} X $。
• 该公式在分次情形下确认了 Frenkel 与 Gaitsgory [Fre06] 的猜想 5，且对所有 $ \chi \in \operatorname{Op}_{{}^L G}^{\bar{\lambda}} $，证明了 $ V(\lambda)/\ker \chi \cdot V(\lambda) $ 的不可约性。
• 环 $ R_{{\mathcal{Z}}}^{\bar{\lambda}} $ 的谱同构于丛的范畴 $ \operatorname{Op}_{{}^L G}^{\bar{\lambda}} $，将表示理论与几何 Langlands 联系起来。