[논문 리뷰] Category O for quantum groups

Henning Haahr Andersen, Volodymyr Mazorchuk|arXiv (Cornell University)|2011. 05. 27.

Algebraic structures and combinatorial models참고 문헌 28인용 수 7

한 줄 요약

이 논문은 근의 일차원에서의 양자군에 대한 BGG 범주 𝒪의 구조를 확립하며, 단순, 프로젝티브, 기울임 모듈이 양자 프로베누스 전개와 근의 일차원 범주에서 온 유한차원 모듈의 텐서곱 분해를 갖는다는 것을 증명한다. 핵심 기여는 카즈단-루스티그 다항식을 통한 기약 및 기울임 모듈의 특성의 완전한 결정으로, 고전적 범주 𝒪 결과를 양자 설정으로 확장하고 일반적인 경우가 고전적 범주와 동형임을 복원한다.

ABSTRACT

In this paper we study of the BGG-categories $\mathcal O_q$ associated to quantum groups. We prove that many properties of the ordinary BGG-category $\mathcal O$ for a semisimple complex Lie algebra carry over to the quantum case. Of particular interest is the case when $q$ is a complex root of unity. Here we prove a tensor decomposition for both simple modules, projective modules, and indecomposable tilting modules. Using the known Kazhdan-Lusztig conjectures for $\mathcal O$ and for finite dimensional $U_q$-modules we are able to determine all irreducible characters as well as the characters of all indecomposable tilting modules in $\mathcal O_q$. As a consequence of our study of the root of unity case we deduce that the non-root of unity case (including the generic case) behaves like $\mathcal O$.

연구 동기 및 목표

• BGG 범주 𝒪의 표현 이론을 근의 일차원에서의 양자군으로 확장하기.
• 양자 범주 𝒪q에서 기약 및 기울임 모듈의 구조를 규명하기.
• 일반적인 양자 범주 𝒪v의 조합론이 고전적 범주 𝒪int와 일치함을 입증하기.
• 범주 𝒪q가 고전적 설정으로부터 유한 길이, 프로젝티브, 인젝티브, 기울임 모듈 등의 핵심 성질을 상속받음을 증명하기.

제안 방법

• Lusztig의 양자군 Uv의 A형식을 사용하고 v를 q ∈ ℂ\{0}로 전문화시켜, 양자군에 대한 범주 𝒪q를 정의한다.
• 𝒪q의 모듈이 q-프로베누스 전개와 유한차원 범주 𝒩q의 모듈의 텐서곱으로 분해됨을 증명한다.
• 유한차원 Uq-모듈에 대한 알려진 카즈단-루스티그 추측을 적용하여, 𝒪q의 기약 및 기울임 모듈의 특성을 계산한다.
• 𝒪q가 고전적 범주 𝒪int와 동형인 전체 부분범주를 포함하며, 이를 '특수 블록'으로 식별한다.
• v=1에서의 전문화와 큰 근의 일차원에서의 전문화를 사용하여 일반 범주 𝒪v와 고전적 범주 𝒪int를 비교한다.
• 기존의 동치 및 대칭 결과(예: Ringel 자기대칭, 기울임 모듈 성질)를 활용하여 고전적 설정에서의 구조적 성질을 양자 설정으로 이전한다.

실험 결과

연구 질문

• RQ1 고전적 BGG 범주 𝒪의 표현론적 성질은 근의 일차원에서의 양자군으로 어떻게 확장되는가?
• RQ2 양자 범주 𝒪q에서 기약 및 불가분 기울임 모듈의 특성 공식은 무엇인가?
• RQ3 𝒪q의 모듈의 구조는 양자 프로베누스 전개와 유한차원 성분으로 분해될 수 있는가?
• RQ4 일반적인 양자 범주 𝒪v는 고전적 범주 𝒪int와 같은 조합론을 갖는가?
• RQ5 q가 근의 일차원일 때, 𝒪q와 고전적 범주 𝒪int 사이에 구조적 동형이 존재하는가?

주요 결과

• 범주 𝒪q는 고전적 범주 𝒪의 모든 기본 성질을 상속받으며, 유한 길이, 프로젝티브 및 인젝티브의 존재, Ringel 자기대칭이 포함된다.
• 𝒪q의 단순, 프로젝티브, 인젝티브, 기울임 모듈은 q-프로베누스 전개와 유한차원 범주 𝒩q의 모듈의 텐서곱으로 분해된다.
• 𝒪q의 모든 기약 모듈의 특성은 Lusztig가 추측한 것처럼 카즈단-루스티그 다항식을 1에서 평가하여 결정된다.
• 𝒪q의 모든 불가분 기울임 모듈의 특성은 Soergel의 아핀 카크-무디 대수에 대한 결과를 통해 완전히 결정된다.
• 일반 범주 𝒪v는 고전적 범주 𝒪int와 동일한 조각 인자 중복도와 베르마 플래그 중복도를 갖는다.
• 정수 무게에 해당하는 𝒪q의 부분범주는 고전적 범주 𝒪int와 동치이며, 이를 '특수 블록'으로 식별한다.