[논문 리뷰] Elliptic quantum groups and their finite-dimensional representations

Sachin Gautam, Valerio Toledano-Laredo|arXiv (Cornell University)|2017. 07. 20.

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

한 줄 요약

이 논문은 타원 함수를 사용한 드린펠트 반전류를 통해 타원 양자군 $\tau_{\hbar,\tau}(\mathfrak{g})$의 유한차원 표현의 고유하고 균일한 정의를 제공하며, 이는 이전의 $\mathfrak{sl}_2$에 대한 결과를 확장하고 $\mathfrak{sl}_n$에 대한 펠더의 RLL 구성 방식을 재현한다. 주요 기여는 타원 드린펠트 다항식을 통한 기약 표현의 분류로, 이는 양성군과 양자 루프 대수의 분류와 유사하게 $|\mathbf{I}|$개의 타원 곡선 $E_\tau$의 대칭적 곱과의 일대일 대응을 수립한다.

ABSTRACT

Let g be a complex semisimple Lie algebra, tau a point in the upper half-plane, and h a complex deformation parameter such that the image of h in the elliptic curve E_tau is of infinite order. In this paper, we give an intrinsic definition of the category of finite-dimensional representations of the elliptic quantum group E_{h,tau}(g) associated to g. The definition is given in terms of Drinfeld half-currents and extends that given by Enriquez-Felder for g=sl_2. When g=sl_n, it reproduces Felder's RLL definition via the Gauss decomposition obtained by Enriquez-Felder for n=2 and by the first author for n greater than 2. We classify the irreducible representations of E_{h,tau} in terms of elliptic Drinfeld polynomials, in close analogy to the case of the Yangian Y_h(g) and quantum loop algebra U_q(Lg) of g. A crucial ingredient in the classification, which circumvents the fact that E_{h,tau} does not appear to admit Verma modules, is a functor from finite-dimensional representations of U_q(Lg) to those of E_{h,tau} which is an elliptic analogue of the monodromy functor constructed in our previous work arXiv:1310.7318. Our classification is new even for g=sl_2, and holds more generally when g is a symmetrisable Kac-Moody algebra, provided finite-dimensionality is replaced by an integrability and category O condition.

연구 동기 및 목표

• 복소수 단순 리 대수열 $\mathfrak{g}$에 관련된 타원 양자군 $\mathcal{E}_{\hbar,\tau}(\mathfrak{g})$의 유한차원 표현의 범주에 대한 고유하고 균일한 정의를 제공한다.
• 드린펠트 반전류 표현을 타원 양자군으로 확장하여, 엔리케스–펠더의 $\mathfrak{sl}_2$에 대한 작업을 일반화하고 가우스 분해를 통해 $\mathfrak{sl}_n$에 대한 펠더의 RLL 구성 방식을 복원한다.
• 타원 드린펠트 다항식의 타원적 유사체를 사용하여 $\mathcal{E}_{\hbar,\tau}(\mathfrak{g})$의 기약 유한차원 표현을 분류한다.
• 양자 루프 대수 $U_q(L\mathfrak{g})$의 표현에서 $\mathcal{E}_{\hbar,\tau}(\mathfrak{g})$의 표현으로 가는 함자 $\Theta$를 구성하여, 버마 모듈이 존재하지 않는 점을 보완하는 타원적 단일 회전 함자로 기능한다.

제안 방법

