group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
Could not include non-archimedean geometry - contents
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).
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 $p$-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$ to get a (non-archimedean) period ring isomorphism for an arithmetic variety.
Niziol’s K-theoretic proof:
Alexander Beilinson, p-adic periods and derived de Rham cohomology, arXiv:1102.1294.
Alexander Beilinson, On the crystalline period map, arXiv:1111.3316.
Bhargav Bhatt, p-adic derived de Rham cohomology, arXiv:1204.6560.
Luc Illusie, Around the Poincaré lemma, after Beilinson (Preliminary notes), 2013, pdf.
Alexander Beilinson, p-adic Hodge theory, lectures from Yaroslavl’ summer school 2014, videos.
Last revised on January 15, 2016 at 07:57:28. See the history of this page for a list of all contributions to it.