[论文解读] Integrable and Weyl modules for quantum affine sl_2

Vyjayanthi Chari, Andrew Pressley|ArXiv.org|Jul 20, 2000

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

一句话总结

该论文证明了对于量子仿射 $τβ}_2$，所有与主积分权 $m$ 关联的有限维 Weyl 模块 $W_q(\boldsymbol{\pi})$ 的维数均为 $2^m$，方法是展示其存在一个 $q=1$ 极限，从而将量子问题约化为经典情形。论文证明了这些模与在张量积上作用的 Hecke 代数作用下的不变量同构，并将所有不可约有限维表示分类为其唯一的不可约商模。

ABSTRACT

We study the universal integrable modules W_q(m) of level zero for quantum affine sl_2 and a family of maximal finite--dimensional quotients of these modules. We show that these all have dimension 2^m. Using this, we are able to realize W_q(m) as the space of invariants of a reprsentation of the Hecke algebra H_m. We also give a conjecture in the general case.

研究动机与目标

• 对量子仿射代数 $\mathbf{U}_q(\widehat{\mathfrak{sl}}_2)$ 的所有不可约有限维表示进行分类。
• 确定量子仿射 $τβ}_2$ 的 Weyl 模块 $W_q(\boldsymbol{\pi})$ 的维数，并证明其与参数 $\boldsymbol{\pi}$ 无关。
• 建立 $W_q(m)$ 作为 Hecke 代数 $\mathcal{H}_m$ 在 $(V \otimes \mathbf{C}(q)[t,t^{-1}])^{\otimes m}$ 上作用的不变子空间的实现。
• 通过构造量子模的 $q=1$ 极限，将经典情形的结果推广到量子情形。

提出的方法

• 利用量子模的 $q=1$ 极限，将 $W_q(\boldsymbol{\pi})$ 的研究约化为经典情形，从而应用 [CP4] 中的结果。
• 在 $W_q(\boldsymbol{\pi})$ 上构造一个 $\mathbf{U}_q(+)$-格 $W_\mathbf{A}(\boldsymbol{\pi})$，以关联其在 $\mathbf{K} = \mathbf{C}(q)$ 上的维数与模 $q-1$ 的约化后的维数。
• 定义一个满的 $\mathbf{U}_q(+)$-模同态 $\eta_{\boldsymbol{\pi}}: W_q(\boldsymbol{\pi}) \to S_q(\boldsymbol{\pi})$，其中 $S_q(\boldsymbol{\pi})$ 是经典极限下的像，并通过 Nakayama 引理与核的消失性证明其为同构。
• 将 $W_q(m)$ 实现为 $(V \otimes \mathbf{C}(q)[t,t^{-1}])^{\otimes m}$ 上 $\mathcal{H}_m$-不变子空间，其中 $V$ 为标准的二维表示。
• 利用扭转变换自同态 $\tau_a$，将 $\overline{\mathbf{A}}^m$ 上的同构扩展至所有 $\mathbf{F}^m$，从而确保同构 $W_q(\boldsymbol{\pi}) \to S_q(\boldsymbol{\pi})$ 在整体上成立。

实验结果

研究问题

• RQ1 对于固定的主积分权 $m$，量子仿射 $τβ}_2$ 的所有有限维 Weyl 模块 $W_q(\boldsymbol{\pi})$ 是否具有相同的维数？
• RQ2 是否能通过经典极限计算 $W_q(\boldsymbol{\pi})$ 的维数，从而将量子问题约化为已知的经典情形？
• RQ3 是否存在 $W_q(m)$ 的几何或表示论实现，作为 Hecke 代数作用下的不变量？
• RQ4 所有不可约有限维 $\mathbf{U}_q(\widehat{\mathfrak{sl}}_2)$-模是否同构于某个 $W_q(\boldsymbol{\pi})$ 的唯一不可约商模 $V_q(\boldsymbol{\pi})$？

主要发现

• 所有与量子仿射 $τβ}_2$ 的水平 $m$ 关联的 Weyl 模块 $W_q(\boldsymbol{\pi})$ 的维数恰好为 $2^m$，且与 $\boldsymbol{\pi}$ 的选择无关。
• $W_q(\boldsymbol{\pi})$ 的 $q=1$ 极限同构于经典 Weyl 模块 $W(\boldsymbol{\pi})$，且该同构在量子结构下保持不变。
• 映射 $\eta_{\boldsymbol{\pi}}: W_q(\boldsymbol{\pi}) \to S_q(\boldsymbol{\pi})$ 是 $\mathbf{U}_q(+)$-模的同构，证明了在极限下量子与经典结构的一致性。
• $W_q(m)$ 同构于 $(V \otimes \mathbf{C}(q)[t,t^{-1}])^{\otimes m}$ 上 $\mathcal{H}_m$-不变子空间，从而为 Weyl 模提供了一种新实现。
• 所有不可约有限维 $\mathbf{U}_q(\widehat{\mathfrak{sl}}_2)$-模均作为某个 Weyl 模块 $W_q(\boldsymbol{\pi})$ 的唯一不可约商模 $V_q(\boldsymbol{\pi})$ 而出现。
• 猜想 $\dim_{\mathbf{K}} W_q(\boldsymbol{\pi}) = \prod_{i=1}^n (\dim_{\mathbf{K}} W_q(i))^{\lambda_i}$ 在 $τβ}_2$ 情形成立，且本文为将其推广至高秩代数提供了框架。