[论文解读] Ruijsenaars' commuting difference operators as commuting transfer matrices

Koji Hasegawa|ArXiv.org|Dec 25, 1995

Algebraic structures and combinatorial models参考文献 16被引用 8

一句话总结

本文通过从贝拉温的椭圆R矩阵构造L算子，建立了赖嫩斯卡尔斯的对易差分算子与可积系统中转移矩阵之间的联系。利用RLL关系，迹运算生成具有椭圆theta函数系数的麦克唐纳型算子，证明其与赖嫩斯卡尔斯算子等价，从而将这些算子嵌入量子群框架中，对称theta函数构成不变子空间。

ABSTRACT

For Belavin's elliptic quantum R-matrix, we construct an L-operator as a set of difference operators acting on functions on the type A weight space. According to the fundamental relation $RLL=LLR$, the trace of the L-operator gives a commuting difference operators. We show that for the above mentioned L-operator this approach gives Macdonald type operators with elliptic theta function coefficient, actually equivalent to Ruijsenaars' operators. The relationship between the difference L-operator and Krichever's Lax matrix as well as other approaches for the elliptic commuting system is given. We also study the invariant subspace for the system which is spanned by symmetric theta functions.

研究动机与目标

• 建立赖嫩斯卡尔斯的对易差分算子与可积系统中转移矩阵之间的联系。
• 从作用在A型权空间上的贝拉温椭圆R矩阵构造L算子。
• 证明该L算子的迹生成与赖嫩斯卡尔斯算子等价的对易差分算子。
• 研究系统在对称theta函数张成的不变子空间中的性质。
• 将所构造的差分L算子与克里切弗的Lax矩阵及其他椭圆对易系统方法相联系。

提出的方法

• 将L算子构造为作用在A型权空间上函数的差分算子集合。
• 利用贝拉温的椭圆R矩阵定义控制L算子的基本RLL = LLR关系。
• 计算L算子的迹，生成一组对易的差分算子。
• 通过识别椭圆theta函数系数，证明这些算子与赖嫩斯卡尔斯算子一致。
• 分析系统作用下保持不变的子空间，特别是对称theta函数张成的子空间。
• 将所构造的差分L算子与克里切弗的Lax矩阵及其他椭圆可积系统表述相联系。

实验结果

研究问题

• RQ1 在量子可积系统背景下，如何将赖嫩斯卡尔斯的对易差分算子实现为转移矩阵？
• RQ2 从作用在权空间上的贝拉温椭圆R矩阵导出的L算子的精确形式是什么？
• RQ3 L算子的迹是否生成与赖嫩斯卡尔斯对易差分算子等价、具有椭圆系数的算子？
• RQ4 系统所保持的不变子空间的结构是什么，特别是关于对称theta函数的结构？
• RQ5 所构造的差分L算子如何与克里切弗的Lax矩阵及其他已知的椭圆可积系统方法相联系？

主要发现

• 从贝拉温椭圆R矩阵构造的L算子的迹，生成了一组具有椭圆theta函数系数的对易差分算子族。
• 这些算子在数学上等价于赖嫩斯卡尔斯的对易差分算子，从而在两个框架之间建立了直接联系。
• 系统保持一个由对称theta函数张成的不变子空间，该子空间在椭圆量子群的表示理论中起着关键作用。
• L算子形式为赖嫩斯卡尔斯算子在量子可积系统RLL形式体系中的新实现。
• 该构造将麦克唐纳型算子推广至椭圆情形，其系数由椭圆函数给出。
• 与克里切弗Lax矩阵的关系得到澄清，表明其与现有椭圆可积系统方法一致。