[논문 리뷰] Remarks on the ABG Induction Theorem

Terrell L. Hodge, Paramasamy Karuppuchamy외 1명|arXiv (Cornell University)|2016. 03. 17.

Algebraic structures and combinatorial models참고 문헌 22인용 수 6

한 줄 요약

이 논문은 루트 단위에서의 양자군의 맥락에서 ABG 귀납 정리의 완전한 증명을 제공하며, 오른쪽 유도 귀납 함수자에 의한 주어진 블록의 유계된 유도 범주와 그 보렐 부분대수에 대한 타입 1 적분 가능 모듈의 유도 범주의 부분범주 사이의 동치를 확립한다. 이 결과는 양자군의 맥락 외에도 양의 특성 p > 2h−2에서의 대수적 군으로 확장되며, 모odular 귀납 동치와 가환하는 잘라내기 함수자를 도입하고, 원래 ABG 증명의 수정 및 개선을 제공한다. 특히 유도 귀납과 삼각형 범주 논증에 대한 처리에서 개선된다.

ABSTRACT

A key result in a 2004 paper by S. Arkhipov, R. Bezrukavnikov, and V. Ginzburg compares the bounded derived category of modules for the principal block of a Lusztig quantum enveloping algebra at anroot of unity with an explicit subcategory of the bounded derived category of integrable type 1 modules for a Borel part of that algebra. Specifically, according to this Induction Theorem the right derived functor of induction yields an equivalence of triangulated categories. The authors ABG of that paper suggest a similar result holds for algebraic groups in positive characteristic p, and this paper provides a statement with proof for such a modular induction theorem. Our argument uses the philosophy of ABG as well as new ingredients. A secondary goal of this paper has been to put the original characteristic zero quantum result of ABG on firmer ground, and we provide arguments as needed to give a complete proof of that result also. Finally, using the modular result, we have been able in a separate preprint to introduce truncation functors, associated to finite weight posets, which effectively commute with the modular induction equivalence, assuming p>2h-2, with h the Coxeter number. This enables interpreting the equivalence at the level of derived categories of modules for suitable finite dimensional quasi-hereditary algebras. We expect similar results to hold in the the quantum setting.

연구 동기 및 목표

• 루트 단위에서의 양자군 설정에서 ABG 귀납 정리에 대한 완전하고 수정된, 자가 포함된 증명을 제공하는 것.
• Coxeter 수 h에 대해 p > 2h−2 조건 하에서 양성 특성 p에서 대수적 군으로 귀납 정리를 확장하는 것.
• 모odular 귀납 동치와 가환하는 유한 무게 순서집합에 관련된 잘라내기 함수자에 대한 프레임워크를 수립하는 것.
• 원래 ABG 결과의 기초적인 측면, 특히 유도 범주와 삼각형 함수자 맥락에서의 명확화 및 강화.
• 특히 무게 필터링과 유도 범주 구조에 대한 처리에서 원래 ABG 증명의 핵심 기술적 논증을 수정하고 개선하는 것, 특히 Lemma 4.1.1(ii)에 중점을 두어 개선된 호모로지 대수 기법을 사용하는 것.

제안 방법

• 오른쪽 유도 귀납 함수자 $\mbox{RInd}_{\mathbb{B}}^{\mathbb{U}}$ 를 사용하여 $D_{\mathrm{triv}}(\mathbb{B})$ 와 $D^{b}\mathrm{block}(\mathbb{U})$ 사이의 동치를 구축한다.
• 원래 ABG 작업의 철학을 따르되, 새로운 요소들을 통합하여 삼각형 범주 논증의 개선 및 이전 증명의 수정을 포함한다.
• 유한 무게 순서집합에 관련된 잘라내기 함수자를 도입하고, 조건 $p > 2h - 2$ 하에서 모odular 귀납 동치와 가환함을 보인다.
• Kempf 정리를 사용하여 무게가 주로 근본적일 경우 $\mbox{RInd}_{B}^{G}(\lambda)$ 가 일반적인 귀납 함수자와 일치함을 식별한다.
• 유도 귀납 함수자와 프로젝터를 포함하는 구분된 삼각형을 구성하여 인접 맵을 분석하고, 스칼라 곱으로 비영임을 증명한다.
• Rickard 정리들을 활용하고 애초의 문제를 해결하기 위해 부록에서 새로운 논증을 통해 확장하여, 비주로 무게의 경우에 특히 원래 ABG 증명의 문제점을 해결한다.

실험 결과

연구 질문

• RQ1 ABG 귀납 정리는 루트 단위에서의 양자군에 대해 완전한 일반성 하에 성립하는가? 그리고 완전하고 수정된 증명이 존재하는가?
• RQ2 모odular 귀납 동치는 양성 특성 p에서 대수적 군으로 확장될 수 있는가? 어떤 조건에서 성립하는가?
• RQ3 유한 무게 순서집합에 관련된 잘라내기 함수자는 모odular 귀납 동치와 가환하는가? 그리고 이는 준-헤르드라이트 대수의 유도 범주에 어떤 함의를 갖는가?
• RQ4 유도 귀납 삼각형의 인접 맵은 비영인가? 그리고 이는 유도 함수자 프레임워크 하에서 표준 인접 맵으로 식별될 수 있는가?
• RQ5 원래 ABG 증명은 어떻게 수정되고 강화될 수 있는가? 특히 무게 필터링과 유도 범주 구조에 대한 처리에서 어떻게 개선될 수 있는가?

주요 결과

• 표준 가정 하에, 즉 $\ell > h$ 이고 $\ell$ 가 홀수일 경우, 오른쪽 유도 귀납 함수자 $\mbox{RInd}_{\mathbb{B}}^{\mathbb{U}}$ 는 $D_{\mathrm{triv}}(\mathbb{B})$ 와 $D^{b}\mathrm{block}(\mathbb{U})$ 사이의 동치를 유도한다.
• 원래 논문의 Lemma 4.1.1(ii)에서 발생한 문제를 해결한 완전하고 수정된 ABG 귀납 정리의 증명이 제공된다.
• 모odular 귀납 동치는 Coxeter 수 h에 대해 $p > 2h - 2$ 조건 하에서 양성 특성 $p$ 에서의 대수적 군으로 확장된다.
• 유한 무게 순서집합에 관련된 잘라내기 함수자를 도입하고, 이들이 모odular 귀납 동치와 가환함을 보여주어 준-헤르드라이트 대수의 유도 범주 수준에서의 해석이 가능해진다.
• 유도 귀납 삼각형의 인접 맵은 스칼라 곱으로 비영임을 증명하여, 삼각형 범주 프레임워크 하에서 표준 인접 맵으로서의 역할을 확인한다.
• 논증은 Rickard 정리들을 개선하고, 유도 귀납 동치가 양자 및 모듈라 설정 양쪽 모두에서 새로운 강력한 기초를 제공한다.