[論文レビュー] p-adic Cohomology and classicality of overconvergent Hilbert modular forms

Yichao Tian, Liang Xiao|arXiv (Cornell University)|Aug 4, 2013

Algebraic Geometry and Number Theory参考文献 24被引用数 24

ひとこと要約

本稿は、p進コホロロジーとヒルベルトモジュラー多様体のGoren-Oort層化を用いて、尖型過収束ヒルベルトモジュラー形式の古典性を確立する。形式のp進スロープが、重みと残差次数を含む明確な境界未満であれば、その形式は古典的であることを証明し、ブリュアの予想を最適なスロープ条件で確認する。

ABSTRACT

Let $F$ be a totally real field in which $p$ is unramified. We prove that, if a cuspidal overconvergent Hilbert cuspidal form has small slopes under $U_p$-operators, then it is classical. Our method follows the original cohomological approach of Coleman. The key ingredient of the proof is giving an explicit description of the Goren-Oort stratification of the special fiber of the Hilbert modular variety. A byproduct of the proof is to show that, at least when $p$ is inert, of the rigid cohomology of the ordinary locus has the same image as the classical forms in the Grothendieck group of Hecke modules.

研究の動機と目的

• 体Fにおけるpが完全に分岐しない場合の、尖型過収束ヒルベルトモジュラー形式の古典性を確立すること。
• コロンの方法にインspiredされたコホロロジー的アプローチを用いて、Uₚ作用素の下でp進スロープが十分に小さい形式が古典的であることを証明すること。
• ヒルベルトモジュラー多様体の特異ファイバーのGoren-Oort層化を明示的に記述すること。これはコホロロジー計算の中心的役割を果たす。
• 通常部分集合の剛体コホロロジーが、ヘッケ加群のグロテンディーク群における古典的ヒルベルトモジュラー形式の空間を計算すること。

提案手法

• 著者たちは、トロイダルコンパクト化を伴うヒルベルトモジュラー多様体のp進コホロロジーを用い、過収束形式をコホロロジー的データと関連付ける。
• Goren-Oort層化を用いてヒルベルトモジュラー多様体の剛体コホロロジーを計算し、組合せ論的データを用いて層を明示的に記述する。
• コロンの方法に類似したp進コホロロジーにおける次元数え上げの議論に依拠し、スロープが小さい過収束形式が古典的であることを強制する。
• 主な技術的入力は、ヒルベルトモジュラー多様体の特異ファイバーにおけるGoren-Oort層化の詳細な記述である。
• フロベニウス作用素とヘッケ作用素のコホロロジー上での作用を分析し、組合せ論的表現論を用いてグロテンディーク群における重複度を計算する。
• 証明は、すべての層がコホロロジーに寄与する寄与が特定の意味で消えることを示すことで頂点に達し、スロープ条件の下で古典性が導かれる。

実験結果

リサーチクエスチョン

• RQ1 Uₚ固有値のスロープ条件は何か？ その条件下で尖型過収束ヒルベルトモジュラー形式は必ず古典的である。
• RQ2 解析接続ではなく、p進コホロロジーとGoren-Oort層化を用いて古典性結果を証明できるか？
• RQ3 ブリュアが予想したスロープ境界（最小の可能な正規化値と一致する）は、一般の非分岐の場合に達成可能か？
• RQ4 通常部分集合の剛体コホロロジーは、ヘッケ加群のグロテンディーク群における古典的ヒルベルトモジュラー形式の空間とどのように関係するか？
• RQ5 pにおけるヒルベルトモジュラー多様体の特異ファイバーのGoren-Oort層化の正確な構造は何か？

主な発見

• 本稿は、Uₚ固有値のp進付値が valₚ(λₚᵢ) < ∑_{τ∈Σ∞/ₚᵢ} (w−kτ)/2 + min_{τ∈Σ∞/ₚᵢ} (kτ−1) を満たすならば、その形式は古典的であると証明する。
• このスロープ境界は最適であり、ブリュアの予想を確認し、以前の結果よりも鋭い境界を改善する。
• ヒルベルトモジュラー多様体の特異ファイバーにおけるGoren-Oort層化が明示的に記述され、コホロロジー計算を可能にする。
• 通常部分集合の剛体コホロロジーは、有限次元ヘッケ加群のグロテンディーク群における古典的ヒルベルトモジュラー形式の空間を計算する。
• すべてのGoren-Oort層がコホロロジーに寄与する寄与が正確な意味で消えることから、次元数え上げにより古典性結果が導かれる。
• 予想されたブリュアの通り、θ作用素を用いることで、スロープ境界を満たさない場合に対しても古典性結果が得られる。