[논문 리뷰] Quantum Groups, the loop Grassmannian, and the Springer resolution

Sergey Arkhipov, Roman Bezrukavnikov외 1명|ArXiv.org|2003. 04. 14.

Advanced Algebra and Geometry참고 문헌 26인용 수 4

한 줄 요약

이 논문은 홀수 단위근에서의 양자군 표현의 주 블록의 유도 범주, 스프링거 해소 위의 $G \times \mathbb{C}^*$-동차 코herent sheaf의 유도 범주, 그리고 랑글랜즈 쌍대군의 루프 그라스만يان 위의 펄스비 sheaf의 유도 범주 사이에 삼각형 동치를 수립한다. 핵심 기여는 델리ญ-랑글랑드-루스티그 동치를 분류화하여, 루프 그라스만ian 위의 교차 호몰로지로써 양자군 표현의 특성 공식을 도출하는 것이다.

ABSTRACT

We establish equivalences of derived categories of the following 3 categories: (1) Principal block of representations of the quantum at a root of 1; (2) G-equivariant coherent sheaves on the Springer resolution; (3) Perverse sheaves on the loop Grassmannian for the Langlands dual group. The equivalence (1)-(2) is an `enhancement' of the known expression for quantum group cohomology in terms of nilpotent variety, due to Ginzburg-Kumar. The equivalence (2)-(3) is a step towards resolving an old mystery surrounding the existense of two completely different realizations of the affine Hecke algebra which have played a key role in the proof of the Deligne-Langlands-Lusztig conjecture. One realization is in terms of locally constant functions on the flag manifold of a p-adic reductive group, while the other is in terms of equivariant K-theory of a complex (Steinberg) variety for the dual group. Our equivalence (2)-(3) may be viewed as a `categorification' of the isomorphism between the corresponding two geometric realizations of the fundamental polynomial representation of the affine Hecke algebra. The composite of the two equivalences above yields an equivalence between abelian categories of quantum group representations and perverse sheaves. A similar equivalence at an even root of unity can be deduced, following Lusztig program, from earlier deep results of Kazhdan-Lusztig and Kashiwara-Tanisaki. Our approach is independent of these results and is totally different (it does not rely on representation theory of Kac-Moody algebras). It also gives way to proving Humphreys' conjectures on tilting U_q(g)-modules, as will be explained in a separate paper.

연구 동기 및 목표

• 편미분 군의 플래그 다양체를 통한 유도 범주적 표현과 스티븐베르크 다양체의 $K$-이론을 통한 아핀 허브 대수의 두 기하적 실현 간의 동치를 분류화하는 것.
• 홀수 단위근에서의 양자군 주 블록의 단순 모듈에 대한 특성 공식을 새롭고 독립적인 방법으로 증명하는 것.
• 기하적 방법을 사용하여 양자군에 대한 힘프리스의 추측을 증명하는 것.
• 홀수 단위근에서의 양자군 표현의 아벨 범주와 루프 그라스만ian 위의 펄스비 sheaf의 아벨 범주 사이에 유도 동치를 수립하는 것.

제안 방법

• 홀수 단위근에서의 양자군 $U_q(\mathfrak{g})$의 유한차원 표현의 유도 범주와 스프링거 해소 $\widetilde{\mathcal{N}}$ 위의 $G \times \mathbb{C}^*$-동차 코herent sheaf의 유도 범주 사이에 유도 동치를 구성하는 것.
• 랭글랜즈 쌍대군 $G^\vee$의 루프 그라스만ian $\mathsf{Gr}$의 기하학을 이용하여 슈브버트 분할에 따라 구성된 펄스비 sheaf의 범주를 정의하는 것.
• 와키모토 sheaf와 정규 sheaf의 자기 확장들을 통해 루프 그라스만ian 위의 펄스비 sheaf 범주와 스프링거 해소 위의 동차 코herent sheaf 범주 사이의 기하학적 동치를 수립하는 것.
• $\operatorname{Ext}^\bullet_{D^b(\mathsf{Gr})}(\mathbf{1}_{\mathsf{Gr}}, \mathcal{R}) \simeq \mathbb{C}[\mathcal{N}]$의 동치를 활용하여 루프 그라스만ian의 호몰로지와 영점 원소의 닫힘을 연결하는 것.
• 스펙트럴 시퀀스와 다섯의 보조정리를 사용하여 항등원에서의 피브어 함수 간의 표준 사상이 동치임을 증명함으로써 아벨 수준에서의 동치를 확립하는 것.
• 분해 정리와 컨볼루션의 반단순성을 활용하여 $t$-구조와의 호환성을 확보하고 아벨 범주 동치를 유도하는 것.

실험 결과

연구 질문

• RQ1 두 기하적 실현(한쪽은 $p$-진 플래그 다양체를 통해, 다른 한쪽은 스티븐베르크 다양체의 $K$-이론을 통해)된 아핀 허브 대수 간의 동치를 유도 범주의 sheaf와 표현을 통해 분류화할 수 있는가?
• RQ2 루프 그라스만ian과 스프링거 해소를 이용하여 단위근에서의 양자군 표현을 기하학적으로 구성할 수 있는가?
• RQ3 주 블록의 $U_q(\mathfrak{g})$-단순 모듈에 대한 특성 공식은 루프 그라스만ian 위의 교차 호몰로지 sheaf로 표현될 수 있는가?
• RQ4 홀수 단위근에서의 양자군 표현의 유도 범주는 스프링거 해소 위의 코herent sheaf를 통해 기하학적 모델을 가질 수 있는가?
• RQ5 양자군 표현의 유도 범주와 루프 그라스만ian 위의 펄스비 sheaf의 유도 범주 사이의 동치는 아벨 범주 간의 동치로 올라갈 수 있는가?

주요 결과

• 논문은 $D_{\text{quantum}}(\mathfrak{g})$, $D^{G}_{\text{coherent}}(\widetilde{\mathcal{N}})$, $D_{\text{perverse}}(\mathsf{Gr})$ 사이에 삼각형 동치를 수립하여, 양자군 표현 이론과 기하학적 랑글랜즈 대칭을 연결한다.
• 복합 동치는 아벨 범주 간의 동치를 유도한다: $\mathsf{block}(\mathsf{U}) \simeq \mathcal{P}\!{erv}(\mathsf{Gr})$, 이는 양자군 표현의 기하학적 실현을 제공한다.
• 동치는 루스티그의 단순 $U_q(\mathfrak{g})$-모듈에 대한 특성 공식의 다중성 수식을 루프 그라스만ian 위의 교차 호몰로지 sheaf로 실현한다.
• 모든 $M$에 대해 표준 사상 $\vartheta: F_e(M) \to H^\bullet(\mathsf{Gr}, \mathcal{P}M)$ 가 동치임을 스펙트럴 시퀀스와 다섯의 보조정리를 통해 증명한다.
• 동치는 $t$-구조와 호환되며, 이는 기하학적 구성이 아벨 범주 구조를 유지하고 특성 공식을 도출함을 보장한다.
• 카즈단-루스티그 이론과 카시와라-타니사키 이론과는 독립적인 방법을 사용하여, 단위근에서의 양자군 표현 이론에 대한 새로운 기하학적 접근을 제공한다.