[논문 리뷰] Cohomology for quantum groups via the geometry of the nullcone

Christopher P. Bendel, Daniel K. Nakano외 2명|arXiv (Cornell University)|2011. 02. 17.

Algebraic structures and combinatorial models참고 문헌 62인용 수 33

한 줄 요약

이 논문은 복소수 단순 리 대수 $\mathfrak{g}$ 에 대해 $\ell$-번째 단위근에서 정의된 소작소 양자군 $u_\zeta$ 에 대해 $\operatorname{H}^\bullet(u_\zeta, \mathbb{C})$ 의 코homology 대수를 계산한다. 이는 리 대수 $\mathfrak{g}$ 의 영점군 $\mathcal{N}(\mathfrak{g})$ 에 대한 기하적 방법을 사용한다. 이 논문은 $\operatorname{H}^{2\bullet}(u_\zeta, \mathbb{C})$ 가 $\mathcal{N}(\mathfrak{g})$ 의 닫힌 부분다양체 $\mathcal{N}(\Phi_0) \subset \mathcal{N}(\mathfrak{g})$ 의 좌표환과 동형임을 보이고, 홀수 차수 코homology 는 0임을 보여, 이전의 $\ell > h$ 경우를 초월한 결과를 확장한다.

ABSTRACT

Let $ζ$ be a complex $\ell$th root of unity for an odd integer $\ell>1$. For any complex simple Lie algebra $\mathfrak g$, let $u_ζ=u_ζ({\mathfrak g})$ be the associated "small" quantum enveloping algebra. In general, little is known about the representation theory of quantum groups (resp., algebraic groups) when $l$ (resp., $p$) is smaller than the Coxeter number $h$ of the underlying root system. For example, Lusztig's conjecture concerning the characters of the rational irreducible $G$-modules stipulates that $p \geq h$. The main result in this paper provides a surprisingly uniform answer for the cohomology algebra $\opH^\bullet(u_ζ,{\mathbb C})$ of the small quantum group. When $\ell>h$, this cohomology algebra has been calculated by Ginzburg and Kumar \cite{GK}. Our result requires powerful tools from complex geometry and a detailed knowledge of the geometry of the nullcone of $\mathfrak g$. In this way, the methods point out difficulties present in obtaining similar results for the restricted enveloping algebra $u$ in small characteristics, though they do provide some clarification of known results there also. Finally, we establish that if $M$ is a finite dimensional $u_ζ$-module, then $\opH^\bullet(u_ζ,M)$ is a finitely generated $\opH^\bullet(u_ζ,\mathbb C)$-module, and we obtain new results on the theory of support varieties for $u_ζ$.

연구 동기 및 목표

• 소작소 양자군 $u_\zeta$ 에 대해 $\ell \leq h$ 인 경우 $\operatorname{H}^\bullet(u_\zeta, \mathbb{C})$ 의 코homology 대수를 계산하여, 기존의 $\ell > h$ 경우를 초월한다.
• 리 대수 $\mathfrak{g}$ 의 영점군 $\mathcal{N}(\mathfrak{g})$ 를 이용하여 코homology 링의 기하적 기술을 확립하며, 양의 특성에서의 제약된 영점군과 유사하게 기술한다.
• $\operatorname{H}^\bullet(u_\zeta, M)$ 이 임의의 유한차원 $u_\zeta$-모듈 $M$ 에 대해 $\operatorname{H}^\bullet(u_\zeta, \mathbb{C})$ 위에서 유한생성임을 증명하여, 지지다양체 이론을 가능하게 한다.
• 복소기하학과 궤도 닫힘의 역할을 명확히 하여, 양의 특성 설정과의 차이점을 부각한다.

제안 방법

