[论文解读] Group-like elements in quantum groups, and Feigin's conjecture

Arkady Berenstein|ArXiv.org|May 12, 1996

Algebraic structures and combinatorial models参考文献 10被引用 17

一句话总结

本文在 Kac-Moody 代数的幂零部分的完备化量子包络代数中构造了类群元素，建立了从无幺群的量子坐标环到斜多项式代数的量子形变。关键结果表明，当且仅当索引序列是 Weyl 群中的约化字时，评估同态的像生成斜域的分式域，且核仅依赖于对应的 Weyl 群元素，从而将 Feigin 的猜想推广至 Kac-Moody 代数。

ABSTRACT

Let $A$ be an arbitrary symmetrizable Cartan matrix of rank $r$, and ${\bf n}={\bf n_+}$ be the standard maximal nilpotent subalgebra in the Kac-Moody algebra associated with $A$ (thus, ${\bf n}$ is generated by $E_1,\ldots,E_r$ subject to the Serre relations). Let $\hat U_q({\bf n})$ be the completion (with respect to the natural grading) of the quantized enveloping algebra of ${\bf n}$. For a sequence ${\bf i}=(i_1,\ldots,i_m)$ with $1\le i_k\le r$, let $P_{\bf i}$ be a skew polynomial algebra generated by $t_1,\ldots,t_m$ subject to the relations $t_lt_k=q^{C_{i_k,i_l}}t_kt_l$ ($1\le k

研究动机与目标

• 将 Feigin 关于量子群上评估同态的猜想推广至 Kac-Moody 代数的设定。
• 在斜多项式代数与幂零子代数的完备化量子包络代数的张量积中构造一个类群元素。
• 刻画评估同态的像何时生成斜多项式代数的斜域分式。
• 证明评估映射的核仅依赖于对应于约化字的 Weyl 群元素，而不依赖于具体的约化表达式。
• 构造与同一 Weyl 群元素的不同约化表达式相关的不同量子指数函数之间的 q-形变。

提出的方法

• 定义一个斜多项式代数 $ P_{\bf i} $，其生成元为 $ t_1, \dots, t_m $，关系为 $ t_l t_k = q^{C_{i_k,i_l}} t_k t_l $（当 $ k < l $ 时），其中 $ C $ 为对称 Cartan 矩阵。
• 构造一个类群元素 $ \mathbf{e}_{\mathbf{i}} \in P_{\mathbf{i}} \otimes \hat{U}_q(\mathfrak{n}) $，该元素形变经典指数映射 $ \pi_{\mathbf{i}} $，即从 $ \mathbb{C}^m $ 到无幺群 $ N $ 的映射。
• 通过 $ \psi_{\mathbf{i}}(x) = x(\mathbf{e}_{\mathbf{i}}) $ 定义评估同态 $ \psi_{\mathbf{i}}: \mathbf{C}_q[N] \to P_{\mathbf{i}} $，在 $ \mathbf{C}_q[N] $ 与 $ U_q(\mathfrak{n}) $ 的标准同构下，该同态与 Feigin 的同态 $ \Phi(\mathbf{i}) $ 相同。
• 证明 $ \psi_{\mathbf{i}} $ 生成斜域分式 $ \mathcal{F}(P_{\mathbf{i}}) $ 当且仅当 $ \mathbf{i} $ 是 Weyl 群 $ W $ 中某个元素 $ w $ 的约化表达式。
• 构造一个元素 $ \mathcal{R}_w \in (\mathbf{C}_q[N]/I_w) \otimes \hat{U}_q(\mathfrak{n}) $，其在自然嵌入到 $ P_{\mathbf{i}} \otimes \hat{U}_q(\mathfrak{n}) $ 下退化为 $ \mathbf{e}_{\mathbf{i}} $，并将其与 Lusztig 的拟 R-矩阵联系起来。
• 对同一 $ w \in W $ 的两个约化表达式 $ \mathbf{i}, \mathbf{i}' $，定义同构 $ \mathbf{R}_{\mathbf{i}}^{\mathbf{i}'}: \mathcal{F}(P_{\mathbf{i}}) \to \mathcal{F}(P_{\mathbf{i}'}) $，满足 $ (\mathbf{R}_{\mathbf{i}}^{\mathbf{i}'} \otimes \mathrm{id})(\mathbf{e}_{\mathbf{i}}) = \mathbf{e}_{\mathbf{i}'} $，并证明它们是 Lusztig 过渡映射的 q-形变。

实验结果

研究问题

• RQ1 评估同态 $ \psi_{\mathbf{i}}: \mathbf{C}_q[N] \to P_{\mathbf{i}} $ 的像何时生成斜域分式 $ \mathcal{F}(P_{\mathbf{i}}) $？
• RQ2 当 $ \mathbf{i} $ 是 Weyl 群元素 $ w $ 的约化表达式时，$ \psi_{\mathbf{i}} $ 的核如何依赖于序列 $ \mathbf{i} $ 的选择？
• RQ3 类群元素 $ \mathbf{e}_{\mathbf{i}} \in P_{\mathbf{i}} \otimes \hat{U}_q(\mathfrak{n}) $ 与量子 R-矩阵或 Lusztig 的过渡映射之间有何关系？
• RQ4 能否通过斜域分式的 q-形变同构来描述同一 Weyl 群元素的不同约化表达式所关联的量子指数函数之间的转换？
• RQ5 斜多项式代数 $ P_{\mathbf{i}} $ 及其斜域分式如何与 Weyl 群中约化字的表示理论和组合学相关联？

主要发现

• 评估同态 $ \psi_{\mathbf{i}} $ 生成斜域分式 $ \mathcal{F}(P_{\mathbf{i}}) $ 当且仅当序列 $ \mathbf{i} $ 是 Weyl 群 $ W $ 中某个元素 $ w $ 的约化表达式。
• 核 $ I_w := \ker \psi_{\mathbf{i}} $ 仅依赖于 Weyl 群元素 $ w $，而不依赖于具体的约化表达式 $ \mathbf{i} $，因此在 $ \mathbf{C}_q[N] $ 中作为双边理想是良好定义的。
• 构造了一个类群元素 $ \mathcal{R}_w \in (\mathbf{C}_q[N]/I_w) \otimes \hat{U}_q(\mathfrak{n}) $，其在自然嵌入下退化为 $ \mathbf{e}_{\mathbf{i}} $，并与 Lusztig 的拟 R-矩阵密切相关。
• 对于同一 $ w \in W $ 的任意两个约化表达式 $ \mathbf{i}, \mathbf{i}' $，存在一个典范同构 $ \mathbf{R}_{\mathbf{i}}^{\mathbf{i}'}: \mathcal{F}(P_{\mathbf{i}}) \to \mathcal{F}(P_{\mathbf{i}'}) $，满足 $ (\mathbf{R}_{\mathbf{i}}^{\mathbf{i}'} \otimes \mathrm{id})(\mathbf{e}_{\mathbf{i}}) = \mathbf{e}_{\mathbf{i}'} $，从而提供 Lusztig 过渡映射的 q-形变。
• 此类同构的存在性导致了量子指数函数之间的新恒等式，以及关于与约化表达式相关的斜对称矩阵的令人惊讶的组合结果，推广了文献 [12] 中的结果。
• 斜多项式代数 $ P_{\mathbf{i}} $ 满足右 Ore 条件，因此可生成斜域分式，确保 $ \mathcal{F}(P_{\mathbf{i}}) $ 的代数框架是合理的。