[論文レビュー] Geometric Satake, categorical traces, and arithmetic of Shimura varieties

Xinwen Zhu|arXiv (Cornell University)|Oct 17, 2018

Advanced Algebra and Geometry参考文献 32被引用数 3

ひとこと要約

この論文は、p進群上の幾何的サタケ同値性に対して、モチビックおよびコhomologicalな対応を用いて、幾何的表現論と算術幾何学を結ぶカテゴリー的トレース構成を確立する。この枠組みを用いて、シュバリュア多様体のmod p ファイバー上のコホモロジカルな対応およびテートサイクルを研究し、カテゴリー的トレースとモチビックサタケ圏を通じて、幾何的ラングランズと算術問題の間の概念的ブリッジを提供する。

ABSTRACT

We survey some recent work on the geometric Satake of p-adic groups and its applications to some arithmetic problems of Shimura varieties. We reformulate a few constructions appeared in the previous works more conceptually.

研究の動機と目的

• p進群上の幾何的サタケ同値性をモチビック枠組みで再定式化し、算術的応用のための概念的基盤を提供すること。
• 幾何的サタケに適用可能なカテゴリー的トレース構成を開発し、層理論におけるトレースに類似した操作を一般化すること。
• この枠組みを用いて、シュバリュア多様体のmod p ファイバー上のコホモロジカルな対応およびテートサイクルを研究すること。
• カテゴリー的トレースを通じて、幾何的表現論とシュバリュア多様体における算術的問題との間の概念的リンクを確立すること。
• 自動形式および算術幾何学の文脈におけるトレース構成の統一的・圏論的解釈を提供すること。

提案手法

• p進群上の幾何的サタケ同値性の概念的モデルとして、モチビックサタケ圏を導入する。
• 導来圏におけるコホモロジカルな対応を用いて、古典的トレース写像を一般化するカテゴリー的トレース構成を開発する。
• 局所Shtukaのモジュライ空間を通じて、カテゴリー的トレースを幾何的サタケ圏に適用する。特に、圏PHk(Shtloc¯k)を用いる。
• 基底変換および固有押し出しの形式的枠組みを用いて、2-圏的設定におけるコホモロジカルな対応の定義と合成を定義する。
• Barr-Beck-Lurie定理を用いて、コホモロジカルな対応の圏の∞-圏的強化を記述する。
• 押し出し関手f!がコホモロジカルな対応の圏を通じて因数分解されることを確立し、固有性のもとで全忠実性が保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 p進群上の幾何的サタケ同値性は、どのようにモチビック的・圏論的枠組みで再定式化可能か？
• RQ2 カテゴリー的トレース構成は、幾何的サタケがシュバリュア多様体の算術的不変量にどのように関係するかを果たすか？
• RQ3 シュバリュア多様体のmod p ファイバー上のコホモロジカルな対応は、幾何的サタケのカテゴリー的トレースからどのように生じるか？
• RQ4 カテゴリー的トレース構成を用いて、シュバリュア多様体のmod p ファイバー上のテートサイクルの存在を証明できるか？
• RQ5 モチビックサタケ圏と局所Shtukaの算術幾何学との間の関係は何か？

主な発見

• モチビックサタケ圏は、p進群上の幾何的サタケ同値性の概念的枠組みを提供し、古典的サタケ同型を一般化する。
• カテゴリー的トレース構成はコホモロジカルな対応を介して定義され、基底変換および合成と両立し、導来圏におけるトレースに類似した操作を可能にする。
• 幾何的サタケ圏のカテゴリー的トレースは、局所Shtukaのモジュライ空間を通じて実現され、コホモロジーへの自然な作用をもたらす。
• この構成により、シュバリュア多様体のmod p ファイバー間の明示的なコホモロジカルな対応が得られ、古典的ヘッケ対応を一般化する。
• この枠組みにより、特定のサイクルがカテゴリー的トレースの像として実現されることを示し、それらがmod p ファイバー上のテートサイクルであることを証明する。
• コホモロジカルな対応の圏が、固有射を通じた押し出し圏と同値であることが示され、固有押し出しを用いたモノイド的記述によって得られる。