[论文解读] Positivity of Canonical Bases under Comultiplication

Zhaobing Fan, Yiqiang Li|arXiv (Cornell University)|Nov 8, 2015

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

一句话总结

本文在量子仿射 $\mathfrak{sl}_n$ 的修正余理想子代数上，通过余乘法及其相关结构，建立了 i-典范基的正性。利用 A 型与 B/C 型部分旗流形上的 perverse sheaves 实现余乘法的几何方法，证明了余乘法与子代数嵌入中的结构常数属于 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$，将已知的正性结果推广至仿射量子设置。

ABSTRACT

We show the positivity of the canonical basis for a modified quantum affine $\mathfrak{sl}_n$ under the comultiplication. Moreover, we establish the positivity of the i-canonical basis in [LW15] with respect to the coideal subalgebra structure.

研究动机与目标

• 在量子仿射 $\mathfrak{sl}_n$ 的修正余理想子代数中，建立 i-典范基在余乘法结构下的正性。
• 将量子群中典范基已知的正性结果推广至仿射设置与余理想子代数的语境。
• 在仿射 Schur 代数层面上，提供余乘法的几何实现，连接 A 型与 B/C 型对偶性。
• 证明余乘法与子代数嵌入中的结构常数属于 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$，确认新的正性。

提出的方法

• 通过 A 型仿射部分旗流形上的 perverse sheaves 的双曲局部化与 $v$-扭变，实现余乘法的几何构造。
• 利用 Schur 代数的投影系统定义余理想子代数 $\dot{\mathbb{U}}^\imath$ 及其典范基 $\mathbb{B}^\imath$ 的幂等元版本。
• 定义一个余乘法映射 $\Delta^\imath: \dot{\mathbb{U}}^\imath \to (\dot{\mathbb{U}}^\imath \otimes \dot{\mathbb{U}})^\wedge$，其结构常数属于 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$。
• 构造一个退化的余乘法 $\imath: \dot{\mathbb{U}}^\imath \to \dot{\mathbb{U}}^\wedge$ 以实现子代数嵌入，其系数在 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$ 中保持正性。
• 通过 $\imath$-典范基建立几何 A 型对偶性与 B/C 型对偶性之间的直接联系，证明张量空间分解中的正性。
• 使用 Du-Fu [DF13] 的半单生成元乘法公式，并提供一种新的几何证明，以处理仿射情形下的 $v$-扭变。

实验结果

研究问题

• RQ1 量子仿射 $\mathfrak{sl}_n$ 的修正余理想子代数的 i-典范基在余乘法映射 $\Delta^\imath$ 下是否表现出正性？
• RQ2 余乘法 $\Delta^\imath$ 的结构常数是否属于 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$？
• RQ3 退化余乘法 $\imath$ 在将 $\dot{\mathbb{U}}^\imath$ 嵌入 $\dot{\mathbb{U}}$ 的典范基时是否保持正性？
• RQ4 张量空间中的 $\imath$-典范基是否为同一空间中典范基元素的正线性组合？
• RQ5 仿射 Schur 代数层面上的余乘法能否被几何实现，使得典范基在此映射下保持正性？

主要发现

• 余乘法 $\Delta^\imath(a) = \sum_{b,c} n^{b,c}_{a} b \otimes c$ 中的结构常数 $n^{b,c}_{a}$ 属于 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$，确立了正性 A。
• 退化余乘法 $\imath(a) = \sum_{a} g_{b,a} a$ 中的系数 $g_{b,a}$ 属于 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$，确认了正性 B。
• 张量空间中的 $\imath$-典范基是同一空间中典范基元素的正和，证明了正性 C。
• 修正的量子仿射 $\mathfrak{sl}_n$ 代数的典范基在幂等元余乘法下保持正性，确立了正性 D。
• 仿射 Schur 代数层面上余乘法的几何实现涉及双曲局部化与 $v$-扭变，后者将典范基映射为典范基（至多相差一个 $v$-幂次）。
• 为仿射情形下半单生成元的乘法公式提供了新的几何证明，这对于处理余乘法中的 $v$-扭变至关重要。