$\mathrm{D}-\mathrm{mod}(\mathrm{Bun}_G^\mathrm{I})$ is Compactly Generated

기술적 요약: $D\text{-mod}(\text{Bun}^I_G)$는 컴팩트 생성(Compactly Generated)된다

문제 정의
본 논문은 D-모듈의 DG 카테리(DG category)인 $D\text{-mod}(\text{Bun}^I_G)$가 컴팩트 생성되는지에 대한 문제를 다룬다. 여기서 $\text{Bun}^I_G$는 고정된 점 $x \in X$에서 이와호리 레벨 구조(Iwahori level structure)를 갖는 매끄러운 사영 곡선 $X$ 상의 주 $G$-번들(principal $G$-bundles)의 대수적 스택(algebraic stack)이다.

이 문제는 무정의(unramified) 기하학적 랭글랜즈 프로그램의 자연스러운 일반화로서 제기되었다. 무정의 사례에서, 드린펠드(Drinfeld)와 가이츠고리(Gaitsory)는 [DG15]에서 $D\text{-mod}(\text{Bun}_G)$가 컴팩트 생성됨을 증명하였다. 이 성질은 $D\text{-mod}(\text{Bun}_G)$와 로컬 시스템 스택 상의 ind-코히어런트 층(ind-coherent sheaves) 사이의 동치 관계를 상정하는 기하학적 랭글ends 추측의 필수 조건이다. 무정의 사례는 해결되었으나, 이와호리 레벨 구조(타이트한 분기/tame ramification을 나타냄)를 가진 램피파이드(ramified) 사례의 컴팩트 생성 여부는 미해결 과제로 남아 있었다.

방법론
본 논문은 비-퀴지컴팩트(non-quasicompact) 스택 상의 D-모듈의 컴팩트 생성을 증명하기 위해 드린펠드와 가이츠고리가 확립한 프레임워크를 채택한다. 핵심 전략은 스택 $\text{Bun}^I_G$가 **절단 가능(truncatable)**함을 보이는 것이다. 스택이 절단 가능하다는 것은 해당 스택이 코-절단 가능한(co-truncative) 퀴지컴팩트 오픈 서브스택들의 코파이널 시스템(cofinal system)으로 덮일 수 있음을 의미한다.

방법론은 다음 단계들을 통해 진행된다:

1. 코-절단 가능성으로의 환원: $\text{Bun}^I_G$는 국소적으로 QCA(quasicompact with affine automorphism groups)이지만 퀴지컴팩트하지 않으므로, 저자는 이를 퀴지컴팩트 오픈 서브스택 $\text{Bun}^I_{G, (\leq \theta)}$들의 합집합으로 표현하고자 한다. 목표는 충분히 큰 $\theta$에 대하여, 이 서브스택들의 여집합이 **절단 가능(truncative)**함을 보이는 것이다.
2. 층화(Stratification): 저자는 무정의 사례에서 사용된 하더-나라심한(Harder-Narasimhan) 층화와 유사하게 $\text{Bun}^I_G$의 층화를 구성한다. 이는 다음을 포함한다:
   • 기저가 되는 주 $G$-번들의 하더-나라심한 타입 $\lambda$에 의한 층화.
   • 이와호리 레벨 구조($B$-reduction)와 해당 층(stratum)과 관련된 파라볼릭 리덕션($P$-reduction) 사이의 상대적 위치 $w$에 의한 추가 층화.
