[論文レビュー] Right coideal subalgebras in $U_q(\frak{sl}_{n+1}).$

V. K. Kharchenko, A.V. Lara Sagahon|ArXiv.org|Oct 11, 2007

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

ひとこと要約

本稿は、$q$ が単位根でない場合、multiparameter quantum group $U_q(\mathfrak{sl}_{n+1})$ におけるコラディカルを含む右コイデアル部分代数の完全な分類を、PBW基底とキャラクターHopf代数の技法を用いた新しい構成により与える。主な結果は、群的元のなす群 $G$ の任意の部分群 $Σ$ に対して、$U \cap G = \Sigma$ を満たす同次右コイデアル部分代数がちょうど $(n+1)!$ 個存在することであり、これは $q$ が有限位数 $t > 2$ を持つLusztig量子群 $u_q(\mathfrak{sl}_{n+1})$ に一般化される。分類は整数列 $\theta = (\theta_1,\dots,\theta_n)$ でパラメトライズされ、$0 \leq \theta_i \leq n-i+1$ を満たす。また、このような部分代数が交換子閉包により量子対称ペアを生成するための条件も確立されている。

ABSTRACT

We offer a complete classification of right coideal subalgebras which contain all group-like elements for the multiparameter version of the quantum group $U_q(\mathfrak{sl}_{n+1})$ provided that the main parameter $q$ is not a root of 1. As a consequence, we determine that for each subgroup $Σ$ of the group $G$ of all group-like elements the quantum Borel subalgebra $U_q^+ (\mathfrak{sl}_{n+1})$ containes $(n+1)!$ different homogeneous right coideal subalgebras $U$ such that $U\cap G=Σ.$ If $q$ has a finite multiplicative order $t>2,$ the classification remains valid for homogeneous right coideal subalgebras of the multiparameter version of the Lusztig quantum group $u_q (\frak{sl}_{n+1}).$ In the paper we consider the quantifications of Kac-Moody algebras as character Hopf algebras [V.K. Kharchenko, A combinatorial approach to the quantifications of Lie algebras, Pacific J. Math., 203(1)(2002), 191- 233].

研究の動機と目的

• multiparameter量子群 $U_q(\mathfrak{sl}_{n+1})$ のすべての右コイデアル部分代数を、コラディカル（すなわちすべての群的元）を含む条件のもとで分類すること。ただし $q$ は単位根でないこと。
• この分類を、$q$ が有限乗法的位数 $t > 2$ を持つLusztig量子群 $u_q(\mathfrak{sl}_{n+1})$ に拡張し、同次右コイデアル部分代数に焦点を当てる。
• コラディカル上でのPBW基底を用いた非可換微分計算とキャラクターHopf代数を統合したフレームワークを提供し、これらの部分代数を記述する。
• このような部分代数と整数列 $\theta = (\theta_1, \dots, \theta_n)$ との間に一対一対応を確立し、$0 \leq \theta_i \leq n-i+1$ を満たすものとして、生成元の明示的構成を可能にする。

提案手法

• 著者らは、$A$ が量子対称代数で $G$ が群的元のなす群であるときのボソン化構成 $H = A \#{\bf k}[G]$ を用い、非可換微分計算を適用可能にする。
• 右コイデアル部分代数に対して、反復括弧 $[u,v] = uv - \chi^u(g_v)vu$ およびネストされた交換子 $u[i,j] = [[\dots[x_i,x_{i+1}],\dots],x_j]$ を用いてコラディカル上でのPBW基底を定義し、生成子 $\Psi^{T_k}(k,m)$ を得る。
• 各部分代数は整数列 $\theta = (\theta_1,\dots,\theta_n)$ でパラメトライズされ、集合 $R_k$ と $T_k$ の再帰的定義により、$T_{s+1}$ に対する包含および除外条件を満たすインデックス $R_k$ を含む。
• この構成により、各生成子 $\Psi^{T_k}(k,m)$ が右コイデアル部分代数に属し、コラディカル $\mathbf{k}[G]$ 上でそれを生成することが保証され、PBW基底が標準的形を与える。
• 本稿では、任意の右コイデアル部分代数 $U \supseteq \mathbf{k}[G]$ が、ある $\theta$ に対して $U_\theta$ として得られることを証明しており、$U^+_\theta$ と $U^-_{\theta'}$ の構造とそれらの交換子閉包を用いている。
• 鍵となる技術的道具は、ad-不変性とad恒等式 (2.9)、(2.10) を用いた次数低減の議論であり、部分図分解を用いて $[U^+_\theta, U^-_{\theta'}] \subseteq U$ が成り立つための条件が2つあることを確認している。

実験結果

リサーチクエスチョン

• RQ1 $q$ が単位根でない場合、$U_q(\mathfrak{sl}_{n+1})$ のすべての右コイデアル部分代数でコラディカルを含むものの分類はどのように行えるか？
• RQ2 このような部分代数の正確なパラメトライズは、組合せ論的データとしてどのように表され、群的元のなす群とどのように関係するか？
• RQ3 2つの部分代数 $U^+_\theta$ と $U^-_{\theta'}$ が交換子括弧に関して閉じるための条件は何か？
• RQ4 $q$ が有限位数 $t > 2$ を持つ場合、分類は有限次元Lusztig量子群 $u_q(\mathfrak{sl}_{n+1})$ にどのように拡張されるか？
• RQ5 コラディカル上でのPBW基底が、これらのコイデアル部分代数の不変量および構造的性質を特徴付ける役割を果たす仕組みは何か？

主な発見

• 群的元のなす群 $G$ の任意の部分群 $\Sigma$ に対して、$q$ が単位根でない限り、$U \cap G = \Sigma$ を満たす同次右コイデアル部分代数 $U$ がちょうど $(n+1)!$ 個存在する。
• コラディカルを含む右コイデアル部分代数の分類は、整数列 $\theta = (\theta_1, \dots, \theta_n)$ と一対一対応し、$0 \leq \theta_i \leq n-i+1$ を満たす。各部分代数 $U_\theta$ は、$m \in R_k$ に対して $\Psi^{T_k}(k,m)$ を生成元として持つ。
• 生成子 $\Psi^{T_k}(k,m)$ は反復交換子 $[\dots[x_k, x_{k+1}], \dots, x_m]$ により定義され、括弧構造はキャラクター $\chi^u(g_v)$ に依存し、$\mathbf{k}[G]$ 上のPBW基底をなす。
• 右コイデアル部分代数 $U$ が $U^+_\theta$ および $U^-_{\theta'}$ に関して交換子括弧について閉じるための必要十分条件は、2つの条件を満たすことである：$k' \in R_k \setminus \{n\}$ に対して $\tilde{\theta}_k \notin T_{k'}$ であり、$T_k \cap T'_{k'} = \emptyset$ である。
• $q$ が有限乗法的位数 $t > 2$ を持つ場合、Lusztig量子群 $u_q(\mathfrak{sl}_{n+1})$ の同次右コイデアル部分代数に対しても分類は有効であり、有限次元設定にまで拡張される。
• 本稿では、パラメータ列 $\theta$ の有限性とPBW基底構造のおかげで、コラディカルを含むすべての右コイデアル部分代数の集合が有限であることが示されている。