[论文解读] Modules over quantized coordinate algebras and PBW-bases

Toshiyuki Tanisaki|arXiv (Cornell University)|Sep 29, 2014

Algebraic structures and combinatorial models参考文献 12被引用 8

一句话总结

本文将索贝尔曼关于量子坐标代数的不可约模统一实现为诱导模，提供了关于量子包络代数正部分中PBW型基的转移矩阵与索贝尔曼模中自然基的转移矩阵之间对应关系的普遍证明。该研究证实了昆巴、冈田与山田关于作用于这些模上的算子的猜想。

ABSTRACT

Around 1990 Soibelman constructed certain irreducible modules over the quantized coordinate algebra. A. Kuniba, M. Okado, Y. Yamada recently found that the relation among natural bases of Soibelman's irreducible module can be described using the relation among the PBW-type bases of the positive part of the quantized enveloping algebra, and proved this fact using case-by-case analysis in rank two cases. In this paper we will give a realization of Soibelman's module as an induced module, and give a unified proof of the above result of Kuniba, Okado, Yamada. We also verify Conjecture 1 of Kuniba, Okado, Yamada about certain operators on Soibelman's module.

研究动机与目标

• 通过诱导模，为量子坐标代数上的索贝尔曼不可约模提供一种统一的、表示论的构造方法。
• 给出一个概念性、无需分情况讨论的证明，说明$U_q(\mathfrak{n}^+)$中PBW基转移与索贝尔曼模中基转移之间的观察到的对应关系。
• 验证昆巴、冈田与山田关于特定算子在索贝尔曼模上作用的猜想1。
• 通过证明该构造在完成张量积中成立，将框架扩展至可对称化的卡茨-莫代利代数。

提出的方法

• 将模$\overline{\mathcal{M}}_w$构造为子代数$\mathbb{C}_q[(N^- \cap wN^+w^{-1})\backslash G]$的一维表示的诱导模，推广索贝尔曼模的构造。
• 对任意约化表达式$w = s_{i_1} \cdots s_{i_m}$，建立同构$\overline{\mathcal{M}}_w \cong \mathcal{F}_{i_1} \otimes \cdots \otimes \mathcal{F}_{i_m}$，将诱导模与秩一模的张量积联系起来。
• 利用$U_q(\mathfrak{n}^+)$中PBW基的转移矩阵，描述$\overline{\mathcal{M}}_w$的自然基中的基变换，证明其与归一化后的等价性。
• 定义算子$\widehat{e}_{\mathbf{i}}^{(\mathbf{n})}$，并通过涉及$d_{\mathbf{i},\mathbf{n}}$的系数将其作用与基元素$\overline{p}_{\mathbf{i}}(\mathbf{n})$关联，从而实现基变换的比较。
• 证明$\overline{\mathcal{M}}_w$的两个自然基之间的转移矩阵与$U_q(\mathfrak{n}^+)$中相应PBW基的转移矩阵一致，仅相差归一化因子。
• 通过证明特定算子在$\overline{\mathcal{M}}_w$上的作用与PBW基转移的矩阵相同，验证昆巴、冈田与山田的猜想1。

实验结果

研究问题

• RQ1 如何通过诱导模统一构造$\mathbb{C}_q[G]$上索贝尔曼不可约模？
• RQ2 PBW基转移在$U_q(\mathfrak{n}^+)$中的对应关系是否独立于秩或无需分情况讨论？
• RQ3 能否严格验证关于特定算子在索贝尔曼模上作用的猜想？
• RQ4 这些结果在多大程度上可推广至可对称化的卡茨-莫代利代数？

主要发现

• 当$q$不是单位根时，诱导模$\overline{\mathcal{M}}_w$作为$\mathbb{C}_q[G]$-模是不可约的。
• 对任意约化表达式$w = s_{i_1} \cdots s_{i_m}$，存在$\mathbb{C}_q[G]$-模同构$\overline{\mathcal{M}}_w \cong \mathcal{F}_{i_1} \otimes \cdots \otimes \mathcal{F}_{i_m}$，从而将索贝尔曼模实现为张量积。
• 与不同约化表达式相关的$\overline{\mathcal{M}}_w$的两个自然基之间的转移矩阵，与$U_q(\mathfrak{n}^+)$中相应PBW基的转移矩阵一致，仅相差归一化因子。
• 算子$\frac{1}{1-q_i^2}(\sigma^{w_0}_{-\varpi_{i'}}e_i)(\sigma^{w_0}_{-\varpi_{i'}})^{-1}$在$\overline{p}_{\mathbf{i}}(\mathbf{n})$上的作用，与PBW基转移的矩阵相同，从而证实了昆巴、冈田与山田的猜想1。
• 当余乘法在完成张量积中解释且相关同态定义良好时，结果可推广至可对称化的卡茨-莫代利代数。