[論文レビュー] 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 sheaf を用いた余乗法の幾何的実現を通じて、余乗法と部分代数埋め込みにおける構造定数が $\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-正規基底が余乗法構造の下で正値性を示すことを確立すること。
• 量子群における正規基底の既知の正値性を、アフィン設定およびコイデアル部分代数の文脈に拡張すること。
• アフィンシュール代数レベルにおける余乗法の幾何的実現を提供し、型 A と型 B/C の双対性を結びつけること。
• 余乗法と部分代数埋め込みにおける構造定数が $\mathbb{Z}_{\geq 0}[v,v^{-1}]$ に属することを証明し、新たな正値性を確認すること。

提案手法

• 型 A のアフィン部分旗多様体上の perverse sheaf における超曲面局在と $v$-twist を用いた余乗法の幾何的構成。
• シュール代数の射影的系を用いて、コイデアル部分代数 $\dot{\mathbb{U}}^\imath$ 及びその正規基底 $\mathbb{B}^\imath$ の idempotented 形式を定義すること。
• 構造定数が $\mathbb{Z}_{\geq 0}[v,v^{-1}]$ に属するように、写像 $\Delta^\imath: \dot{\mathbb{U}}^\imath \to (\dot{\mathbb{U}}^\imath \otimes \dot{\mathbb{U}})^\wedge$ を定義すること。
• 部分代数埋め込みを実現するための退化した余乗法 $\imath: \dot{\mathbb{U}}^\imath \to \dot{\mathbb{U}}^\wedge$ を構成し、$\mathbb{Z}_{\geq 0}[v,v^{-1}]$ 内の係数の正値性を確認すること。
• i-正規基底を通じて、幾何的型 A 双対性と型 B/C 双対性を直接結びつけることにより、テンソル空間分解における正値性を示すこと。
• Du-Fu [DF13] の半単純生成子の乗法公式を用い、アフィンケースにおける $v$-twist を取り扱うために、新しい幾何的証明を提供すること。

実験結果

リサーチクエスチョン

• 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 アフィンシュール代数レベルにおける余乗法は、幾何的実現可能であり、その写像の下で正規基底が正値性を保つようにできるか？

主な発見

• 余乗法 $\Delta^\imath(a) = \sum_{b,c} n^{b,c}_{a} b \otimes c$ の構造定数 $n^{b,c}_{a}$ は $\mathbb{Z}_{\geq 0}[v,v^{-1}]$ に属し、Positivity A を確立する。
• 退化した余乗法 $\imath(a) = \sum_{a} g_{b,a} a$ の係数 $g_{b,a}$ は $\mathbb{Z}_{\geq 0}[v,v^{-1}]$ に属し、Positivity B を確認する。
• テンソル空間における $\imath$-正規基底は、同じ空間内の正規基底要素の正の和として表され、Positivity C を証明する。
• 修正量子アフィン $\mathfrak{sl}_n$ 代数の正規基底は、idempotented 余乗法の下で正値性を示し、Positivity D を確立する。
• アフィンシュール代数レベルにおける余乗法の幾何的実現には、超曲面局在と $v$-twist が含まれており、後者は正規基底を $v$-べきの違いを除いて正規基底に写す。
• 半単純生成子の乗法公式のアフィンケースにおける新しい幾何的証明が提供され、余乗法における $v$-twist を取り扱う上で不可欠である。