p-adic Hodge theory

In mathematics, p-adic Hodge theory is a theory that provides a way to classify and study p-adic Galois representations of characteristic 0 local fields with residual characteristic p (such as Q_p). The theory has its beginnings in Jean-Pierre Serre and John Tate's study of Tate modules of abelian varieties and the notion of Hodge–Tate representation. Hodge–Tate representations are related to certain decompositions of p-adic cohomology theories analogous to the Hodge decomposition, hence the name p-adic Hodge theory. Further developments were inspired by properties of p-adic Galois representations arising from the étale cohomology of varieties. Jean-Marc Fontaine introduced many of the basic concepts of the field.

General classification of p-adic representations

Let K be a local field with residue field k of characteristic p. In this article, a p-adic representation of K (or of G_K, the absolute Galois group of K) will be a continuous representation ρ : G_K→ GL(V), where V is a finite-dimensional vector space over Q_p. The collection of all p-adic representations of K form an abelian category denoted [math]\displaystyle{ \mathrm{Rep}_{\mathbf{Q}_p}(K) }[/math] in this article. p-adic Hodge theory provides subcollections of p-adic representations based on how nice they are, and also provides faithful functors to categories of linear algebraic objects that are easier to study. The basic classification is as follows:

[math]\displaystyle{ \operatorname{Rep}_\mathrm{crys}(K)\subsetneq\operatorname{Rep}_{ss}(K) \subsetneq \operatorname{Rep}_{dR}(K)\subsetneq \operatorname{Rep}_{HT}(K) \subsetneq \operatorname{Rep}_{\mathbf{Q}_p}(K) }[/math]

where each collection is a full subcategory properly contained in the next. In order, these are the categories of crystalline representations, semistable representations, de Rham representations, Hodge–Tate representations, and all p-adic representations. In addition, two other categories of representations can be introduced, the potentially crystalline representations Rep_pcris(K) and the potentially semistable representations Rep_pst(K). The latter strictly contains the former which in turn generally strictly contains Rep_cris(K); additionally, Rep_pst(K) generally strictly contains Rep_st(K), and is contained in Rep_dR(K) (with equality when the residue field of K is finite, a statement called the p-adic monodromy theorem).

Period rings and comparison isomorphisms in arithmetic geometry

The general strategy of p-adic Hodge theory, introduced by Fontaine, is to construct certain so-called period rings such as B_dR, B_st, B_cris, and B_HT which have both an action by G_K and some linear algebraic structure and to consider so-called Dieudonné modules

[math]\displaystyle{ D_B(V)=(B\otimes_{\mathbf{Q}_p}V)^{G_K} }[/math]

(where B is a period ring, and V is a p-adic representation) which no longer have a G_K-action, but are endowed with linear algebraic structures inherited from the ring B. In particular, they are vector spaces over the fixed field [math]\displaystyle{ E:=B^{G_K} }[/math]. This construction fits into the formalism of B-admissible representations introduced by Fontaine. For a period ring like the aforementioned ones B_∗ (for ∗ = HT, dR, st, cris), the category of p-adic representations Rep_∗(K) mentioned above is the category of B_∗-admissible ones, i.e. those p-adic representations V for which

[math]\displaystyle{ \dim_ED_{B_\ast}(V)=\dim_{\mathbf{Q}_p}V }[/math]

or, equivalently, the comparison morphism

[math]\displaystyle{ \alpha_V:B_\ast\otimes_ED_{B_\ast}(V)\longrightarrow B_\ast \otimes_{\mathbf{Q}_p}V }[/math]

is an isomorphism.

This formalism (and the name period ring) grew out of a few results and conjectures regarding comparison isomorphisms in arithmetic and complex geometry:

• If X is a proper smooth scheme over C, there is a classical comparison isomorphism between the algebraic de Rham cohomology of X over C and the singular cohomology of X(C)

[math]\displaystyle{ H^\ast_{\mathrm{dR}}(X/\mathbf{C})\cong H^\ast(X(\mathbf{C}),\mathbf{Q})\otimes_\mathbf{Q}\mathbf{C}. }[/math]

This isomorphism can be obtained by considering a pairing obtained by integrating differential forms in the algebraic de Rham cohomology over cycles in the singular cohomology. The result of such an integration is called a period and is generally a complex number. This explains why the singular cohomology must be tensored to C, and from this point of view, C can be said to contain all the periods necessary to compare algebraic de Rham cohomology with singular cohomology, and could hence be called a period ring in this situation.

• In the mid sixties, Tate conjectured that a similar isomorphism should hold for proper smooth schemes X over K between algebraic de Rham cohomology and p-adic étale cohomology (the Hodge–Tate conjecture, also called C_HT). Specifically, let C_K be the completion of an algebraic closure of K, let C_K(i) denote C_K where the action of G_K is via g·z = χ(g)ⁱg·z (where χ is the p-adic cyclotomic character, and i is an integer), and let [math]\displaystyle{ B_{\mathrm{HT}}:=\oplus_{i\in\mathbf{Z}}\mathbf{C}_K(i) }[/math]. Then there is a functorial isomorphism

[math]\displaystyle{ B_{\mathrm{HT}}\otimes_K\mathrm{gr}H^\ast_{\mathrm{dR}}(X/K)\cong B_{\mathrm{HT}}\otimes_{\mathbf{Q}_p}H^\ast_{\mathrm{\acute{e}t}}(X\times_K\overline{K},\mathbf{Q}_p) }[/math]

