[논문 리뷰] Traces of intertwiners for quantum groups and difference equations, II

Pavel Etingof, Olivier Schiffmann외 1명|ArXiv.org|2002. 07. 18.

Algebraic structures and combinatorial models참고 문헌 22인용 수 5

한 줄 요약

이 논문은 적절한 재정규화 하에 양자 아핀 대수에서의 상호연결 연산자의 비틀린 흔적(trace)이 네 가지 차분방정식—Macdonald-Ruijsenaars, 쌍대 Macdonald-Ruijsenaars, 양자 Knizhnik-Zamolodchikov-Bernard (qKZB), 및 쌍대 qKZB—을 만족함을 규명한다. 핵심 기여는 이러한 방정식을 표현 이론적 접근을 통해 유도한 것으로, 이는 이전의 유한차원 양자군 결과를 일반화하고, 다이어그램 자기동형사상이 존재하는 아핀 경우로 확장하며, 비틀림이 자명할 경우 무게 교환에 대한 대칭성을 증명한다.

ABSTRACT

In this paper we study twisted traces of products of intertwining operators for quantum affine algebras. They are interesting special functions, depending on two weights lambda, mu, three scalar parameters q, omega, k, and spectral parameters z_1,...,z_N, which may be regarded as q-analogs of conformal blocks of the Wess-Zumino-Witten model on an elliptic curve. It is expected that in the rank 1 case they essentially coincide with the elliptic hypergeometric functions defined in math.QA/0110081. Our main result is that after a suitable renormalization the traces satisfy four systems of difference equations -- the Macdonald-Ruijsenaars equation, the q-Knizhnik-Zamolodchikov-Bernard equation, and their dual versions. We also show that in the case when the twisting automorphism is trivial, the trace functions are symmetric under the permutation lambda mu, k omega. Thus, our results here generalize our previous results, dealing with the case q = 1 and the finite dimensional case.

연구 동기 및 목표

• 유한차원 양자군에서의 상호연결 연산자 흔적 이론을 다이어그램 자기동형사상이 있는 양자 아핀 대수로 확장하기.
• 이러한 흔적 함수에 대해 아핀 설정에서 Macdonald-Ruijsenaars 및 qKZB 차분방정식을 도출하기.
• 비틀림 자동형사상이 자명할 경우 흔적 함수의 무게 및 매개변수 교환에 대한 대칭성을 확립하기.
• 양자 아핀 대수에서 qKZB 방정식과 그 쌍대 방정식 간의 이중성에 대한 표현 이론적 증명 제공하기.
• 랭크-1 경우에서 흔적 함수가 타원 초함수와 연결되며, 알려진 방정식들—예를 들어 타원 qKZ 방정식—과의 관계를 규명하기.

제안 방법

• 저자들은 양자 아핀 대수에서 유한차원 모듈의 텐서곱 간의 상호연결 연산자의 행렬 계수로서 비틀린 흔적 함수를 정의한다.
• 다이어그램 자기동형사상과 관련된 동적 R-행렬과 비틀린 R-행렬을 사용하여 흔적 함수와 그 변환 성질을 구성한다.
• 차분방정식의 유도는 R-행렬의 융합 항등식과 스펙트럴 및 동적 매개변수에서의 이동 연산자 작용에 기반한다.
• Macdonald-Ruijsenaars 방정식은 동적 매개변수 λ와 μ에서의 이동 연산자 작용을 통해 이차 카시미르 원소와 R-행렬 항등식을 이용해 도출된다.
• qKZB 및 쌍대 qKZB 방정식은 스펙트럴 매개변수 이동에 따른 흔적 함수의 단일계속성 성질을 분석하고 R-행렬 브레딩 관계를 활용하여 도출된다.
• 대칭성 항등식은 R-행렬의 자기쌍대성과 모듈 이중성 및 자동형사상 하에서 상호연결 연산자의 구조를 활용하여 증명된다.

실험 결과

연구 질문

• RQ1 적절한 재정규화 하에 양자 아핀 대수에서의 상호연결 연산자 흔적은 Macdonald-Ruijsenaars 및 qKZB 차분방정식을 만족하는가?
• RQ2 다이어그램 자기동형사상 비틀림이 흔적 함수의 대칭성에 어떤 영향을 미치는가?
• RQ3 qKZB와 그 쌍대 방정식 간의 이중성은 아핀 양자군 설정에서 표현 이론적으로 도출될 수 있는가?
• RQ4 sl(2)의 경우에서 흔적 함수와 타원 초함수 간의 관계는 무엇인가?
• RQ5 순환 다이어그램 자기동형사상이 있는 sl(n)의 경우에서 흔적 함수는 어떻게 행동하며, 어떤 방정식을 만족하는가?

주요 결과

• 적절한 재정규화 이후 흔적 함수는 이동 연산자 작용과 R-행렬 항등식을 통해 Macdonald-Ruijsenaars 및 쌍대 Macdonald-Ruijsenaars 방정식을 만족한다.
• 흔적 함수는 스펙트럴 매개변수 이동이 D^T_j 및 K^T_j 연산자에 의해 지배되는 qKZB 및 쌍대 qKZB 방정식을 만족한다.
• 비틀림 자동형사상 T가 자명할 경우, 흔적 함수는 동시에 λ ↔ μ 및 k ↔ ω의 교환에 대해 대칭적이며, 이는 유한차원 사례를 일반화한다.
• sl(2)의 경우에서 흔적 함수는 타원 곡선 위의 conformal block의 q-해석적 일반화로 추측되며, 재정규화를 제외하고는 타원 초함수와 일치할 것으로 기대된다.
• sl(n)에서 순환 다이어그램 자기동형사상이 존재할 경우, 흔적 함수는 동적 매개변수 λ와 μ에 대해 독립적이며, 벨라빈의 R-행렬을 사용하는 타원 qKZ 방정식으로 축소된다. 이에 대해 그 쌍대는 펠더의 R-행렬이 유한점에서 결정하는 것으로 밝혀졌다.