• 특히 Grauert-Riemenschneider 정리를 사용하여 특이점의 해소를 통한 양자군의 코homology 분석을 위한 복소대수기하학을 활용한다.
• $\ell \leq h$ 경우에 대해 기하학적 모델로 코호몰로지 링을 나타내는 닫힌 부분다양체 $\mathcal{N}(\Phi_0) \subset \mathcal{N}(\mathfrak{g})$ 를 구성한다.
• 특수한 부분대수와 양자군 표현이론 기법을 적용하여, 코호몰로지 모듈에서 스텐베르크 모듈의 중복도를 분석한다.
• 영점군 $\mathcal{N}(\mathfrak{g})$ 내 궤도 닫힘의 정규성으로 인해 코호몰로지 군이 해소 위의 선다발의 전역 절단과 대응됨을 보장한다.
• $\operatorname{H}^{2\bullet+1}(u_\zeta, \mathbb{C}) = 0$ 를 핵심적인 소멸 결과로 사용하여 코호몰로지의 구조를 단순화한다.
• Lusztig 양자군 $U_\zeta$ 에서 소작소 양자군 $u_\zeta$ 로의 기저변환에 의존하며, $u_\zeta$ 를 $\mathbb{C}$ 위의 유한차원 호프 대수로 간주한다.

실험 결과

연구 질문

• RQ1 $\ell \leq h$ 인 경우 $\operatorname{H}^\bullet(u_\zeta, \mathbb{C})$ 의 구조는 무엇이며, 이는 기존의 $\ell > h$ 경우를 초월하는가?
• RQ2 영점군 $\mathcal{N}(\mathfrak{g})$ 의 기하학은 소작소 차수 또는 작은 $\ell$ 인 경우에 $u_\zeta$ 의 코호몰로지를 어떻게 묘사할 수 있는가?
• RQ3 유한차원 $u_\zeta$-모듈 $M$ 에 대해 코호몰로지 군 $\operatorname{H}^\bullet(u_\zeta, M)$ 이 $\operatorname{H}^\bullet(u_\zeta, \mathbb{C})$ 위에서 유한생성되는 정도는 어느 정도인가?
• RQ4 영특성 0에서 사용된 방법들은 아직 해결되지 않은 영특성 $p$ 에서의 코호몰로지 문제를 밝힐 수 있는가?
• RQ5 궤도 닫힘과 그 정규화는 양자군의 코호몰로지 계산에서 어떤 역할을 하는가?

주요 결과

• 소작소 양자군 $u_\zeta$ 의 홀수 차수 코호몰로지가 소멸한다: $\operatorname{H}^{2\bullet+1}(u_\zeta, \mathbb{C}) = 0$, 이는 코호몰로지 링이 순수하게 짝수 차수의 구조로 단순화됨을 의미한다.
• 짝수 차수 코호몰로지 $\operatorname{H}^{2\bullet}(u_\zeta, \mathbb{C})$ 는 $\mathcal{N}(\mathfrak{g})$ 의 닫힌 부분다양체 $\mathcal{N}(\Phi_0) \subset \mathcal{N}(\mathfrak{g})$ 의 좌표환 $\mathbb{C}[\mathcal{N}(\Phi_0)]$ 과 동형이며, 루트 체계에서 명시적으로 구성된다.
• 코호몰로지 대수 $R = \operatorname{H}^\bullet(u_\zeta, \mathbb{C})$ 는 $\mathbb{C}$-대수로서 유한생성임을 확인하여, 향후 표현론적 응용을 위한 기본 성질을 확인한다.
• 임의의 유한차원 $u_\zeta$-모듈 $M$ 에 대해 코호몰로지 $\operatorname{H}^\bullet(u_\zeta, M)$ 이 $R$ 위에서 유한생성임을 보여, 강력한 지지다양체 이론을 가능하게 한다.
• 결과는 영특성 $p$ 에서의 방법을 양자군으로 확장하는 데서의 한계를 명확히 하며, $\ell \leq h$ 경우에 대해 기하학적 통찰을 제공한다.
• 이 논문은 $\mathcal{N}(\Phi_0)$ 가 정규이고 $G$-궤도의 닫힘으로서 나타남을 확립하여, 코호몰로지와 영점군 내 궤도 기하학을 연결한다.