[论文解读] Canonical bases arising from quantum symmetric pairs

Huanchen Bao, Weiqiang Wang|arXiv (Cornell University)|Oct 28, 2016

Algebraic structures and combinatorial models参考文献 18被引用 3

一句话总结

本文为任意有限类型的量子对称对 $(\mathbb{U}, \mathbb{U}^\imath)$ 建立了系统的典范基理论，构造了在修正的 $\imath$ 量子群 $\dot{\mathbb{U}}^\imath$ 上以及在有限维单 $\mathbb{U}$-模及其张量积（视为 $\mathbb{U}^\imath$-模）上的 $\imath$-典范基。关键贡献在于确立了映射器 $\Upsilon$ 和 braid 群作用在 $\mathbb{U}^\imath$ 上的整性与相容性，从而为量子对称对建立了新的典范基理论。

ABSTRACT

We develop a general theory of canonical bases for quantum symmetric pairs $(\mathbf{U}, \mathbf{U}^\imath)$ with parameters of arbitrary finite type. We construct new canonical bases for the simple integrable $\mathbf{U}$-modules and their tensor products regarded as $\mathbf{U}^\imath$-modules. We also construct a canonical basis for the modified form of the $\imath$quantum group $\mathbf{U}^\imath$. To that end, we establish several new structural results on quantum symmetric pairs, such as bilinear forms, braid group actions, integral forms, Levi subalgebras (of real rank one), and integrality of the intertwiners.

研究动机与目标

• 为任意有限类型的量子对称对 $(\mathbb{U}, \mathbb{U}^\imath)$ 建立一般性的典范基理论。
• 在修正的 $\imath$ 量子群 $\dot{\mathbb{U}}^\imath$ 上构造一个 $\imath$-典范基。
• 将该理论扩展至有限维单 $\mathbb{U}$-模及其张量积，现将其视为 $\mathbb{U}^\imath$-模。
• 解决 $\mathbb{U}^\imath$ 中的结构性难题，包括整形式、共轭对合以及 braid 群作用。
• 通过新的典范基框架，为表示理论、范畴化以及丛代数的应用提供基础。

提出的方法

• 在 $\mathbb{Q}(q)$ 上定义 $\mathbb{U}^\imath$，并采用修正参数以确保其整性，并与共轭对合 $\psi_\imath$ 相容。
• 在 $\mathbb{U}^+$ 的完备化中构造映射器 $\Upsilon$，该映射器在 $\mathbb{U}$ 上的共轭对合与 $\mathbb{U}^\imath$ 上的 $\imath$-共轭对合之间实现 intertwining。
• 证明 braid 群算子 $\texttt{T}'_{i,e}$ 和 $\texttt{T}''_{i,e}$ 在 $i \in \mathbb{I}_\bullet$ 时限制为 $\mathbb{U}^\imath$ 上的自同构，从而验证了 [KP11] 的一个猜想。
• 证明 $\mathbb{U}$ 上的反对合 $\wp$ 限制到 $\mathbb{U}^\imath$ 上仍为反对合，从而在 $\mathbb{U}^\imath$-模上诱导出一个非退化的双线性形式。
• 利用该双线性形式与 $\imath$-共轭对合，定义并构造了 $\dot{\mathbb{U}}^\imath$ 上以及基于 $\mathbb{U}$-模上的 $\imath$-典范基。
• 确立映射器 $\Upsilon$ 的整性及其在 $\mathcal{A} = \mathbb{Z}[q,q^{-1}]$ 上与 $\imath$-典范基构造的相容性。

实验结果

研究问题

• RQ1 如何为任意有限类型的量子对称对 $(\mathbb{U}, \mathbb{U}^\imath)$ 系统地发展典范基理论？
• RQ2 为支持 $\mathbb{U}^\imath$ 上的典范基，必须建立哪些结构性质——例如 braid 群作用、双线性形式和整形式？
• RQ3 映射器 $\Upsilon$ 在 $\imath$-共轭对合下的行为如何？它能否在 $\mathbb{Q}(q)$ 上定义，且取值于 $\mathcal{A}$？
• RQ4 braid 群算子 $\texttt{T}'_{i,e}$ 和 $\texttt{T}''_{i,e}$ 是否能限制为 $\mathbb{U}^\imath$ 上的自同构？它们在生成元上的显式作用是什么？
• RQ5 如何将 $\mathbb{U}$ 上的反对合 $\wp$ 限制到 $\mathbb{U}^\imath$ 上，以在 $\mathbb{U}^\imath$-模上定义一个非退化的双线性形式？

主要发现

• braid 群算子 $\texttt{T}'_{i,e}$ 和 $\texttt{T}''_{i,e}$ 对所有 $i \in \mathbb{I}_\bullet$ 限制为 $\mathbb{U}^\imath$ 上的自同构，从而证实了 [KP11] 的一个猜想。
• $\mathbb{U}$ 上的反对合 $\wp$ 限制为 $\mathbb{U}^\imath$ 上的反对合，从而在 $\mathbb{U}^\imath$-模上诱导出一个非退化的对称双线性形式。
• 映射器 $\Upsilon$ 是整的，且属于 $\mathbb{U}^+$ 的完备化，其作用与 $\mathbb{U}^\imath$ 上的 $\imath$-共轭对合相容。
• 在修正的 $\imath$ 量子群 $\dot{\mathbb{U}}^\imath$ 上构造了 $\imath$-典范基，推广了此前对 AIII/AIV 型的结果。
• 在有限维单 $\mathbb{U}$-模及其张量积（视为 $\mathbb{U}^\imath$-模）上构造了 $\imath$-典范基。
• 该理论在 $\mathbb{Q}(q)$ 上建立，参数取值于 $\mathcal{A} = \mathbb{Z}[q,q^{-1}]$，确保了整性与典范基框架的相容性。