Courbes et fibrés vectoriels en théorie de Hodge $z$-adique globale

技術要約：グローバル・ハートル–ピンク曲線と関数体上のラングランズ対応

問題設定
本論文は、グローバル関数体 $F$ 上のグローバルなファルゲス–フォンテイン曲線（関数体設定におけるハートル–ピンク曲線としても知られる）に関する研究である。Fargues と Fontaine によって開発された局所理論は、曲線 $X_{F_v, K}$ 上の $G$-束のモジュライ・スタックを介して局所ラングランズ対応の幾何学的枠組みを提供するが、直接的なグローバルな類似物を構築しようとする試みは重大な障害に直面する。具体的には、素朴に商 $(\text{Spec } F \times \text{Spa } K)/\text{Frob}_K$ を形成しようとしても、積 $\text{Spec } F \times \text{Spa } K$ が良好なアディック空間としての解釈を欠いており、かつフロベニウス作用が自由でも全不連続でもないため、失敗する。本論文は、この「グローバル・ハートル–ピンク曲線」上の $G$-束のモジュライ・スタック $\text{Bun}_{G,F}$ を定義し、研究することを目的とし、これを用いて $G$ に関する $F$ 上のグローバル・ラングランズ予想を、カテゴリー的局所ラングランズの観点から再定式化することを目指している。

手法
著者は、曲線自体を直接定義することの困難を回避するために、降下論的なアプローチを採用している。曲線を直接構成する代わりに、本論文では、滑らかな固有部分スキーム $U \subset C$（ここで $C$ は $F$ に随伴する滑らかな固有曲線）上のモジュライ・スタック $\text{Bun}_{G,U}$ の余極限として $\text{Bun}_{G,F}$ を定義する。

1. 解析化と降下： アフィン・パーフェクトイド空間 $S$ 上の $U$ の解析化 $U^{\text{an}}_S$ 上のベクトル束の研究が、中核となる技術的ツールである。本論文は、これらの解析化上のベクトル束に関する $v$-降下を確立し、sousperfectoid 空間上の滑らかな固有スキームに関する GAGA 定理（付録 A）を証明し、代数的なベクトル束がその解析化と等価であることを示している。
2. 局所化とシュトゥカ： 中心的なメカニズムは、局所化写像 $\text{loc}_Z: \text{Bun}_{G,U} \to \prod_{z \in Z} \text{Bun}_{G,F_z}$ である（ここで $Z = C \setminus U$）。本論文は、グローバルなモジュライを局所的なモジュライ・スタックおよびグローバルなシュトゥカのモジュライに関連付けている。
3. ファイバー積予想： 本論文は、Scholze のファイバー積予想の関数体版を証明し、グローバルなシュトゥカのモジュライ、局所的なシュトゥカ、および $G$-束のモジュライを関連付けるカルテジアン正方形を確立している。これにより、グローバルなシュトゥカのコホモロジーを局所的なデータから回収することが可能となる。
4. モチーフ的層： 派生圏の層を扱うために、古典的な $\ell$ 進層ではなくモチーフ的層の理論を利用し、異なる層の理論間の比較を容易にし、派生的な設定でのヘッケ作用素を定義する。

主要な貢献と結果

• $\text{Bun}_{G,F}$ の定義と幾何学：

  • 定理 A： スタック $\text{Bun}_{G,F}$ は $\mathbb{F}_q$ 上の小さな Artin $v$-スタックである。これは $\ell$ コホモロジー的に滑らかであり、$\mathbb{F}_\ell$ 係数の双対複体は $\mathbb{F}_\ell$ と同型である。これは、局所ファルゲス–フォンテイン曲線の基礎的な結果を反映している。
  • 定理 B： グローバルな半安定ロカス $\text{Bun}^{ss}_{G,F}$ は、分類スタックの非交和 $\bigsqcup_{b \in B(F,G)_{\text{basic}}} * / G_b(F)$ に同型な開部分スタックである（ここで $B(F,G)$ はグローバル・コッツヴィッツ集合である）。これはグローバル・コッツヴィッツ集合の幾何学化を提供するが、非基本元上のファイバーが正の次元を持つため（イグサ多様体に類似）、基礎的な集合 $|\text{Bun}_{G,F}|$ と $B(F,G)$ の間の自然な全単射は一般には存在しないことが本論文で注記されている。
  • 定理 C： $\text{Bun}_{G,F}$ の $\mathbb{F}_q$ 点の同型類の集合は、グローバル・コッツヴィッツ集合 $B(F,G)$ と自然に一対一対応する。

• シュトゥカおよびイグサ・スタックとの関係：

  • 定理 D： 本論文は、グローバルなシュトゥカのモジュライ（双対群の表現によって抑えられたもの）と、局所的なシュトゥカのモジュライおよび $G$-束のモジュライの積との間のファイバー積定理を証明している。具体的には、グローバルなシュトゥカのモジュライは、関数体におけるイグサ・スタックの役割を果たす。この結果は、離れた脚（legs）を持つ従来の成果を、衝突する脚を持つケースへと一般化するものである。

• ラングランズ対応の再定式化：

  • 定理 E： 無限レベル（ある場所の集合 $Z$ に関して）におけるグローバルなシュトゥカのモジュライのコホモロジーは、局所モジュライの積の派生圏における対象 $\text{loc}_{Z,!}\Lambda$ にヘッケ作用素を適用することによって回収できる。
  • 予想 F： 本論文は、Fargues–Scholze のカテゴリー的局所ラングランズ予想が成立するという仮定の下で、対象 $\text{loc}_{Z,!}\Lambda$ が、ガロア表現の制限写像に沿った双対複体 $\omega_{LS_{\hat{G},U}}$ の押し出しに対応するというグローバル・ラングランズ予想を提案している。これは、Arinkin–Gaitsgory–Kazhdan–Raskin–Rozenblyum–Varshavsky および Zhu による予想を洗練させるものである。
  • 定理 G： $G$ がトーラス（可換）の場合、ラングスのトーラスに関する研究およびガロア表現のモジュライの明示的な記述を用いて、この予想が検証される。

意義と主張
本論文は、局所理論の成功と並行する、関数体上のグローバル・ラングランズ・プログラムのための基礎的な幾何学的枠組みを提供すると主張している。$\text{Bun}_{G,F}$ を定義し、その幾何学的性質を証明することで、著者はこのスタックが関数体におけるイグサ・スタックの役割を果たすことを確立している。主な意義は、グローバル・ラングランズ予想の再定式化にある。すなわち、自明なオートモルフィック形式とガロア表現の間の直接的な対応を求めるのではなく、グローバル・モジュライ・スタックを介して「境界理論」（局所データ）を識別することとして、グローバルな予想を捉えるべきであるという示唆である。

本論文は、可換群の場合にこの予想を検証し、任意の脚を持つグローバル・シュトゥカのモジュライに関するラングラン・ラポポート予想の一般化を証明していることを明示している。また、証明全体を通じて解析化の幾何学を制御するために必要となった、sousperfectoid 空間上の滑らかな固有スキームに関する GAGA 定理の独立した関心事についても強調している。本研究は、シュトゥカの幾何学的構造と、対応のスペクトル側の間の隔たりを埋める、ラングランズ対応の統一的なカテゴリー的理解への一歩として提示されている。