[論文レビュー] Weil representation and Arithmetic Fundamental Lemma

Wei Zhang|arXiv (Cornell University)|Sep 6, 2019

Advanced Algebra and Geometry参考文献 38被引用数 8

ひとこと要約

本稿は、奇素数 p と dim V ≥ p に対して、Weil表現を用いた SL2 対称性を有する部分線形化相対トレース公式を用いて、Qp 上での算術的基本的補題（AFL）を証明する。主な革新は、Weil表現から誘導される SL2 モジュラー性を活用し、AFL を直接検証可能な基本ケースに帰着させる再帰的関係を導出することにある。これにより、軌道積分と Rapoport–Zink 空間上の算術的交点数との間の基礎的リンクが確立される。

ABSTRACT

By a global approach, we prove the arithmetic fundamental lemma conjecture for unitary groups in $n$ variables over $\mathbb{Q}_p$ when $p\geq n$.

研究の動機と目的

• 奇素数 p と次元 n ≥ p に対して、相対トレース公式の手法を用いて、Qp 上での算術的基本的補題（AFL）を確立すること。これは Gan–Gross–Prasad 猜測の算術的類似への拡張を含む。
• 類似の枠組みを用いて、p-進体上での Jacquet–Rallis 基本的補題（FL）を証明すること。ここでは SL2 対称性を活用する。
• Weil表現作用を有する部分線形化相対トレース公式（RTF）を構築し、モジュラー対称性と再帰的構造を獲得すること。
• ユニタリ群設定における軌道積分と、p-分ける群の Rapoport–Zink 形式的モジュライ空間上の算術的交点数との関係を確立すること。
• 非ネーター的形式的スキームへの K 理論と交点理論の一般化を進め、証明における算術的交点理論を支えること。

提案手法

• U(V) × V および Sn × V'n 上のシュワーツ関数に SL2(A0) の Weil表現を組み込み、部分線形化相対トレース公式（RTF）を導入する。
• Weil表現を用いて核関数および分布 I(Φ) と J(Φ′) に SL2 働きを導入し、パーソン和公式を用いてそれらを SL2 不変に保つ。
• SL2 モジュラー性を活用し、RTF 内の軌道積分間の再帰的関係を導出し、複雑なケースを単純な基本ケースに還元する。
• Jacquet–Rallis 対応を介して、U(V) と GLn,F0 間の軌道積分の滑らかな転送を適用し、Weil表現が滑らかな転送と可換である（定理 A.1）ことを保証する。
• 形式的スキーム（非ネーター的極限を含む）における導来交点理論と K 理論を用いて、算術的交点数を定義および計算する。
• 基本ケース（例えば強正則半単純元の場合）を直接検証し、再帰的関係を用いた perverse 続きの原理を適用して一般ケースへ拡張する。

実験結果

リサーチクエスチョン

• RQ1 奇素数 p と dim V ≥ p に対して、相対トレース公式の枠組みを用いて、Qp 上での算術的基本的補題（AFL）を証明できるか？
• RQ2 Weil表現の SL2 対称性は、相対トレース公式の構造をどのように向上させ、帰納的証明を可能にするか？
• RQ3 ユニタリ群設定における軌道積分と Rapoport–Zink 空間上の算術的交点数との正確な関係は何か？
• RQ4 K 理論と交点理論を非ネーター的形式的スキームへどのように一般化できるか？ これにより算術的交点計算が支えられる。
• RQ5 Jacquet–Rallis 基本的補題（FL）は、同一の RTF 框組みと Weil 表現によって、結果として得られるか？

主な発見

• 奇素数 p と dim V ≥ p に対して、Qp 上での算術的基本的補題（AFL）が、強く正則な半単純元の開・稠密部分集合に対して証明された。
• 証明は、Weil表現から誘導される SL2 モジュラー性を持つ部分線形化相対トレース公式に依拠しており、軌道積分間の再帰的関係を生成する。
• Weil表現は滑らかな転送と可換であるという、重要な技術的結果（定理 A.1）が得られ、U(V) と GLn,F0 の設定における軌道積分の整合性が保証される。
• 導来交点数 Int(g) · log q が、AFL 猜測における軌道積分の微分 ∂Orb(γ, 1Sn(OF0)) に等しいことが示された。
• SL2 対称性による再帰的構造のおかげで、AFL は直接計算可能な基本ケースの検証に帰着され、証明が可能になった。
• 非ネーター的形式的スキームへの枠組みは、noetherian 近似の逆極限として K 群を定義することで拡張され、証明に用いられる算術的交点理論を支えた。