• 스펙트럼 및 동적 매개변수를 갖는 유리형 $\operatorname{End}(\mathbb{V})$-값 함수 $\Phi_i(u,\lambda)$, $\mathfrak{X}_i^\pm(u,\lambda)$를 사용하여 $\operatorname{Rep}_{\scriptscriptstyle{\operatorname{fd}}}\left(\mathcal{E}_{\hbar,\tau}(\mathfrak{g})\right)$의 범주를 정의하며, 이는 타원적 교환 관계를 만족한다.
• 표현 $\Phi_i(u,\lambda)$가 $\lambda$에 대해 독립인 부분범주 $\mathcal{L}_{\hbar,\tau}(\mathfrak{g})$로 제한하여 분류 문제를 단순화한다.
• 타원 곡선 $E_\tau = \mathbb{C}/(\mathbb{Z} + \tau\mathbb{Z})$의 대칭적 곱에 포함된 타원 드린펠트 다항식을 도입하며, 이들의 영점이 기약 표현을 매개변수화한다.
• 함자 $\Theta$를 $U_q(L\mathfrak{g})$-표현에서 $\mathcal{E}_{\hbar,\tau}(\mathfrak{g})$-표현으로 보내는 것으로 구성하며, 이는 단일 회전 함자의 타원적 유사체로 기능한다.
• $\Theta$를 사용하여 $U_q(L\mathfrak{g})$에서 알려진 분류 결과를 타원적 설정으로 옮겨 기약 표현을 분류한다.
• 타원 함수의 성질과 대칭 핵의 성질을 사용하여 핵심 관계를 검증하며, 이는 $\theta$-함수와 모듈라 매개변수에 대한 항등식으로 축소된다.

실험 결과

연구 질문

• RQ1 타원 양자군의 유한차원 표현의 범주는 모든 리 타입에 대해 고유하고 균일하게 어떻게 정의될 수 있는가?
• RQ2 양성군과 양자 루프 대수의 경우와 유사하게, 타원 드린펠트 다항식의 타원적 유사체를 사용하여 타원 양자군의 기약 표현을 분류할 수 있는가?
• RQ3 표현 $\mathcal{E}_{\hbar,\tau}(\mathfrak{g})$에서 버마 모듈이 존재하지 않는 점을 어떻게 보완하여 기약 표현을 분류할 수 있는가?
• RQ4 양자 루프 대수 $U_q(L\mathfrak{g})$는 $\mathcal{E}_{\hbar,\tau}(\mathfrak{g})$의 표현을 구성하는 데 어떤 역할을 하는가? 그리고 함자 $\Theta$는 두 대수 사이의 관계를 어떻게 설명하는가?
• RQ5 가우스 분해를 통해 $\mathfrak{sl}_n$의 경우 펠더의 RLL 범주가 반전류 표현을 통해 어떻게 복원되는가? 이는 $n=2$인 경우의 이전 결과를 일반화하는가?

주요 결과

• 범주 $\mathcal{L}_{\hbar,\tau}(\mathfrak{g})$에서 기약 표현의 동형류 집합은 타원 곡선 $E_\tau$의 대칭적 곱 $SE_\tau = \bigcup_{n\geq 0} E_\tau^n / \mathfrak{S}_n$의 $|\mathbf{I}|$개 복제본과 일대일 대응되며, 이는 타원 드린펠트 다항식으로 매개변수화된다.
• 분류 결과는 양성군과 양자 루프 대수의 경우와 형식적으로 유사하며, 기약 표현 $\mathbb{V}(\mathbf{b})$는 $E_\tau$의 대칭적 곱의 $|\mathbf{I}|$-튜플에 의해 결정된다.
• 함자 $\Theta$는 $U_q(L\mathfrak{g})$-표현에서 $\mathcal{E}_{\hbar,\tau}(\mathfrak{g})$-표현으로 가는 다리 역할을 하며, 버마 모듈의 부재에도 불구하고 분류를 가능하게 한다.
• $\mathfrak{g} = \mathfrak{sl}_n$인 경우 반전류 표현은 가우스 분해를 통해 펠더의 RLL 범주를 재현하며, 이는 이전의 $n=2$인 경우의 결과를 일반화한다.
• 유한성 조건이 적당한 카크-무디 대수의 경우, 유한차원성 조건이 적합성과 범주 $\mathcal{O}$ 조건으로 대체될 때 분류 결과가 유지된다.
• 핵심 관계의 증명은 타원 함수 항등식과 대칭 핵 축소에 기반하며, $f_1'$, $f_3'$ 및 그 조합의 표현식은 $\theta$-함수와 $q$-변형에 대해 명시적으로 기술된다.