[논문 리뷰] Difference equations with elliptic coefficients and quantum affine algebras

Pavel Etingof|ArXiv.org|1993. 12. 08.

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-하이퍼지오메트릭 함수, 모듈러 형식, 그리고 바테 방정식의 해들로 구성된 다양한 특수함수들을 동일한 대수적 구조 아래 통합하는 것.
• 구성의 기초 단계로서 양자 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 방정식에 대한 새로운 대수적 프레임워크를 제공하며, 그 타당성에 대한 간결한 증명이 포함되어 있다.
• 이 프레임워크는 양자 아핀 대수의 표현 이론과 타원 계수를 가진 통합계의 해 사이의 직접적인 연결을 확립한다.