Iwahori Fundamental Local Equivalence

기술 요약: 이와호리 근본 국소 동등성 (Iwahori Fundamental Local Equivalence)

문제 정의
본 논문은 완전한(tame, Iwahori) 분기(ramification)가 존재하는 경우의 기하학적 랭글랜즈 대응(geometric Langlands correspondence)의 국소적 정식화를 다룬다. 미분기하적(unramified) 사례에 대한 전역적 기하 랭글랜즈 추측은 Arinkin, Beraldo, Campbell, Chen, Faergerman, Gaitsgory, Lin, Raskin, Rozenblyum의 일련의 연구를 통해 최근 확립되었으나, 고정된 점 $x_0$에서 이와호리 레벨 구조(Iwahori level structure)를 가진 번들(bundle)의 국소적 거동을 기술하기 위해서는 스펙트럴 기술(spectral description)이 필요하다. 구체적으로, 저자는 $\text{Bun}_G^I$ (고정된 점 $x_0$에서의 이와호리 레벨 구조를 가진 번들들의 스택) 상의 D-모듈의 DG 범주에 대한 스펙트럴 기술을 구축하고자 한다.

미분기하적 국소 이론은 점 $x$에서의 세 가지 근본적인 동등성, 즉 기하적 카셀만-샬리카 동등성($CS_{G,x}$), 기하적 사타케 동등성($Sat_{G,x}$), 그리고 근본 국소 동등성($FLE_{G,x}$)에 의해 지배된다. 본 논문은 이 동등성들의 이와호리 분기 대응물을 구축하고, 결정적으로, 이들을 점별 동등성(pointwise equivalences)에서 **인수 분해 모듈 동등성(factorization module equivalences)**으로 업그레이드하는 것을 목표로 한다. 이를 통해 이 동등성들이 고정된 분기점 $x_0$로 점들이 "이동하거나" "충돌하는" 거동을 인코딩할 수 있게 하며, 이는 전역 랭글랜즈 함자(global Langlands functor)를 제어하는 데 필수적이다.

방법론
본 논문은 인수 분해 모듈 범주(Factorization Module Categories) 프레임워크를 채택한다. 저자는 $x_0$에서의 국소 범주들을 고립된 상태로 다루는 대신, Ran 공간 위에서 정의된 상응하는 미분기하적 인수 분해 범주의 모듈로서 취급한다.

1. 인수 분해 모듈 구조: 저자는 여섯 가지 핵심 인수 분해 모듈 범주(쌍 $(C, M)$, 여기서 $C$는 인수 분해 범주이고 $M$은 $x_0$에서의 인수 분해 $C$-모듈임)를 정의한다. 여기에는 다음이 포함된다:

   • 기하적 측면: $(Whit!(G), Whit!(Fl_G))$, $(Sph_G, Aff_G)$, 그리고 $(KL(G)_{crit}, IKL(G)_{crit})$.
   • 스펙트럴 측면: $(Rep(\check{G}), QCoh(\check{n}/\check{B}))$, $(Sph^{spec}_{\check{G}}, Aff^{spec}_{\check{G}})$, 그리고 $(IndCoh(Op^{mon-free}_{\check{G}}), IndCoh(Op^{mer}_{\check{G}} \times_{LS^{mer}_{\check{G}}} \check{n}/\check{B}))$.

2. 융합 가능성을 통한 근사 (Approximation via Fusability): 핵심적인 기술적 도구는 융합 가능성(Fusability) 개념(Bogdanova, Chen, Gaitsory의 향후 연구 [BCG26]의 맥락에서 도입됨)이다. 인수 분해 모듈 범주가 "융합 가능하다(fusable)"는 것은 특정 조합론적 조건을 통해 $x_0$에서의 파이버(fiber)로부터 재구성될 수 있음을 의미한다. 저자는 관련 범주들(예: $Whit!(Fl_G)$ 및 $Aff_G$)이 융합 가능함을 증명한다. 이 성질은 인수 분해 모듈 범주의 동등성을 증명하는 문제를 해당 범주의 $x_0$에서의 파이버 간의 동등성을 증명하는 문제로 환원할 수 있게 해준다.

