[论文解读] Quantum Affine Algebras and their Representations

Vyjayanthi Chari, Andrew Pressley|ArXiv.org|Nov 18, 1994

Algebraic structures and combinatorial models参考文献 5被引用 115

一句话总结

本文建立了量子仿射代数的有限维不可约表示的最高权分类，类似于Cartan对有限维单李代数的分类。它引入了以常数项为1的多项式元组进行参数化，并确定了极小仿射化——构造含谱参数的量子Yang-Baxter方程解的关键表示——的结构。

ABSTRACT

We prove a highest weight theorem classifying irerducible finite--dimensional representations of quantum affine algebras and survey what is currently known about the structure of these representations.

研究动机与目标

• 为量子仿射代数的有限维不可约表示提供最高权分类，扩展Cartan对有限维李代数的分类。
• 理解这些表示作为Uq(g)-模的结构，特别是其在Uq(g)下的分解。
• 表征有限维不可约Uq(g)-模的极小仿射化，这些是构造含谱参数的量子Yang-Baxter方程解的关键。
• 确定极小仿射化作为Uq(g)-模时何时不可约，并给出其定义多项式的显式参数化。
• 分析Uq(ˆg)的基本表示V(λi,1)的Uq(g)-模结构，尤其在非单连通类型（B, C, D, E, F, G）中。

提出的方法

• 采用类似于Cartan分类的最高权方法，使用常数项为1的秩(g)-元组多项式来参数化不可约表示。
• 利用Drinfel'd-Jimbo量子群构造，将Uq(ˆg)定义为与未扭仿射李代数ˆg相关的Hopf代数。
• 利用Uq(ˆg)上存在1-参数族自同构τu的事实，构造依赖于谱参数u, v的R-矩阵。
• 应用条件V(u)⊗V(v) ≅ V(v)⊗V(u)以及三重张量积的不可约性，以确保含谱参数的量子Yang-Baxter方程的解。
• 使用典范互变算子I(u,v)，并定义R(u,v) = σI(u,v)，以获得含谱参数的QYBE的解。
• 利用嵌入Uq(g) ↪ Uq(ˆg)，通过限制分析不可约Uq(ˆg)-模的Uq(g)-模结构。

实验结果

研究问题

• RQ1 如何以类似于Cartan对有限维李代数分类的方式，对量子仿射代数的有限维不可约表示进行分类？
• RQ2 多项式元组P满足何种条件时，定义有限维不可约Uq(g)-模的极小仿射化？
• RQ3 在何种条件下，极小仿射化作为Uq(g)-模是不可约的？
• RQ4 Uq(ˆg)的基本表示V(λi,1)的Uq(g)-模结构如何分解，尤其在非单连通类型中？
• RQ5 在B, C, D, E, F, G型中，极小仿射化的定义多项式的精确参数化是什么？

主要发现

• Uq(ˆg)的有限维不可约表示由一元多项式元组参数化，其常数项为1，推广了Cartan的分类。
• 有限维不可约Uq(g)-模的极小仿射化存在且在最高权为极大积分权时在等价意义下唯一。
• 在A型中，极小仿射化作为Uq(g)-模是不可约的，且由长度为λ(i)、中心为ai的q-段参数化，其中ai满足涉及q-指数的特定比值条件。
• 在非单连通类型（B, C, F）中，极小仿射化由qi-段参数化，其中中心满足ai/aj的积或其倒数的条件。
• 在D或E型中，当三重节点i0处的基本权非零时，若其中一个三元A型子图Ir的权为零，则极小仿射化唯一；否则恰好存在三个极小仿射化。
• 基本表示V(λi,1)的Uq(g)-结构被显式确定：在A型或C型中，V(λi,1) ≅ V(λi)；在Bn或Dn+1型中，其分解为j从0到[i/2]的V(λi−2j)的直和；在E6, E7, E8, F4, G2型中，给出了涉及平凡表示和基本表示的特定分解。