A conjectural construction of Arthur packets in Fargues-Scholze's categorical local Langlands correspondence

技術的要約：Fargues-Scholzeの圏論的局所ラングランズ対応におけるアーサー・パケットの推測的構成

問題設定
本論文は、FarguesとScholzeによって開発された圏論的局所ラングランズ対応（CLLC）の枠組みにおいて、アーサー・パケットを構成するという課題に取り組んでいる。古典的な局所ラングランズ対応（LLC）は、簡約な$p$進群$G(F)$の既約滑らかな表現とラングランズ・パラメータの間の全単射（または有限対一の写像）を確立しているが、非テンパー型表現を完全には説明できていない。アーサーは、ユニタリ双対を拡張するために、「アーサー・パケット」と呼ばれる、アーサー・パラメータによってパラメータ化された表現の有限集合（空でない共通部分を持つ可能性がある）を導入した。

中心となる問題は、これらのアーサー・パケットをCLLCの中で幾何学的に実現することである。CLLCは、$G$-束のモジュライ・スタック（$\text{Bun}_G$）上の滑らかなエタール層の派生圏と、ラングランズ・パラメータのモジュライ・スタック（$\text{Par}_G$）上の連接層の派生圏との間の同値性を提唱している。Farguesの予想は、$\text{Par}_G$上のスカイスクレイパー層のスペクトル作用を通じて、楕円的パラメータに対する$L$-パケットを構成するメカニズムを提供しているが、アーサー・パケット（特異なパラメータや非テンパー型表現を伴うもの）のための対応する幾何学的構成は、この圏論的な設定において、特に係数体 $\Lambda = \mathbb{Q}_\ell$ において、まだ十分に定式化されていない。

手法
本論文は、幾何学的ラングランズ・プログラム、派生代数幾何学、および$p$進群の表現論の手法を統合している。その手法は、以下の3つの論理的段階を経て進行する：

1. 枠組みの概観： 著者はCLLC（パラメータのスタック $\text{Par}_G$ と束のスタック $\text{Bun}_G$）をレビューし、ヘッケ作用素を介して $\text{Par}_G$ 上の層が $\text{Bun}_G$ 上の層に作用する「スペクトル作用」を確立する。この作用は、ウィッティカー層 $W_f$ によって媒介される。また、エクスカーション代数と幾何学的ベルンシュタイン・センターを用いた半単純パラメータの構成についても概説する。

2. 幾何学的類推（マイクロローカル幾何学）： 本論文は、微小局所幾何学を用いてアーサー・パケットを構成した、アーキメデス的なケース（$\Lambda = \mathbb{C}$）におけるCunningham, Farguesら（[CFM+22]）の研究に基づいている。その設定では、アーサー・パケットはVogan多様体の正則余接束に関連付けられている。パケット内の表現は、これらの余接束上の平衡局所系に対応する。著者は、この余接束を $\text{Par}_G$ 上の「特異性スタック（singularity stack）」（$\text{Sing}_{\text{Par}_G}$）と同一視することにより、これを$p$進の設定へと翻訳する。

3. $\mathbb{Q}_\ell$ への一般化： 本論文の核心的な技術的貢献は、$\Lambda = \mathbb{C}$ から $\Lambda = \mathbb{Q}_\ell$ への構成の一般化である。

   • Vogan多様体や余接束の代わりに、本論文は $\text{Par}_G$ の余接複体を通じて定義される特異性スタック $\text{Sing}_{\text{Par}_G/\Lambda}$ を利用する。
   • アーサー・パラメータを、$\Lambda = \mathbb{C}$ の場合は $\psi: W_F \times SL_2^D \times SL_2^A \to {}^L G$ として、あるいは $\Lambda = \mathbb{Q}_\ell$ の場合は冪零元 $N$ を含むペア $(\lambda, N)$ を通じて定義する。
   • 構成には、パラメータ空間上の層を、正則な特異性スタック上の層へと写す消滅サイクル関手（$\text{Ev}_C$）を用いる。
   • アーサー層 $A_\psi$ は、正則な特異性スタック上のスカイスクレイパー層に対する消滅サイクル関手の右随伴として定義される。

主要な貢献と結果

• アーサー層の推測的構成： 本論文は、一般的なパラメータ $\psi$（またはその微小的な対応物）に対するアーサー層 $A_\psi$ の定義を、$\mathbb{Q}_\ell$ の設定において提案している。これは、正則な特異性スタック $\text{Sing}_{\text{Par}_G}$ 上のスカイスクレイパー層を、消滅サイクル関手の随伴によって押し出すことで達成される。
• 予想 4.8： 主要な結果は予想 4.8として定式化されており、以下を述べている：
  1. 構成されたアーサー層 $A_\psi$ は完全複体（CLLCの枠組みにおけるスペクトル作用の要件）である。
  2. アーサー・パケット $\Pi_\psi$ は、$\text{Bun}_G$ 上のウィッティカー層 $W_f$ に対する $A_\psi$ のスペクトル作用によって得られる。
• 事例の統一： 本論文は、トーラスの場合、この構成が標準的な楕円的パラメータに関するFarguesの予想に帰着することを実証している。$PGL_2$ については、消滅サイクルとアーサー層を明示的に計算し、既知のアーサー・パケット（Steinberg表現を含む）を回収し、[CFM+22]で確立された幾何学的多重度行列との整合性を示している。
• 特異的支持（Singular Support）： 論文は、構成された層の完全性を論じるために、特異的支持の理論（命題 4.9）を利用し、特異性スタックの幾何学と層のホモロジー的性質を結びつけている。

意義と主張
著者は、本ノートが「本質的に新しい定理を提供するものではない」と明言している。その主要な意義は、統合と推測的定式化にある：

• マイクロローカル幾何学的なアーサー・パケットの構成（[CFM+22]において $\Lambda = \mathbb{C}$ に対して開発されたもの）を、Fargues-Scholzeの圏論的枠組み（$\Lambda = \mathbb{Q}_\ell$ に対して有効）へと接続している。
• アーサー・パケットを $\mathbb{Q}_\ell$ の設定において圏論的に構成するための、具体的（ただし推測的）なレシピを提供しており、アーサーの理論の「有理的」または「整的」なバージョンが、$\text{Par}_G$ の特異性スタックを通じてアクセス可能であることを示唆している。
• 非テンパー型、特異なケースのラングランズ対応を扱うために、派生代数幾何学（具体的には余接複体と特異性スタック）がいかに必要であるかを強調している。

本論文は、消滅サイクルの理論と特異性スタックの手法が、古典的な余接束のアプローチに代わってアーサー・パケットを圏論的に定義できることを示唆しており、それによってCLLCの範囲をテンパー型表現を超えて拡張することを目指す架け橋となっている。