of graded vector spaces with G_K-action (the de Rham cohomology is equipped with the Hodge filtration, and [math]\displaystyle{ \mathrm{gr}H^\ast_{\mathrm{dR}} }[/math] is its associated graded). This conjecture was proved by Gerd Faltings in the late eighties after partial results by several other mathematicians (including Tate himself).

• For an abelian variety X with good reduction over a p-adic field K, Alexander Grothendieck reformulated a theorem of Tate's to say that the crystalline cohomology H¹(X/W(k)) ⊗ Q_p of the special fiber (with the Frobenius endomorphism on this group and the Hodge filtration on this group tensored with K) and the p-adic étale cohomology H¹(X,Q_p) (with the action of the Galois group of K) contained the same information. Both are equivalent to the p-divisible group associated to X, up to isogeny. Grothendieck conjectured that there should be a way to go directly from p-adic étale cohomology to crystalline cohomology (and back), for all varieties with good reduction over p-adic fields. This suggested relation became known as the mysterious functor.

To improve the Hodge–Tate conjecture to one involving the de Rham cohomology (not just its associated graded), Fontaine constructed a filtered ring B_dR whose associated graded is B_HT and conjectured the following (called C_dR) for any smooth proper scheme X over K

[math]\displaystyle{ B_{\mathrm{dR}}\otimes_KH^\ast_{\mathrm{dR}}(X/K)\cong B_{\mathrm{dR}}\otimes_{\mathbf{Q}_p}H^\ast_{\mathrm{\acute{e}t}}(X\times_K\overline{K},\mathbf{Q}_p) }[/math]

as filtered vector spaces with G_K-action. In this way, B_dR could be said to contain all (p-adic) periods required to compare algebraic de Rham cohomology with p-adic étale cohomology, just as the complex numbers above were used with the comparison with singular cohomology. This is where B_dR obtains its name of ring of p-adic periods.

Similarly, to formulate a conjecture explaining Grothendieck's mysterious functor, Fontaine introduced a ring B_cris with G_K-action, a "Frobenius" φ, and a filtration after extending scalars from K₀ to K. He conjectured the following (called C_cris) for any smooth proper scheme X over K with good reduction

[math]\displaystyle{ B_{\mathrm{cris}}\otimes_{K_0}H^\ast_{\mathrm{dR}}(X/K)\cong B_{\mathrm{cris}}\otimes_{\mathbf{Q}_p}H^\ast_{\mathrm{\acute{e}t}}(X\times_K\overline{K},\mathbf{Q}_p) }[/math]

as vector spaces with φ-action, G_K-action, and filtration after extending scalars to K (here [math]\displaystyle{ H^\ast_{\mathrm{dR}}(X/K) }[/math] is given its structure as a K₀-vector space with φ-action given by its comparison with crystalline cohomology). Both the C_dR and the C_cris conjectures were proved by Faltings.

Upon comparing these two conjectures with the notion of B_∗-admissible representations above, it is seen that if X is a proper smooth scheme over K (with good reduction) and V is the p-adic Galois representation obtained as is its ith p-adic étale cohomology group, then

[math]\displaystyle{ D_{B_\ast}(V)=H^i_{\mathrm{dR}}(X/K). }[/math]

In other words, the Dieudonné modules should be thought of as giving the other cohomologies related to V.

In the late eighties, Fontaine and Uwe Jannsen formulated another comparison isomorphism conjecture, C_st, this time allowing X to have semi-stable reduction. Fontaine constructed a ring B_st with G_K-action, a "Frobenius" φ, a filtration after extending scalars from K₀ to K (and fixing an extension of the p-adic logarithm), and a "monodromy operator" N. When X has semi-stable reduction, the de Rham cohomology can be equipped with the φ-action and a monodromy operator by its comparison with the log-crystalline cohomology first introduced by Osamu Hyodo. The conjecture then states that

[math]\displaystyle{ B_{\mathrm{st}}\otimes_{K_0}H^\ast_{\mathrm{dR}}(X/K)\cong B_{\mathrm{st}}\otimes_{\mathbf{Q}_p}H^\ast_{\mathrm{\acute{e}t}}(X\times_K\overline{K},\mathbf{Q}_p) }[/math]

as vector spaces with φ-action, G_K-action, filtration after extending scalars to K, and monodromy operator N. This conjecture was proved in the late nineties by Takeshi Tsuji.

See also

• Hodge theory
• Arakelov theory
• Hodge-Arakelov theory
• p-adic Teichmüller theory

References

Primary sources

• Tate, John (1967), "p-Divisible Groups"", Proceedings of a Conference on Local Fields, Springer, pp. 158–183, doi:10.1007/978-3-642-87942-5_12, ISBN 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 
• Faltings, Gerd (1989), "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 
• 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 
• Grothendieck, Alexander (1971), "Groupes de Barsotti–Tate et cristaux", Actes du Congrès International des Mathématiciens (Nice, 1970), 1, pp. 431–436 
• Hyodo, Osamu (1991), "On the de Rham–Witt complex attached to a semi-stable family", Compositio Mathematica 78 (3): 241–260 
• 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, doi:10.1007/s002220050330, Bibcode: 1999InMat.137..233T 

Secondary sources

• 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, ISBN 978-3-11-017478-6, Bibcode: 2002math.....10184B 
• Brinon, Olivier; Conrad, Brian (2009), CMI Summer School notes on p-adic Hodge theory, http://math.stanford.edu/~conrad/papers/notes.pdf, retrieved 2010-02-05 
• Fontaine, Jean-Marc, ed. (1994), Périodes p-adiques, Astérisque, 223, Paris: Société Mathématique de France 
• 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