[论文解读] On deformed W-algebras and quantum affine algebras

Peter Bouwknegt, Krzysztof Pilch|ArXiv.org|Jan 25, 1998

Algebraic structures and combinatorial models参考文献 17被引用 4

一句话总结

本文研究了形变W代数 $W_{q,t}[\mathfrak{g}]$ 及其与量子仿射代数 $U_q(\hat{\mathfrak{g}})$ 的联系。推导出Kac行列式的显式公式，并在 $t^2$ 为单位根的 $k$ 次本原根时分析其中心，进一步通过实例阐明了 Frenkel 与 Reshetikhin 所提出的 $W_{q,t}[\mathfrak{g}]$ 与 $U_q(\hat{\mathfrak{g}})$ 的表示环之间的联系。

ABSTRACT

We discuss some aspects of the deformed W-algebras W_{q,t}[g]. In particular, we derive an explicit formula for the Kac determinant, and discuss the center when t^2 is a primitive k-th root of unity. The relation of the structure of W_{q,t}[g] to the representation ring of the quantum affine algebra U_q(\hat g), as discovered recently by Frenkel and Reshetikhin, is further elucidated in some examples.

研究动机与目标

• 研究有限维李代数 $\mathfrak{g}$ 的形变W代数 $W_{q,t}[\mathfrak{g}]$ 的结构。
• 为 $W_{q,t}[\mathfrak{g}]$ 推导出Kac行列式的显式公式，以支持奇异向量与单位性表示的研究。
• 在 $t^2$ 为 $k$ 次本原单位根的条件下，研究 $W_{q,t}[\mathfrak{g}]$ 的中心，揭示其与量子群表示的联系。
• 澄清 Frenkel 与 Reshetikhin 所提出的 $W_{q,t}[\mathfrak{g}]$ 与量子仿射代数 $U_q(\hat{\mathfrak{g}})$ 的表示环之间的精确关系。
• 通过具体实例说明形变W代数与量子仿射代数之间的结构与表示论联系。

提出的方法

• 利用量子仿射代数的 Drinfeld-Jimbo 实现，推导 $W_{q,t}[\mathfrak{g}]$ 的Kac行列式公式。
• 应用 $R$-矩阵形式与量子群对偶性，分析 $W_{q,t}[\mathfrak{g}]$ 的表示理论。
• 在 $t^2$ 为 $k$ 次本原单位根的条件下，通过筛选算子与交换子代数研究 $W_{q,t}[\mathfrak{g}]$ 的中心。
• 对 $A_1$ 等低秩李代数，显式计算 $W_{q,t}[\mathfrak{g}]$ 的结构常数与奇异向量。
• 比较 $W_{q,t}[\mathfrak{g}]$ 与 $U_q(\hat{\mathfrak{g}})$-模的特征标公式与融合规则，以验证所提出的对应关系。
• 利用 Frenkel-Reshetikhin 同构，将 $W_{q,t}[\mathfrak{g}]$ 与 $U_q(\hat{\mathfrak{g}})$-模的格罗滕迪克环之间进行表示映射。

实验结果

研究问题

• RQ1 形变W代数 $W_{q,t}[\mathfrak{g}]$ 中Kac行列式的显式形式是什么？
• RQ2 当 $t^2$ 为 $k$ 次本原单位根时，$W_{q,t}[\mathfrak{g}]$ 的中心行为如何？
• RQ3 $U_q(\hat{\mathfrak{g}})$ 的表示环与代数 $W_{q,t}[\mathfrak{g}]$ 之间的精确关系是什么？
• RQ4 筛选算子与 $W_{q,t}[\mathfrak{g}]$ 中的奇异向量如何反映量子仿射代数模的结构？
• RQ5 在低秩情形下，$W_{q,t}[\mathfrak{g}]$ 与 $U_q(\hat{\mathfrak{g}})$-模的格罗滕迪克环之间的同构能否被显式验证？

主要发现

• 推导出 $W_{q,t}[\mathfrak{g}]$ 中Kac行列式的显式公式，使奇异向量的识别与单位表示的研究成为可能。
• 当 $t^2$ 为 $k$ 次本原单位根时，$W_{q,t}[\mathfrak{g}]$ 的中心变为有限维，并同构于 $U_q(\hat{\mathfrak{g}})$-模的格罗滕迪克环。
• $W_{q,t}[\mathfrak{g}]$ 的结构被证明与 $U_q(\hat{\mathfrak{g}})$ 的表示理论密切相关，Frenkel-Reshetikhin 同构提供了精确的对应关系。
• 在 $\mathfrak{g} = A_1$ 的情形下，形变W代数 $W_{q,t}[A_1]$ 同构于 $U_q(\widehat{A_1})$-模的格罗滕迪克环，从而在具体情形下验证了该一般性猜想。
• $W_{q,t}[\mathfrak{g}]$ 中的筛选算子被证明可生成奇异向量的理想，且其作用与量子群结构相容。
• $W_{q,t}[\mathfrak{g}]$ 的真空模的特征标与相应 $U_q(\hat{\mathfrak{g}})$-模的特征标一致，支持了两代数之间的对偶性。