[论文解读] An Integral PBW Basis of the Quantum Affine Algebra of Type A$_{2}^{(2)}$

Tatsuya Akasaka|arXiv (Cornell University)|May 21, 2001

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

一句话总结

该论文通过辫子群作用和修正的虚根向量，构建了 $A_2^{(2)}$ 型量子仿射代数正部分的积分 PBW 基与积分晶体基。通过引入新生成元 $P_n$ 和舒尔函数 $S_\lambda$，证明了乘法映射 $U_Z^+(>) \otimes U_Z^+(0) \otimes U_Z^+(<) \to U_Z^+$ 是同构，从而解决了 Lusztig 关于 $U^+$ 分解的开放问题，并由此构造出全局晶体基。

ABSTRACT

We construct an integral PBW basis and an integral crystal basis of the quantum affine algebra of type A$_{2}^{(2)}$.

研究动机与目标

• 为 $A_2^{(2)}$ 型量子仿射代数的正部分 $U^+$ 构造一个积分 PBW 基与一个积分晶体基。
• 解决 Lusztig 在 [L, 40.2.5] 中提出的关于 $U^+$ 分解为与正实根和虚根相关子代数的开放问题。
• 通过将标准虚根向量 $\tilde{\psi}_n$ 修正为新生成元 $P_n$，定义 $U_Z^+$ 的 $\mathbb{Z}[q_1, q_1^{-1}]$-基。
• 通过证明舒尔函数 $S_\lambda$ 关于 Drinfeld 内积的准正交性，证明所得基为全局晶体基。

提出的方法

• 利用辫子群作用 $T_1^{-1}T_0^{-1}$ 和 $T_0T_1$ 在 Chevalley 生成元 $e_0, e_1$ 上，定义正实根 $R_{\text{re}}^{(>)}$ 和 $R_{\text{re}}^{(<)}$ 对应的实根向量 $E_{\alpha}$。
• 引入标准虚根向量 $\tilde{\psi}_n = [E_{\delta - \alpha_1}, E_{(n-1)\delta + \alpha_1}]_{q^{-1}}$，并证明其生成 $\mathbb{Z}[q_1, q_1^{-1}]$-子代数 $U_Z^+(0)$。
• 对 $n \geq 1$ 定义新生成元 $P_n = [2n]_1^{-1} \sum_{k=0}^{n-1} P_k \tilde{\psi}_{n-k} q^{-k}$，其中 $P_0 = 1$，并证明 $P_n \in U_Z^+$。
• 通过实根向量的除幂与舒尔函数 $S_\lambda = \det(P_{\lambda_i - i + j})_{i,j \geq 1}$ 构造 $\mathbb{Z}[q_1, q_1^{-1}]$-基 $\{ E_c^+ S_\lambda E_c^- \}$。
• 利用新生成元 $P_n$ 证明乘法映射 $U_Z^+(>) \otimes U_Z^+(0) \otimes U_Z^+(<) \to U_Z^+$ 是同构。
• 通过 Drinfeld 内积建立 $S_\lambda$ 的准正交性：$(S_\lambda, S_\mu) \equiv \delta_{\lambda\mu} \mod q_1^{-1} A$，其中 $A = \mathbb{Q}(q_1) \cap \mathbb{Z}[[q_1^{-1}]]$。

实验结果

研究问题

• RQ1 能否为 $A_2^{(2)}$ 型量子仿射代数的正部分构造一个积分 PBW 基？
• RQ2 是否存在 $U_Z^+$ 的 $\mathbb{Z}[q_1, q_1^{-1}]$-基，使其尊重正实根与虚根子代数的分解？
• RQ3 如何修正标准虚根向量 $\tilde{\psi}_n$，以得到 $U_Z^+$ 的 $\mathbb{Z}[q_1, q_1^{-1}]$-基？（因为朴素的乘法映射并非满射。）
• RQ4 由 $P_n$ 生成元定义的舒尔函数 $S_\lambda$ 能否构成关于 Drinfeld 内积的准正交基？
• RQ5 所得基是否满足成为全局晶体基的条件？

主要发现

• 当 $U_Z^+(0)$ 由新虚根向量 $P_n$ 生成时，乘法映射 $U_Z^+(>) \otimes U_Z^+(0) \otimes U_Z^+(<) \to U_Z^+$ 是 $\mathbb{Z}[q_1, q_1^{-1}]$-模的同构。
• $P_n$ 属于 $U_Z^+$，这一结果非平凡，因为 $\tilde{\psi}_n \in U_Z^+$ 显然成立。
• 舒尔函数 $S_\lambda = \det(P_{\lambda_i - i + j})_{i,j \geq 1}$ 具有准正交性：$(S_\lambda, S_\mu) \equiv \delta_{\lambda\mu} \mod q_1^{-1} A$，其中 $A = \mathbb{Q}(q_1) \cap \mathbb{Z}[[q_1^{-1}]]$。
• $\{ E_c^+ S_\lambda E_c^- \}$ 基，其中 $c^+ \in \oplus_{\alpha \in R_{\text{re}}^{(>)}} \mathbb{Z}_{\geq 0}^{(\alpha)}$，$\lambda$ 为分拆，$c^- \in \oplus_{\alpha \in R_{\text{re}}^{(<)}} \mathbb{Z}_{\geq 0}^{(\alpha)}$，是 $U_Z^+$ 的 $\mathbb{Z}[q_1, q_1^{-1}]$-基。
• 由于其准正交性与整性，该基为全局晶体基（因此亦为积分晶体基），其论证方式与 [BCP] 相同。
• 该构造通过证明 $U^+ \cong U^+(>) \otimes U^+(0) \otimes U^+(<)$ 作为 $\mathbb{Q}(q_1)$-代数，解决了 Lusztig 的开放问题 [L, 40.2.5]，并借助 $P_n$ 生成元将其推广至整数形式。