p進ホッジ理論

p 進ホッジ理論（ピーしんホッジりろん、英: p-adic Hodge theory）とは、剰余体の標数が素数 p である標数0の局所体^{[注釈 1]}（例えば p 進数体 Q_p）のp 進ガロア表現の分類や研究をする数学の理論である。この理論はジャン＝ピエール・セールとジョン・テイトによるアーベル多様体のテイト加群（英語版）とホッジ・テイト表現の研究にはじまる。ホッジ・テイト表現はホッジ分解に似た p 進コホモロジーの分解と関係があることに因み、p 進ホッジ理論という名前がつけられた。代数多様体のエタール・コホモロジーから生じる p 進ガロア表現を研究対象として発展を遂げた。この理論における多くの基本的な概念はジャン＝マルク・フォンテーヌ（英語版）により生み出された。

p 進表現の分類

Kを、局所体であってその剰余体 k の標数が p であるものとする。K の絶対ガロア群G_K から Q_p 上の有限次元ベクトル空間 V の一般線形群への連続準同型 ρ : G_K→ GL(V) を、この記事では K の p 進表現と呼ぶことにする。K の p 進表現全体はアーベル圏を構成する。そのアーベル圏をこの記事では $\mathrm {Rep} _{\mathbf {Q} _{p}}(K)$ と表す。p 進ホッジ理論では p 進表現を振る舞いの良さによって分類する。振る舞いの良さが同じものは $\mathrm {Rep} _{\mathbf {Q} _{p}}(K)$ の部分圏を構成し、その部分圏から研究が容易な線型代数的な対象からなる圏への忠実関手が、p 進ホッジ理論により得られる。基本となる部分圏とその包含関係は次の図で示される^[1]。

\operatorname {Rep} _{\mathrm {cris} }(K)\subsetneq \operatorname {Rep} _{st}(K)\subsetneq \operatorname {Rep} _{dR}(K)\subsetneq \operatorname {Rep} _{HT}(K)\subsetneq \operatorname {Rep} _{\mathbf {Q} _{p}}(K)

図中の部分圏はその右側の部分圏に真に含まれる充満部分圏であり、左から順番に、クリスタリン表現、準安定表現、ド・ラム表現、ホッジ・テイト表現、全ての p 進表現の圏と呼ばれる。これらに加えて、潜在的クリスタリン表現の圏 Rep_pcris(K) と潜在的準安定表現の圏 Rep_pst(K) が考察の対象となる。後者は前者を真に含み、前者は一般に Rep_cris(K) を真に含む。さらに、 Rep_pst(K) は一般に Rep_st(K) を真に含み、Rep_dR(K) に含まれる。K の剰余体が有限体であれば Rep_pst(K) = Rep_dR(K) が成り立つ。このことは p 進モノドロミー定理と呼ばれている。

周期環と数論幾何学における比較同型

フォンテーヌは、B_dR、B_st、B_cris、B_HTといった G_K の作用とある種の線形代数的構造を持つ周期環^{[注釈 2]}と呼ばれる環をつくり、周期環 B と p 進表現 V に対して、いわゆるデュドネ加群

D_{B}(V)=(B\otimes _{\mathbf {Q} _{p}}V)^{G_{K}}

を考えるという p 進ホッジ理論の研究手法を考案した。デュドネ加群は G_K 作用は持たないが、線型代数的構造を B から受け継いでおり、特に固定体 $E:=B^{G_{K}}$ 上のベクトル空間になっている^{[注釈 3]}。この記号を使ってフォンテーヌによる B 許容表現（英語版）の理論に当てはめることにより、先の p 進表現の部分圏は定義される。すなわち、* を HT、dR、st、crisのいずれかとすると、圏 Rep_∗(K)は周期環 B_∗ に対して

\dim _{E}D_{B_{\ast }}(V)=\dim _{\mathbf {Q} _{p}}V

が成り立つ、もしくは、同じことであるが、比較射（英語版）

\alpha _{V}:B_{\ast }\otimes _{E}D_{B_{\ast }}(V)\longrightarrow B_{\ast }\otimes _{\mathbf {Q} _{p}}V

