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

Collin Berman, Weiqiang Wang|arXiv (Cornell University)|Mar 2, 2017

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

ひとこと要約

本稿は、量子群 $\mathbf{U}_q(\mathfrak{sl}_2)$ の余代数部分代数 ${\mathbf{U}}^\imath$ における $ím$-分割冪についての予想された明示的公式を証明し、PBW基底および正規基底を用いた閉形式の表現を確立する。主な結果は、これらの公式における整域性および正定性の検証であり、有限次元表現に基づく再帰的・帰納的技法により、長年の予想を解決する。

ABSTRACT

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, with conjectural explicit formulae. In this paper we prove the conjectured formulae of these $\imath$-divided powers. This is achieved by first establishing closed formulae of the $\imath$-divided powers in basis for quantum $\mathfrak{sl}_2$ and then formulae for the $\imath$-canonical basis in terms of Lusztig's divided powers in each finite-dimensional simple module of quantum $\mathfrak{sl}_2$. These formulae exhibit integrality and positivity properties.

研究の動機と目的

• ${\mathbf{U}}^\imath \subset \mathbf{U}_q(\mathfrak{sl}_2)$ の中における $ím$-分割冪 $t_{\mathrm{ev}}^{(n)}$ および $t_{\mathrm{odd}}^{(n)}$ についての予想された明示的公式を証明すること。
• これらの $ím$-分割冪について、$\mathbf{U}$ および修正量子群 $\dot{\mathbf{U}}$ の PBW基底および正規基底を用いた閉形式表現を確立すること。
• $ím$-分割冪が有限次元単純 $\mathbf{U}$-加群における最高線型ベクトルへ作用する際に、$ím$-正規基底要素を生成することを確認し、それらの正規性を裏付けること。
• 得られた公式における整域性および正定性の性質を示し、量子対称対の構造と整合することを確認すること。

提案手法

• $\mathrm{(1.1)}$ および $\mathrm{(5.1)}$ で定義される再帰的関係を用いて、$t_{\mathrm{ev}}^{(n)}$ および $t_{\mathrm{odd}}^{(n)}$ の閉形式表現を導出すること。
• $q$-整数および $q$-二項係数を含む係数を有する、PBW基底 $\check{E}^{(a)} h^{(c)} F^{(b)}$ における多項式として $ím$-分割冪を表現すること。
• $n$ を変数とする帰納的証明を用いて、予想された公式の正当性を検証し、偶数および奇数 $n$ の場合について詳細なケース解析を行うこと。
• 有限次元単純 $\mathbf{U}$-加群 $L(\lambda)$ における最高線型ベクトルへの $ím$-分割冪の作用を分析し、$ím$-正規基底要素を生成することを示すこと。
• $ím$-分割冪を含み、自然な（反）自己同型を備える $\mathbb{Z}[q,q^{-1}]$-部分代数を構成し、それらを研究すること。
• 初期ケースのパターンを発見および検証するために、記号計算（例：Mathematica）を用い、その後形式的帰納的証明に展開すること。

実験結果

リサーチクエスチョン

• RQ1 ${\mathbf{U}}^\imath$ における $ím$-分割冪の予想された多項式公式が、$\mathbf{U}_q(\mathfrak{sl}_2)$ の PBW基底において閉形式表現として成立するか。
• RQ2 有限次元表現内での Lusztig の分割冪を用いた表現において、$ím$-分割冪が整域性および正定性を有する表現が可能か。
• RQ3 $L(\lambda)$ の最高線型ベクトルへの $ím$-分割冪の作用が、$ím$-正規基底の定義と整合的か。
• RQ4 $\mathrm{(1.1)}$ および $\mathrm{(5.1)}$ で定義される再帰的関係が $ím$-分割冪を一意に定めるか、そしてそれが帰納法により証明可能か。
• RQ5 $ím$-分割冪によって生成される $\mathbb{Z}[q,q^{-1}]$-部分代数の構造的性質は何か。また、それらは自己同型および量子対称対とどのように関係するか。

主な発見

• $t_{\mathrm{ev}}^{(n)}$ および $t_{\mathrm{odd}}^{(n)}$ についての予想された公式が正しく証明され、$\mathbf{U}$ の PBW基底における明示的閉形式表現が得られた。
• $t_{\mathrm{ev}}^{(2m+1)}$ および $t_{\mathrm{odd}}^{(2m+1)}$ の公式は、$c$ および $a$ に関する和として導出され、$q$-整数および $q$-二項係数 $\left\llbracket\begin{matrix}h;1-m\\ c\end{matrix}\right\rrbracket$ を含む係数を有する。
• $t_{\mathrm{odd}}^{(2m+1)}$ の係数 $\texttt{g}_{a,c}^{0}(h)$ が $q^{\binom{2c}{2}-a(2m+1-2c-a)}[2m+1]\left\llbracket\begin{matrix}h;1-m\\ c\end{matrix}\right\rrbracket$ に等しいことが示され、予想が裏付けられた。
• 同様に、$t_{\mathrm{odd}}^{(2m+1)}$ の係数 $\texttt{g}_{a,c}^{1}(h)$ が $q^{\binom{2c+1}{2}-2m-a(2m-2c-a)}[2m+1]\left\llbracket\begin{matrix}h;1-m\\ c\end{matrix}\right\rrbracket$ に等しいことが証明された。
• $t_{\mathrm{odd}}^{(2m+1)}$ が $L(\lambda)$ の最高線型ベクトルへ作用する際に、$ím$-正規基底要素を生成することを確認し、正規基底構成におけるその役割が裏付けられた。
• $q\to 1$ の極限における公式の極限は非自明であり、興味深い代数的構造を示し、より深い幾何的または表現論的意味を示唆している。