[论文解读] Formulae of $\imath$-divided powers in ${\mathbf U}_q(\mathfrak{sl}_2)$

Collin Berman, Weiqiang Wang|arXiv (Cornell University)|Mar 2, 2017

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

一句话总结

本文证明了关于量子群 $\mathbf{U}_q(\mathfrak{sl}_2)$ 的余理想子代数 ${\mathbf{U}}^\imath$ 中 $ím$-分次幂的猜想显式公式，建立了基于 PBW 基和典范基的封闭表达式。关键结果是这些公式中整性与正性的验证，通过基于有限维表示的递归与归纳方法，解决了长期存在的猜想。

ABSTRACT

The existence of the $\imath$-canonical basis (also known as the $\imath$-divided powers) for the coideal subalgebra of the quantum $\mathfrak{sl}_2$ were established by Bao and Wang, with conjectural explicit formulae. In this paper we prove the conjectured formulae of these $\imath$-divided powers. This is achieved by first establishing closed formulae of the $\imath$-divided powers in basis for quantum $\mathfrak{sl}_2$ and then formulae for the $\imath$-canonical basis in terms of Lusztig's divided powers in each finite-dimensional simple module of quantum $\mathfrak{sl}_2$. These formulae exhibit integrality and positivity properties.

研究动机与目标

• 证明在余理想子代数 ${\mathbf{U}}^\imath \subset \mathbf{U}_q(\mathfrak{sl}_2)$ 中，关于 $ím$-分次幂 $t_{\mathrm{ev}}^{(n)}$ 和 $t_{\mathrm{odd}}^{(n)}$ 的猜想显式公式。
• 在 $\mathbf{U}$ 和修正量子群 $\dot{\mathbf{U}}$ 的 PBW 基与典范基下，为这些 $ím$-分次幂建立封闭表达式。
• 验证 $ím$-分次幂将有限维单 $\mathbf{U}$-模中的最高权向量映射为 $ím$-典范基元素，确认其典范性质。
• 在所得公式中展示整性与正性性质，与量子对称对的结构一致。

提出的方法

• 利用 (1.1) 和 (5.1) 中定义的递归关系，推导 $t_{\mathrm{ev}}^{(n)}$ 和 $t_{\mathrm{odd}}^{(n)}$ 的封闭表达式。
• 将 $ím$-分次幂表示为 PBW 基 $\check{E}^{(a)} h^{(c)} F^{(b)}$ 中的多项式，其系数包含 $q$-整数与 $q$-二项式系数。
• 通过关于 $n$ 的归纳法验证猜想公式，对偶数与奇数 $n$ 进行详细的分情况分析。
• 分析 $ím$-分次幂在有限维单 $\mathbf{U}$-模 $L(\lambda)$ 的最高权向量上的作用，证明其结果为 $ím$-典范基元素。
• 构造并研究包含 $ím$-分次幂的非标准 $\mathbb{Z}[q,q^{-1}]$-子代数，这些子代数具有自然的（反）自同构。
• 使用符号计算（如 Mathematica）发现模式并验证初始情形，随后形式化归纳证明。

实验结果

研究问题

• RQ1 ${\mathbf{U}}^\imath$ 中 $ím$-分次幂的猜想多项式公式是否在 $\mathbf{U}_q(\mathfrak{sl}_2)$ 的 PBW 基中成立为封闭表达式？
• RQ2 在有限维表示中，$ím$-分次幂是否能以整性与正性表达为 Lusztig 分次幂的形式？
• RQ3 $ím$-分次幂在 $L(\lambda)$ 的最高权向量上的作用是否与 $ím$-典范基的定义一致？
• RQ4 递归关系 (1.1) 与 (5.1) 是否唯一确定 $ím$-分次幂？能否通过归纳法证明？
• RQ5 $ím$-分次幂生成的 $\mathbb{Z}[q,q^{-1}]$-子代数的结构性质是什么？它们与对合及量子对称对有何关系？

主要发现

• 证明了 $t_{\mathrm{ev}}^{(n)}$ 与 $t_{\mathrm{odd}}^{(n)}$ 的猜想公式正确，给出了 $\mathbf{U}$ 的 PBW 基中的显式封闭表达式。
• 导出了 $t_{\mathrm{ev}}^{(2m+1)}$ 与 $t_{\mathrm{odd}}^{(2m+1)}$ 的表达式，其为对 $c$ 与 $a$ 的求和，系数包含形如 $\left\llbracket\begin{matrix}h;1-m\\ c\end{matrix}\right\rrbracket$ 的 $q$-二项式系数。
• $t_{\mathrm{odd}}^{(2m+1)}$ 的系数 $\texttt{g}_{a,c}^{0}(h)$ 被证明等于 $q^{\binom{2c}{2}-a(2m+1-2c-a)}[2m+1]\left\llbracket\begin{matrix}h;1-m\\ c\end{matrix}\right\rrbracket$，从而确认了猜想。
• 类似地，$t_{\mathrm{odd}}^{(2m+1)}$ 的系数 $\texttt{g}_{a,c}^{1}(h)$ 被证明为 $q^{\binom{2c+1}{2}-2m-a(2m-2c-a)}[2m+1]\left\llbracket\begin{matrix}h;1-m\\ c\end{matrix}\right\rrbracket$。
• $t_{\mathrm{odd}}^{(2m+1)}$ 在 $L(\lambda)$ 的最高权向量上的作用将其映射为一个 $ím$-典范基元素，确认了其在典范基构造中的作用。
• $q\to 1$ 极限下的公式非平凡，展现出有趣的代数结构，暗示其具有更深层的几何或表示论意义。