[논문 리뷰] Yangians and quantum loop algebras II. Equivalence of categories via abelian difference equations

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

Algebraic structures and combinatorial models인용 수 2

한 줄 요약

이 논문은 $ q = \exp(i\pi h) $ 이면서 $ h $ 가 무리수일 때, 유한차원 양자 루프 대수 $ U_q(L\mathfrak{g}) $ 의 표현과 양성형 대수 $ Y_h(\mathfrak{g}) $ 의 특정 부분범주 표현 사이의 등가성을, 아벨 차분 방정정식과 단형 데이터를 통해 수립한다. 이 등가는 q-특성과 호환되며, 아핀 양성형 대수와 양자 토로이드 대수를 포함한 비대칭 Kac-Moody 대수로까지 확장된다.

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 \pi 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.

연구 동기 및 목표

• 유한차원 양자 루프 대수 $ U_q(L\mathfrak{g}) $ 의 표현과 $ Y_h(\mathfrak{g}) $ 의 표현의 부분범주 사이의 범주적 등가성을 수립하기.
• 양성형 대수의 가환 필드로부터 유도된 아벨 덧셈 차분 방정식을 사용하여 이 등가성을 정의하기.
• 등가성을 비대칭 Kac-Moody 대수, 특히 아핀 양성형 대수와 양자 토로이드 대수로까지 확장하기.
• q-특성과의 호환성을 확보하고, $ \mathfrak{g} $ 와 $ U_q(\mathfrak{g}) $ 의 범주 O 내의 적분 가능 표현으로 제한하기.

제안 방법

• 로그 함수의 분지(branch)를 선택하여 $ Y_h(\mathfrak{g}) $ 표현의 부분범주를 정의하는 데 기반한다.
• 이 등가는 $ Y_h(\mathfrak{g}) $ 의 가환 필드와 관련된 아벨 덧셈 차분 방정식의 단형에 의해 지배된다.
• 이 차분 방정식의 스펙트럼 성질을 이용하여 $ Y_h(\mathfrak{g}) $ 와 $ U_q(L\mathfrak{g}) $ 의 표현 범주를 연결한다.
• 이 방법은 아핀 및 토로이드 경우를 포함한 비대칭 Kac-Moody 대수로 일반화된다.
• 등가는 적분 가능성과 $ \mathfrak{g} $ 와 $ U_q(\mathfrak{g}) $ 의 범주 O 내에서의 표현으로 유지된다.

실험 결과

연구 질문

• RQ1 무리수 $ h $ 에 대해 $ U_q(L\mathfrak{g}) $ 의 표현과 $ Y_h(\mathfrak{g}) $ 의 표현 부분범주 사이의 범주적 등가성을 어떻게 수립할 수 있는가?
• RQ2 아벨 덧셈 차분 방정식은 이러한 표현 범주 간의 등가성을 뒷받침하는 단형을 어떻게 규정하는가?
• RQ3 q-특성 체계에서 이 등가는 어떻게 행동하며, 기존의 특성 이론과 호환되는가?
• RQ4 이 등가는 유한차원 표현과 반단순 리 대수를 초월해 어느 정도까지 확장될 수 있는가?
• RQ5 $ \mathfrak{g} $ 와 $ U_q(\mathfrak{g}) $ 의 범주 O 내 적분 가능 표현과 양성형 설정에서의 대응 표현 간의 정확한 관계는 무엇인가?

주요 결과

• $ q = \exp(i\pi h) $ 이면서 $ h $ 가 무리수일 때, $ U_q(L\mathfrak{g}) $ 의 유한차원 표현과 $ Y_h(\mathfrak{g}) $ 의 표현 부분범주 사이의 등가성이, 로그 함수 분지의 선택에 의해 정의된 바에 따라 수립된다.
• 이 등가는 $ Y_h(\mathfrak{g}) $ 의 가환 필드로부터 유도된 아벨 덧셈 차분 방정식의 단형에 의해 지배된다.
• 이 구성은 q-특성 체계와 호환되어, 기존의 표현론적 불변량과 일관성을 유지한다.
• 등가는 아핀 양성형 대수와 양자 토로이드 대수를 포함한 비대칭 Kac-Moody 대수로까지 확장된다.
• 등가는 $ \mathfrak{g} $ 와 $ U_q(\mathfrak{g}) $ 의 범주 O 내 적분 가능 표현으로 제한되며, 적분 가능성 조건을 유지한다.