[論文レビュー] Sch\\'emas en groupes et poids de Diamond-Serre

Xavier Caruso|arXiv (Cornell University)|May 9, 2007

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

ひとこと要約

この論文は、Gee (2007) の preprint における mod $p$ Hilbert モジュラー形式の重みに関する誤った記述を $p$--adic Hodge 理論を用いて是正する。元の定式化における誤りを是正するため、クラス $J$-群の概念を再定義し、命題 3.3.1 の是正版を確立し、クリスタリンおよびブロイユ加群を用いてそれを証明することで、全実体におけるモジュラリティ予想枠組みにおける以降の結果の妥当性を保証する。

ABSTRACT

This note is a correction of (statement and proof of) proposition 3.3.1 of Toby Gee's preprint intitled *On the weights of mod p Hilbert modular forms*. The aim is to compare Galois representations arising from extensions of some group schemes (over the ring of integers of a p-adic field) endowed with a descent data, and extensions of some crystalline representations with given Hodge-Tate weights. The main tool of the proof is the theory of Breuil.

研究の動機と目的

• Gee の mod $p$ Hilbert モジュラー形式に関する preprint の命題 3.3.1 における重大な誤りを是正すること。
• 誤った記述を是正するため、インデックスシフトを導入することでクラス $J$-群の概念を再定義すること。
• $p$-adic Hodge 理論および加群論的技法を用いて、是正版の命題 3.3.1 の完全かつ正しい証明を提供すること。
• この命題に依存する Gee の研究における以降の結果の妥当性を保証すること。
• クリスタリン表現、$E$-群、およびブロイユ加群の間の相互作用が Diamond-Serre 重みの文脈でどのように働くかを明確にすること。

提案手法

• Gee からのフィードバックに基づき、インデックスシフトを導入してクラス $J$ 条件を再定義することで、命題 3.3.1 の是正された記述を再導出する。
• フィルトレーション、フロベニウス、モノドロミー構造を備えた $E[u]$-加群を用いて、カテゴリ $\text{E-BrMod}_{\text{dd}}^{p-2}$ 内の加群 $\mathcal{C}$ を構成する。
• $u$ のべきおよび重みシフトを用いて、源加群 $\mathcal{M}$ および $\mathcal{N}$ から $\mathcal{C}$ への準同型 $f_{\mathcal{M}}$ および $f_{\mathcal{N}}$ を定義する。
• 補題 5.8 および 5.9 からの合同式および不等式を用いて、加群構造およびフィルトレーションの適切な定義を保証する。
• 準同型がフロベニウス、モノドロミー、ガロア作用と可換であることを検証し、それがカテゴリ内での有効な準同型であることを確認する。
• ブロイユ加群およびクリスタリン表現の理論を活用して、是正された加群構造と元のガロア表現との関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 元のバージョンが誤りであることが判明している Gee の preprint の命題 3.3.1 の正しい定式化は何か？
• RQ2 クラス $J$-群の定義にインデックスシフトを導入することで、元の記述の誤りはどのように是正されるか？
• RQ3 $p$-adic Hodge 理論および加群カテゴリの枠組みを用いて、是正版の命題は証明可能か？
• RQ4 加群 $\mathcal{C}$ は、ガロア表現と重みの間の是正された対応を実現するために果たす役割は何か？
• RQ5 準同型 $f_{\mathcal{M}}$ および $f_{\mathcal{N}}$ は、カテゴリ $\text{E-BrMod}_{\text{dd}}^{p-2}$ の構造とどのように整合性を保っているか？

主な発見

• 文献 [6] の命題 3.3.1 の元の記述は、クラス $J$-群の定義に誤りがあるため誤りである。
• Gee が示唆したように、インデックスシフトを導入してクラス $J$-群を再定義することで、是正された命題が得られる。
• はっきりとした構造を備えた加群 $\mathcal{C}$ がカテゴリ $\text{E-BrMod}_{\text{dd}}^{p-2}$ 内に構成され、フロベニウス、フィルトレーション、モノドロミー構造と整合する。
• 準同型 $f_{\mathcal{M}}$ および $f_{\mathcal{N}}$ がカテゴリ内で有効であることが示され、重要な図式 (6) の可換性が保証される。
• すべての項、特に $\lambda_i$ を含む項が、必要なときに適切に定義され非消滅することを保証するため、補題 5.8 および 5.9 の合同式および不等式に依存している。
• 是正された結果は、Gee の以降の研究におけるこの命題の使用と整合的であり、[6] の主要定理が是正された定式化のもとで依然として有効であることを示唆している。