[论文解读] Positivity properties for canonical bases of modified quantum affine $\frak{sl}_n$

Qiang Fu, Toshiaki Shoji|arXiv (Cornell University)|Jul 16, 2014

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

一句话总结

本文通过将问题约化到更大的量子群 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 的正部分的已知正性，证明了修正量子仿射 $σ\mathfrak{sl}_n$ 代数 $\dot{\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ 的典范基的正性性质，即其结构常数属于 $\mathbb{N}[v,v^{-1}]$。关键结果表明，$\dot{\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ 的典范基的结构常数由 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 的结构常数决定，从而证明了 Lusztig 在此情形下的猜想。

ABSTRACT

The positivity property for canonical bases asserts that the structure constants of the multiplication for the canonical basis are in ${\mathbb N}[v,v^{-1}]$. Let $\mathbf U$ be the quantum group over ${\mathbb Q}(v)$ associated with a symmetric Cartan datum. The positivity property for the positive part ${\mathbf U}^+$ of ${\mathbf U}$ was proved by Lusztig. He conjectured that the positivity property holds for the modified form $\dot{\mathbf U}$ of ${\mathbf U}$. In this paper, we prove that the structure constants for the canonical basis of $\dot{\mathbf U}(\widehat{\frak{sl}}_n)$ coincide with certain structure constants for the canonical basis of ${\mathbf U}(\widehat{\frak{sl}}_N)^+$ for $n

研究动机与目标

• 证明修正量子仿射代数 $\dot{\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ 的典范基的正性性质，如 Lusztig 所猜想。
• 建立 $\dot{\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ 的典范基、仿射量子 Schur 代数 ${\boldsymbol{\mathcal{S}}}_{σ}(n,r)$ 以及 $n < N$ 时的正部分 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 之间的结构联系。
• 通过此约化方法，为仿射量子 Schur 代数 ${\boldsymbol{\mathcal{S}}}_{σ}(n,r)$ 的典范基正性提供一种替代证明。

提出的方法

• 构造一个满射代数同态 $\dot{\xi}_r: \dot{\boldsymbol{\mathfrak{D}}_{σ}}(n) \to {\boldsymbol{\mathcal{S}}}_{σ}(n,r)$，将修正量子仿射 $\mathfrak{gl}_n$ 代数与仿射量子 Schur 代数联系起来。
• 为 $\dot{\boldsymbol{\mathfrak{D}}_{σ}}(n)$ 定义典范基 $\theta_A$，为 ${\boldsymbol{\mathcal{S}}}_{σ}(n,r)$ 定义典范基 $\theta_{A,r}$，并利用同态 $\dot{\xi}_r$ 关联其结构常数。
• 证明 $\dot{\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ 中 $\theta_A \cdot \theta_B$ 的结构常数由 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 的典范基结构常数决定，通过使用 $m_1, m_2, m_C$ 的移位构造。
• 利用 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 的典范基已知的正性，推导出 $\dot{\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ 中结构常数的正性。
• 通过证明商代数 $\dot{\boldsymbol{\mathfrak{D}}_{σ}}(n)/\ker \dot{\xi}$ 中基元素乘积属于 $\sum \mathbb{N}[v,v^{-1}] \overline{\theta_C}$，建立 $\dot{\boldsymbol{\mathfrak{D}}_{σ}}(n)$ 的弱正性性质。

实验结果

研究问题

• RQ1 修正量子仿射 $\mathfrak{sl}_n$ 代数 $\dot{\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ 的典范基的结构常数是否属于 $\mathbb{N}[v,v^{-1}]$？
• RQ2 能否从 $n < N$ 时 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 的正性推导出 $\dot{\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ 的典范基正性？
• RQ3 仿射量子 Schur 代数 ${\boldsymbol{\mathcal{S}}}_{σ}(n,r)$ 的典范基结构常数如何与 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 的结构常数相关？
• RQ4 $\dot{\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$、${\boldsymbol{\mathcal{S}}}_{σ}(n,r)$ 和 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 的典范基之间存在何种关系？
• RQ5 $\dot{\boldsymbol{\mathfrak{D}}_{σ}}(n)$ 的修正量子仿射 $\mathfrak{gl}_n$ 代数是否存在弱正性性质？

主要发现

• 通过使用 $m_1, m_2, m_C$ 的移位构造，$\dot{\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ 的典范基的结构常数由 $n < N$ 时 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 的典范基结构常数决定。
• 由于 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 的正性已知，$\dot{\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ 的正性性质随之成立，从而证明了 Lusztig 对 $\widehat{\mathfrak{sl}}_n$ 的猜想。
• 仿射量子 Schur 代数 ${\boldsymbol{\mathcal{S}}}_{σ}(n,r)$ 的典范基结构常数由 $n < N$ 时 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 的结构常数决定，从而为该代数的正性提供了替代证明。
• 在商代数 $\dot{\boldsymbol{\mathfrak{D}}_{σ}}(n)/\ker \dot{\xi}$ 中，任意两个基元素 $\overline{\theta_A}$ 与 $\overline{\theta_B}$ 的乘积属于 $\sum_{C \in \Theta_{σ}(n)} \mathbb{N}[v,v^{-1}] \overline{\theta_C}$，从而确立了弱正性性质。
• $\dot{\boldsymbol{\mathfrak{D}}_{σ}}(n)$ 的典范基 $\theta_A$ 在同态 $\dot{\xi}_r$ 下映射到 ${\boldsymbol{\mathcal{S}}}_{σ}(n,r)$ 中的 $\theta_{A,r}$，且当 $A \notin \Theta_{σ}(n,r)$ 时映射为零，确保与 Schur 代数结构的相容性。
• 映射 $\dot{\xi}: \dot{\boldsymbol{\mathfrak{D}}_{σ}}(n) \to \prod_{r \geq 0} {\boldsymbol{\mathcal{S}}}_{σ}(n,r)$ 是一个满射代数同态，其核由满足 $A \notin \Theta_{σ}(n)$ 的 $\theta_A$ 张成。