[论文解读] Canonical bases arising from quantum symmetric pairs of Kac-Moody type

Huanchen Bao, Weiqiang Wang|arXiv (Cornell University)|Nov 24, 2018

Algebraic structures and combinatorial models参考文献 22被引用 15

一句话总结

本文在 Kac-Moody 类型的量子对称对设定下，为最高权可积 $υ$-模及其张量积，以及修正的 $υ$-量子群 $Øυ^\imath$ 构造了 $ι$ 个典范基。关键创新在于引入了 $υ$ 分次幂，它们生成了 $Øυ^\imath$ 的整数形式，并使作者得以证明 Balagovic-Kolb 的一个猜想，消除了一个主要的技术假设，简化了准-$K$-矩阵与 $υ$ 典范基的整性理论。

ABSTRACT

For quantum symmetric pairs $(\mathbf{U}, extbf{U}^\imath)$ of Kac-Moody type, we construct $\imath$canonical bases for the highest weight integrable $\mathbf{U}$-modules and their tensor products regarded as $\mathbf{U}^\imath$-modules, as well as an $\imath$canonical basis for the modified form of the $\imath$quantum group $\mathbf{U}^\imath$. A key new ingredient is a family of explicit elements called $\imath$divided powers, which are shown to generate the integral form of $\dot{\bf{U}}^\imath$. We prove a conjecture of Balagovic-Kolb, removing a major technical assumption in the theory of quantum symmetric pairs. Even for quantum symmetric pairs of finite type, our new approach simplifies and strengthens the integrality of quasi-K-matrix and the constructions of $\imath$canonical bases, by avoiding a case-by-case rank one analysis and removing the strong constraints on the parameters in a previous work.

研究动机与目标

• 为最高权可积 $υ$-模及其张量积作为 $υ^\imath$-模构造 $υ$ 典范基。
• 为修正的 $υ^\imath$ 量子群 $Øυ^\imath$ 构造一个 $υ$ 典范基。
• 证明 Balagovic-Kolb 猜想，消除量子对称对理论中的一个关键技术假设。
• 建立一种新的 $υ$ 典范基整性理论框架，避免逐项分析秩一情形和强参数约束。

提出的方法

• 引入一族显式元素，称为 $υ$ 分次幂，证明它们生成修正的 $υ^\imath$ 量子群的整数形式 ${}_{\mathcal{A}}\dot{\mathbb{U}}^\imath$。
• 利用 $υ$ 分次幂在 $υ^\imath$-模上定义一个对合 $ψ_\imath$，并通过 ${\mathbb{Z}}[q^{-1}]$-格结构证明 $υ$ 典范基的存在性。
• 证明 $Ø\u03c5^\imath$ 的 $υ$ 典范基关于通过 $υ^\imath$-模 $L^\imath(\lambda,\mu)$ 的射影极限定义的对称双线性形式是几乎正交的。
• 证明限制映射 $p_{\imath,\lambda}: {}_{\mathcal{A}}'\dot{\mathbb{U}}^\imath \mathbb{1}_{\overline{\lambda}} \to {}_{\mathcal{A}}\dot{\mathbf{P}} \mathbb{1}_\lambda$ 的满射性，从而推出 ${}_{\mathcal{A}}'\dot{\mathbb{U}}^\imath = {}_{\mathcal{A}}\dot{\mathbb{U}}^\imath$。
• 将 $Ø\u03c5^\imath$ 上的双线性形式推广至一般参数约束下（无需 $\varsigma_i \in \pm q^{\mathbb{Z}}$），依赖于 $υ^\imath$ 在模上的 $π$-扭曲作用。

实验结果

研究问题

• RQ1 能否在不施加对 Cartan 矩阵或参数的限制性假设下，于 Kac-Moody 设定下为 $υ^\imath$-模和修正的 $υ^\imath$ 量子群 $Ø\u03c5^\imath$ 构造 $υ$ 典范基？
• RQ2 是否存在 $υ$ 分次幂提供一种统一、内在的 $υ^\imath$ 整数形式 ${}_{\mathcal{A}}\dot{\mathbb{U}}^\imath$ 的构造方法？
• RQ3 Balagovic-Kolb 关于参数 $\nu_i$ 的猜想是否可在 Kac-Moody 类型量子对称对中完全一般地证明？
• RQ4 在一般参数条件下，$Ø\u03c5^\imath$ 上的双线性形式是否非退化且对 $υ$ 典范基几乎正交？

主要发现

• $υ$ 分次幂生成了整数形式 ${}_{\mathcal{A}}\dot{\mathbb{U}}^\imath$，为 $Ø\u03c5^\imath$ 的整数结构提供了新的、内在的构造。
• 证明了 ${}_{\mathcal{A}}'\dot{\mathbb{U}}^\imath = {}_{\mathcal{A}}\dot{\mathbb{U}}^\imath$，表明 $υ$ 分次幂与 Kashiwara 的生成元足以生成整数形式。
• $Ø\u03c5^\imath$ 的 $υ$ 典范基是几乎正交的：$(b_1 \diamondsuit^\imath_{\zeta_\imath} b_2, b'_1 \diamondsuit^\imath_{\zeta'_\imath} b'_2) \equiv \delta_{\zeta_\imath,\zeta'_\imath} \delta_{b_1,b'_1} \delta_{b_2,b'_2} \mod q^{-1}\mathcal{A}$。
• 即使对合 $π$ 不保持 $υ^\imath$，$Ø\u03c5^\imath$ 上的双线性形式仍为非退化，这是由于模上的 $π$-扭曲作用。
• Balagovic-Kolb 猜想在 Kac-Moody 类型量子对称对中完全一般地得到证明，消除了该理论中的一个主要技术假设。
• 该构造避免了逐项分析秩一情形，并消除了对参数的强约束，从而简化并加强了准-$K$-矩阵与 $υ$ 典范基的整性。