nLab p-adic Hodge theory

Contents

Context

Arithmetic geometry

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

A surprising parallel between classical Hodge theory and the theory of Galois representations was noted in the beginning of the 60’s; shortly Tate and Grothendieck attempted to understand the topology of p-adic varieties in light of this analogy. A series of precise conjectures about p-adic Hodge theory was formulated by Fontaine at the beginning of the 80’s; three different proofs were proposed by Faltings, Niziol? and Tsuji?. A significantly simpler approach was developed recently in works of Beilinson and Bhatt.

This paragraph is translated from the abstract of (Beilinson’s Yaroslavl’ lectures).

Overview

p-adic Hodge theory is the study of properties of p-adic (étale, de Rham, logarithmic cristalline) cohomology (and motives) of non-archimedean analytic spaces. The pp-adic Hodge structure of a (proper or semi-stably compactified) p-adic analytic variety is essentially given by a relation between three important invariants of the given variety:

  • p-adic de Rham cohomology equipped with the Hodge filtration,

  • log-cristalline cohomology (of a potentially semi-stable model) equipped with its Frobenius and monodromy map,

  • pro-étale cohomology of the extension of the given variety to a chosen algebraic closure of the base field, together with its natural action of the Galois group.

There is an “evident” isomorphism between p-adic de Rham cohomology and log-cristalline cohomology (both are given by a kind of differential calculus).

The main theorem of p-adic Hodge theory is that the datum of these two cohomologies and their relation on the one side, and of pro-étale cohomology on the other side, mutually determine each other (once equipped with their natural additional structures).

This result has been conjectured first by Grothendieck in the case of p-divisible groups. He called it the mysterious functor. A conjecture generalizing this statement to other kinds of —algebraic— p-adic varieties was formulated by Jannsen in a particular case, and then grounded on the setting of p-adic periods? by Fontaine. After these important Breakthrough, the theory was fully developed by a long list of contributors (see periodes p-adiques, Astérisque for a first list). The comparison theorem was proved by many authors in various particular cases, and then in full generality (for algebraic varieties) by Faltings using almost mathematics.

During the last few years, there were interesting new developments.

If one works with rational coefficients (no torsion), one may get the isomorphism between both structures in a geometric way (in an algebraic setting), using Beilinson’s approach, through (derived de Rham cohomology)de Rham complex.

It is also possible to use Scholze’s perfectoid spaces and Faltings’ almost mathematics to give a very elegant proof of this theorem for proper (or more generally, semi-stably compactified) p-adic (strict, i.e., rigid) analytic varieties. The fact that the classical result extends to the analytic setting is essentially due (up to difficulties related to the resolution in finite characteristic, that are dealt with using Faltings’ methods) to the fact that (proper) rigid analytic varieties always have an integral model, given by a formal scheme over the ring of integers of the given non-archimedean field. The same proof may also extend to the non-strict situation by using a convenient base extension, but this work has not yet been done.

The very important case of torsion coefficients has also been addressed by Scholze in his setting, and by Bhatt, who gave a useful refinement of Beilinson’s construction. Remark that almost mathematical tools seem to be quite well adapted to the study of completed integral cohomology.

Scholze’s original method involves the use of Witt vectors (already used in Fontaine’s definition of period rings), that were also studied by Kedlaya and Liu in this Hodge theoretic context. This Witt vector approach are interesting, but they seem to have the drawback of being quite hard to globalize (including the archimedean norm in a context of global Hodge theory).

It is quite clear to the experts that a nice way to overcome the difficulties that appear when one uses Witt vectors would be to combine directly the (analytic) derived de Rham approach of Beilinson and Bhatt to the perfectoid and almost mathematics approach of Faltings and Scholze. Both approaches may be extended to the analytic setting using overconvergent derived analytic spaces (see global analytic geometry).

One may say that almost geometrical derived methods could be useful to study integral completed cohomology, while usual derived geometric methods are quite well adapted to the study of torsion phenomena in finite characteristic.

Indeed, as explained by Bhatt at the end of his paper, one may use derived de Rham cohomology over Z\Z to get a (non-archimedean) period ring isomorphism for an arithmetic variety.

Hodge-Tate decomposition

An early result in pp-adic Hodge theory is the Hodge-Tate decomposition, which is a pp-adic analogue of the Hodge decomposition in classical Hodge theory. Let XX be a smooth projective variety over p\mathbb{Q}_{p} (or more generally some finite extension of it). Let p\mathbb{C}_{p} be the p-adic complex numbers. Then we have

H k(X ¯ p, p) p p= i+j=kH i(X,Ω X/ j) p(j)H^{k}(X_{\overline{\mathbb{Q}}_{p}},\mathbb{Q}_{p})\otimes_{\mathbb{Q}_{p}}\mathbb{C}_{p}=\bigoplus_{i+j=k} H^{i}(X,\Omega_{X/\mathbb{Q}}^{j})\otimes_{\mathbb{Q}}\mathbb{C}_{p}(-j)

Comparison theorems

Central to modern pp-adic Hodge theory are the comparison theorems that relate the de Rham cohomology and the étale cohomology of a smooth projective variety XX over p\mathbb{Q}_{p} (or more generally some finite extension of it), using the machinery of period rings, whose construction we will discuss in the next section.

For instance, tensoring with the de Rham period ring B dRB_{dR} gives us the following isomorphism between the de Rham and pp-adic etale cohomology of XX:

