[論文レビュー] The Breuil-Mezard conjecture for non-scalar split residual representations

Yongquan Hu, Fucheng Tan|arXiv (Cornell University)|Sep 6, 2013

Advanced Algebra and Geometry参考文献 13被引用数 10

ひとこと要約

この論文は、局所的変形環の技法とColmezの関手を用いて、$\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$ の非スカラーで分岐する残余表現に対して、Breuil-Mézard予想を証明する。主な結果として、$p \geq 5$ の場合に予想が完全に成立し、Fontaine-Mazur予想の証明における局所的制限が除去され、潜在的に半安定なガロア表現をもつヒルベルトモジュラー形式のモジュラリティ上昇定理が確立される。

ABSTRACT

We prove the Breuil-Mezard conjecture for split non-scalar residual representations of Gal(Qp/Qp) by local methods. Combined with the cases previously proved in [18] and [24], this completes the proof of the conjecture (when p>3). As a consequence, the local restriction in the proof of the Fontaine-Mazur conjecture in [18] is removed.

研究の動機と目的

• 非スカラーで分岐する場合を含め、すべての残余表現に対して $p \geq 5$ 時にBreuil-Mézard予想の証明を完全化すること。
• Fontaine-Mazur予想の証明に用いられるモジュラリティ上昇定理における残余表現の局所的制限を除去すること。
• 志村曲線のmod $p$ コホロロジーにおける既約なmod $p$ 表現の重複度と変形環の構造との間の明確な関係を確立すること。
• 擬変形環と普遍変形環の枠組みを、修正された変形条件を用いて半安定で非クリスタリンな点を扱えるように拡張すること。

提案手法

• 指定されたホッジ＝テイト重量と残余型をもつガロア表現のための普遍的および擬似変形環を構成する。
• Colmezの関手を用いて、$p$-進ガロア表現と $\mathrm{GL}_2(\mathbb{Q}_p)$ のmod $p$ 表現との間の関係を確立する。
• 完成コホロロジー $M_\infty$ を、局所的変形環の完成テンソル積上のモジュールとして用い、その台と重複度を分析する。
• ヒルベルト＝サミュエルの重複度およびサイクル類の理論を適用して、変形環内の既約成分の重複度を計算する。
• 基本拡大とモジュラリティ上昇技法を用いて、一般の場合を、非分岐または peu ramifié 情報作用の状況に還元する。
• 半安定で非クリスタリンな点における変形環の既約性および成分構造に関して、[18, 定理9.7] の結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 与えられたガロア表現に関連する志村曲線のmod $p$ コホロロジーのmod $p$ 細分における、各既約なmod $p$ 表現 $\sigma_{n,m}$ の正確な重複度は何か？
• RQ2 残余表現が非スカラーで分岐している場合、潜在的に半安定なガロア表現の変形環は、どのように既約成分に分解されるか？
• RQ3 変形空間における半安定で非クリスタリンな点、特に peu ramifié 場合を含めて、Breuil-Mézard予想を拡張可能か？
• RQ4 完成コホロロジーモジュール $M_\infty$ の構造は、変形環 $\bar{R}_\infty$ の幾何にどの程度反映されているか？
• RQ5 モジュール $M_\infty$ が $\bar{R}_\infty$ 上に忠実であるならば、それに対応するガロア表現のモジュラリティが保証されるか？

主な発見

• 非スカラーで分岐する場合を含め、$p \geq 5$ 時に、$\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$ のすべての残余表現に対してBreuil-Mézard予想が完全に証明された。
• 完成コホロロジーモジュール $M_\infty^{i}/M_\infty^{i-1}$ の各階層の台が $\operatorname{Spec}\bar{R}_\infty^i$ 全体にわたることを示し、成分の既約性および幾何的制御が確認された。
• $M_\infty$ が $\bar{R}_\infty$-モジュールとして忠実であることが証明され、これはグローバルな設定へのモジュラリティ結果の上昇に不可欠である。
• peu ramifié 場合において、変形環 $\bar{R}_{\rm cr}^\boxplus,\psi}(2, (\tilde{\omega}^m)^{\oplus 2}, \overline{\rho})/\varpi$ の構造が、2つの既約成分に分解されることを示した。一方はクリスタリン部分に、他方は半安定で非クリスタリンな点に対応する。
• $M_\infty$ の忠実性および台の性質により、ヒルベルトモジュラー形式のFontaine-Mazur予想の証明における残余表現の局所的制限が除去された。
• [17] および [18] の主な結果により、異なるホッジ＝テイト重量をもつ、奇数で絶対的に既約かつ潜在的に半安定なガロア表現が、すべてヒルベルトモジュラー形式から生じることを結論づけるのに十分になった。