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

Weiqiang Wang, Collin Berman|arXiv (Cornell University)|Jun 3, 2018

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

一句话总结

本文为参数 $\kappa$ 为任意 $q$-整数时，建立了 $\mathbf{U}_q(\mathfrak{sl}_2)$ 的余代数子代数 ${\bf U}^\imath$ 中 $\imath$-除幂的闭式公式。通过在生成元 $t = F + q^{-1}EK^{-1} + \kappa K^{-1}$ 上的多项式表达式，作者推导出偶数权重与奇数权重情形下的显式公式，推广了此前 $\kappa = 0,1$ 的结果。关键贡献在于，尽管存在参数依赖，其公式结构仍与 $\kappa=0$ 情形保持一致，该一致性通过 $\mathcal{A}$-形式中的渐近相容性与整性条件得到验证。

ABSTRACT

The coideal subalgebra of the quantum $\mathfrak{sl}_2$ is a polynomial algebra in a generator $t$ which depends on a parameter $κ$. 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. We establish closed formulae for the $\imath$-divided powers as polynomials in $t$ and also in terms of Chevalley generators of the quantum $\mathfrak{sl}_2$ when the parameter $κ$ is an arbitrary $q$-integer. The formulae were known earlier when $κ=0,1$.

研究动机与目标

• 将已知的 ${\bf U}^\imath \subset \mathbf{U}_q(\mathfrak{sl}_2)$ 中 $\imath$-除幂的闭式公式，从 $\kappa = 0$ 和 $\kappa = 1$ 的情形推广至任意 $q$-整数参数。
• 为偶数与奇数权重的 $\imath$-除幂提供在生成元 $t$ 上的显式多项式表达式，区分 $\kappa$ 的奇偶性。
• 验证这些公式属于 $\mathcal{A}$-形式 ${}_{\mathcal{A}}{\mathbf{U}}^{\imath}_{\rm ev}$ 与 ${ }_{\mathcal{A}}{\mathbf{U}}^{\imath}_{\rm odd}$，并满足在有限维 $\mathbf{U}$-模上与 $\imath$-典范基的渐近相容性。
• 建立 $\imath$-除幂的统一结构，使其与 $\kappa=0$ 情形一致，尽管存在参数依赖。

提出的方法

• 作者提出 $\imath$-除幂的试探形式，将其表示为 $t$ 的线性项乘积，系数含 $q$-整数 $[n]$，并根据权重奇偶性与 $\kappa$ 的奇偶性进行区分。
• 将 $\imath$-除幂表示为 $t$ 的多项式，其根位于依赖于权重与 $\kappa$ 奇偶性的特定 $q$-整数上。
• 通过三重求和公式将公式展开为切瓦利生成元 $E, F, K^{\pm 1}$ 的形式，确保与量子群结构相容。
• 通过辅助引理对 $q$-整数恒等式进行分析，证明系数属于 $\mathcal{A} = \mathbb{Z}[q, q^{-1}]$，从而确认整性。
• 通过分析在最高权向量 $v^+_{\lambda}$ 上的作用，验证渐近相容性，表明低阶项的系数属于 $q^{-1}\mathbb{Z}[q^{-1}]$，当 $\lambda$ 足够大时成立。
• 通过直接计算推导出第二重 $\imath$-除幂的显式公式，并通过其在 $v^+_{\lambda}$ 上的作用进行验证，得到 $t_{\rm ev}^{(2)} = (t^2 - \diamondsuit^2)/[2]$ 与 $t_{\rm odd}^{(2)} = (t^2 - 1 + \diamondsuit^2)/[2]$。

实验结果

研究问题

• RQ1 能否为 ${\bf U}^\imath$ 中任意 $q$-整数参数 $\kappa$ 的 $\imath$-除幂建立闭式公式，从而推广至 $\kappa = 0,1$ 之外的情形？
• RQ2 当 $\kappa$ 为任意 $q$-整数时，偶数与奇数权重的 $\imath$-除幂是否仍遵循与 $\kappa=0$ 情形相同的多项式结构？
• RQ3 所提出的 $t$ 上的多项式表达式是否关于 ${\bf U}^\imath$ 的 $\mathcal{A}$-形式为整数，并满足在有限维模上与 $\imath$-典范基的渐近相容性？
• RQ4 当 $\kappa$ 为 $q$-整数时，第二重 $\imath$-除幂 $t^{(2)}$ 关于 $E, F, K^{\pm 1}$ 与 $\kappa$ 的显式表达式为何？
• RQ5 参数 $\diamondsuit$（定义为：若 $\kappa = [n]$，则 $\diamondsuit = 0$，$\pm1$）如何影响 $\imath$-除幂的结构？

主要发现

• 偶数权重与奇数权重的 $\imath$-除幂 ${\mathfrak{t}}_{\rm ev}^{(n)}$ 与 ${\mathfrak{t}}_{\rm odd}^{(n)}$ 均由 $t$ 上的显式多项式公式给出，其根位于 $q$-整数上，适用于任意偶数或奇数 $q$-整数 $\kappa$。
• 当 $\kappa$ 为偶数时，${\mathfrak{t}}_{\rm ev}^{(n)}$ 与 ${\mathfrak{t}}_{\rm odd}^{(n)}$ 的公式与 $\kappa=0$ 情形一致，其系数包含 $[n]!$ 与 $t - [k]$ 项的对称积。
• 第二重 $\imath$-除幂满足 $t_{\rm ev}^{(2)} = (t^2 - \diamondsuit^2)/[2]$ 与 $t_{\rm odd}^{(2)} = (t^2 - 1 + \diamondsuit^2)/[2]$，其中 $\diamondsuit = 0$ 若 $\kappa$ 为偶数，$\pm1$ 若 $\kappa \equiv \pm1 \pmod{4}$。
• 这些公式在 $\mathcal{A}$-形式 ${}_{\mathcal{A}}{\mathbf{U}}^{\imath}_{\rm ev}$ 与 ${}_{\mathcal{A}}{\mathbf{U}}^{\imath}_{\rm odd}$ 中为整数，通过 $\mathcal{A}$ 中的系数分析得到验证。
• 在切瓦利生成元中的展开涉及三重求和，包含如 $\check{E}^{(2)}$、$F^{(2)}$、$q^{-1}\kappa K^{-1}F$ 与 $K^{-2}$ 的有理函数项，并包含由 $\diamondsuit^2$ 引入的校正项。
• 渐近相容性条件成立，因为在 $v^+_{\lambda}$ 上的作用中，低阶项的系数属于 $q^{-1}\mathbb{Z}[q^{-1}]$（当 $\lambda$ 足够大时），从而确认其为 $\imath$-典范基。