[論文レビュー] An introduction to the theory of p-adic representations

Laurent Berger|Oct 12, 2002

advanced mathematical theories被引用数 7

ひとこと要約

この論文は、$\mathbf{B}_{\mathrm{dR}}$、$\mathbf{B}_{\mathrm{cris}}$、$\mathbf{B}_{\mathrm{st}}$ などの周期環を通じて、p進ガロア表現のフォンテーヌンの分類に注目し、p進ホッジ理論とp進表現について包括的でアクセスしやすい入門を提供する。これらの環が幾何学的・算術的性質（結晶的、半安定、de Rham型など）に基づいて表現を分類する仕組みを説明し、$(\varphi,\Gamma)$-加群や再帰法則との関係を示している。

ABSTRACT

The purpose of this informal article is to introduce the reader to some of the objects and methods of the theory of p-adic representations. My hope is that students and mathematicians who are new to the subject will find it useful as a starting point. It consists mostly of an expanded version of the notes for my two lectures at the "Dwork trimester" in June 2001.

研究の動機と目的

• p進表現とp進ホッジ理論に初めて触れる学生や研究者にとって、自己完結的でアクセスしやすい入り口を提供すること。
• $\mathbf{B}_{\mathrm{dR}}$、$\mathbf{B}_{\mathrm{cris}}$、$\mathbf{B}_{\mathrm{st}}$ などの周期環を用いたフォンテーヌンのp進ガロア表現の分類を説明すること。
• p進ホッジ理論を$(\varphi,\Gamma)$-加群と結びつけ、p進表現の分類におけるその役割を明らかにすること。
• 比較定理と再帰法則がガロア表現と幾何的・算術的不変量を結ぶ役割を明確にすること。
• セーン理論、$\mathbf{C}_p$、ウィットベクトルと完備化を用いた周期環の構成といった基礎的道具を提示すること。

提案手法

• $\mathbf{C}_p$ とセーン理論を用いて、$\operatorname{Gal}(\overline{\mathbf{Q}}_p/\mathbf{Q}_p)$ がp進ベクトル空間に作用する様子を分析する。
• ウィットベクトルと逆極限を用いて、$\mathbf{C}_p$ の普遍被覆の完備化として環 $\mathbf{B}_{\mathrm{dR}}$ を構成する。
• フィルトレーションとフロベニウス作用を備えた、フィルトレートされたフロベニウス加群を用いて、$\mathbf{B}_{\mathrm{cris}}$ と $\mathbf{B}_{\mathrm{st}}$ を導入し、結晶的および半安定表現を分類する。
• ノームの体の構成を用いて、混合特徴の局所体上でのp進ガロア表現を$(\varphi,\Gamma)$-加群で表現する。
• モノドロミー定理と$(\varphi,\Gamma)$-加群上の微分作用素を用いて、de Rhamおよび半安定表現を特徴付ける。
• 周期環の図式を用いてp進ホッジ理論と$(\varphi,\Gamma)$-加群理論を統合し、$\widetilde{\mathbf{B}}^{\dagger}_{\mathrm{log}}$ のような中間環が両者を結ぶ役割を示す。

実験結果

リサーチクエスチョン

• RQ1 周期環 $\mathbf{B}_{\mathrm{dR}}$、$\mathbf{B}_{\mathrm{cris}}$、$\mathbf{B}_{\mathrm{st}}$ を用いて、p進ガロア表現をどのように分類できるか。
• RQ2 セーン理論は、$\mathbf{C}_p$ 及びその拡大におけるガロア群の作用を理解するために果たす役割は何か。
• RQ3 $(\varphi,\Gamma)$-加群は、局所体の文脈でp進表現をどのように分類するか。
• RQ4 モノドロミー定理は、p進微分方程式とガロア表現の文脈でどのような意味を持つのか。
• RQ5 比較定理は、p進表現がde Rham、結晶的、半安定条件とどのように結びつくか。

主な発見

• 環 $\mathbf{B}_{\mathrm{dR}}$ は、$\mathbf{C}_p$ の普遍被覆の完備化として構成され、$\theta: \mathbf{B}_{\mathrm{dR}}^+ \to \mathbf{C}_p$ という全射準同型を備え、de Rham表現の研究を可能にする。
• 結晶的表現は、$\mathbf{D}_{\mathrm{cris}}(V) = (V \otimes_{\mathbf{Q}_p} \mathbf{B}_{\mathrm{cris}})^{\operatorname{Gal}(\overline{\mathbf{Q}}_p/\mathbf{Q}_p)}$ に $\varphi$-安定な格子が存在することによって特徴づけられる。
• 半安定表現は、フィルトレーションとフロベニウス作用を備えた $\mathbf{D}_{\mathrm{st}}(V) = (V \otimes_{\mathbf{Q}_p} \mathbf{B}_{\mathrm{st}})^{\operatorname{Gal}(\overline{\mathbf{Q}}_p/\mathbf{Q}_p)}$ を用いて分類される。
• モノドロミー定理は、de Rham表現が半安定であるための必要十分条件が、関連するp進微分方程式が正則特異点を持つことであると述べる。
• $\widetilde{\mathbf{B}}^{\dagger}_{\mathrm{log}}$ は、$\mathbf{B}_{\mathrm{st}}$ および $\mathbf{B}_{\mathrm{dR}}$ の構成において果たす役割を通じて、p進ホッジ理論と$(\varphi,\Gamma)$-加群理論を結ぶ統合的環として機能する。
• タートの楕円曲線は、$E_q$ に付随するp進表現が半安定であり、そのp進周期が $\mathbf{B}_{\mathrm{dR}}$ を用いて計算されることを示す具体的な例である。