[论文解读] The q-characters of representations of quantum affine algebras and deformations of W-algebras

Edward Frenkel, Nicolai Reshetikhin|ArXiv.org|Oct 8, 1998

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

一句话总结

本文为量子 affine 代数的有限维表示引入了 q-特征标，将经典特征标推广至量子情形。它构造了从表示的 Grothendieck 环到洛朗多项式环的单射同态，猜想 q-特征标属于筛选算子的核，并通过 q-差分算子给出了几何实现，提供了一种组合方法来计算不可约表示及其张量积。

ABSTRACT

We propose the notion of q-characters for finite-dimensional representations of quantum affine algebras. It is motivated by our theory of deformed W-algebras. We show that the q-characters give rise to a homomorphism from the Grothendieck ring of representations of a quantum affine algebra to a polynomial ring. We conjecture that the image of this homomorphism is equal to the intersection of certain "screening operators". We also discuss the connection between q-characters and Bethe Ansatz.

研究动机与目标

• 为量子 affine 代数的有限维表示发展 q-特征标理论，类似于李群的经典特征标。
• 在量子 affine 情形下，为不可约表示及其张量积的分类提供组合框架。
• 将 q-特征标与形变 W-代数及差分 Drinfeld-Sokolov 归约联系起来，特别是在 simply-laced 情况下。
• 猜想 q-特征标同态的像等于筛选算子核的交集，从而实现不可约模的显式计算。
• 通过 q-差分算子和环群轨道空间，建立 q-特征标的几何实现。

提出的方法

• 定义 q-特征标同态 χq: Rep U_qĝ → Y = ℤ[Y_{i,a}^±1]，将表示映射到以 i ∈ {1,…,ℓ} 和 a ∈ ℂ× 索引的可交换变量上的洛朗多项式。
• 在环 Y 上构造筛选算子 S_i，猜想其在 χq 的像上精确为零，从而将不可约表示刻画为核元素。
• 利用 U_qĝ 的普遍 R-矩阵定义 χq，确保其与张量积结构兼容，并与 U_q𝔤 限制相容。
• 通过 q-规范作用在首阶差分算子空间上的几何实现 q-特征标，将轨道识别为基本表示。
• 在 simply-laced 𝔤 情况下，证明 q-特征标同态与从算子空间到轨道空间 M^J_{n,q}/LN 的投影 μ_q 诱导的映射一致。
• 使用公式 t_i(s) = ∑_{j1<…<ji} λ_{j1}(s)λ_{j2}(sq^{-2})…λ_{ji}(sq^{-2i+2}) 将 λ_i(s) 中的单项式与基本表示的 q-特征标匹配。

实验结果

研究问题

• RQ1 如何将经典李代数的特征标概念推广至量子 affine 代数，以捕捉不可约表示及其张量积？
• RQ2 q-特征标同态 χq 在环 Y 中的像具有何种代数结构？
• RQ3 不可约表示的 q-特征标能否被表征为筛选算子 S_i 定义的方程组的解？
• RQ4 q-特征标理论如何与形变 W-代数及差分 Drinfeld-Sokolov 归约相关联？
• RQ5 能否通过轨道空间等几何数据（如 q-差分算子）组合地计算给定最高权表示的 q-特征标？

主要发现

• q-特征标同态 χq: Rep U_qĝ → Y 是单射，将 Grothendieck 环忠实表示为洛朗多项式环。
• 当 𝔤 = sl_2 时，猜想 χq 的像等于筛选算子 S_i 核的交集，已得证明。
• 对于 𝔤 = sl_N，U_qĝ 的基本表示的 q-特征标与由 q-差分算子模型导出的表达式 t_i(s) = ∑_{j1<…<ji} λ_{j1}(s)λ_{j2}(sq^{-2})…λ_{ji}(sq^{-2i+2}) 一致。
• 通过 q-规范作用在 M^J_{n,q} 上的几何构造，将 q-特征标同态实现为嵌入与投影 μ_q 的复合，其像同构于轨道空间 M^J_{n,q}/LN。
• 在 q→1 的极限下，q-特征标公式退化为与完备包络代数中心相关的经典特征标，与 Drinfeld-Sokolov 归约相联系。
• 该方法提供了一种纯组合算法，通过在 μ_q 的像中寻找最小的正整数线性组合，从其主导单项式重构不可约表示的 q-特征标。