[论文解读] 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$-次单位根的域 $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$-次单位根（$l \geq 1$ 为奇数）的域 $k$ 上的专门化代数 $\bar{U}_k(n)$。
• 猜想仿射版本 $\fV_{\triangle}(n)$ 是仿射 $q$-Schur 代数乘积的 $\bbZ$-子代数，因此同构于某个 $\bbZ$-模 $\tilde{\frak{D}}_{\triangle}(n)$。

提出的方法

• 在 $\prod_{r\geq 0} \bS(n,r)$ 中构造一个 $\bbZ$-子模 $\fV(n)$，其中 $\bS(n,r)$ 是 $\bbQ(v)$ 上的 $q$-Schur 代数，利用通过 $q$-二项式系数和矩阵作用定义的生成元 $A(\delta,\lambda)$。
• 通过第 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)$ 定义为 $\prod_{r\geq 0} \bS_{\triangle}(n,r)$ 中由 $A(\delta,\lambda)$ 张成的 $\bbZ$-子模，并猜想其为 $\bbZ$-子代数。
• 在域 $k$ 中将 $v$ 代换为本原 $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 能否通过 BLM 类型构造，将量子 $\frak{gl}_n$ 的积分形式 $U(n)$ 实现为 $q$-Schur 代数乘积中的 $\bbZ$-子代数？
• RQ2 该构造的仿射版本 $\fV_{\triangle}(n)$ 是否如猜想所示，为 $\prod_{r\geq 0} \bS_{\triangle}(n,r)$ 的 $\bbZ$-子代数？
• RQ3 包含本原 $l$-次单位根的域 $k$ 上的专门化代数 $\bar{U}_k(n)$，是否可实现为 $k$-系数 $q$-Schur 代数乘积中的 $k$-子代数？
• RQ4 $\fV(n)$ 的 $\bbZ$-基（由 $\delta_i \in \{0,1\}$ 的 $A(\delta,\lambda)$ 构成）在乘法下是否保持不变且在代数结构下封闭？
• RQ5 若 $\fV_{\triangle}(n)$ 是 $\prod_{r\geq 0} \bS_{\triangle}(n,r)$ 的 $\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)$ 被实现为 $\prod_{r\geq 0} \cS_k(n,r)$ 的 $k$-子代数，其中 $\cS_k(n,r)$ 是 $k$ 上的 $q$-Schur 代数。
• 提出了 $\fV_{\triangle}(n)$ 是 $\prod_{r\geq 0} \bS_{\triangle}(n,r)$ 的 $\bbZ$-子代数的猜想，若成立，则意味着其同构于 $\tilde{\frak{D}}_{\triangle}(n)$。
• 该构造依赖于第 3.4 和 3.5 节中建立的 $q$-Schur 代数的乘法公式，这些公式对证明 $\fV(n)$ 的代数结构至关重要。