[论文解读] Characters and Blocks for Finite-Dimensional Representations of Quantum Affine Algebras

Vyjayanthi Chari, Adriano Moura|ArXiv.org|Jun 8, 2004

Algebraic structures and combinatorial models参考文献 7被引用 6

一句话总结

该论文通过引入 $\iota$-权和 $\iota$-根，建立了一个关于量子仿射代数有限维表示的表示论框架，证明了范畴 $\mathcal{C}_q$ 的块与商群 $\Xi_q = \mathcal{P}_q / \mathcal{Q}_q$ 之间存在双射关系，并表明基本表示的 $q$-特征标在 braid 群作用下保持不变。这些结果对所有非单位根的 $q$ 成立，扩展了以往要求 $|q|<1$ 的工作。

ABSTRACT

We introduce the notion of the ell-weight lattice and the ell-root lattice adapted to the study of finite-dimensional representations of quantum affine algebras. We then study the ell-weights of the fundamental representations and show that they are invariant under the action of the associated braid group, in the case when the underlying simple Lie algebra is of classical type. As an application of this result we are able to give explicit formulas for their q-characters. An example is worked out in detail in Section 5. Finally, we describe the blocks in the category and prove that they are parametrized by the quotient of the ell-weight lattice by the ell-root lattice.

研究动机与目标

• 统一量子仿射代数表示理论中 $q$-特征标与椭圆特征标的观念。
• 确定所有 $q$ 不是单位根时，范畴 $\mathcal{C}_q$ 的块分解，克服早期方法的收敛性限制。
• 提供 $q$-特征标锥状结构的表示论证明，此前该结构仅通过组合方法建立。
• 利用 Nakajima 的结果，对所有经典李代数证明 Weyl 模与基本模张量积同构的猜想。

提出的方法

• 将 $\ell$-权格 $\mathcal{P}_q$ 定义为 $n$ 个关于变量 $u$ 的有理函数的乘法群，其中 $n$ 为李代数的秩。
• 将 $\ell$-根格 $\mathcal{Q}_q$ 定义为由简单 $\ell$-根生成的子幺半群，并证明其在 braid 群作用下保持不变。
• 构造商群 $\Xi_q = \mathcal{P}_q / \mathcal{Q}_q$，其参数化 $\mathcal{C}_q$ 的块，并证明其同构于由生成元 $\chi_a$ 和来自例外代数的集合 $S_{\mathbf{e},k}(a)$ 导出的关系所生成的阿贝尔群。
• 利用 $\mathcal{P}_q$ 上的 braid 群作用，证明基本表示的 $q$-特征标的不变性。
• 证明任意不可约表示 $V(\boldsymbol{\omega})$ 的 $\ell$-权位于锥 $\boldsymbol{\omega}(\mathcal{Q}_q^+)^{-1}$ 内，从而可定义良定义的椭圆特征标。
• 应用 Nakajima 的结果，建立 Weyl 模与基本模张量积同构，从而对所有经典李代数确认该猜想。

实验结果

研究问题

• RQ1 如何刻画所有 $q$ 不是单位根时，量子仿射代数有限维表示范畴 $\mathcal{C}_q$ 的块分解？
• RQ2 什么是 $q$-特征标与 $\ell$-权格上 braid 群作用之间的精确关系？
• RQ3 基本表示的 $\ell$-权如何在 braid 群作用下变换，其表现出何种不变性？
• RQ4 能否对所有经典李代数通过表示论方法证明 Weyl 模与基本模张量积同构的猜想？
• RQ5 例外李代数的商群 $\Xi_q = \mathcal{P}_q / \mathcal{Q}_q$ 的结构如何，其如何参数化块？

主要发现

• 范畴 $\mathcal{C}_q$ 的块与商群 $\Xi_q = \mathcal{P}_q / \mathcal{Q}_q$ 的元素之间存在双射关系，对所有 $q$ 不是单位根均成立。
• 基本表示的 $q$-特征标在 braid 群作用下保持不变，类似于有限维李代数表示中 Weyl 群的不变性。
• 任意不可约表示 $V(\boldsymbol{\omega})$ 的 $\ell$-权位于锥 $\boldsymbol{\omega}(\mathcal{Q}_q^+)^{-1}$ 内，其中 $\mathcal{Q}_q^+$ 是由简单 $\ell$-根生成的幺半群。
• Weyl 模 $W(\boldsymbol{\omega})$ 对所有经典李代数同构于基本模的张量积，通过 Nakajima 的结果确认了该猜想。
• 对于例外李代数，群 $\Xi_q$ 同构于由生成元 $\chi_a$ 和关系 $\sum_{a_j \in S_{\mathbf{e},k}(a)} \chi_{a_j} = 0$ 所生成的阿贝尔群，其中集合 $S_{\mathbf{e},k}(a)$ 对每种类型均有明确定义。
• 平凡表示与 $W(\boldsymbol{\omega}_{a,k})$ 相关联，其中对所有 $a \in \mathbb{C}^\times$ 和索引集中的 $k$ 成立，且任意模 $V'$ 与 $V' \otimes W(\boldsymbol{\omega}_{a,k})$ 相关联，通过关联性确认了块结构。