P進ホッジ理論

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

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

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

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

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

${\displaystyle \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) の特異コホモロジー の間には古典的な比較同型写像

${\displaystyle 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 は整数）、そして ${\displaystyle B_{\mathrm {HT} }:=\oplus _{i\in \mathbf {Z} }\mathbf {C} _{K}(i)}$ と置く。テイトの予想とは、G_K 作用を持つ次数付きベクトル空間としての同型

${\displaystyle 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})}$

が存在し、かつこれは関手間の同型射となるであろうというものである（${\displaystyle \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 作用とフィルター付きのベクトル空間としての同型

${\displaystyle 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 に拡大したときのフィルトレーション付きベクトル空間としての同型

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

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

${\displaystyle 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 を持つベクトル空間としての同型

${\displaystyle 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]。

• 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, MR0924705 
• 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, http://math.stanford.edu/~conrad/papers/notes.pdf 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