[논문 리뷰] Localization of modules for a semisimple Lie algebra in prime characteristic

Roman Bezrukavnikov, Ivan Mirković외 1명|ArXiv.org|2002. 05. 14.

Algebraic structures and combinatorial models참고 문헌 35인용 수 132

한 줄 요약

이 논문은 소형 양자 군 $\mathfrak{sl}(3)$의 임의의 소수 성질 $p$에서의 불변성과 프로젝티브 모듈에 대응하는 담비 층(coherent sheaves)를 스프링거 해소에서 계산한다. 유도된 카테고리 사이의 동치 $\Upsilon$ 를 사용하여, 프로베니우스 전진과 코homological 계산을 통해 층을 식별하며, 이는 불변 모듈 $L((p-2)\rho)$ 가 비자명한 사상에 의한 두 개의 외부 구조 층 사이의 콘(Cone)임을 증명하고, 프로젝티브 커버는 $\widetilde{\mathcal{N}}$ 상의 선다발 또는 확장으로 실현됨을 보여준다. 주요 기여는 $\mathfrak{sl}(3)$에 대해 이러한 층들을 완전하고 명시적으로 분류한 것이다.

ABSTRACT

We observe that on the level of derived categories, representations of the Lie algebra of a semisimple algebraic group over a field of characteristic $p> h$ (where $h$ is the Coxeter number), with a given (generalized) central character are the same as the coherent sheaves on (generalized) Springer fibers. The first step is to observe that the derived functor of global sections provides an equivalence between the derived category of $D$-modules (with no divided powers) on the flag variety and the appropriate derived category of modules over the corresponding Lie algebra. Thus the ``derived'' version of the Beilinson-Bernstein localization Theorem holds in sufficiently large positive characteristic. Next, the algebra of (``crystalline'') differential operators is an Azumaya algebra and its splittings on Springer fibers allow us to pass from D-modules to coherent sheaves. As an application we compute the rank of the Grothendieck group of the category of modules over the Lie algebra with a fixed central character.

연구 동기 및 목표

• 유도 동치 $\Upsilon$ 를 통해 $\widetilde{\mathcal{N}}^{(1)}$ 상의 불변 $U_{\hat{0}}^{0}$-모듈에 대응하는 코herent 층을 명시적으로 계산하기.
• 이러한 불변 모듈의 프로젝티브 커버를 $\widetilde{\mathcal{N}}^{(1)}$ 상의 코herent 층으로서 실현하기.
• 모든 불변 및 프로젝티브 모듈에 대해 $\Upsilon$-동치를 확인하기 위해 Ext-군을 검증하고, $\mathfrak{sl}(3)$의 경우에 대해 층 이론적 모델을 구축하기.
• 모듈 $L((p-2)\rho)$ 에 대응하는 층이 $i_*\mathcal{O}_{\mathcal{B}}$ 와 $i_*\mathcal{O}_{\mathcal{B}}(-\rho)[3]$ 사이의 비자명한 사상에 의한 콘임을 증명하기.
• 프로젝티브 커버가 선다발 또는 $\widetilde{\mathcal{N}}$ 상의 확장으로 실현됨을 보이며, $\mathcal{O}_{\widetilde{\mathcal{N}}}(\rho)$ 는 $\mathcal{O}_{\widetilde{\mathcal{N}}}$ 에 대한 $\mathcal{O}_{\widetilde{\mathcal{N}}}(\rho)$ 의 비자명한 확장임을 보여주기.

제안 방법

• 저자들은 정규화 조건 $\Upsilon(i_*\mathcal{F}) = R\Gamma(\mathcal{B}, {\rm Fr}_{\mathcal{B}}^*\mathcal{F})$ 를 만족하는 유도 동치 $\Upsilon: \mathcal{D}^b(\mathrm{Coh}_{\mathcal{B}^{(1)}}(\widetilde{\mathcal{N}}^{(1)})) \to \mathcal{D}^b(U_{\hat{0}}^{0}\text{-}{\rm Mod}^{fg})$ 를 사용한다.
• Borel-Weil-Bott 정리와 $\mathrm{S}(\mathcal{T}_{\mathcal{B}})$ 위에서의 $\mathcal{O}_{\mathcal{B}}$ 의 코즐 분해를 사용하여 $\mathcal{B}$ 상의 외부 층의 코homology 를 계산한다.
• 불변 모듈의 경우, $0 \to \Omega^1_{\mathbb{P}^2} \to \mathcal{O}_{\mathbb{P}^2}(-1)^{\oplus 3} \to \mathcal{O}_{\mathbb{P}^2} \to 0$ 의 정확한 수열을 사용하여 프로베니우스 당김의 $R\Gamma$ 를 계산한다.
• 모듈 $L((p-2)\rho)$ 는 와일 모듈 $[H^0((p-2)\rho)]^*$ 의 몫으로 식별되며, 세르 쌍대성을 사용하여 $\Upsilon(i_*\mathcal{O}_{\mathcal{B}}(-\rho)[-3]) = [H^0((p-2)\rho)]^*[-3]$ 을 도출하고, 이로 인해 콘 구성이 가능하다.
• 프로젝티브 커버의 경우, $\widetilde{\mathcal{N}}$ 상의 선다발 또는 확장으로 층을 구성한다. 예를 들어 $\mathcal{O}_{\widetilde{\mathcal{N}}}(\rho)$ 는 $H^1(\mathcal{T}_{\mathcal{B}}(-\rho))$ 에서 유래한 비자명한 확장이며, 스펙트럴 시퀀스와 코homological 계산을 통해 Ext-군의 소멸성을 검증한다.
• 유도 카테고리의 구조와 $\Upsilon$-동치를 사용하여, 프로젝티브 커버와 불변 모듈 사이의 Ext-군이 오직 올바른 차수에서만 1차원임을 확인한다.

