In my work in progress on complex analytic vanishing cycles for formal schemes, I have defined integral "etale" cohomology groups of a compact strictly analytic space over the field of Laurent power series with complex coefficients. These are finitely generated abelian groups provided with a quasi-unipotent action of the fundamental group of the punctured complex plane, and they give rise to all $l$-adic etale cohomology groups of the space. After a short survey of this work, I will explain a theorem which, in the case when the space is rig-smooth, compares those groups and the de Rham cohomology groups of the space. The latter are provided with the Gauss-Manin connection and an additional structure which allow one to recover from them the "etale" cohomology groups with complex coefficients.[-]

Given a smooth scheme $X$ over the ring of integers of a $p$-adic field, we introduce the notion of a relative Breuil-Kisin-Fargues module $M$ on $X$. Each such $M$ simultaneously encodes the data of a lisse étale sheaf, a module with flat connection, and a crystal, whose cohomologies are then intertwined by a relative form of the $A_{inf}$ cohomology introduced in "Integral $p$-adic Hodge theory" by Bhatt-M-Scholze. They are moreover closely related to other work in relative $p$-adic Hodge theory, notably Faltings small generalised representations and his relative Fontaine Lafaille theory. Joint with Takeshi Tsuji.[-]