3. 수축 기준(Contractiveness Criterion): 오픈 서브스택들의 여집합이 코-절단 가능함을 증명하기 위해, 저자는 "수축적 서브스택(contractive substack)" 기준을 활용한다. 서브스택이 수축적이라는 것은 특정 기하학적 조건(매끄러움, 전사성, 특정 도식에서의 개 오픈 임베딩)을 만족하면서, 해당 서브스택을 하나의 섹션으로 수축시키는 $\mathbb{A}^1$-작용을 가짐을 의미한다.
4. 전역 생성 추정(Global Generation Estimates): 특정 벡터 번들이 전역적으로 생성됨을 증명하는 것이 핵심적인 기술적 요소이다. 구체적으로, 레비 부분군(Levi subgroup) $M$과 파라볼릭 $P$에 대하여, 저자는 번들의 차수(degree)에 대한 특정 수치적 경계 하에서 $\mathfrak{n}(P)F_M$(파라볼릭의 닐라디컬(nilradical)과 관련된 번들)이 전역적으로 생성됨을 보인다. 이는 뒤틀린 번들(twisted bundles)의 $H^1$에 대한 소멸 정리(vanishing theorems)에 의존한다.

주요 기여 및 결과

• 주 정리: 본 논문은 $D\text{-mod}(\text{Bun}^I_G)$가 컴팩트 생성됨을 증명한다 (정리 0.2.3).
• 일반화: 이 결과는 유한한 점들의 집합 $x_1, \dots, x_k \in X$에서의 이와호리 레벨 구조의 경우로 확장되어, $D\text{-mod}(\text{Bun}^{(I; x_1, \dots, x_k)}_G)$ 역시 컴팩트 생성됨을 증명한다 (정리 0.2.5).
• 경계값의 정교화: 층화가 코-절단 가능하기 위해 필요한 수치적 경계를 조정하는 중요한 기술적 기여를 수행한다.
  • 무정의 사례 [DG15]에서 페어링 $\langle \theta, \check{\alpha}_i \rangle$에 대한 경계는 $2g - 2$였다.
  • 단일 점 이와호리 사례에서, 저자는 이 경계가 $2g - 1$로 높아져야 함을 증명한다.
  • $k$-점 사례에서, 경계는 $2g - 2 + k$로 나타난다.
    이러한 변화는 관련 벡터 번들의 $k$-전역 생성(k-global generation)을 보장하여 층화 여집합의 수축성을 확보하기 위해 필수적이다.
• 토이 모델(Toy Model): 섹션 2는 $G = SL_2$인 경우에 대한 상세하고 자기 완결적인 증명을 제공하며, 일반적인 경우의 전체적인 조합론적 복잡성 없이 (파이버 스퀘어, 사상의 전사성, 수축 작용 등) 개념적 메커니즘을 설명한다.

의의

본 논문은 $D\text{-mod}(\text{Bun}^I_G)$의 컴팩트 생성을 확립하는 것이 이와호리 램피파이드 기하학적 랭글랜즈 추측을 공식화하고 증명하기 위한 필수적인 단계라고 주장한다.

그 의의는 두 가지 측면에서 중요하다:

1. 동치를 위한 전제 조건: 서론에서 언급된 바와 같이, 제안된 랭글랜즈 동치의 우변(로컬 시스템 스택 상의 ind-코히어런트 층)은 사전적으로 컴팩트 생성된다. 따라서 좌변($D\text{-mod}(\text{Bun}^I_G)$)의 컴팩트 생성은 그러한 동치가 존재하기 위한 필수 조건이다.
2. 방법론적 확장: 본 연구는 무정의 사례를 위해 드린펠드와 가이츠고리가 개발한 조합론적 및 기하학적 기법들이 램피파이드 설정에서도 성공적으로 적응될 수 있음을 보여준다. 저자는 가이츠고리와 아키포프(Arkhipov)의 미발표 스케치 [AG09]가 존재했으나, [DG15]에서 무정의 사례를 위해 수정된 조합론적 결함이 있었음을 언급하며, 본 논문이 이와호리 램피파이드 사례를 위해 그 논증을 수정하고 보완하는 데 필요한 조치를 제공한다고 밝힌다.

본 논문은 램피파이드 사례에 대한 전체 랭글랜즈 동치를 증명한다고 주장하는 것이 아니라, 그러한 프로그램이 진행되는 데 필요한 기초적인 유한성 성질(finiteness property)을 확립하는 데 목적이 있다.