[論文レビュー] The weight part of Serre's conjecture for GL(2)

Toby Gee, Tong Liu+1 more|arXiv (Cornell University)|Sep 2, 2013

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

ひとこと要約

本稿は、Kisinモジュールを用いて2次元のクリスタリン表現の還元を分析することにより、任意の完全実体上のGL(2)に対するSerre予想の重み部を確立する。特に、擬・バーロウティ・Tate（pseudo-Barsotti–Tate）と呼ばれる表現のクラスに注目する。主な結果は、p-adic Hodge理論的定義による2つのSerre重みの等価性を示し、p > 2の下でTaylor–Wiles仮説のもとで予想を完全に解決することである。

ABSTRACT

Let p > 2 be prime. We use purely local methods to determine the possible reductions of certain two-dimensional crystalline representations, which we call "pseudo-Barsotti-Tate representations", over arbitrary finite extensions of the p-adics. As a consequence, we establish (under the usual Taylor-Wiles hypothesis) the weight part of Serre's conjecture for GL(2) over arbitrary totally real fields.

研究の動機と目的

• 任意の完全実体上のGL(2)に対するSerre予想の重み部を解消すること。これは、pが非分岐であることを仮定した以前の結果の拡張である。
• mod p Galois表現に関連する2つのp-adic Hodge理論的定義によるSerre重みの等価性を確立すること。
• 任意のp-adic分岐を伴う状況下で、クリスタリン表現の還元に関する局所理論を構築すること。
• 擬・バーロウティ・Tate表現と呼ばれる新しい表現クラスに対して、Kisinモジュールを用いたSerre重みの完全な局所的特徴付けを提供すること。
• [GLS14]の以前の結果を修正・一般化すること。特に、インデックスの誤りを是正し、分岐体への構造定理の拡張を実現すること。

提案手法

• 著者らは、潜在的バーロウティ・Tate表現を一般化する、新しいクリスタリン表現のクラスである擬・バーロウティ・Tate表現を導入し、その性質を研究する。
• 彼らは、特にその構造と拡張類に注目して、Kisinモジュールを用いてこれらの表現のpを法とする還元を分析する。
• この手法は、任意のQ_pの有限拡大、特に任意の分岐を伴うものに対しても、明示的なKisinモジュールを構成することに依拠している。
• 重要な技術的道具として、$(\varphi, \hat{G})$-モジュールを用いて還元を分類し、非分解性および非分岐拡張類を証明する。
• 非分岐拡大へのベースチェンジを用いることで、Kisinモジュールの構造を単純化し、特定の還元が拡大後に分解することを示す。
• 特に、$H^1(G_K, k_E)$上の制限写像を用いたコhomological技法を応用し、拡張類が非分岐でなければならないことを示し、望ましい分類に至る。

実験結果

リサーチクエスチョン

• RQ1 任意のpでの分岐を伴う完全実体上のヒルベルトモジュラー形式に関連するmod p Galois表現から生じるSerre重みの集合は何か？
• RQ2 分岐体を伴う状況下で、クリスタリン型と潜在的バーロウティ・Tate型による2つのp-adic Hodge理論的定義のSerre重みは、どのように関係するか？
• RQ3 純粋な局所的手法を用いて、任意の完全実体上のGL(2)に対するSerre予想の重み部を証明できるか？
• RQ4 Q_pの分岐拡大上における擬・バーロウティ・Tate表現に付随するKisinモジュールの構造は何か？
• RQ5 非分岐拡大へのベースチェンジにおいて、クリスタリン表現の還元はどのように振る舞い、Serre重みの分類にどのような含意を持つのか？

主な発見

• 本稿は、任意の完全実体上で、クリスタリン表現による定義と潜在的バーロウティ・Tate型による定義の2つのSerre重みの等価性を確立する。
• 擬・バーロウティ・Tate表現の還元が非分解であることは、その関連するKisinモジュールが非分解であることと同値であり、このような還元は非分岐コhomology類によって分類される。
• 非分解還元のKisinモジュールは、次数pの非分岐拡大へのベースチェンジにより分解することが示され、これにより拡張類が非分岐であることが導かれる。
• Taylor–Wiles仮説のもとで、任意の完全実体上のGL(2)に対してSerre重みの分類が完全に完成し、重みはすべて局所的p-adic Hodge理論によって決定される。
• [GLS14]におけるインデックスの誤りを是正する補遺を提供する。特に、定理4.22およびKisinモジュールの基底やフロベニウス作用に関する関連式の修正を含む。