p-adic Hodge theory
In
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 GK, the
where each collection is a
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
(where B is a period ring, and V is a p-adic representation) which no longer have a GK-action, but are endowed with linear algebraic structures inherited from the ring B. In particular, they are vector spaces over the fixed field .[4] 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
or, equivalently, the comparison morphism
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 singular cohomologyof X(C)
- This isomorphism can be obtained by considering a tensoredto 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 conjecturedcompletion of an algebraic closure of K, let CK(i) denote CK where the action of GK is via g·z = χ(g)ig·z (where χ is the p-adic cyclotomic character, and i is an integer), and let . Then there is a functorial isomorphism
- of Hodge filtration, and is its associated graded). This conjecture was proved by Gerd Faltings in the late eighties[6] 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 H1(X/W(k)) ⊗ Qp 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 H1(X,Qp) (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.[7] 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[8] a filtered ring BdR whose associated graded is BHT and conjectured[9] the following (called CdR) for any smooth proper scheme X over K
as filtered vector spaces with GK-action. In this way, BdR 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 BdR obtains its name of ring of p-adic periods.
Similarly, to formulate a conjecture explaining Grothendieck's mysterious functor, Fontaine introduced a ring Bcris with GK-action, a "Frobenius" φ, and a filtration after extending scalars from K0 to K. He conjectured[10] the following (called Ccris) for any smooth proper scheme X over K with good reduction
as vector spaces with φ-action, GK-action, and filtration after extending scalars to K (here is given its structure as a K0-vector space with φ-action given by its comparison with crystalline cohomology). Both the CdR and the Ccris conjectures were proved by Faltings.[11]
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
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, Cst, this time allowing X to have
as vector spaces with φ-action, GK-action, filtration after extending scalars to K, and monodromy operator N. This conjecture was proved in the late nineties by Takeshi Tsuji.[14]
Notes
- discrete valuation field whose residue field is perfect.
- ^ Fontaine 1994, p. 114
- ^ These rings depend on the local field K in question, but this relation is usually dropped from the notation.
- ^ For B = BHT, BdR, Bst, and Bcris, is K, K, K0, and K0, respectively, where K0 = Frac(W(k)), the fraction field of the Witt vectorsof k.
- ^ See 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
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, ISBN 978-3-642-87942-5
- MR 0924705
- MR 1463696
- MR 0657238
- MR 0578496
- Hyodo, Osamu (1991), "On the de Rham–Witt complex attached to a semi-stable family", MR 1106296
- Serre, Jean-Pierre (1967), "Résumé des cours, 1965–66", Annuaire du Collège de France, Paris, pp. 49–58
{{citation}}
: CS1 maint: location missing publisher (link) - Tsuji, Takeshi (1999), "p-adic étale cohomology and crystalline cohomology in the semi-stable reduction case", S2CID 121547567
Secondary sources
- Berger, Laurent (2004), "An introduction to the theory of p-adic representations", Geometric aspects of Dwork theory, vol. I, Berlin: Walter de Gruyter GmbH & Co. KG, MR 2023292
- Brinon, Olivier; Conrad, Brian (2009), CMI Summer School notes on p-adic Hodge theory (PDF), retrieved 2010-02-05
- MR 1293969
- 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, vol. 189–190, Paris: Société Mathématique de France, pp. 325–374, MR 1099881