[논문 리뷰] Compact generation of the category of D-modules on the stack of G-bundles on a curve

Vladimir Drinfeld, Dennis Gaitsgory|arXiv (Cornell University)|2011. 12. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 18

한 줄 요약

이 논문은 특성 0인 체 위의 매끄럽고 사영인 곡선 위의 G-배럴 스택에서의 D-모듈의 DG 범주가 비준비콤팩트성에도 불구하고 컴팩트 생성임을 확립한다. 증명은 공-단절성(co-truncativeness)의 개념을 도입하고, 부분 플라그 다양체 위의 ${\mathbb{A}}^1$-작용을 통한 새로운 수축 원리에 기반하여 문제를 다룰 수 있는 경우로 단순화하며, 최종적으로 쌍대성과 극한 추론을 통해 컴팩트 생성성을 증명한다.

ABSTRACT

The goal of the paper is to show that the (derived) category of D-modules on the stack Bun_G(X) is compactly generated. Here X is a smooth complete curve, and G is a reductive group. The problem is that Bun_G(X) is not quasi-compact, so the above compact generation is not automatic. The proof is based on the following observation: Bun_G(X) can be written as a union of quasi-compact open substacks, which are "co-truncative", i.e., the j_! extension functor is defined on the entire category of D-modules.

연구 동기 및 목표

• 특성 0인 체 위의 매끄럽고 사영인 곡선에서의 G-배럴 스택 $\operatorname{Bun}_G$ 위의 D-모듈 범주 $\operatorname{D-mod}(\operatorname{Bun}_G)$가 비준비콤팩트임에도 불구하고 컴팩트 생성임을 입증하는 것.
• 특히 공-단절성과 단절 가능성에 기반하여 비준비콤팩트 스택을 다룰 수 있는 파생 대수기하학의 일반적 프레임워크를 개발하는 것.
• 군 작용과 쌍대성 기법을 도입하여, 준비콤팩트 성질이 없는 경우에도 D-모듈 이론을 확장하는 데 기여하는 새로운 기법을 제시하는 것.
• 기하학적 론스랜드 프로그램 및 관련 분야의 후속 응용을 가능하게 하는 기초 결과를 제공하는 것.

제안 방법

• 열린 부분스택 $j: U \hookrightarrow \operatorname{Bun}_G$에 대해 공-단절성의 개념을 도입하여, $\operatorname{D-mod}(U)$ 전체에서 $j_!$ 함자를 존재하게 보장한다.
• Harder-Narasimhan-Shatz 분해를 활용하여 $\operatorname{Bun}_G$를 $P$-가능집합과 환원 이론을 통해 분석 가능한 스트라타로 분해한다.
• $\operatorname{Bun}_{P^-}$ 위의 ${\mathbb{A}}^1$-작용을 통한 스택 수축 원리를 적용하여 스트라타를 수축하고, 문제를 컴팩트 생성성이 검증 가능한 경우로 단순화한다.
• 쌍대성과 인도완성 기법을 활용하여 $\operatorname{D-mod}(\operatorname{Bun}_G)$를 준비콤팩트 부분스택 위의 범주들의 극한과 연결하며, 코herent D-모듈의 범주의 쌍대를 활용한다.
• 주로성 D-모듈의 이론을 위해 $\operatorname{D-mod}({\mathbb{A}}^1)_\mu$ 내의 아이드엠파트 대수를 활용하여 주요 정리의 핵심 동치관계를 확립한다.
• 리만-힐베르트 대응의 변형과 무한 대각선 블록($I^{-\infty,0}$)의 구조를 이용하여 주로성 D-모듈을 분석한다.

실험 결과

연구 질문

• RQ1 비준비콤팩트성에도 불구하고 $\operatorname{D-mod}(\operatorname{Bun}_G)$의 DG 범주는 컴팩트 생성될 수 있는가?
• RQ2 $\operatorname{Bun}_G$의 열린 부분스택에 대해 $j_!$ 함자가 전체 $\operatorname{D-mod}(U)$에 존재하기 위한 조건은 무엇인가?
• RQ3 ${\mathbb{A}}^1$-작용을 어떻게 활용하여 $\operatorname{Bun}_G$의 스트라타를 수축하고 컴팩트 생성성을 증명할 수 있는가?
• RQ4 하나의 하위스택 성질로부터 컴팩트 생성성을 유도할 수 있는 쌍대성 이론적 프레임워크는 존재하는가?
• RQ5 $P$-가능집합과 환원 이론을 활용하여 귀납법에 적합한 $\operatorname{Bun}_G$의 필터링을 구성할 수 있는가?

주요 결과

• $\operatorname{D-mod}(\operatorname{Bun}_G)$ 범주는 컴팩트 생성되며, 이는 기하학적 표현론에서 오랫동안 남아있던 기본 문제를 해결한다.
• $\operatorname{Bun}_G$는 컴팩트 생성 가능한 준비콤팩트 열린 부분스택들의 필터링을 갖는다.
• $\operatorname{Bun}_{P^-}$ 위의 ${\mathbb{A}}^1$-작용을 통한 수축 원리는 컴팩트 생성 문제를 더 단순하고 분석에 적합한 경우로 단순화시킨다.
• $\operatorname{D-mod}(\operatorname{Bun}_G)$의 쌍대는 컴팩트 생성 가능한 부분스택 $U$에 대한 $\operatorname{D-mod}(U)$의 쌍대의 극한과 일치한다.
• $\operatorname{D-mod}({\mathbb{A}}^1)_\mu$의 주로성 범주는 단위 아이드엠파트 대수 $\underline{0}_\mu$를 지니며, 이는 주요 동치관계 증명에 필수적이다.
• 증명은 $\underline{1}_\mu \in \operatorname{D-mod}({\mathbb{G}}_m)_\mu$ 가 무한 대각선 블록 $I^{-\infty,0}$ 임을 이용하며, 이는 리만-힐베르트 대응에서 보존된다.