[논문 리뷰] Yangians, quantum loop algebras and abelian difference equations

Siddharth Gautam, Valerio Toledano-Laredo|arXiv (Cornell University)|2013. 10. 28.

Algebraic structures and combinatorial models참고 문헌 4인용 수 9

한 줄 요약

이 논문은 $q = e^{ olimits \pi i \hbar}$ 이고 $\hbar$ 가 무리수일 조건 하에서, 유한차원 양안 대수 $Y_\hbar(\mathfrak{g})$ 의 유한차원 표현과 양안 대수의 부분범주 사이에 명시적인 동치를 수립한다. 이 동치는 루프 생성자에 작용하는 경로 적분 공식을 통해 구성되며, 양안 대수의 가환 차분 방정식의 단일화를 통해 결정되며, 함자 $\Gamma$ 는 드린펠트 다항식을 지수화하고 단순성과 적분 가능성을 유지한다.

ABSTRACT

Let g be a complex, semisimple Lie algebra, and Y_h(g) and U_q(Lg) the Yangian and quantum loop algebra of g. Assuming that h is not a rational number and that q=exp(i πh), we construct an equivalence between the finite-dimensional representations of U_q(Lg) and an explicit subcategory of those of Y_h(g) defined by choosing a branch of the logarithm. This equivalence is governed by the monodromy of the abelian additive difference equations defined by the commuting fields of Y_h(g). Our results are compatible with q-characters, and apply more generally to a symmetrisable Kac-Moody algebra g, in particular to affine Yangians and quantum toroidal algebras. In this generality, they yield an equivalence between the representations of Y_h(g) and U_q(Lg) whose restriction to g and U_q(g) respectively are integrable and in category O.

연구 동기 및 목표

• 유한차원 표현의 양안 대수 $Y_\hbar(\mathfrak{g})$ 와 양자 루프 대수 $U_q(L\mathfrak{g})$ 사이의 오랜 숙제인 관계 문제를 해결하기 위해.
• 이 표현 범주 간에 $q$-특성과 알려진 분류 결과와 호환되는 정확하고 명시적인 함자적 동치를 제공하기 위해.
• 이 동치를 대칭가능한 카크-무디 대수로 확장하기 위해, 특히 아핀 양안 대수와 양자 토로이드 대수를 포함하여.
• 드린펠트의 루프 생성자와 경로 적분 공식을 사용하여 동치를 구성하고, 유한차원 표현의 단일화된 가환 차분 방정식의 단일화를 기반으로 하기 위해.

제안 방법

• 저자들은 $U_q(L\mathfrak{g})$ 의 루프 생성자에 작용하는 경로 적분 공식을 통해 함자 $\Gamma: \operatorname{Rep}_{\operatorname{fd}}(Y_\hbar(\mathfrak{g})) \to \operatorname{Rep}_{\operatorname{fd}}(U_q(L\mathfrak{g}))$ 를 정의한다.
• 이 구성은 $Y_\hbar(\mathfrak{g})$ 의 드린펠트 다항식의 근에서 $U_q(L\mathfrak{g})$ 의 매개수로 가는 지수 함수를 정의하기 위해 로그의 분⽀을 선택하는 데 의존한다.
• 동치는 $Y_\hbar(\mathfrak{g})$ 의 가환 필드에서 유도된 가환 덧셈 차분 방정식의 단일화에 의해 결정되며, 이는 표현론적 데이터를 코딩한다.
• 이 방법은 대칭가능한 카크-무디 대수 $\mathfrak{g}$ 에 적용되며, 유한차원 $\mathfrak{g}$ 에서의 결과를 아핀 및 토로이드 대수와 같은 무한차원 경우로 일반화한다.
• 저자들은 드린펠트의 루프 생성자 $\mathcal{X}_i^{\pm}(z)^{\pm}$, $\Psi_i(z)^{\pm}$, 및 $K_h$ 를 사용하여 대수적 관계와 그 생성 함수를 정의한다.
• 핵심 기술적 단계는 $U_q(L\mathfrak{g})$ 의 관계가 $\Gamma$ 의 상에서 만족됨을 보이는 것으로, 이는 $q$-차분 방정식과 $R$-행렬의 구조를 이용한다.

실험 결과

연구 질문

• RQ1 만약 $q = e^{\pi i \hbar}$ 이고 $\hbar$ 가 무리수일 때, 양안 대수 $Y_\hbar(\mathfrak{g})$ 와 양자 루프 대수 $U_q(L\mathfrak{g})$ 의 유한차원 표현 범주를 어떻게 명시적으로 연결할 수 있는가?
• RQ2 어떤 정확한 함자적 메커니즘이 $Y_\hbar(\mathfrak{g})$ 의 표현을 $U_q(L\mathfrak{g})$ 의 표현으로 매핑하는가? 이 매핑은 적분 가능성과 단순성을 어떻게 유지하는가?
• RQ3 양안 대수의 가환 필드에서 유도된 가환 차분 방정식의 단일화가 표현 동치를 어떻게 결정하는가?
• RQ4 이 동치는 유한차원 $\mathfrak{g}$ 를 초월하여 대칭가능한 카크-무디 대수, 특히 아핀 및 토로이드 유형으로 얼마나 넓게 확장되는가?
• RQ5 드린펠트 다항식의 매핑이 지수 덮개로 실현되는가? 그리고 차원과 기약성을 유지하는가?

주요 결과

• 논문은 $\operatorname{Rep}_{\operatorname{fd}}(Y_\hbar(\mathfrak{g})) \to \operatorname{Rep}_{\operatorname{fd}}(U_q(L\mathfrak{g}))$ 에 대한 정확하고 충실하며 정확한 함자 $\Gamma$ 를 구성한다. 이 함자는 벡터 공간으로의 忘却 함자와 가환한다.
• 함자 $\Gamma$ 는 $Y_\hbar(\mathfrak{g})$ 의 단순 표현을 $U_q(L\mathfrak{g})$ 의 단순 표현으로 매핑하며, 로그 분⽀의 선택을 통해 드린펠트 다항식의 근을 지수화한다.
• 동치는 $Y_\hbar(\mathfrak{g})$ 의 표현 중 드린펠트 다항식의 근이 도메인 $\Pi \subset \mathbb{C}$ 에 위치하고, $u \mapsto e^{2\pi i u}$ 에서 $\mathbb{C}^\times$ 로 전단사로 사상되는 부분범주에 국한된다.
• 대칭가능한 카크-무디 대수 $\mathfrak{g}$ 에 대해서는, $Y_\hbar(\mathfrak{g})$ 와 $U_q(L\mathfrak{g})$ 의 표현 간에 동치가 성립하며, 이는 $\mathfrak{g}$ 와 $U_q\mathfrak{g}$ 에 대한 제약이 적분 가능하고 범주 $\mathcal{O}$ 에 속함을 뜻한다.
• 이 구성은 $q$-특성과 호환되며, 나카지마 퀼러 다양체와 기하학적 표현론을 사용한 이전 결과들(특히 ADE 유형)을 일반화한다.
• 양안 대수의 가환 필드에서 유도된 가환 차분 방정식의 단일화는 두 양자군의 표현 이론 간의 동치를 뒷받침하는 동역학적 메커니즘을 제공한다.