[論文レビュー] Positivity vs negativity of canonical bases

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

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

ひとこと要約

本稿は、修正量子群および共イデアル代数における正性性質を調査する。stably canonical basis として知られる $̈{\mathbf{U}}(\mathfrak{gl}_n)$ の修正量子群において、構造定数の負性が示され、$̈{\mathbf{U}}(\mathfrak{sl}_n)$ で観察される正性とは対照的である。一方で、修正量子共イデアル代数 $̈{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ に対して、完全な正性を満たす canonical basis を構成する。構造定数、双線形形式の挙動、加群作用のすべてが正であり、1次元シュール代数に対して明示的な公式が与えられる。

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.

研究の動機と目的

• 修正量子群 $̈{\mathbf{U}}(\mathfrak{gl}_n)$ の stably canonical basis における構造定数の予期しない負性を解明し、$̈{\mathbf{U}}(\mathfrak{sl}_n)$ で観察される予想される正性と対比する。
• 修正量子共イデアル代数 $̈{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ に対して、$̈{\mathbf{U}}(\mathfrak{sl}_n)$ の canonical basis が示す正性性質を再現する canonical basis を構成する。
• $̈{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ の新しい canonical basis に対して、構造定数、双線形形式の挙動、加群作用のすべてが正であることを確立する。
• すべての $d$ に対してシュール代数 $̈{\mathbf{S}}^\imath(2,d)$ の canonical basis の明示的公式を導出する。
• 関連するシュール代数間の転送写像の行列係数が canonical basis に関して正であることを示す。

提案手法

• 幾何的に実現された $\mathbf{iS}(n,d)$ 代数から、IC 構成と Lusztig の理論を用いて、安定化手続きにより $̈{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ の canonical basis を構成する。
• 構造定数 $b_{a+i}^{r-i}$ と $\gamma_{a,r}(i)$ を含む再帰的公式を用いて、標準基底要素 $[A_{a,r}]$ を用いて canonical basis 要素 $\{A_{a,r}\}$ を定義する。
• バー不変性と双対性から導かれる再帰関係を満たし、$\gamma_a(r)$ が $r$ に依存しないことを証明する。
• canonical basis の正性を確認するため、$\gamma_a(r) \in v^{-1}\mathbb{Z}[v^{-1}]$ および構造定数が $\mathbb{N}[v,v^{-1}]$ に属することを検証する。
• canonical basis の性質と $̈{\mathbf{U}}(\mathfrak{sl}_{\lfloor n/2 \rfloor})$ の包含写像との整合性を用いて、幾何的双線形形式の非退化性を間接的に確立する。
• 偶奇性に応じて $v^2$-二項係数を用いた閉形式表現を用いて、$\gamma_a(r)$ の明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 $\u0308{\mathbf{U}}(\mathfrak{gl}_n)$ の stably canonical basis が、$\u0308{\mathbf{U}}(\mathfrak{sl}_n)$ と同様に正であると予想されるが、なぜ構造定数が負になるのか？
• RQ2 修正量子共イデアル代数 $\u0308{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ に対して、$\u0308{\mathbf{U}}(\mathfrak{sl}_n)$ の canonical basis と同様の正性質を持つ canonical basis を構成可能か？
• RQ3 すべての $d$ に対してシュール代数 $\mathbf{S}^\imath(2,d)$ の canonical basis 要素の明示的公式は何か？
• RQ4 シュール代数間の転送写像の行列係数は canonical basis に関して正か？
• 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)$ の canonical basis と $\dot{\mathbf{U}}(\mathfrak{sl}_{\lfloor n/2 \rfloor})$ の canonical basis との関係は何か？

主な発見

• $\u0308{\mathbf{U}}(\mathfrak{gl}_n)$ の stably canonical basis は構造定数が負であることが示され、$n=2$ に対して明示的な反例が提示され、$\u0308{\mathbf{U}}(\mathfrak{sl}_n)$ からの期待とは対照的である。
• $\u0308{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ の canonical basis は構造定数が $\mathbb{N}[v,v^{-1}]$ に属し、正である。バー不変性、整数性、幾何的双線形形式に関してほぼ正規直交性を満たす。
• $\u0308{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ の canonical basis は包含写像 $\u0308{\mathbf{U}}(\mathfrak{sl}_{\lfloor n/2 \rfloor}) \subseteq \u0308{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ と整合し、canonical basis 構造を保存する。
• 関連するシュール代数間の転送写像の行列係数が canonical basis に関して正であることが示され、重要な正性性質が確認された。
• シュール代数 $\mathbf{S}^\imath(2,d)$ の canonical basis の明示的公式が導出され、$\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$ の場合にも同様の式が成り立つ。