[论文解读] Braid Group Actions and Tensor Products

Vyjayanthi Chari|ArXiv.org|Jun 28, 2001

Algebraic structures and combinatorial models参考文献 1被引用 16

一句话总结

本文在量子仿射代数的虚根向量上建立了辫子群作用，以推导出不可约有限维表示的张量积为循环模的显式充分条件。关键结果是基于多项式一般位置的判别准则，精确确定了此类张量积的R-矩阵在何处为零，推广了关于$\mathfrak{sl}_2$的先前结果，并证明了Kashiwara等人提出的猜想。

ABSTRACT

We define an action of the braid group of a simple Lie algebra on the space of imaginary roots in the corresponding quantum affine algebra. We then use this action to determine an explicit condition for a tensor product of arbitrary irreducible finite--dimensional representations is cyclic. This allows us to determine the set of points at which the corresponding $R$--matrix has a zero.

研究动机与目标

• 确定量子仿射代数的不可约有限维表示张量积为循环模的充分条件。
• 将Chari与Pressley对$\mathfrak{sl}_2$的结果推广至任意单连通与非单连通的简单李代数。
• 证明Kashiwara等人关于基本表示张量积可约性的猜想。
• 显式计算此类张量积的R-矩阵为零的点集。
• 为通过可约性临界点确定例外情形下的$\mathfrak{g}$-模结构提供框架。

提出的方法

• 通过规范截面$T: W \to \mathcal{B}$在$(\mathbf{C}(q)[[u]])^n$上定义辫子群作用，将威尔群作用提升为辫子群作用。
• 利用该作用计算极小向量$v_{w\boldsymbol{\pi}}$在虚根向量下的特征值。
• 引入多项式$\pi'$与$\pi$之间‘一般位置’的概念，其定义为在特定$ q $的幂次下，参数比值$a_r'/a_l$不为零。
• 沿最长威尔群元素$w_0$的约化表达式应用辫子群作用，逐步计算$(T_{i_{j+1}} \cdots T_{i_N} \boldsymbol{\pi}')_{i_j}$。
• 建立张量积$V(\boldsymbol{\pi}') \otimes V(\boldsymbol{\pi})$为循环模的条件：若每个变换后的分量均与$\boldsymbol{\pi}_{i_j}$处于一般位置。
• 显式计算$\mathfrak{g} = A_n, C_n, F_4, G_2$时禁止的比值$a_r/a_s$，识别出R-矩阵为零的点。

实验结果

研究问题

• RQ1 在何种条件下，量子仿射代数的两个不可约有限维表示的张量积为循环模？
• RQ2 如何利用虚根向量上的辫子群作用来确定张量积的循环性？
• RQ3 张量积的基本表示的R-矩阵在何处不可逆的精确点集是什么？
• RQ4 一般位置条件如何推广Chari与Pressley对$\mathfrak{sl}_2$的结果？
• RQ5 例外李代数中基本表示张量积的显式可约性临界点是什么？

主要发现

• 若对每个$j$，有$(T_{i_{j+1}} \cdots T_{i_N} \boldsymbol{\pi}')_{i_j}$与$\boldsymbol{\pi}_{i_j}$处于一般位置，则张量积$V(\boldsymbol{\pi}') \otimes V(\boldsymbol{\pi})$在最高权向量的张量积上为循环模。
• 当$\mathfrak{g} = A_n$时，若对所有$p \geq 0$有$a/b \neq q^{m - m' - p}$，则张量积$V(\boldsymbol{\pi}^i_{m,a}) \otimes V(\boldsymbol{\pi}^j_{m',b})$为循环模，等式成立时对应R-矩阵为零。
• 当$\mathfrak{g} = F_4$时，集合$\mathcal{S}(i,j)$显式列出了使$V(i,a) \otimes V(j,b)$非循环的禁止比值$ab^{-1}$，例如$\mathcal{S}(1,1) = \{q^2, q^8, q^{12}, q^{18}\}$。
• 当$\mathfrak{g} = G_2$时，若$a/b \in \{q^2, q^6, q^8, q^{12}\}$，则$V(1,a) \otimes V(1,b)$非循环，其他配对亦有类似集合。
• 该结果证明了Kashiwara关于基本表示张量积可约性的猜想，并将其推广至任意最高权。
• 该方法允许通过分析张量积的可约性临界点，显式计算例外情形下的$\mathfrak{g}$-模结构。