[논문 리뷰] A proof of De Concini-Kac-Procesi conjecture I. Representations of quantum groups at roots of unity and q-W algebras

Alexey Sevastyanov|arXiv (Cornell University)|2013. 03. 08.

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

한 줄 요약

이 논문은 특수한 횡단 절개 S가 해당 콘jugacy 클래스 O와 교차하는 단순 연결 대수적 군 G에서의 양자군 U_q(g)의 유한차원 기약 표현의 차원이 m^{1/2 codim S}로 나누어떨어짐을 보여줌으로써 De Concini-Kac-Procesi 추측을 증명한다. 결과적으로 U_q(g)-모듈과 S에 관련된 q-W 대수의 표현 사이에 카테고리 동치가 수립된다.

ABSTRACT

Let U_q(g) be the standard simply connected version of the Drinfeld-Jumbo quantum group at an odd m-th root of unity q. De Concini, Kac and Proicesi observed that isomorphism classes of irreducible representations of U_q(g) are parameterized by the conjugacy classes in the connected simply connected algebraic group G corresponding to the simple complex Lie algebra g. They also conjectured that the dimension of a representation corresponding to a conjugacy class O is divisible by m^{1/2 dim O}. We show that if O intersects one of special transversal slices S to the set of conjugacy classes in G defined in arXiv:0809.0205 then the dimension of every finite-dimensional irreducible representation of U_q(g) corresponding to O is divisible by m^{1/2 codim S}. In the second part of this paper arXiv:1403.4108 is shown that for every conjugacy class O in G one can find a transversal slice S such that O intersects S and dim O = codim S. This proves the De Concini-Kac-Procesi conjecture. Our result also implies an equivalence between a category of finite-dimensional U_q(g)-modules and a category of finite-dimensional representations of a q-W algebra which can be regarded as a truncation of the quantized algebra of regular functions on S.

연구 동기 및 목표

• 근의 일차원에서의 양자군 표현의 차원의 나누어떨어짐에 관한 De Concini-Kac-Procesi 추측을 증명하기.
• 횡단 절개를 통한 U_q(g)-모듈과 q-W 대수의 표현 사이의 연결을 수립하기.
• G의 모든 콘jugacy 클래스 O에 대해 O와 교차하는 횡단 절개 S가 존재하여 dim O = codim S임을 보여주기.
• O가 S와 교차할 경우, O에 대응하는 U_q(g)-기본 표현의 차원이 m^{1/2 codim S}로 나누어떨어짐을 보여주기.
• U_q(g)-모듈의 카테고리와 S에 관련된 q-W 대수의 유한차원 표현의 카테고리 사이에 카테고리 동치를 제공하기, 이를 S 위의 양자화된 정칙 함수의 절단으로 해석함.

제안 방법

• arXiv:0809.0205에서 제안된 단순 연결 대수적 군 G의 콘jugacy 클래스에 대한 특수한 횡단 절개 S를 활용한다.
• G의 콘jugacy 클래스 O와 그 횡단 절개 S와의 교차를 분석하여 계수의 차원과 표현의 차원을 연결한다.
• 기본 표현 이론 기법을 사용하여 기약 표현이 콘jugacy 클래스로 매개변수화된 U_q(g)의 홀수 m차 단위근에서의 표현 이론을 분석한다.
• 유한차원 U_q(g)-모듈과 S에 관련된 q-W 대수의 유한차원 표현 사이에 카테고리 동치를 수립한다.
• q-W 대수가 S 위의 양자화된 정칙 함수 대수의 절단으로 나타남을 이용하여 기하학적 및 대수적 구조를 연결한다.
• 근의 일차원에서의 양자군 이론과 그 표현 이론을 활용하여 절개의 계수에 기반한 차원 제약 조건을 도출한다.

실험 결과

연구 질문

• RQ1 U_q(g)의 유한차원 기약 표현의 차원이 해당 표현에 대응하는 콘jugacy 클래스 O에 대해 m^{1/2 dim O}로 나누어떨어지는가?
• RQ2 G의 모든 콘jugacy 클래스 O는 dim O = codim S를 만족하는 횡단 절개 S와 교차할 수 있는가?
• RQ3 O가 S와 교차할 경우, O에 대응하는 U_q(g)-표현의 차원이 m^{1/2 codim S}로 나누어떨어지는가?
• RQ4 유한차원 U_q(g)-모듈의 카테고리와 q-W 대수의 유한차원 표현의 카테고리 사이의 정확한 관계는 무엇인가?
• RQ5 q-W 대수는 횡단 절개 S 위의 양자화된 정칙 함수 대수와 어떻게 관련되어 있는가?

주요 결과

• 모든 콘jugacy 클래스 O에 대응하는 U_q(g)의 유한차원 기약 표현의 차원은 O가 특수한 횡단 절개 S와 교차할 경우 항상 m^{1/2 codim S}로 나누어떨어진다.
• G의 모든 콘jugacy 클래스 O에 대해 O가 교차하고 dim O = codim S를 만족하는 횡단 절개 S가 존재함을 확인하여 핵심 기하 조건을 검증한다.
• De Concini-Kac-Procesi 추측이 완전히 증명됨: 모든 이러한 표현의 차원은 m^{1/2 dim O}로 나누어떨어진다.
• U_q(g)-모듈의 카테고리와 S에 관련된 q-W 대수의 유한차원 표현의 카테고리 사이에 카테고리 동치가 수립된다.
• q-W 대수가 횡단 절개 S 위의 양자화된 정칙 함수 대수의 절단으로 실현되며, 기하학적 구조와 표현 이론이 연결된다.
• 결과적으로 근의 일차원에서의 양자군 표현의 차원 나누어떨어짐 현상에 대한 기하적 해석을 제공한다.