전역 Hodge z‑아디크 곡선과 G‑번들의 기하학

초록

함수체 위의 전역 Fargues‑Fontaine 곡선을 정의하고, 그 위의 G‑번들 모듈리 Bun₍G,F₎를 구축한다. Bun₍G,F₎는 전역 Kottwitz 집합 B(F,G)의 기하학적 구현이며, Igusa 스택·shtuka·Langlands 대응을 새로운 범주적 형태로 재구성한다. 마지막으로 G가 토러스일 때 전역 Langlands 추측을 증명하고, sousperfectoid 공간에 대한 GAGA 정리를 제시한다.

상세 분석

이 논문은 기존의 로컬 Fargues‑Fontaine 곡선 X_{F_v,K}를 함수체 F의 전역 버전으로 확장한다는 점에서 혁신적이다. 저자들은 먼저 전역 곡선 자체를 직접 정의하기 어려운 두 가지 장애—Spec F와 Spa K의 곱을 어떻게 해석할 것인가, 그리고 Frobenius 작용이 자유·불연속이 아니게 되는 문제—를 회피한다. 대신, 기본 곡선 C (F_q 위의 매끄러운 연결 곡선) 위의 모든 조밀한 열린 부분 U에 대해 U와 Spa K의 곱을 adic 공간으로 해석하고, 이를 역극한으로 묶어 전역 G‑번들 모듈리 Bun_{G,F}를 정의한다. 이 정의는 “Bun_{G,U}을 U에 대해 직접 정의하고, lim_U Bun_{G,U}을 취한다”는 직관적인 접근을 취한다는 점에서 자연스럽다.

Theorem A는 Bun_{G,U}가 작은 Artin v‑스택이며, ℓ‑adic 계수를 갖는 쌍대 복합이 상수 ℓ‑adic 전위와 동형임을 보여준다. 이는 로컬 상황에서 Fargues‑Scholze와 Hamann‑Imai가 증명한 결과를 전역으로 옮긴 것으로, 전역 곡선 위의 번들 이론이 충분히 좋은 기하학적 성질을 가짐을 보장한다.

Theorem B와 C는 Bun_{G,F}가 전역 Kottwitz 집합 B(F,G)의 기하학적 구현임을 정확히 기술한다. 특히 B(F,G)₍basic₎와 내부 꼬임 G_b의 클래스 스택 */G_b(F)와의 동형을 통해, 전역 Igusa 스택이 어떻게 기본 원소와 연결되는지를 설명한다. 이때 |Bun_{G,F}|와 B(F,G) 사이에 직접적인 전단사(bijection)가 존재하지 않을 가능성을 제시하고, 이는 Igusa 스택이 비기본 원소에 대해 양의 차원을 가질 수 있기 때문이다.

Theorem D는 전역 shtuka 모듈리 Sh_{I,G,V}와 Bun_{G,F} 사이의 카르테시안 사각형을 구축한다. 여기서 Beauville‑Laszlo 균일화와 Hodge‑Tate 지도 π_{HT}가 핵심 역할을 하며, 전역 Igusa 스택이 shtuka 이론과 어떻게 맞물리는지를 보여준다. 이 결과는 Hartl‑Viehmann이 연구한 함수체 버전의 Rapoport‑Zink 공간과도 일맥상통한다.

Theorem E는 Hecke 연산자를 이용해 전역 shtuka의 무한 레벨 상호작용을 Bun_{G,F}의 파생 범주 D(Bun_{G,F},Λ) 위에서 기술한다. 향후 예정된 Étale‑Gaitsgory‑Genestier‑Lafforgue의 작업을 가정하면, π_{∞}^{Z,!}S_V와 Hecke 연산자의 복합이 동형임을 보이며, 이는 전역 Langlands 대응을 범주적 수준에서 재구성하는 핵심 단계다.

Conjecture F는 전역 Langlands 대응을 “모든 b∈B(F,G) 에 대한 자동형식”을 동시에 다루는 형태로 제시한다. 여기서는 로컬 Fargues‑Scholze의 Lψ 전이와 전역 Galois 스택 LS_{bG,F} 사이의 동형을 가정하고, loc_Z!Λ가 LS_{bG,U}의 ω‑전위와 대응한다는 구상을 제시한다. 이 추측은 기존의 Arinkin‑Gaitsgory‑Kazhdan‑Raskin‑Rozenblyum‑Varshavsky와 Zhu의 전역 Langlands 예측을 포괄한다.

Theorem G는 G가 토러스(비분할 가능)일 때 Conjecture F를 증명한다. 여기서는 Langlands가 토러스에 대해 제시한 고전적인 클래스 필드 이론을 활용해 LS_{L T,U}를 명시적으로 계산하고, 이를 통해 전역 자동형식과 Galois 표현 사이의 동형을 직접 구축한다.

마지막으로 Theorem H(Appendix A)는 sousperfectoid 공간 위의 매끄러운 적당 스키마 X에 대해 벡터 번들의 해석동형성을 확립한다. 이는 전역 곡선 위의 번들을 알제브라적·아날리틱하게 연결하는 데 필수적인 GAGA 정리이며, 독립적인 증명이 최근 Wang에 의해 발표된 바 있다. 이 정리를 이용해 Bun_{G,F}의 F_q‑점과 전역 Kottwitz 집합 사이의 정확한 대응을 얻는다.

전반적으로 이 논문은 전역 함수체 위의 Fargues‑Fontaine 곡선 이론을 완전히 구축하고, 이를 통해 전역 Langlands 프로그램을 새로운 범주적 관점에서 재정립한다는 점에서 현대 산술기하학에 중요한 이정표가 된다.