が同型写像となるような p 進表現 V 全体からなる圏として定義される。

この定式化と周期環という名前は、数論と複素幾何学における比較同型写像に関連した研究結果と予想に起源を持つ:

X を複素数体 C 上の固有かつ滑らかななスキームとする。X の C 上の代数的ド・ラームコホモロジーと X(C) の特異コホモロジーの間には古典的な比較同型写像

H_{\mathrm {dR} }^{\ast }(X/\mathbf {C} )\cong H^{\ast }(X(\mathbf {C} ),\mathbf {Q} )\otimes _{\mathbf {Q} }\mathbf {C}

が存在する。この同型写像は、微分形式をサイクルに沿って積分することで定義される代数的ド・ラーム・コホモロジーと特異コホモロジーのペアリング（英語版）を考えることにより定義される。この積分の積分値は周期と呼ばれる複素数であるが、一般には有理数にはならない。これが、比較同型写像の定式化で特異コホモロジーに C をテンソルすることが必要な理由である。複素数体 C は代数的ド・ラームコホモロジーと特異コホモロジーの比較同型に必要な全ての周期を含んでいるので、そのことに鑑みて C をこの古典的な状況での周期環と呼んでもよいだろう。

60年代半ば、テイトは、K 上の固有かつ滑らかなスキーム X に対して、同様の同型写像が代数的ド・ラーム・コホモロジーと p 進エタール・コホモロジーの間に存在するだろうと予想した（ホッジ・テイト予想、C_HT とも表記される）^[2]。予想を述べるためにいくつか記号を導入する。C_K を K の代数的閉包の完備化、C_K(i) を C_K に G_K を g·z = χ(g)ⁱg·z で作用させたもの（χ は p 進円分指標、i は整数）、そして $B_{\mathrm {HT} }:=\oplus _{i\in \mathbf {Z} }\mathbf {C} _{K}(i)$ と置く。テイトの予想とは、G_K 作用を持つ次数付きベクトル空間としての同型

B_{\mathrm {HT} }\otimes _{K}\mathrm {gr} H_{\mathrm {dR} }^{\ast }(X/K)\cong B_{\mathrm {HT} }\otimes _{\mathbf {Q} _{p}}H_{\mathrm {{\acute {e}}t} }^{\ast }(X\times _{K}{\overline {K}},\mathbf {Q} _{p})

が存在し、かつこれは関手間の同型射となるであろうというものである（

\mathrm {gr} H_{\mathrm {dR} }^{\ast }

はド・ラーム・コホモロジーのホッジ・フィルトレーションに随伴する次数付き環）。テイトをはじめとする多くの数学者の貢献ののち、この予想はゲルト・ファルティングスによって80年代後半に証明された^[3]。

p 進体 K 上の良い還元を持つアーベル多様体 X に対して、アレクサンドル・グロタンディークはテイトの定理を次のように再定式化した。すなわち、X の特殊ファイバーのクリスタリン・コホモロジー H¹(X/W(k)) ⊗ Q_p （フロベニウス自己準同型の作用と（K をテンソルしたときの）ホッジ・フィルトレーション付き）と、 p 進エタール・コホモロジー H¹(X,Q_p) （K のガロア群の作用付き）は、同じだけの情報を持つ、と。この２つのコホモロジーは X の p 可除群（英語版）を同種を除いて決定するだけの情報を持っている。グロタンディークは p 進体上の良い還元を持つ全ての代数多様体に対して p 進エタール・コホモロジーからクリスタリン・コホモロジーを得る直接的な方法と、その逆の方法があるはずだと予想した^[4]。グロタンディークが予想したこの関係は神秘関手（ミステリアス関手とも呼ばれる）として知られるようになった。

ホッジ・テイト予想を、ド・ラーム・コホモロジーに随伴する次数つきの対象からド・ラーム・コホモロジーそのものに対する予想に改善するために、フォンテーヌはフィルターつき（英語版） の環 B_dR であって、随伴する次数つき代数が B_HT となるものを作り出した^[5]。そして、K 上の固有かつ滑らかなスキーム X に対して、G_K 作用とフィルター付きのベクトル空間としての同型

