[論文レビュー] Presenting quantum Schur algebras as quotients of the quantized universal enveloping algebra of gl(2)

Stephen Doty, Anthony Giaquinto|ArXiv.org|Nov 21, 2000

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

ひとこと要約

本稿では、$e$、$f$、$K_1^\pm$ または $K_2^\pm$ を含む明示的な関係式を用いて、量子シュール代数 $S_v(2,d)$ を量子普遍包あくり代数 $\mathbf{U}_v(\mathfrak{gl}_2)$ の商として新たに記述する。主な貢献は、$\mathbf{U}_v(\mathfrak{gl}_2)$ の整形式のルスティグの基底と密接に関連する ${\mathbb{Z}}[v,v^{-1}]$-基底を、次数零部分のイデムポテンス基底を用いて得たことである。

ABSTRACT

We obtain a presentation of quantum Schur algebras (over the field Q(v)) by generators and relations. This presentation is compatible with the usual presentation of the quantized universal enveloping algebra of the Lie algebra gl(2). We also locate the ``integral'' form of the quantum Schur algebra within the presented algebra and show it has a basis which is closely related to Lusztig's basis of the integral form of the quantized enveloping algebra.

研究の動機と目的

• 量子シュール代数 $S_v(2,d)$ を、$\mathbf{U}_v(\mathfrak{gl}_2)$ の標準的表現と整合する生成元と関係式で提示すること。
• 整量子シュール代数 $S_{\mathcal{A}}(2,d)$ に対して、$\mathbf{U}_v(\mathfrak{gl}_2)$ の整形式のルスティグの基底と密接に関連する新しい ${\mathbb{Z}}[v,v^{-1}]$-基底を構成すること。
• 古典的シュール代数で用いられる PBW 型基底の代わりに、次数零部分に対してイデムポテンス基底を導入し、$n$ をより高い値に一般化可能であるようにすること。
• 量子シュール代数 $S_v(2,d)$ が、$K_1$（または $K_2$）の最小多項式と関係式 $K_1K_2 = v^d$ で生成される両側イデアルによる $\mathbf{U}_v(\mathfrak{gl}_2)$ の商と同型であることを確立すること。

提案手法

• 本稿では、表現 $\rho_d: \mathbf{U}_v(\mathfrak{gl}_2) \to \operatorname{End}(E^{\otimes d})$ を用いて $S_v(2,d)$ を像として定義し、明示的な関係式により核を同定する。
• 次数零部分の主要な生成元として、$v$-二項係数 $\begin{bmatrix}K_1\ b\end{bmatrix}$ および $\begin{bmatrix}K_2\ b\end{bmatrix}$ を導入する。
• 次数零部分が $b_1 + b_2 = d$ を満たす $\{K_{b_1,b_2}\}$ というイデムポテンス基底を持つことが示され、これが新しい整基底の構成に用いられる。
• 変換行列の三角性により、${\mathcal{A}} = {\mathbb{Z}}[v,v^{-1}]$ 上で可逆であることが保証され、これにより基底変換が可能となる。
• 補題を用いて、$a+b+c > d$ を満たす任意の単項式 $e^{(a)}\begin{bmatrix}K_1\ b\end{bmatrix}f^{(c)}$ が、総次数 $\leq d$ の要素の ${\mathcal{A}}$-線形結合として書き直せることを示し、有限な生成集合を得る。
• 最終的な基底は、集合 $\{e^{(a)}\begin{bmatrix}K_1\ b\end{bmatrix}f^{(c)} \mid a+b+c \leq d\}$ が $S_{\mathcal{A}}(2,d)$ を生成し、正しい個数を持つことから、基底をなすことが示される。

実験結果

リサーチクエスチョン

• RQ1 量子シュール代数 $S_v(2,d)$ を、$\mathbf{U}_v(\mathfrak{gl}_2)$ の標準的表現と整合する生成元と関係式を用いて、どのように商として記述できるか。
• RQ2 ${\mathbb{Z}}[v,v^{-1}]$ 上の整量子シュール代数 $S_{\mathcal{A}}(2,d)$ の構造は何か。また、$\mathbf{U}_{\mathcal{A}}$ のルスティグの基底とはどのように関係しているか。
• RQ3 $S_v(2,d)$ の次数零部分は、PBW 型基底の代わりにイデムポテンス基底で記述可能か。また、一般化への影響は何か。
• RQ4 $\rho_d: \mathbf{U}_v(\mathfrak{gl}_2) \to \operatorname{End}(E^{\otimes d})$ の核の正確な形は何か。
• RQ5 $v$-二項係数と除算冪を用いて、$S_{\mathcal{A}}(2,d)$ の基底をどのように明示的に構成できるか。

主な発見

• ${\mathbb{Q}}(v)$ 上の量子シュール代数 $S_v(2,d)$ は、$e$、$f$、$K_1^\pm$ を生成元とし、関係式 $KK^{-1} = 1$、$KeK^{-1} = v^2 e$、$KfK^{-1} = v^{-2} f$、および最小多項式 $(K - v^d)(K - v^{d-2})\cdots(K - v^{-d}) = 0$ を満たす代数と同型である。
• 同値な記述として、$K_1$ を用い、$(K_1 - 1)(K_1 - v)\cdots(K_1 - v^d) = 0$ と量子セール関係式 $ef - fe = \frac{v^{-d}K_1^2 - v^d K_1^{-2}}{v - v^{-1}}$ を用いることができる。
• 整量子シュール代数 $S_{\mathcal{A}}(2,d)$ は、${\mathcal{A}}$-基底 $\{e^{(a)}\begin{bmatrix}K_1\ b\end{bmatrix}f^{(c)} \mid a + b + c \leq d\}$ を持ち、これは $\mathbf{U}_{\mathcal{A}}$ のルスティグの基底と密接に関連している。
• $\{1, \begin{bmatrix}K_1\ 1\end{bmatrix}, \dots, \begin{bmatrix}K_1\ d\end{bmatrix}\}$ は、次数零部分 $S_{\mathcal{A}}^0(2,d)$ の ${\mathcal{A}}$-基底をなす。変換行列は対角成分が 1 の三角行列である。
• $a + b + c > d$ を満たす任意の単項式 $e^{(a)}\begin{bmatrix}K_1\ b\end{bmatrix}f^{(c)}$ は、$a' + b' + c' \leq d$ を満たす要素の ${\mathcal{A}}$-線形結合として表現可能であり、提案された基底が $S_{\mathcal{A}}(2,d)$ を生成することを示す。
• $\{e^{(a)}\begin{bmatrix}K_1\ b\end{bmatrix}f^{(c)} \mid a + b + c \leq d\}$ は、次数零部分に対して自由 ${\mathcal{A}}$-基底としてのランク $d+1$ を持ち、三角性と生成性の議論により、全基底が構成される。