[论文解读] Difference equations with elliptic coefficients and quantum affine algebras

Pavel Etingof|ArXiv.org|Dec 8, 1993

Algebraic structures and combinatorial models参考文献 7被引用 9

一句话总结

本文通过在量子仿射 sl(N) 模中构造互换算子乘积的迹，引入了椭圆 r-矩阵方程的 q-类比。这些函数满足两个具有椭圆系数的正则系统差分方程——一个以 p 为平移参数、s 为模数，另一个以 s 为平移参数、p 为模数——推广了量子 Knizhnik-Zamolodchikov 方程，并在单一代数框架下统一了各种特殊函数。

ABSTRACT

The purpose of this paper is to introduce and study a q-analogue of the holonomic system of differential equations associated to the Belavin's classical r-matrix (elliptic r-matrix equations), or, equivalently, to define an elliptic deformation of the quantum Knizhnik-Zamolodchikov equations of Frenkel and Reshetikhin. In hep-th 9303018, it was shown that solutions of the elliptic r-matrix equations admit a representation as traces of products of intertwining operators between certain modules over affine sl(N). In this paper, this construction is generalized to quantum affine sl(N). The main object of study in the paper is a family of meromorphic matrix functions of n complex variables z_1,...,z_n and three additional parameters p,q,s -- (modified) traces of products of intertwiners between modules over quantum affine sl(N). They are a new class of transcendental functions which can be degenerated into many interesting special functions -- hypergeometric and q-hypergeometric functions, elliptic and modular functions, transcendental functions of an elliptic curve, vector-valued modular forms, solutions of the Bethe ansatz equations etc. The main result of the paper states that these functions satisfy two holonomic systems of difference equations -- the first one has shift parameter p and elliptic modulus s, and the second one has shift parameter s and elliptic modulus p. The paper also contains a short proof of the quantum KZ equations.

研究动机与目标

• 通过量子仿射 sl(N) 表示理论，将量子 Knizhnik-Zamolodchikov 方程推广为椭圆变形。
• 通过量子仿射模表示之间互换算子的修正迹，定义一类新的超越函数。
• 建立这些函数满足具有椭圆参数的两个正则系统差分方程。
• 在统一的代数结构下，将多种特殊函数——超几何函数、q-超几何函数、模形式以及 Baez ansatz 方程的解——统一起来。
• 提供量子 KZ 方程的简明证明，作为构造的基础组成部分。

提出的方法

• 通过量子仿射代数 U_q(ŝl(N)) 模之间的互换算子构造，定义了具有 n 个复变量 z_1,…,z_n 和三个参数 p, q, s 的亚纯矩阵函数。
• 关键对象是这些互换算子乘积的（修正）迹，形成一类具有丰富代数与解析性质的新超越函数类。
• 该方法利用了量子仿射代数的表示理论，特别是评价模及其互换算子的结构。
• 通过分析迹函数在 z_i 变量以及参数 p 和 s 的平移下的变换性质，推导出正则系统。
• 该方法将早期关于经典 r-矩阵和微分方程的结果推广至量子与椭圆情形。
• 作为基础步骤，包含一个量子 KZ 方程的简明证明，确立了其与非椭圆极限下已知结果的一致性。

实验结果

研究问题

• RQ1 如何通过量子仿射代数将量子 Knizhnik-Zamolodchikov 方程变形，以包含椭圆系数？
• RQ2 在量子仿射 sl(N) 表示中，作为互换算子迹定义的新超越函数类背后的代数结构是什么？
• RQ3 这些迹函数是否满足具有椭圆参数的正则系统差分方程？若是，其对称性为何？
• RQ4 这些函数如何退化为已知的特殊函数，如超几何函数、q-超几何函数和模形式？
• RQ5 参数对 (p,s) 与 (s,p) 在定义两个不同但相关的正则系统中起什么作用？

主要发现

• 所构造的亚纯矩阵函数满足一个以 p 为平移参数、s 为椭圆模数的正则系统差分方程。
• 发现了第二个对偶正则系统，其平移参数为 s，椭圆模数为 p，揭示了参数之间的对称性。
• 这些函数作为量子仿射代数 U_q(ŝl(N)) 模之间互换算子乘积的迹而产生，推广了经典情形下的早期构造。
• 这些函数统一并退化为多种特殊函数，包括超几何函数、q-超几何函数、椭圆函数和模形式。
• 该构造为量子 KZ 方程提供了新的代数框架，并包含其有效性的简明证明。
• 该框架建立了量子仿射代数表示理论与具有椭圆系数的可积系统解之间的直接联系。