Th\'eorie de Dieudonn\'e cristalline et p\'eriodes p-adiques

Let $G$ be a split reductive group over the ring of integers in a $p$-adic field with residue field $\mathbf{F}$. Fix a representation $\overline{\rho}$ of the absolute Galois group of an unramified extension of $\mathbf{Q}_p$, valued in $G(\mathbf{F})$. We study the crystalline deformation ring for $\overline{\rho}$ with a fixed $p$-adic Hodge type that satisfies an analog of the Fontaine-Laffaille condition for $G$-valued representations. In particular, we give a root theor...

For $p \geq 3$ and an unramified extension $F/\mathbb{Q}_p$ with perfect residue field, we define a syntomic complex with coefficients in a Wach module over a certain period ring for $F$. We show that our complex computes the crystalline part of the Galois cohomology (in the sense of Bloch and Kato) of the associated crystalline representation of the absolute Galois group of $F$. Furthermore, we establish that Wach modules of Berger naturally descend over to a smaller period ...

We define a category of divided Dieudonn\'e crystals which classifies p-divisible groups over schemes in characteristic p with certain finiteness conditions, including all F-finite noetherian schemes. For formally smooth schemes or locally complete intersections this generalizes and extends known results on the classical crystalline Dieudonn\'e functor.

Berthelot's conjecture predicts that under a proper and smooth morphism of schemes in characteristic $p$, the higher direct images of an overconvergent $F$-isocrystal are overconvergent $F$-isocrystals. In this paper we prove that this is true for crystals up to isogeny. As an application we prove a K\"unneth formula for the crystalline fundamental group.

This is a review on the two first parts of our work on $p$-adic multiple zeta values at $N$-th roots of unity ($p$MZV$\mu_{N}$'s), the $p$-adic periods of the crystalline pro-unipotent fundamental groupoid of $\mathbb{P}^{1} - \{0,\mu_{N},\infty\}$ (where $N$ and $p$ are coprime). We restrict for simplicity the review to the case of $N=1$, i.e. the case of $p$-adic multiple zeta values ($p$MZV's). The main tools are new objects which we call $p$-adic pro-unipotent harmonic ac...

This paper contains three new results. {\bf 1}.We introduce new notions of projective crystalline representations and twisted periodic Higgs-de Rham flows. These new notions generalize crystalline representations of \'etale fundamental groups introduced in [7,10] and periodic Higgs-de Rham flows introduced in [19]. We establish an equivalence between the categories of projective crystalline representations and twisted periodic Higgs-de Rham flows via the category of twisted F...

We propose the notion of the {\em crystalline sub-representation functor} defined on $p$-adic representations of the Galois groups of finite extensions of $\Qp$, with certain restrictions in the case of integral representations. By studying its right-derived functors, we find a natural extension of a formula of Grothendieck expressing the group of connected components of a Neron model of an abelian variety in terms of Galois cohomology.

Let G be the Tate module of a p-divisble group H over a perfect field k of characteristic p. A theorem of Scholze-Weinstein describes G (and therefore H itself) in terms of the Dieudonne module of H; more precisely, it describes G(C) for "good" semiperfect k-algebras C (which is enough to reconstruct G). In these notes we give a self-contained proof of this theorem and explain the relation with the classical descriptions of the Dieudonne functor from Dieudonne modules to p-...

In this paper we explain how to attach to a family of $p$-adic representations of a product of Galois groups an overconvergent family of multivariable $(\varphi,\Gamma)$-modules, generalizing results from Pal-Zabradi and Carter-Kedlaya-Zabradi, using Colmez-Sen-Tate descent. We also define rings of multivariable crystalline and semistable periods, and explain how to recover this multivariable $p$-adic theory attached to a family of representations from its multivariable $(\va...

These are the notes for an eponymous course given by the authors at the summer school on p-adic arithmetic geometry in Hangzhou.