[論文レビュー] The stable trace formula for Shimura varieties of abelian type

Mark Kisin, Sug Woo Shin+1 more|arXiv (Cornell University)|Oct 11, 2021

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

ひとこと要約

本稿は、コンpactly なコホモロジー上のフロベニウス–ハイク跡を、エンデスコピック群の安定アーチャー＝セレブの跡公式の楕円的部品を用いて表現することにより、アーベル型のシュミラ多様体の安定跡公式を確立する。この結果は、ハイパースペシャルレベルを持つ素数においてラングランズおよびコットヴィッツの予想を確認し、エンデスコピック転送を介して自動形式表現によるコホモロジーのスペクトル的分解を、群および反映体にやや弱い仮定の下で与える。

ABSTRACT

We express the Frobenius-Hecke traces on the compactly supported cohomology of a Shimura variety of abelian type in terms of elliptic parts of stable Arthur-Selberg trace formulas for the endoscopic groups. This confirms predictions of Langlands and Kottwitz at primes where the level is hyperspecial.

研究の動機と目的

• アーベル型シュミラ多様体に対するラングランズ–ラポルト–τ予想の検証を目的とする。
• シュミラ多様体のコンパクトなコホモロジーとエンデスコピック群上の楕円的安定分布を結ぶ安定跡公式の確立を目的とする。
• 整数的p進ホッジ理論およびガーブ理論的点数計算を用いて、ホッジ型からアーベル型シュミラ多様体への跡公式フレームワークの拡張を目的とする。
• ハイパースペシャルレベルおよび十分大きなmの条件下で、エンデスコピック転送を介してコホモロジーの非条件的スペクトル的分解を提供することを目的とする。

提案手法

• 有限体上のシュミラ多様体の点をパラメトライズするため、ガロアのガーブとコットヴィッツパラメータを用いた点数計算の公式を開発する。
• 整数的p進ホッジ理論を用いて、クリスタリン表現とG-構造をシュミラ多様体のコホモロジーと関連付ける。
• z-拡大と中心的特徴データを用いてエンデスコピック群上に安定分布を定義し、コットヴィッツの元々の跡公式フレームワークを非単連結な導来群へ一般化する。
• 幾何的側とガーブ側の両方で、適切な準同型と特別な点の間の全単射を確立し、コホモロジー的不変量の比較を可能にする。
• ラングランズ–シェルスタッド–コットヴィッツ転送を用いて、G上の軌道積分をエンデスコピック群H1上のそれと関連付ける。
• 局所的転送とスペクトル的恒等式への還元により跡公式の安定化を証明し、コンパクトなコホモロジーに対する安定跡公式の恒等式に至る。

実験結果

リサーチクエスチョン

• RQ1 アーベル型シュミラ多様体のコンパクトなコホモロジー上のフロベニウス–ハイク跡は、エンデスコピック転送を介して自動形式L関数の形でどのように表現できるか？
• RQ2 ラングランズ–ラポルト–τ予想は、アーベル型シュミラ多様体に対してどの程度成り立ち、ガーブ理論的およびクリスタリン的手法を用いてどのように証明できるか？
• RQ3 導来群が単連結でない場合に、シュミラ多様体のコホモロジーとそのエンデスコピック群の安定跡公式との間の正確な関係は何か？
• RQ4 ハイパースペシャルレベル構造の下で、エンデスコピック群の安定跡公式の楕円的部品が、シュミラ多様体上の幾何的跡と一致することは示せるか？
• RQ5 エンデスコピック側の安定分布がどの条件下でスペクトル側と一致するか、そしてこれは自動形式表現のエンデスコピック分類とどのように関係するか？

主な発見

• 本稿は、pでハイパースペシャルレベルを持つアーベル型のシュミラデータ(G, X)に対して、コンパクトなコホモロジー上のフロベニウス–ハイク跡T(m, f)が、楕円的エンデスコピックデータeの和として、ι(e) × ST H1,χH1(f H1)に等しいことを証明している。ここでST H1,χH1は、エンデスコピック群のz-拡大H1上の楕円的安定分布である。
• この結果は、pでのレベルがハイパースペシャルであるという仮定の下で、すべての十分に大きなmに対して非条件的に成り立つ。
• 安定分布ST H1,χH1はz-拡大と固定された中心的特徴を用いて定義され、コットヴィッツの元々の構成を非単連結な導来群へ一般化している。
• 証明は、ガロアのガーブと適切な準同型を用いた新しい点数計算の公式に依拠しており、算術的幾何学と自動形式の間の関係を結ぶ。
• 著者らは、幾何的側の特別な点とガーブ側の適切な準同型との間の全単射を確立し、コホモロジー的不変量の比較を可能にした。
• 安定化プロセスは、軌道積分の局所的転送とスペクトル的恒等式の証明により完了し、コンパクトなコホモロジーに対する安定跡公式の恒等式に至った。