[论文解读] Positivity vs negativity of canonical bases

Yiqiang Li, Weiqiang Wang|arXiv (Cornell University)|Jan 4, 2015

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

一句话总结

本文研究了修正量子群和余理想代数中典范基的正性性质。结果表明，修正量子群 $\dot{\mathbf{U}}(\mathfrak{gl}_n)$ 的稳定典范基的结构常数表现出负性——与 $\dot{\mathbf{U}}(\mathfrak{sl}_n)$ 中观察到的正性形成鲜明对比——同时构造了修正量子余理想代数 $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ 的典范基，该基具有完全正性：结构常数、双线性形式行为以及模作用均为正，并为秩一施图尔代数提供了显式公式。

ABSTRACT

We provide examples for negativity of structure constants of the stably canonical basis of modified quantum $\mathfrak{gl}_n$ and an analogous basis of modified quantum coideal algebra of $\mathfrak{gl}_n$. In contrast, we construct the canonical basis of the modified quantum coideal algebra of $\mathfrak{sl}_n$, establish the positivity of its structure constants, the positivity with respect to a geometric bilinear form as well as the positivity of its action on the tensor powers of the natural representation. The matrix coefficients of the transfer map on these Schur algebras with respect to the canonical bases are shown to be positive. Formulas for canonical basis of the iSchur algebra of rank one are obtained.

研究动机与目标

• 澄清 $\dot{\mathbf{U}}(\mathfrak{gl}_n)$ 的稳定典范基中结构常数出人意料的负性，与 $\dot{\mathbf{U}}(\mathfrak{sl}_n)$ 中预期的正性形成对比。
• 为修正量子余理想代数 $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ 构造一个典范基，使其与 $\dot{\mathbf{U}}(\mathfrak{sl}_n)$ 中典范基的正性性质相匹配。
• 确立 $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ 新典范基的结构常数、双线性形式行为及模作用的正性。
• 为所有 $d$ 推导出施图尔代数 $\mathbf{S}^\imath(2,d)$ 的典范基的显式公式。
• 证明关联施图尔代数上转移映射的矩阵系数在典范基下为正。

提出的方法

• 通过几何实现的 $\mathbf{iS}(n,d)$ 代数的稳定化过程，结合 IC 构造与 Lusztig 理论，构造 $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ 的典范基。
• 利用包含 $\gamma_{a,r}(i)$ 和结构常数 $b_{a+i}^{r-i}$ 的递推公式，以标准基元素 $[A_{a,r}]$ 定义典范基元素 $\{A_{a,r}\}$。
• 证明系数 $\gamma_{a}(r)$ 与 $r$ 无关，并满足由对合不变性与对偶性导出的递推关系。
• 通过验证 $\gamma_{a}(r) \in v^{-1}\mathbb{Z}[v^{-1}]$ 且结构常数属于 $\mathbb{N}[v,v^{-1}]$，确认典范基的正性。
• 通过典范基的性质及其与 $\dot{\mathbf{U}}(\mathfrak{sl}_{\lfloor n/2 \rfloor})$ 包含关系的相容性，间接证明几何双线性形式的非退化性。
• 利用 $v^2$-二项式系数，推导出 $\gamma_a(r)$ 的显式闭式表达式，其形式取决于 $a$ 和 $r$ 的奇偶性。

实验结果

研究问题

• RQ1 为何 $\dot{\mathbf{U}}(\mathfrak{gl}_n)$ 的稳定典范基的结构常数会呈现负性，尽管 $\dot{\mathbf{U}}(\mathfrak{sl}_n)$ 的典范基表现出正性？
• RQ2 能否为修正量子余理想代数 $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ 构造一个典范基，使其与 $\dot{\mathbf{U}}(\mathfrak{sl}_n)$ 的典范基具有相同的正性性质？
• RQ3 所有 $d$ 下，施图尔代数 $\mathbf{S}^\imath(2,d)$ 的典范基元素的显式公式是什么？
• RQ4 关联施图尔代数之间转移映射的矩阵系数在典范基下是否为正？
• RQ5 在包含关系 $\dot{\mathbf{U}}(\mathfrak{sl}_{\lfloor n/2 \rfloor}) \subseteq \dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ 下，$\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ 的典范基如何与 $\dot{\mathbf{U}}(\mathfrak{sl}_{\lfloor n/2 \rfloor})$ 的典范基相关联？

主要发现

• $\dot{\mathbf{U}}(\mathfrak{gl}_n)$ 的稳定典范基表现出负的结构常数，对 $n=2$ 提供了明确的反例，与 $\dot{\mathbf{U}}(\mathfrak{sl}_n)$ 中的预期正性相悖。
• $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ 的典范基具有正的结构常数，属于 $\mathbb{N}[v,v^{-1}]$，并由对合不变性、整数性以及与几何双线性形式的近乎正交性所刻画。
• $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ 的典范基与包含关系 $\dot{\mathbf{U}}(\mathfrak{sl}_{\lfloor n/2 \rfloor}) \subseteq \dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ 兼容，保持了典范基结构。
• 证明了关联施图尔代数上转移映射的矩阵系数在典范基下为正，确认了关键的正性性质。
• 推导出 $\mathbf{S}^\imath(2,d)$ 的典范基的显式公式，其中 $\gamma_a(r)$ 表示为依赖于 $a$ 和 $r$ 奇偶性的 $v^2$-二项式类似积。
• 当 $a$ 为偶数时，$\gamma_a(2s) = v^{-2s^2 - s} \prod_{k=1}^s \frac{1 - v^{-2a - 4k}}{1 - v^{-4k}}$；当 $a$ 为奇数时，$\gamma_a(2s) = v^{-2s^2 + s} \prod_{k=1}^s \frac{1 - v^{-2a - 4k - 2}}{1 - v^{-4k}}$，奇 $r$ 情况有类似表达式。