[論文レビュー] 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-アナローグを導入する。これらの関数は、楕円係数をもつ2つの正則系差分方程式を満たす——一つはシフトパラメータ 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 方程式を楕円的変形へ一般化すること。
• 量子アフィン加群表現間のインターリーブ作用素の修正トレースとして、新たな超越関数のクラスを定義すること。
• これらの関数が楕円パラメータをもつ2つの正則系差分方程式系を満たすことを確立すること。
• 超幾何関数、q-超幾何関数、モジュラー形式、およびベーテ方程式の解といった多様な特殊関数を、共通の代数的構造の下に統一すること。
• 構成の基礎的要素としての量子 KZ 方程式の簡潔な証明を提供すること。

提案手法

• 量子アフィン代数 U_q(ŝl(N)) の加群間のインターリーブ作用素を用いて、n 個の複素変数 z_1,…,z_n および3つのパラメータ 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 方程式の新しい代数的枠組みが構築され、その妥当性を示す簡潔な証明が含まれる。
• この枠組みにより、量子アフィン代数の表現論と楕円係数をもつ可積分系の解との間の直接的な関係が確立される。