[論文レビュー] 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

ひとこと要約

この論文は、$n < N$ の場合に既知の ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ の正性を用いて、修正量子アフィン $σ\mathfrak{sl}_n$ 代数 $\quil\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ の正規基底の正性性を示す。そのために、構造定数が $\quil\mathbb{N}[v,v^{-1}]$ に属することを証明し、$\quil\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

研究の動機と目的

• 修正量子アフィン代数 $\quil\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$ の正規基底の正性性を、Lusztigが予想した通りに証明すること。
• $\quil\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$ の正規基底、アフィン量子シュール代数 ${\boldsymbol{\mathcal{S}}}_{σ}(n,r)$、および $n < N$ の場合の正部分 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ の間の構造的関係を確立すること。
• この還元を用いて、アフィン量子シュール代数 ${\boldsymbol{\mathcal{S}}}_{σ}(n,r)$ の正規基底の正性性に対する別証明を提供すること。

提案手法

• 修正量子アフィン $\mathfrak{gl}_n$ 代数からアフィン量子シュール代数への全射代数準同型 $\quil\dot{\xi}_r: \dot{\boldsymbol{\mathfrak{D}}_{σ}}(n) \to {\boldsymbol{\mathcal{S}}}_{σ}(n,r)$ を構成し、それらの関係を確立する。
• 代数 $\dot{\boldsymbol{\mathfrak{D}}_{σ}}(n)$ と ${\boldsymbol{\mathcal{S}}}_{σ}(n,r)$ の正規基底 $\theta_A$ および $\theta_{A,r}$ を定義し、準同型 $\dot{\xi}_r$ を用いてそれらの構造定数を関連付ける。
• $\quil\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$ 内の $\theta_A \cdot \theta_B$ の構造定数が、$m_1, m_2, m_C$ を用いたシフト構成により、$n < N$ の場合の ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ の正規基底の構造定数によって決定されることを証明する。
• ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ の正規基底の既知の正性を用いて、$\quil\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 正規基底 $\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$ の構造定数は $\mathbb{N}[v,v^{-1}]$ に属するか？
• RQ2 $\quil\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$ の正規基底の正性は、$n < N$ の場合の ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ の正性から導けるか？
• RQ3 アフィン量子シュール代数 ${\boldsymbol{\mathcal{S}}}_{σ}(n,r)$ の正規基底の構造定数は、${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ のそれらとどのように関係するか？
• RQ4 $\quil\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$、${\boldsymbol{\mathcal{S}}}_{σ}(n,r)$、および ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ の正規基底の間にはどのような関係があるか？
• RQ5 修正量子アフィン $\mathfrak{gl}_n$ 代数 $\dot{\boldsymbol{\mathfrak{D}}_{σ}}(n)$ には弱い正性性があるか？

主な発見

• $\quil\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$ の正規基底の構造定数は、$m_1, m_2, m_C$ を用いたシフト構成により、$n < N$ の場合の ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ の正規基底の構造定数によって決定される。
• $\quil\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$ の正性は、既知の ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ の正性から導かれるため、$\widehat{\mathfrak{sl}}_n$ について Lusztig の予想が証明された。
• アフィン量子シュール代数 ${\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)$ ならば消える。これによりシュール代数構造と整合性が保証された。
• $\dot{\xi}: \dot{\boldsymbol{\mathfrak{D}}_{σ}}(n) \to \prod_{r \geq 0} {\boldsymbol{\mathcal{S}}}_{σ}(n,r)$ は全射代数準同型であり、その核は $A \notin \Theta_{σ}(n)$ なる $\theta_A$ によって張られる。