On the excursion algebra

技術要約：エクスカーション代数について

問題設定
本論文は、有限体 $\mathbb{F}_q$ 上の滑らかな代数多様体 $X$ と簡約群 $G$ に付随するエクスカーション代数（$\text{Exc}(X, G)$ と表記）の構造的性質を調査するものである。この代数は、関数体のラングランズ・プログラムの文脈で V. ラフローが定義したものであり、自励関数空間に作用し、「エクスカーション演算子」によって生成される。ラフローの構成は離散的なワイル群と自励形式への作用に依存しているが、本論文では $\text{Exc}(X, G)$ を、算術的 $G$-ローカルシステムのスタック $\text{LS}^{\text{arithm}}_G(X)$ 上のグローバル関数として抽象的に研究する。主な目的は、特定の自励的な文脈から独立して、このスタックおよびその関数代数の基本的な幾何学的・代数的性質を確立すること、および「$\ell$ への独立性」現象に対処することである。

手法
著者らは、派生代数幾何学、ワイル層の理論、および圏論的な縮退（contraction）を組み合わせた手法を用いる。核心となる手法上の革新は、関連する層の圏の縮退の構成である。

1. 圏論的枠組み: 著者らは、ローカルシステムの対称モノイダル圏 $\text{QLisse}(X)$ を用いる。そして、ワイル構造を持つローカルシステムによって生成される部分圏 $\text{QLisserelev}(X)$ を導入する。
2. プロ代数群: 著者らは、等変化（equivariantization）および非等変化（de-equivariantization）の媒介として、プロ代数群 $\mathbb{Z}^{\text{alg}}$, $\mathbb{Z}^{\text{alg, wt}}$, および $\mathbb{Z}^{\text{alg, 0}}$ を定義する。これらはフロベニウス固有値の重みに関連している。
3. 縮退のメカニズム: 中心的な技術的結果（定理 2.8.2）は、関連するワイル層の圏 $\text{Shv}^{\text{relev}}(X)$ がモノイド $\mathbb{A}^1$ の標準的な作用を持つことを確立している。この作用は、圏をその「半単純な軌跡（semi-simple locus）」である $\text{Shv}^{\text{relev, 0}}(X)$（重み 0 の層に対応）へと縮退させる。
4. スタック論的適用: [AGKRRV] によるローカルシステム・スタックの関手的構成をこの縮退に適用することで、著者らは、制限されたローカルシステムのプレスタック $\text{LS}^{\text{restr, relev}}_G(X)$ をその半単純な部分スタック $\text{LS}^{\text{restr, relev, 0}}_G(X)$ へと縮退させる。
5. 算術的降下: 幾何学的フロベニウスはエクスカーション代数に対して自明に作用するため、幾何学的スタック上の縮退は、算術的スタック $\text{LS}^{\text{arithm}}_G(X)$ 上の同型へと降下する。

主要な貢献と結果

1. 半単純な軌跡への同型 (定理 3.7.2):
   本論文は、完全な算術スタック上の関数の代数から、半単純な軌跡上の関数の代数への制限写像が同型であることを証明している：
   $$\Gamma(\text{LS}^{\text{arithm}}_G(X), \mathcal{O}) \xrightarrow{\sim} \Gamma(\text{LS}^{\text{arithm, 0}}_G(X), \mathcal{O})$$
   これは、エクスカーション代数が半単純なローカルシステムによって完全に決定されることを意味する。

2. $\text{Exc}(X, G)$ の構造的性質:

   • 簡約かつ正規: $\text{Exc}(X, G)$ の各連結成分は、簡約かつ正規な古典的代数である（系 3.7.3）。
   • 明示的な記述: この代数は、$\mathcal{O}_{G'} // \text{Ad}_g(G')$ という形の代数の積である。ここで $G'$ は $G$ の簡約部分群であり、$g \in G$ は $G'$ を正規化し、$\text{Ad}_g$ は $g$ による共役作用を表す。
   • 有限性: $\text{Exc}(X, G)$ は、任意の局所ヘッケ代数 $H_x(G)$ 上の有限生成加群である（定理 4.4.2(a)）。
   • $GL_n$ における全射性: $G = GL_n$ の場合、大域的ヘッケ代数 $H_X(G)$ から $\text{Exc}(X, G)$ への写像は全射である（定理 4.4.2(b)）。

3. $\ell$ への独立性 (定理 5.1.2):
   著者らは、$\text{Exc}(X, G)$ が $\mathbb{Q}$ 上の標準的な有理構造を持つことを確立している。具体的には、任意の $\ell \neq p$ に対して $\mathbb{Q}_\ell \otimes_{\mathbb{Q}} \text{Exc}(X, G)_{\mathbb{Q}} \simeq \text{Exc}(X, G)$ となるような $\mathbb{Q}$-代数 $\text{Exc}(X, G)_{\mathbb{Q}}$ が存在する。

   • この結果は、ワイル群のプロ簡約商を、V. ドリンフェルトによる [Dr] のプロ半単純群の圏における群として定義される群と特定することに基づいている。
   • 著者らは、この有理モデル上のガロア作用の連続性を証明し、これにより $\ell$ への独立性を保証している。

4. ラフローの定義との関係:
   本論文は、彼らのスタック論的な定義と、離散的なワイル群を用いたラフローの定義との関係を明確にしている。彼らは、ラフローの代数（離散群を通じて定義される）から著者らの代数への写像が閉埋め込みであり、その像が連続的な半単純準同型の被覆（Zariski closure）に対応することを示している（命題 4.2.9）。

意義と主張
本論文は、エクスカーション代数の基礎的な研究として位置づけられており、ラングランズ・プログラムにおけるより広範な予想のための必要な幾何学的入力を提供するものである。

• ラマヌジャン・ペテルソン予想: 著者らは、$\text{Exc}(X, G)$ が簡約かつ正規であるという性質（性質 1）が、関数体上のラマヌジャン・ペテルソン予想の無分岐版を証明するための「重要な入力」であると述べている（[Ras] を引用）。
• アーサー予想: 代数が（ねじれた共役の商としての）積であるという構造的記述（性質 2）は、より野心的なプロジェクトであるアーサー予想の証明のための入力として機能する。
• $\ell$ への独立性: 有理構造の証明は、関数体上のラングランズ対応における「$\ell$ への独立性」を理解するためのステップとして提示されている。
• 応用に関する謙抑性: 著者らは、理論が任意の滑らかな多様体に対して展開されているものの、主な応用は曲線のケースであると明示している。一般の $G$ については、有理構造は $GL_n$ の場合とは異なり、ヘッケ代数によって一意に特徴付けられないことを指摘し、全射定理が存在しない状況での一般の結果を「名前としての有理性（rationality in name only）」と表現している。また、局所ラングランズの幾何学的実現化で使用されるモチーフ的手法を、大域的な曲線へとどのように拡張すべきかについては、現時点では知見がないことも明記している。

要約すれば、本論文はエクスカーション代数の厳密な幾何学的・圏論的基礎を提供し、それが古典的で、簡約かつ正規な代数であり、標準的な有理構造を持つことを証明することで、関数体ラングランズ・プログラムのさらなる進展に必要な代数的性質を孤立させている。