[论文解读] Orthogonal basis for the Shapovalov form on $A_n$

Andrey Mudrov|arXiv (Cornell University)|Jun 16, 2012

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

一句话总结

本文通过引入在扩展Cartan子代数上取值的动态根向量，构造了量子群 $U_q(\mathfrak{sl}(n+1))$ 上Shapovalov形式的正交基。该方法在通用Verma模上对合变双线性形式进行对角化，显式计算了矩阵系数，并构造了Shapovalov形式的逆，为 $A_n$ 系列提供了独立且初等的推导，弥补了以往间接结果的空白。

ABSTRACT

Let $U$ be either classical or quantized universal enveloping algebra of $\sł(n+1)$ extended over the field of fractions of the Cartan subalgebra. We suggest a PBW basis in $U$ over the extended Cartan subalgebra diagonalizing the contravariant Shapovalov form on generic Verma module. The matrix coefficients of the form are calculated and the inverse of the form is explicitly constructed.

研究动机与目标

• 为 $A_n$ 型量子群的逆Shapovalov形式提供一个自包含且初等的推导，以填补文献中的空白。
• 在扩展Cartan子代数上构造一个PBW基，使其在通用Verma模上对角化Shapovalov形式。
• 通过经典极限将结果推广至经典普遍包络代数 $U(\mathfrak{sl}(n+1))$。
• 证明动态根向量在Verma模中构成类似Gelfand-Zelevinsky基的基，类似于其在有限维模中的情形。
• 计算Shapovalov形式的矩阵系数，并显式构造其在奇异权集之外的逆。

提出的方法

• 在Borel子代数中引入动态根向量 $\hat{e}_{\pm\mu}$，使用Cartan子代数取值的广义换位子。
• 按特定顺序排列动态根向量，使得其PBW单项式在循环Shapovalov配对下构成右下与左上Verma模的对偶基。
• 通过根向量的“逐行交换性”性质，证明负向动态根向量构成合变Shapovalov形式的正交基。
• 利用权分析并结合对偶基元素的配对，将形式的矩阵系数表示为量子整数 $[\lambda]_q$ 的乘积。
• 通过系数矩阵的逆构造Shapovalov形式的逆，当 $[\lambda_{k\,n}-m+1]_q \neq 0$ 时成立。
• 利用经典极限将结果推广至普遍包络代数 $U(\mathfrak{sl}(n+1))$。

实验结果

研究问题

• RQ1 能否为 $U_q(\mathfrak{sl}(n+1))$ 上的Shapovalov形式显式构造一个正交PBW基，使其在通用Verma模上对角化该形式？
• RQ2 Shapovalov形式的矩阵系数如何用量子整数表示？该形式在何种条件下可逆？
• RQ3 动态根向量与有限维模中Gelfand-Zelevinsky基有何关系？它们能否推广至Verma模？
• RQ4 逆形式失效的奇异权的确切集合是什么？其与Shapovalov行列式零点集相比如何？
• RQ5 能否独立于Mickelsson代数的结果，为 $A_n$ 系列显式构造逆Shapovalov形式？

主要发现

• 动态根向量 $\hat{f}_{k\,n}$ 构成在扩展Cartan子代数上的PBW基，使其在通用Verma模上对角化Shapovalov形式。
• Shapovalov形式的矩阵系数被显式计算为量子整数 $[\lambda_{k\,n}-m+1]_q$ 的乘积，当这些系数非零时形式可逆。
• 通过系数矩阵的逆显式构造了Shapovalov形式的逆，其在集合 $\{\lambda \mid q^{2(\lambda,\alpha)} \in q^{2\mathbb{Z}}\}$ 之外的通用权下成立。
• 负向动态根向量 $\hat{f}_{\alpha}$ 构成合变Shapovalov形式的正交基，正交性由根向量的“逐行交换性”性质所确立。
• 该构造在Verma模中产生了一个Gelfand-Zelevinsky型基，其中 $\hat{f}_{\alpha}$ 的单项式是 $U_q(\mathfrak{h})$ 及 $U_q(\mathfrak{sl}(i))$ ($i=2,\ldots,n+1$) 中心的公共本征向量。
• 该构造的经典极限恢复了 $U(\mathfrak{sl}(n+1))$ 的相应结果，确认了与经典情形的一致性。