B_{\mathrm {dR} }\otimes _{K}H_{\mathrm {dR} }^{\ast }(X/K)\cong B_{\mathrm {dR} }\otimes _{\mathbf {Q} _{p}}H_{\mathrm {{\acute {e}}t} }^{\ast }(X\times _{K}{\overline {K}},\mathbf {Q} _{p})

が存在するだろうと予想した^[6]。この予想はC_dR と呼ばれている。複素数体上における特異コホモロジーの比較同型と照らし合わせると、B_dR は代数的ド・ラーム・コホモロジーと p 進エタール・コホモロジーの比較に必要とされる全ての（p 進）周期を含んでいる環だと思うことができる。これが B_dR が p 進周期の環と呼ばれる所以である。

同様に、グロタンディークの神秘関手を説明する予想を定式化するために、フォンテーヌは G_K 作用と"フロベニウス" φ を持ち係数を K₀ から K に拡大するとフィルトレーションを持つ環 B_cris を作り出した。そして、 K 上の良い還元をもつ固有かつ滑らかなスキーム X に対して、φ と G_K の作用と係数を K に拡大したときのフィルトレーション付きベクトル空間としての同型

B_{\mathrm {cris} }\otimes _{K_{0}}H_{\mathrm {dR} }^{\ast }(X/K)\cong B_{\mathrm {cris} }\otimes _{\mathbf {Q} _{p}}H_{\mathrm {{\acute {e}}t} }^{\ast }(X\times _{K}{\overline {K}},\mathbf {Q} _{p})

が存在するだろうと予想した^[7]。ここで、 $H_{\mathrm {dR} }^{\ast }(X/K)$ にはクリスタリン・コホモロジーとの比較を使って φ 作用を持つ K₀ ベクトル空間としての構造をいれている。この予想は C_cris と呼ばれる。予想 C_dR と予想 C_cris はファルティングスによって証明された^[8]。

X を K 上の（良い還元をもつ）固有かつ滑らかなスキームとし、V をその i 次の p 進エタール・コホモロジー群から得られる p 進ガロア表現とすると、これら2つの予想を前述の B_∗ 許容表現の考え方にあてはめることにより、

D_{B_{\ast }}(V)=H_{\mathrm {dR} }^{i}(X/K)

が成り立つことが分かる。このことから、デュドネ加群とは V に関係のある他のコホモロジーだという見方もできる。

80年代後半、フォンテーヌとウーヴェ・ヤンセンは X が準安定還元を持つ場合の比較同型について予想を立てた。この予想は C_st と呼ばれている。予想の定式化のために、フォンテーヌは、環 B_st であって、G_K と"フロベニウス" φ が作用し、(p 進対数（英語版）の延長を一つ固定し、さらに)係数を K₀ から K に拡大するとフィルトレーションを持ち、そして"モノドロミー作用素" N を持つものを作り出した^[9]。準安定還元をもつ X のド・ラーム・コホモロジーには、兵藤治により創始されたログ・クリスタリン・コホモロジー^[10]との比較を使って φ の作用とモノドロミー作用素を定義できる。予想 C_st は、φ 作用、G_K 作用、K に係数拡大したときのフィルトレーション、そしてモノドロミー作用素 N を持つベクトル空間としての同型

B_{\mathrm {st} }\otimes _{K_{0}}H_{\mathrm {dR} }^{\ast }(X/K)\cong B_{\mathrm {st} }\otimes _{\mathbf {Q} _{p}}H_{\mathrm {{\acute {e}}t} }^{\ast }(X\times _{K}{\overline {K}},\mathbf {Q} _{p})

が成り立つだろうというものである。この予想は90年代後半に辻雄によって証明された^[11]。

脚注

[脚注の使い方]

注釈

^ この記事では、局所体とは完備離散付値体であって剰余体が完全体であるものとする。
^ これらの環は考えている局所体 K に依存するが、その依存関係は記号から省略するのが一般的である。
^ B = B_HT, B_dR, B_st, B_cris に対して、 $B^{G_{K}}$ はそれぞれ K, K, K₀, K₀ である。ここで、K₀ = Frac(W(k))、すなわち k のヴィット・ベクトル（英語版）の商体である。

