[論文レビュー] BLM realization for the integral form of quantum $\frak{gl}_n$

Qiang Fu|arXiv (Cornell University)|Nov 4, 2012

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

ひとこと要約

本稿では、$\bbZ[v,v^{-1}]$ 上の $q$-Schur代数を用いて、量子 $\frak{gl}_n$ の整数形式 $U(n)$ に対する BLM 型実現を構築する。$q$-Schur代数の直積の $\bbZ$-部分代数 $\fV(n)$ を構成し、これが $U(n)$ に同型であることを示す。さらに、$l \geq 1$ が奇数であるような $l$ 次単根を含む体 $k$ 上の特殊化代数 $\bar{U}_k(n)$ への拡張を提示し、アフィン版 $\fV_{\triangle}(n)$ についての予想を提示する。

ABSTRACT

Let ${\mathbf U}(n)$ be the quantum enveloping algebra of ${\frak {gl}}_n$ over $\mathbb Q(v)$, where $v$ is an indeterminate. We will use $q$-Schur algebras to realize the integral form of ${\mathbf U}(n)$. Furthermore we will use this result to realize quantum $\frak{gl}_n$ over $k$, where $k$ is a field containing an l-th primitive root $\varepsilon$ of 1 with $l\geq 1$ odd.

研究の動機と目的

• $\bbZ[v,v^{-1}]$ 上の $q$-Schur代数を用いて、量子 $\frak{gl}_n$ の整数形式 $U(n)$ に対する BLM 実現を構築すること。
• $l \geq 1$ が奇数であるような $l$ 次単根を含む体 $k$ 上の特殊化代数 $\bar{U}_k(n)$ へのこの実現の拡張をすること。
• $\fV_{\triangle}(n)$ がアフィン $q$-Schur代数の直積の $\bbZ$-部分代数であると予想し、したがって特定の $\bbZ$-加群 $\tilde{\frak{D}}_{\triangle}(n)$ に同型であるとすること。

提案手法

• $q$-二項係数と行列作用を用いて定義される生成元 $A(\delta,\lambda)$ を用いて、$\bbQ(v)$ 上の $q$-Schur代数 $\bS(n,r)$ の直積 $\prod_{r\geq 0} \bS(n,r)$ の $\bbZ$-部分加群 $\fV(n)$ を構成する。
• 第3.4節および第3.5節で得られた乗法公式を用いて、$\fV(n)$ が $\prod_{r\geq 0} \bS(n,r)$ の $\bbZ$-部分代数であることを証明する。
• $\{A(\delta,\lambda) \mid A \in \Theta_{\triangle}^{\pm}(n), \delta, \lambda \in \bbN_{\triangle}^n, \delta_i \in \{0,1\}\}$ という基底を用いて、$\fV(n)$ が $\bbZ$-代数として $U(n)$ に同型であることを示す。
• $\fV_{\triangle}(n)$ を、アフィン $q$-Schur代数 $\bS_{\triangle}(n,r)$ の直積の $\bbZ$-部分加群として、$A(\delta,\lambda)$ で張られるものとして定義し、これが $\bbZ$-部分代数であると予想する。
• $v$ を体 $k$ 内の $l$ 次単根 $\varepsilon$ に特殊化し、$\bar{U}_k(n) = U(n) \otimes_{\bbZ[v,v^{-1}]} k / \langle K_i^l - 1 \rangle$ を $\prod_{r\geq 0} \cS_k(n,r)$ の $k$-部分代数として実現する。
• 既知の $q$-Schur代数およびその基底に関する結果を活用し、特殊化における整域性と整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 量子 $\frak{gl}_n$ の整数形式 $U(n)$ は、$\bbZ$-部分代数として $q$-Schur代数の直積に BLM 型の方法で実現可能か？
• RQ2 $\fV_{\triangle}(n)$ は、アフィン $q$-Schur代数の直積の $\bbZ$-部分代数であると予想されるが、その通りか？
• RQ3 $l$ 次単根を含む体 $k$ 上の特殊化代数 $\bar{U}_k(n)$ は、$k$-部分代数として $k$ 上の $q$-Schur代数の直積に実現可能か？
• RQ4 $\delta_i \in \{0,1\}$ を満たす $A(\delta,\lambda)$ から構成される $\fV(n)$ の $\bbZ$-基底は、乗法に関して保存され、代数構造に関して閉じているか？
• RQ5 $\fV_{\triangle}(n)$ が $\bbZ$-部分代数であるという予想は、[2, (3.8.1.1)] で定義された $\bbZ$-加群 $\tilde{\frak{D}}_{\triangle}(n)$ に同型であることを示唆するか？

主な発見

• $\prod_{r\geq 0} \bS(n,r}$ の $\bbZ$-部分加群 $\fV(n)$ は、$A(\delta,\lambda)$ の張る空間として構成され、これが $\bbZ$-部分代数であることが証明された。
• $\fV(n)$ は $\bbZ$-代数として、量子 $\frak{gl}_n$ の整数形式 $U(n)$ に同型である。
• $\fV(n)$ の $\bbZ$-基底は明示的に $\{A(\delta,\lambda) \mid A \in \Theta_{\triangle}^{\pm}(n), \delta, \lambda \in \bbN_{\triangle}^n, \delta_i \in \{0,1\}\}$ として与えられる。
• 特殊化代数 $\bar{U}_k(n)$ は、$k$ 上の $q$-Schur代数 $\cS_k(n,r)$ の直積の $k$-部分代数として実現された。
• $\fV_{\triangle}(n)$ がアフィン $q$-Schur代数の直積の $\bbZ$-部分代数であるという予想が提示され、これが真であれば $\tilde{\frak{D}}_{\triangle}(n)$ に同型であることが示唆される。
• この構成は、第3.4節および第3.5節で得られた $q$-Schur代数の乗法公式に依存しており、$\fV(n)$ の代数構造を証明するために不可欠である。