H dR i(X) pB dR=H et i(X ¯ p, p) pB dRH_{\mathrm{dR}}^{i}(X)\otimes_{\mathbb{Q}_{p}} B_{\mathrm{dR}}=H_{\mathrm{et}}^{i}(X_{\overline{\mathbb{Q}}_{p}},\mathbb{Q}_{p})\otimes_{\mathbb{Q}_{p}} B_{\mathrm{dR}}

The ring B dRB_{dR} is equipped with a filtration and a Galois action. We have a way of recovering the de Rham cohomology from the pp-adic etale cohomology by taking Galois invariants:

H dR i(X)=(H et i(X ¯ p, p) pB dR) Gal pH_{\mathrm{dR}}^{i}(X)=(H_{\mathrm{et}}^{i}(X_{\overline{\mathbb{Q}}_{p}},\mathbb{Q}_{p})\otimes_{\mathbb{Q}_{p}} B_{\mathrm{dR}})^{\mathrm{Gal}_{\mathbb{Q}_{p}}}

Recovering the pp-adic etale cohomology from the de Rham cohomology involves a different period ring, the crystalline period ring B crisB_{cris} (which is equipped with a Frobenius φ\varphi in addition to a filtration and Galois action), and is only possible if XX has an integral model:

H et i(X ¯ p, p)=Fil 0(H dR i(X) pB cris) φ=1H_{\mathrm{et}}^{i}(X_{\overline{\mathbb{Q}}_{p}},\mathbb{Q}_{p})= \mathrm{Fil}^{0}(H_{\mathrm{dR}}^{i}(X)\otimes_{\mathbb{Q}_{p}} B_{\mathrm{cris}})^{\varphi=1}

Construction of period rings

We now show how to construct B dR.B_{dR}. Let 𝒪 p\mathcal{O}_{\mathbb{C}_{p}} be the ring of integers of p\mathbb{C}_{p}. We take the tilt 𝕆 p \mathbb{O}_{\mathbb{C}_{p}}^{\flat} of 𝕆 p\mathbb{O}_{\mathbb{C}_{p}}, and take Witt vectors. The resulting ring W(𝕆 p )W(\mathbb{O}_{\mathbb{C}_{p}}^{\flat}) is also called A inf(𝒪 p)A_{inf}(\mathcal{O}_{\mathbb{C}_{p}}). It comes with a canonical map θ:A inf(𝒪 p)𝒪 p\theta:A_{inf}(\mathcal{O}_{\mathbb{C}_{p}})\to \mathcal{O}_{\mathbb{C}_{p}}. Inverting pp and taking the completion with respect to θ\theta gives us the ring B dR +B_{dR}^{+}. There is a special element tB dR +t\in B_{dR}^{+} which we think of as the logarithm of the element (1,ζ,ζ 1/p,)(1,\zeta,\zeta^{1/p},\ldots). Then we define B dR=B dR +[1/t]B_{dR}=B_{dR}^{+}[1/t].

Next we show how to construct B crisB_{cris}. Once again we take A inf(𝒪 p)A_{inf}(\mathcal{O}_{\mathbb{C}_{p}}) and invert pp. Instead of completing with respect to θ\theta, as in the construction of B dRB_{dR}, we take a generator ω\omega of its kernel, and consider the ring B cris +B_{cris}^{+} whose elements are power series of the form a nω n\sum a_{n}\omega^{n} where the a na_{n}‘s are elements of A inf(𝒪 p)[1/p]A_{inf}(\mathcal{O}_{\mathbb{C}_{p}})[1/p] which converge to 00 as nn approaches infinity, with respect to the topology of A inf(𝒪 p)[1/p]A_{inf}(\mathcal{O}_{\mathbb{C}_{p}})[1/p]. Once again there will be an element tt as in the construction of B dRB_{dR}; we define B cris=B cris +[1/t]B_{cris}=B_{cris}^{+}[1/t].

Classification of pp-adic Galois representations

We can abstract the concepts discussed above and take a p-adic Galois representation VV (without knowing, say, if it comes from some cohomology theory). We can then define

V dR=(VB dR) Gal pV_{dR}=(V\otimes B_{dR})^{\mathrm{Gal}_{\mathbb{Q}_{p}}}

If the dimension of VV is equal to the dimension of V dRV_{dR}, we say that VV is de Rham. We can also apply this construction with B crisB_{cris} instead of B dRB_{dR}; if the dimension stays the same we say that VV is crystalline.

pp-adic Hodge theory for rigid analytic spaces

Peter Scholze has developed a version of pp-adic Hodge theory for rigid analytic spaces in Scholze13. It relies on the construction of period sheaves and develops a pp-adic version of the Riemann-Hilbert correspondence as an intermediate step.

References

Overview

Jacob Lurie, Lecture 1: Overview, lecture notes from a learning seminar on the Fargues-Fontaine curve, pdf

Introductory references

Laurent Berger?, An Introduction to the Theory of pp-adic Representations, pdf

Oliver Brinon? and Brian Conrad, CMI Summer School Notes on pp-adic Hodge Theory, pdf

Niziol’s K-theoretic proof:

  • Wiesława Nizioł?, Crystalline conjecture via KK-theory, Annales scientifiques de l’École Normale Supérieure 31.5 (1998): 659-681. web.

Beilinson-Bhatt approach

pp-adic Hodge theory for rigid analytic spaces

pp-adic absolute Hodge cohomology

Last revised on November 22, 2022 at 22:59:25. See the history of this page for a list of all contributions to it.