Related papers: Logarithmic prismatic cohomology II

We prove a comparison theorem between locally analytic group cohomology and Lie algebra cohomology for locally analytic representations of a Lie group over a nonarchimedean field of characteristic 0. The proof is similar to that of…

In this paper we continue the study of non connected graded Gorenstein algebras initiated in a previous paper, the main result is the proof of a version of the Local Cohomology formula.

The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…

We construct the relative log de Rham-Witt complex. This is a generalization of the relative de Rham-Witt complex of Langer-Zink to log schemes. We prove the comparison theorem between the hypercohomology of the log de Rham-Witt complex and…

In this article we give an interpretation, in terms of derived de Rham complexes, of Scholze's de Rham period sheaf and Tan--Tong's crystalline period sheaf.

In this note I define an overconvergent version of prisms and prismatic cohomology as introduced by Bhatt and Scholze and show that overconvergent prismatic cohomology specialises to $p$-adic cohomologies, like Monsky-Washnitzer resp. rigid…

We study duality theorems for the relative logarithmic de Rham-Witt sheaves on semi-stable schemes $X$ over a local ring $\mathbb{F}_q[[t]]$, where $\mathbb{F}_q$ is a finite field. As an application, we obtain a new filtration on the…

We give an interpretation of the cohomology of an arithmetically defined group as a set of equivalence classes of lattices. We use this interpretation to give a simpler proof of the connection established by J. Rohlfs between genus and…

We compare flat cohomology with crystalline syntomic complexes in two cases: 1) $p$-divisible groups over a separated $\mathbb F_p$-scheme with local finite $p$-bases, 2) semi-abelian schemes over a separated irreducible smooth curve.

For a proper, smooth scheme $X$ over a $p$-adic field $K$, we show that any proper, flat, semistable $\mathcal{O}_K$-model $\mathcal{X}$ of $X$ whose logarithmic de Rham cohomology is torsion free determines the same $\mathcal{O}_K$-lattice…

We relate the cohomology of the Orlik-Solomon algebra of a discriminantal arrangement to the local system cohomology of the complement. The Orlik-Solomon algebra of such an arrangement (viewed as a complex) is shown to be a linear…

We introduce the notion of a relative log scheme with boundary: a morphism of log schemes together with a (log schematically) dense open immersion of its source into a third log scheme. The sheaf of relative log differentials naturally…

For a regular immersion of schemes $Z\to X$ and a cohomology theory of fs log schemes, we formulate the logarithmic Gysin sequence using the "logarithmic compactification" $(\mathrm{Bl}_Z X,E)$ instead of the open complement $X-Z$, where…

We focus our attention on the de Rham operators' underlying properties which are specified by intrinsic effects of differential geometry structures. And then we apply the procedure of regularization in the context of Lipschitz version of de…

We show that the direct image of the filtered logarithmic de Rham complex is a direct sum of filtered logarithmic complexes with coefficients in variations of Hodge structures, using a generalization of the decomposition theorem of…

Let $(\Omega,\mathscr F,\mathbb P) $ be a probability space and let $(\mathscr F_n)$ be a binary filtration, i.e. exactly one atom of $\mathscr F_{n-1}$ is divided into two atoms of $\mathscr F_n$ without any restriction on their respective…

Let $p$ be a prime. We resolve a question posed by Min\'a\v{c}-Rogelstad-T\^an. We relate the Zassenhaus and the lower central series of pro-$p$ groups under a torsion-freeness condition. We also study graph products of (pro-$p$) groups…

We study the logarithmic syntomic cohomology of fine and saturated log schemes and its realization in the logarithmic motivic stable homotopy category $\mathrm{logSH}(\mathrm{pt}_\mathbb{N})$ of a log point. We prove that logarithmic…

We apply our previous results on ``saturated descent'' to express a wide range of logarithmic cohomology theories in terms of the infinite root stack. Examples include the log cotangent complex, Rognes' log topological cyclic homology, and…

Motivated by applications in point counting algorithms using p-adic cohomology, we give an explicit description of integral lattices in rigid cohomology spaces that p-adically approximate logarithmic crystalline cohomology modules. These…