[논문 리뷰] Geometrization of the local Langlands correspondence

L Fargues, Peter Scholze|arXiv (Cornell University)|2021. 02. 26.

Advanced Algebra and Geometry참고 문헌 67인용 수 40

한 줄 요약

논문은 Fargues–Fontaine 곡선 위에 기하학적 Langlands 프레임워크를 구축하고, BunG에서 l-adic sheaves를 정의하며, 기하학적 Satake 등가를 증명하고, G(E) 표현에 대한 L-parameter를 구성하며, 코호몰로지 유한성 및 스펙트럼 작용에의 응용을 제시한다.

ABSTRACT

Following the idea of [Far16], we develop the foundations of the geometric Langlands program on the Fargues--Fontaine curve. In particular, we define a category of $\ell$-adic sheaves on the stack $\mathrm{Bun}_G$ of $G$-bundles on the Fargues--Fontaine curve, prove a geometric Satake equivalence over the Fargues--Fontaine curve, and study the stack of $L$-parameters. As applications, we prove finiteness results for the cohomology of local Shimura varieties and general moduli spaces of local shtukas, and define $L$-parameters associated with irreducible smooth representations of $G(E)$, a map from the spectral Bernstein center to the Bernstein center, and the spectral action of the category of perfect complexes on the stack of $L$-parameters on the category of $\ell$-adic sheaves on $\mathrm{Bun}_G$.

연구 동기 및 목표

• Fargues–Fontaine 곡선을 통해 로컬 Langlands 대응에 대한 기하적 프로그램을 동기 부여하고 형식화한다.
• G-번들(moduli 스택 BunG)과 그것의 l-adic sheaves 유도 범주를 정의하고 연구한다.
• 이 설정에서 기하학적 Satake 등가를 확립하고 이를 이중군(G^9) 및 Hecke 연산과 연결한다.
• L-parameters의 스택을 도입하고 분석하며 G(E)의 가환 표현들에 대한 L-parameter를 구성한다.
• 로컬 Shimura 다양체 및 로컬 shtukas의 모듈 공간의 코호몰로지 유한성 및 스펙트럴 작용 프레임워크를 연구한다.

제안 방법

• Fargues–Fontaine 곡선과 그것의 다양한 현상(X_S, X_C, Div1) 및 관련 G-토소 모듈 BunG를 정의한다.
• v-스택 BunG를 구성하고 자동사상 그룹 eG_b를 가진 Bun_b(G) 하위 스택으로 층화를 설명한다.
• l-adic sheaves의 도유 범주 D(BunG, Q_l)을 개발하고 이를 D(Bun_b(G), Q_l)로의 준직교 분해로 나타낸다.
• 이 설정에서 기하학적 Satake 등가를 증명하여 모노이드 함수자 Rep bG → D(HckG, Q_l)을 얻는다.
• 전역 및 국부 Hecke 스택을 통해 Hecke 연산자를 도입하고 D(BunG, Q_l)에 Weil 군-동등 구조를 부여함을 보인다.
• L-parameters의 스택을 구성하고 excursion 연산자를 정의하여 D(BunG, Q_l)의 객체로부터 L-parameters에 접근한다.
• Perf(Coh(Stacks of L-parameters))의 스펙트럴 작용이 D(BunG, Q_l)에 작용하는 방식과 계수 변형(유리/적분)을 논의한다.

실험 결과

연구 질문

• RQ1 비아지 않는 비아리키필드(nonarchimedean)에서 Fargues–Fontaine 곡선을 사용하여 로컬 Langlands 대응을 기하학화하는 방법은 무엇인가?
• RQ2 Fargues–Fontaine 곡선상의 G-번들이 G(E)의 표현 및 Hecke 연산을 통해 L-parameter와 어떻게 연결되는가?
• RQ3 Fargues–Fontaine 설정에서 기하학적 Satake 등가를 확립하여 Langlands 이중군을 자연스럽게 되찾을 수 있는가?
• RQ4 로컬 Shimura 다양체 및 shtukas 모듈 공간의 코호몰로지 유한성 및 구조적 속성(예: 층, Bernstein 중심 등)을 어떻게 도출할 수 있는가?
• RQ5 스펙트럴 작용 프레임워크가 L-parameters, Hecke 작용, G(E)의 표현 간의 상호 작용을 어떻게 조직하는가?

주요 결과

• BunG 위의 l-adic sheaves 범주가 정의되고 Fargues–Fontaine 곡선 위에서 기하학적 Satake 등가가 확립된다.
• L-parameters의 스택이 도입되고 그 특이점과 거친 모듈 공간이 분석된다.
• 로컬 Shimura 다양체 및 로컬 shtukas의 모듈 공간에 대한 코호몰로지 유한성 결과가 얻어진다.
• L-parameters가 G(E)의 가소성 있는 irreducible 표현에 대응되고 스펙트럴 작용이 형식화된다.
• 스펙트럴 Bernstein 중심에서 Bernstein 중심으로 가는 자연스러운 사상을 정의한다.
• Excursion 연산자를 개발하여 D(BunG)의 객체로부터 L-parameters에 접근한다.