出典

^ Fontaine 1994, p. 114
^ Serre 1967 参照
^ Faltings 1988
^ Grothendieck 1971, p. 435
^ Fontaine 1982
^ Fontaine 1982, Conjecture A.6
^ Fontaine 1982, Conjecture A.11
^ Faltings 1989
^ Fontaine 1994, Exposé II, section 3
^ Hyodo 1991
^ Tsuji 1999

参考文献

一次資料

Tate, John (1966), "p-Divisible Groups", in Proceedings of a Conference on Local Fields, Springer, 1967. doi:10.1007/978-3-642-87942-5
Faltings, Gerd (1988), “p-adic Hodge theory”, Journal of the American Mathematical Society 1 (1): 255–299, doi:10.2307/1990970, MR 0924705
Faltings, Gerd, “Crystalline cohomology and p-adic Galois representations”, in Igusa, Jun-Ichi, Algebraic analysis, geometry, and number theory, Baltimore, MD: Johns Hopkins University Press, pp. 25–80, ISBN 978-0-8018-3841-5, MR1463696
Fontaine, Jean-Marc (1982), “Sur certains types de représentations p-adiques du groupe de Galois d'un corps local; construction d'un anneau de Barsotti–Tate”, Annals of Mathematics 115 (3): 529–577, doi:10.2307/2007012, MR0657238
Grothendieck, Alexander (1971), “Groupes de Barsotti–Tate et cristaux”, Actes du Congrès International des Mathématiciens (Nice, 1970), 1, pp. 431–436, MR0578496
Hyodo, Osamu (1991), “On the de Rham–Witt complex attached to a semi-stable family”, Compositio Mathematica 78 (3): 241–260, MR1106296
Serre, Jean-Pierre (1967), “Résumé des cours, 1965–66”, Annuaire du Collège de France, Paris, pp. 49–58
Tsuji, Takeshi (1999), “p-adic étale cohomology and crystalline cohomology in the semi-stable reduction case”, Inventiones Mathematicae 137 (2): 233–411, Bibcode: 1999InMat.137..233T, doi:10.1007/s002220050330, MR1705837

二次資料

Berger, Laurent (2004), “An introduction to the theory of p-adic representations”, Geometric aspects of Dwork theory, I, Berlin: Walter de Gruyter GmbH & Co. KG, arXiv:math/0210184, Bibcode: 2002math.....10184B, ISBN 978-3-11-017478-6, MR2023292
Brinon, Olivier; Conrad, Brian (2009), CMI Summer School notes on p-adic Hodge theory 2010年2月5日閲覧。
Fontaine, Jean-Marc, ed. (1994), Périodes p-adiques, Astérisque, 223, Paris: Société Mathématique de France, MR1293969
Illusie, Luc (1990), “Cohomologie de de Rham et cohomologie étale p-adique (d'après G. Faltings, J.-M. Fontaine et al.) Exp. 726”, Séminaire Bourbaki. Vol. 1989/90. Exposés 715–729, Astérisque, 189–190, Paris: Société Mathématique de France, pp. 325–374, MR1099881

[1] この記事では、局所体とは完備離散付値体であって剰余体が完全体であるものとする。

[3] これらの環は考えている局所体 K に依存するが、その依存関係は記号から省略するのが一般的である。

[4] B = B_HT, B_dR, B_st, B_cris に対して、 $B^{G_{K}}$ はそれぞれ K, K, K₀, K₀ である。ここで、K₀ = Frac(W(k))、すなわち k のヴィット・ベクトル（英語版）の商体である。

[2] Fontaine 1994, p. 114

[5] Serre 1967 参照

[6] Faltings 1988

[7] Grothendieck 1971, p. 435

[8] Fontaine 1982

[9] Fontaine 1982, Conjecture A.6

[10] Fontaine 1982, Conjecture A.11

[11] Faltings 1989

[12] Fontaine 1994, Exposé II, section 3

[13] Hyodo 1991

[14] Tsuji 1999

[注釈 1]

[1]

[注釈 2]

[注釈 3]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]