3. 동등성 구축:

   • 아르키포프-베즈루카보프 (AB): Jacquet 함자를 통해 $Whit!(Fl_G)$를 준-무한(semi-infinite) 버전과 연관시키고, [CCF+24]에서 확립된 준-무한 버전의 동등성을 활용하여 구축한다.
   • 베즈루카보프 (B): 아핀 헤케 범주(affine Hecke category)에 작용하는 구형 헤케 범주(spherical Hecke category)의 작용과 이미 구축된 $AB$ 동등성을 활용하여 구축한다. 점별 동등성은 Dhillon과 Taylor [DT25]의 베티(Betti) 설정에서의 논증을 드 람(de Rham) 설정으로 적응시켜 검증된다.
   • 이와호리 근본 국소 동등성 (IFLE): $B$에 의해 매개되는 스펙트럴 범주의 기하적 범주에 대한 공작(coaction)을 사용하여 구축된다.

4. 템퍼드성 (Temperedness): $IFLE$의 점별 동등성을 증명하기 위해, 저자는 **이와호리-헤케 템퍼드성(Iwahori-Hecke Temperedness)**을 도입한다. 이 조건은 휘태커(Whittaker) 범주와의 텐서 곱이 보수적(conservative)임을 보장한다. 증명은 양측의 동등성을 더 큰 주변 범주($IndCoh(Op^{mer}_{\check{G}, x_0})$)로 임베딩하고, 이들이 동일한 본질적 상(essential image)을 공유함을 보여주는 과정을 포함한다.

주요 기여 및 결과
본 논문은 점별 국소 동등성을 $\text{FactModCat}_{x_0}$에서의 인수 분해 모듈 쌍의 동등성으로 업그레이드하는 세 가지 정리를 확립한다:

1. 아르키포프-베즈루카보프 동등성 ($AB$):
   모프리즘 오브 페어 $AB: (Whit!(G), Whit!(Fl_G)) \to (Rep(\check{G}), QCoh(\check{n}/\check{B}))$는 동등이다. 이는 고전적인 아르키포프-베즈루카보프 동등성을 기하적 사타케 동등성과 호환되는 인수 분해 설정으로 확장한다.

2. 베즈루카보프의 동등성 ($B$):
   모니로이얼 페어의 모프리즘 $B: (Sph_G, Aff_G) \to (Sph^{spec}_{\check{G}}, Aff^{spec}_{\check{G}})$는 동등이다. 이는 기하적 사타케 동등성과 호환되는 아핀 헤케 범주의 스펙트럴 기술을 제공한다.

3. 이와호리 근본 국소 동등성 ($IFLE$):
   모프리즘 오브 페어 $IFLE: (KL(G)_{crit}, IKL(G)_{crit}) \to (IndCoh(Op^{mon-free}_{\check{G}}), IndCoh(Op^{mer}_{\check{G}} \times_{LS^{mer}_{\check{G}}} \check{n}/\check{B}))$는 동등이다. 이것은 이와호리-램파이된 카즈단-루스틸(Kazhdan-Lusztig) 범주를 모노드로미 조건을 가진 특정 오퍼(opers) 스택 상의 인덕스-코히런트 층(ind-coherent sheaves)과 연결하는 이와호리-램파이된 근본 국소 동등성이다.

의의
본 논문은 이와호리 분기 $L^I_G$를 연구하기 위한 필요한 국소적 재료를 제공한다는 점에서 의의를 갖는다. 미분기하적 국소 동등성들($CS, Sat, FLE$)이 전역 미분기하적 추측의 증명에 필수적이었던 것처럼, 이 이와호리-램파이된 인수 분해 동등성들은 점들이 가족(families) 내에서 변하거나 분기점과 충돌할 때 $L^I_G$의 거동을 이해하기 위한 필수적인 도구이다.

이 연구는 "인수 분해 모듈" 프레임워크가 이동하는 점들과 고정된 이와호리 레벨 구조 사이의 상호작용을 인코딩하는 올바른 기술적 장치임을 입증한다. 이러한 동등성들을 증명함으로써, 본 논문은 미분기하적 사례의 구조를 모방하여 이와호리 분기 상황에 대한 국소적 그림을 완성하고, 전역 랭글랜즈 결과를 완전한(tamely ramified) 설정으로 확장할 수 있는 가능성을 열어준다. 결과들은 $D\text{-mod}(\text{Bun}_G^I)$의 컴팩트 생성성(compact generation, [Nam24에서 확립됨)과 템리(tame) 분기 스펙트럴 작용([Fae24]로부터)에 크게 의존한다.