[論文レビュー] Higher Coleman Theory

George Boxer, Vincent Pilloni|arXiv (Cornell University)|Oct 19, 2021

Advanced Algebra and Geometry参考文献 36被引用数 5

ひとこと要約

この論文は、ホッジ＝テート周期写像を介したフラグ多様体のブルハット層構造を用いた局所コホモロジー技術に基づき、オーバーコンバージェントコホモロジーを導入することで、シュイマ多様体における高次のコールマン理論を展開する。オーバーコンバージェントコホモロジーと古典的コホモロジーを結ぶスペクトル系列を構成し、スロープバウンドのもとで古典性および消滅定理を確立し、p進族をパラメトライズする固有多様体を構築する。主な結果として、弱正則で、奇数的で、本質的に自己双対な尖域自動形式的表現に対して、ガロア表現を構成し、解析的補間とキシンのクリスタリン周期の理論を用いて、pにおける局所-global整合性を証明する。

ABSTRACT

We develop local cohomology techniques to study the finite slope part of the coherent cohomology of Shimura varieties. The local cohomology groups we consider are a generalization of overconvergent modular forms, and they are defined by using a stratification on the Shimura variety obtained from the Bruhat stratification on a flag variety via the Hodge-Tate period map. We construct a spectral sequence from the local cohomologies to the classical cohomology and use it to obtain classicality and vanishing results. We also develop a theory of p-adic families and construct eigenvarieties. As an application, we prove some new properties of Galois representations arising from certain non-regular algebraic cuspidal automorphic representations.

研究の動機と目的

• コールマンの有限スロープp進モジュラー形式の理論を、シュイマ多様体の高次一貫コホモロジーへと拡張すること。
• スペクトル系列とスロープバウンドを用いて、オーバーコンバージェントコホモロジーの古典性および消滅結果を確立すること。
• オーバーコンバージェントコホモロジー類のp進族をパラメトライズする固有多様体を構成すること。
• 弱正則で、奇数的で、本質的に自己双対な尖域自動形式的表現に付随するガロア表現について、pにおける局所-global整合性を証明すること。
• Hodge-Tate重みを確認し、p上での潜在的クリスタリン還元を検証する解析的族を用いたガロア表現の新規構成を提供すること。

提案手法

• ホッジ＝テート周期写像を用いて、フラグ多様体のブルハット層構造をシュイマ多様体に引き上げ、層構造に基づくコホモロジー的アプローチを可能にする。
• ブルハット層におけるコホモロジーの局所コホモロジーとしてオーバーコンバージェントコホモロジーを定義し、オーバーコンバージェントモジュラー形式の一般化を実現する。
• ブルハット層構造に由来するスペクトル系列を構成し、オーバーコンバージェントコホモロジーと古典的コホモロジーを結ぶ。
• 相対スペクトル理論とスロープ分解を用いて、オーバーコンバージェントコホモロジー類のp進族を研究する。
• 双対性とカップ積構造を用いて、制御定理およびスロープ推定を確立する。
• キシンの理論的枠組みを用いて、解析的族におけるクリスタリン周期を扱い、pにおける局所-global整合性を証明する。

実験結果

リサーチクエスチョン

• RQ1 スロープが小さいオーバーコンバージェントコホモロジー類が、いつ古典的コホモロジー類から来るのか、どのような条件下か？
• RQ2 ブルハット層構造に付随するスペクトル系列を用いて、オーバーコンバージェントコホモロジーと古典的コホモロジーをどのように結びつけることができるか？
• RQ3 高次のオーバーコンバージェントコホモロジーにおいて、古典性を保証する正確なスロープバウンドは何か？
• RQ4 オーバーコンバージェントコホモロジー類のp進族をパラメトライズする固有多様体をどのように構成できるか？
• RQ5 弱正則で、奇数的で、本質的に自己双対な自動形式的表現に付随するガロア表現が、p上の点でどの程度潜在的クリスタリンであると示せるか？

主な発見

• ブルハット層構造に由来するスペクトル系列はE2で退化し、オーバーコンバージェントコホモロジーと古典的コホモロジーの間のコホモロジー的比較を可能にする。
• スロープが小さいオーバーコンバージェントコホモロジー類は古典的である。そのスロープバウンドは次数および群構造に依存する。
• シュイマ多様体の内部コホモロジーはスロープ分解をもち、スロープが小さいと古典性が保証される。
• オーバーコンバージェントコホモロジーの有限スロープ部分に対して固有多様体が構成され、固有形式のp進族をパラメトライズする。
• 弱正則で、奇数的で、本質的に自己双対な尖域自動形式的表現に対して、付随するガロア表現はp上の点で潜在的クリスタリンであり、Hodge-Tate重みは無限小キャラクターと一致する。
• pにおける局所-global整合性が確立された：pでのWeil-Deligne表現は、局所成分のラングランズパラメータと、半単純化までを除いて同型である。