[論文レビュー] Formulae of $\imath$-divided powers in ${\bf U}_q(\mathfrak{sl}_2)$, II

Weiqiang Wang, Collin Berman|arXiv (Cornell University)|Jun 3, 2018

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

ひとこと要約

本稿は、パラメータ $\kappa$ が任意の $q$-整数である場合の $\mathbf{U}_q(\mathfrak{sl}_2)$ のコイデアル部分代数 ${\bf U}^\imath$ における $\imath$-分割冪の閉じた公式を確立する。生成子 $t = F + q^{-1}EK^{-1} + \kappa K^{-1}$ における多項式表現を用いて、偶数および奇数の重みの場合の明示的公式を導出しており、$\kappa = 0,1$ の場合の先行結果を一般化している。主な貢献は、$\kappa=0$ の場合と一致する一様な公式構造を確立したことであり、これは $\mathcal{A}$-形式における漸近的整合性と整数性条件によって検証されている。

ABSTRACT

The coideal subalgebra of the quantum $\mathfrak{sl}_2$ is a polynomial algebra in a generator $t$ which depends on a parameter $κ$. The existence of the $\imath$-canonical basis (also known as the $\imath$-divided powers) for the coideal subalgebra of the quantum $\mathfrak{sl}_2$ were established by Bao and Wang. We establish closed formulae for the $\imath$-divided powers as polynomials in $t$ and also in terms of Chevalley generators of the quantum $\mathfrak{sl}_2$ when the parameter $κ$ is an arbitrary $q$-integer. The formulae were known earlier when $κ=0,1$.

研究の動機と目的

• ${\bf U}^\imath \subset \mathbf{U}_q(\mathfrak{sl}_2)$ における $\imath$-分割冪の既知の閉じた公式を、$\kappa = 0$ および $\kappa = 1$ の場合に限らず、任意の $q$-整数パラメータにまで拡張すること。
• 偶数および奇数の重みにおける $\imath$-分割冪について、$\kappa$ が偶数か奇数かに応じて区別される、生成子 $t$ における明示的多項式表現を提供すること。
• $\imath$-分割冪が $\mathcal{A}$-形式 ${}_{\mathcal{A}}{\mathbf{U}}^{\imath}_{\rm ev}$ および ${}_{\mathcal{A}}{\mathbf{U}}^{\imath}_{\rm odd}$ に属し、有限次元 $\mathbf{U}$-加群上の $\imath$-自己双対基底と漸近的に整合することを確認すること。
• $\kappa=0$ の場合と同様の一様な構造を持つ $\imath$-分割冪を、パラメータ依存性にもかかわらず確立すること。

提案手法

• 著者らは、$\imath$-分割冪を $t$ に関する一次式の積としてのアンサツを提示し、偶数および奇数の重み、$\kappa$ の偶奇に応じて係数に $q$-整数 $[n]$ を含める。
• $\imath$-分割冪を $t$ における多項式として表現し、重みおよび $\kappa$ の偶奇に依存する特定の $q$-整数に根を持つ。
• 三重和公式を用いて、チェバリ生成子 $E, F, K^{\pm 1}$ における展開により、量子群構造と整合することを保証する。
• 補助的補題を用いて $q$-整数の恒等式を示すことにより、係数が $\mathcal{A} = \mathbb{Z}[q, q^{-1}]$ に属することを確認し、整数性を裏付ける。
• 最高重みベクトル $v^+_{\lambda}$ における作用を解析することで、漸近的整合性を検証し、$\lambda$ が大きい場合に低次の項が $q^{-1}\mathbb{Z}[q^{-1}]$ に属することを示す。
• 直接計算により第二の $\imath$-分割冪の明示的公式を導出し、$v^+_{\lambda}$ における作用によって検証した。その結果、$t_{\rm ev}^{(2)} = (t^2 - \diamondsuit^2)/[2]$ および $t_{\rm odd}^{(2)} = (t^2 - 1 + \diamondsuit^2)/[2]$ が得られた。

実験結果

リサーチクエスチョン

• RQ1 任意の $q$-整数パラメータ $\kappa$ に対して、${\bf U}^\imath$ における $\imath$-分割冪の閉じた公式を確立できるか。これは $\kappa = 0,1$ の場合を越えて一般化できるか。
• RQ2 $\kappa$ が任意の $q$-整数である場合、偶数および奇数の重みにおける $\imath$-分割冪が、$\kappa=0$ の場合と同様の多項式的構造に従うか。
• RQ3 提案された $t$ における多項式表現が、${\bf U}^\imath$ の $\mathcal{A}$-形式に対して整数的であり、有限次元モジュール上の $\imath$-自己双対基底と漸近的に整合するか。
• RQ4 $\kappa$ が $q$-整数であるとき、第二の $\imath$-分割冪 $t^{(2)}$ の明示的表現 $E, F, K^{\pm 1}$ および $\kappa$ を用いて表すことができるか。
• RQ5 $\diamondsuit$ が $\kappa = [n]$ に応じて $0$, $\pm1$ に定義されるパラメータが、$\imath$-分割冪の構造にどのように影響するか。

主な発見

• $\imath$-分割冪 ${\mathfrak{t}}_{\rm ev}^{(n)}$ および ${\mathfrak{t}}_{\rm odd}^{(n)}$ は、任意の偶数または奇数の $q$-整数 $\kappa$ に対して、$q$-整数に根を持つ $t$ における明示的多項式公式として与えられる。
• $\kappa$ が偶数の場合、${\mathfrak{t}}_{\rm ev}^{(n)}$ および ${\mathfrak{t}}_{\rm odd}^{(n)}$ の公式は $\kappa=0$ の場合と一致し、$[n]!$ および $t - [k]$ 項の対称積を含む係数を持つ。
• 第二の $\imath$-分割冪は、$t_{\rm ev}^{(2)} = (t^2 - \diamondsuit^2)/[2]$ および $t_{\rm odd}^{(2)} = (t^2 - 1 + \diamondsuit^2)/[2]$ を満たし、$\kappa$ が偶数の場合は $\diamondsuit = 0$、$\kappa \equiv \pm1 \pmod{4}$ の場合は $\pm1$ である。
• これらの公式は、$\mathcal{A}$-形式 ${}_{\mathcal{A}}{\mathbf{U}}^{\imath}_{\rm ev}$ および ${}_{\mathcal{A}}{\mathbf{U}}^{\imath}_{\rm odd}$ において整数的であり、$\mathcal{A}$ 上の係数解析によって検証された。
• チェバリ生成子における展開には三重和が含まれ、$\check{E}^{(2)}$, $F^{(2)}$, $q^{-1}\kappa K^{-1}F$, および $K^{-2}$ の有理関数が含まれ、$\diamondsuit^2$ を含む補正項も存在する。
• 漸近的整合性条件は満たされており、$v^+_{\lambda}$ における作用における低次の項の係数が $\lambda$ が大きい場合に $q^{-1}\mathbb{Z}[q^{-1}]$ に属することから、$\imath$-自己双対基底としての資格が確認された。