실험 결과

연구 질문

• RQ1 소수 성질에서 $\mathfrak{sl}(3)$ 의 불변 $U_{\hat{0}}^{0}$-모듈에 대응하는 $\widetilde{\mathcal{N}}^{(1)}$ 상의 코herent 층은 무엇인가?
• RQ2 이러한 불변 모듈의 프로젝티브 커버는 $\Upsilon$-동치 하에서 어떻게 코herent 층으로 실현되는가?
• RQ3 불변 모듈 $L((p-2)\rho)$ 의 기하학적 실현은 무엇이며, 어떻게 두 개의 외부 구조 층 사이의 사상에 의한 콘으로 유도되는가?
• RQ4 sheaf-theoretic 방법을 사용하여 프로젝티브 커버와 불변 모듈 사이의 Ext-군을 어떻게 명시적으로 계산할 수 있는가?
• RQ5 $H^1(\mathcal{T}_{\mathcal{B}}(-\rho))$ 는 자명한 모듈의 프로젝티브 커버를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 불변 모듈 $L(0) = \Bbbk$ 는 $i_*\mathcal{O}_{\mathcal{B}}$ 와 대응하며, $j=1,2$ 에 대해 $L((p-3)\omega_j)$ 는 $i_*\mathcal{O}_{\mathcal{B}}(-\omega_j)[2]$ 와 대응한다. 이는 $R\Gamma(\mathcal{B}, \mathcal{O}_{\mathcal{B}}(-p\omega_j))$ 를 통해 계산된다.
• 모듈 $L((p-2)\omega_1 + \omega_2)$ 는 $i_*\pi_1^*\Omega^1_{\mathbb{P}^2}(1)[1]$ 와 대응하며, $\mathbb{P}^2$ 상의 정확한 수열에 대한 코즐 분해의 코homology 에서 기인한다.
• 불변 모듈 $L((p-2)\rho)$ 는 유일한 비자명한 사상 $i_*\mathcal{O}_{\mathcal{B}} \to i_*\mathcal{O}_{\mathcal{B}}(-\rho)[3]$ 의 콘으로 실현되며, $\dim \mathrm{Ext}^3(i_*\mathcal{O}_{\mathcal{B}}, i_*\mathcal{O}_{\mathcal{B}}(-\rho)) = 1$ 이다.
• 모듈 $L(0)$ 의 프로젝티브 커버는 $\mathcal{P} = \mathcal{O}_{\widetilde{\mathcal{N}}}(\rho)$ 로, $\mathcal{O}_{\widetilde{\mathcal{N}}}$ 에 대한 $\mathcal{O}_{\widetilde{\mathcal{N}}}(\rho)$ 의 비자명한 확장으로 실현되며, $H^1(\mathcal{T}_{\mathcal{B}}(-\rho)) \cong \Bbbk$ 에서 기인한다.
• $L((p-2)\omega_1 + \omega_2)$ 의 프로젝티브 커버는 $\mathcal{O}_{\widetilde{\mathcal{N}}}(\omega_1)$ 이며, $L(\omega_1 + (p-2)\omega_2)$ 의 프로젝티브 커버는 $\mathcal{O}_{\widetilde{\mathcal{N}}}(\omega_2)$ 로, $\widetilde{\mathcal{N}}$ 상의 선다발으로 실현된다.
• $L((p-3)\omega_1)$ 과 $L((p-3)\omega_2)$ 의 프로젝티브 커버는 각각 $p^*((\pi_2^*\Omega^1_{\mathbb{P}^2})(\omega_1 + 2\omega_2))$ 와 $p^*((\pi_1^*\Omega^1_{\mathbb{P}^2})(2\omega_1 + \omega_2))$ 로, $p: \widetilde{\mathcal{N}} \to \mathcal{B}$ 의 사영을 통해 $\mathcal{B}$ 에서 올려받은 것이다.