[论文解读] The Integrals of Motion for the Deformed Virasoro Algebra

Boris Feigin, Takeo Kojima+2 more|arXiv (Cornell University)|May 3, 2007

Nonlinear Waves and Solitons参考文献 5被引用 13

一句话总结

本文通过基于 Feigin-Odesskii 代数的创新方法，构建了两族无穷多个对易算符——局部与非局部守恒量——用于形变 Virasoro 代数，绕过了椭圆量子群设定下普遍 R-矩阵缺失时的标准 Yang-Baxter 构造。关键贡献在于通过代数结构而非量子群对称性，显式给出了这些守恒量的积分表示，并证明其对易性。

ABSTRACT

We explicitly construct two classes of infinitly many commutative operators in terms of the deformed Virasoro algebra. We call one of them local integrals and the other nonlocal one, since they can be regarded as elliptic deformations of the local and nonlocal integrals of motion obtained by V.Bazhanov, S.Lukyanov and Al.Zamolodchikov.

研究动机与目标

• 为形变 Virasoro 代数构造无穷多个对易算符——局部与非局部守恒量。
• 为 Bazhanov、Lukyanov 和 Zamolodchikov 之前在 Virasoro 代数上构造的守恒量提供椭圆形变。
• 克服椭圆量子群中 Borel 子代数张量积下普遍 R-矩阵不存在的障碍。
• 通过 Feigin-Odesskii 代数的结构而非 Yang-Baxter 关系建立守恒量的对易性。
• 将已知的经典极限与共形场论极限作为形变构造的特例恢复。

提出的方法

• 通过形变 Virasoro 代数的筛子流与基本算子的积分表示，显式定义局部守恒量 $\mathcal{I}_n$ 与非局部守恒量 $\mathcal{G}_n$。
• 利用 $U_q(\widehat{sl_2})$ 的 Borel 子代数 $\mathcal{B}_\pm$ 的自由场实现，构造算符而不依赖单值矩阵或转移矩阵。
• 通过 Feigin-Odesskii 代数的交换子代数结构，建立对易性 $[\mathcal{I}_m, \mathcal{I}_n] = 0$ 与 $[\mathcal{G}_m, \mathcal{G}_n] = 0$。
• 利用代数对称性性质，证明 Dynkin 自同态 $\eta(\mathcal{I}_n) = \mathcal{I}_n$ 与 $\eta(\mathcal{G}_n) = \mathcal{G}_n$ 的不变性。
• 使用无限 $q$-Pochhammer 符号与 theta 函数，推导算子乘积的显式正规排序公式。
• 验证退化极限：在经典极限下恢复 Poisson-Virasoro 代数，在共形场论极限下恢复已知的局部与非局部守恒量。

实验结果

研究问题

• RQ1 在 Borel 子代数张量积中普遍 R-矩阵不存在的情况下，如何为形变 Virasoro 代数构造无穷多个对易守恒量？
• RQ2 通过量子仿射对称性 $U_q(\widehat{sl_2})$ 构造的 Virasoro 代数的局部与非局部守恒量，其椭圆形变是什么？
• RQ3 所构造的守恒量如何与形变 Virasoro 代数的经典极限和共形场论极限相关联？
• RQ4 是否可以不依赖 Yang-Baxter 方程或转移矩阵形式，建立守恒量的对易性？
• RQ5 支撑守恒量对易性的代数结构是什么？它如何推广已知的基于量子群的构造？

主要发现

• 本文通过形变 Virasoro 代数中的积分表示，显式构造了两族无穷多个对易算符：局部守恒量 $\mathcal{I}_n$ 与非局部守恒量 $\mathcal{G}_n$。
• 对易性 $[\mathcal{I}_m, \mathcal{I}_n] = 0$ 与 $[\mathcal{G}_m, \mathcal{G}_n] = 0$ 并非通过 Yang-Baxter 关系，而是通过 Feigin-Odesskii 代数的交换子代数结构建立。
• 守恒量 $\mathcal{I}_n$ 与 $\mathcal{G}_n$ 在 Dynkin 自同态 $\eta$ 下不变，即 $\eta(\mathcal{I}_n) = \mathcal{I}_n$ 与 $\eta(\mathcal{G}_n) = \mathcal{G}_n$，确保其与形变 Virasoro 代数的代数结构对称性一致。
• 该构造成功地为 Bazhanov、Lukyanov 与 Zamolodchikov 的守恒量提供了椭圆形变，将他们的工作从有理量子群设定推广至更一般情形。
• 在经典极限下，形变 Virasoro 代数退化为 Poisson-Virasoro 代数，守恒量恢复了 Frenkel 为此情形所构造的结果。
• 在共形场论极限下，守恒量重现了 Virasoro 代数已知的局部与非局部守恒量，确认了与先前结果的一致性。