[논문 리뷰] Categorification of integrable representations of quantum groups

Hao Zheng|arXiv (Cornell University)|2008. 03. 26.

Algebraic structures and combinatorial models참고 문헌 34인용 수 11

한 줄 요약

이 논문은 대칭 양자 카츠-무디 대수의 최고원소 정수 표현과 그들의 텐서곱에 대한 분류를, 퀼러 다양체 위의 미세국소 펄스비어 층을 이용하여 구현한다. 이는 루스지의 균일 기저를 기하학적으로 실현하고, 분류화된 아벨 범주에서 불변 기저 벡터와 불가분 프로젝티브가 대응하는 방식으로 새로운 양의 성질을 확립한다.

ABSTRACT

We categorify the highest weight integrable representations and their tensor products of a symmetric quantum Kac-Moody algebra. As byproducts, we obtain a geometric realization of Lusztig's canonical bases of these representations as well as a new positivity result. The main ingredient in the underlying geometric construction is a class of micro-local perverse sheaves on quiver varieties.

연구 동기 및 목표

• 대칭 양자 카츠-무디 대수의 최고원소 정수 표현에 대한 기하학적 분류화를 제공한다.
• 어떤 아벨 범주 내의 불가분 프로젝티브 대상의 동치류로서 루스지의 균일 기저를 실현한다.
• 분류화 프레임워크를 통해 균일 기저에 대한 새로운 양의 성질을 확립한다.
• representaion 이론을 캐릭터라이즈하는 퀸러 다양체 위의 미세국소 펄스비어 층의 삼각 범주를 구축한다.
• 그로텐디에크 군이 Q(q) 위에서 표현을 복원하는 범주 위에서 양자군 작용을 정확한 함자로 올린다.

제안 방법

• 대칭 양자 카츠-무디 대수에 관련된 퀸러 다양체 위의 미세국소 펄스비어 층의 삼각 범주 D 를 구성한다.
• D 위에 정의된 정확한 내부함자 E_i^{(n)}, F_i^{(n)}, K_i^± 를 정의하여 양자군 생성자들을 분류화한다.
• 이 함자들 사이의 함자 동형을 확립하여 양자군 U의 정의관계를 분류화한다.
• 최고원소 모듈러스의 텐서곱에 대응하는 D 의 전체 부분범주 Q_ω 를 추출한다.
• 특정 대수 A_ω^• 에 대한 모듈러스의 아벨 범주 A_ω^•-mof 를 정의하고, 그 그로텐디에크 군이 표현 Λ(ω) 와 동형임을 보인다.
• 베르디에르 대칭과 Ext-함자를 이용하여 D 내의 단순 펄스비어 층을 A_ω^•-mof 내의 불가분 프로젝티브 모듈러스와 연결한다.

실험 결과

연구 질문

• RQ1 대칭 양자 카츠-무디 대수의 최고원소 정수 표현은 기하학적 층이론적 방법으로 분류화될 수 있는가?
• RQ2 양자군 표현의 분류화를 통해 루스지의 균일 기저는 어떻게 기하학적으로 실현될 수 있는가?
• RQ3 quil러 다양체 위의 미세국소 펄스비어 층은 양자군 표현의 분류화를 구성하는 데 어떤 역할을 하는가?
• RQ4 이러한 분류화 프레임워크로부터 균일 기저에 대한 양의 성질을 도출할 수 있는가?
• RQ5 양자군 생성자와 그들의 관계는 어떻게 기하학적으로 정의된 범주 위의 정확한 함자로 올라갈 수 있는가?

주요 결과

• 아벨 범주 A_ω^•-mof 의 그로텐디에크 군을 Q(q) 와 텐서곱한 것은 표현 Λ(ω) 와 동형인 U-모듈러스 구조를 지닌다.
• A_ω^•-mof 내의 불가분 프로젝티브 대상들은 정확히 Λ(ω) 의 균일 기저 벡터에 대응한다.
• 분류화는 이전의 코탄제인 범주를 일반화하는 방식으로 퀸러 다양체 위의 미세국소 펄스비어 층을 통해 실현된다.
• 새로운 양의 성질을 확보한다: 균일 기저의 구조 상수는 분류화된 설정에서 음이 아닌 정수이다.
• 함자 Ext^•_D(L_ω,ν, −) 는 부분범주 Q_ω 와 범주 A_ω^•-mof 사이의 동치를 유도하며, 이로 인해 U-모듈러스 동형이 유도된다.
• 그로텐디에크 군 위에서 양자군 생성자의 작용은 함자 E_i^{(n)•}, F_i^{(n)•}, K_i^{±•} 와의 텐서곱을 통해 실현된다.