We investigate the maximal finite length submodule of the Breuil–Kisin prismatic cohomology of a smooth proper formal scheme over a $p$-adic ring of integers. This submodule governs pathology phenomena in integral $p$-adic cohomology theories. Geometric applications include a control, in low degrees and mild ramifications, of (1) the discrepancy between two naturally associated Albanese varieties in characteristic $p$, and (2) the kernel of the specialization map in $p$-adic étale cohomology. As an arithmetic application, we study the boundary case of the theory due to Fontaine and Laffaille, Fontaine and Messing, and Kato. Also included is an interesting example, generalized from a construction in Bhatt, Morrow and Scholze's work, which illustrates some of our theoretical results being sharp, and negates a question of Breuil.

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

We show that the additive higher Chow groups of regular schemes over a field induce a Zariski sheaf of pro-differential graded algebras, the Milnor range of which is isomorphic to the Zariski sheaf of big de Rham–Witt complexes. This provides an explicit cycle-theoretic description of the big de Rham–Witt sheaves. Several applications are derived.

Let $k$ be a perfect field of characteristic $p>0$ and let $\operatorname{W}$ be the ring of Witt vectors of $k$. In this article, we give a new proof of the Frobenius descent for convergent isocrystals on a variety over $k$ relative to $\operatorname{W}$. This proof allows us to deduce an analogue of the de Rham complexes comparison theorem of Berthelot [$\mathscr{D}$-modules arithmétiques. II. Descente par Frobenius, Mém. Soc. Math. Fr. (N.S.) 81 (2000)] without assuming a lifting of the Frobenius morphism. As an application, we prove a version of Berthelot’s conjecture on the preservation of convergent isocrystals under the higher direct image by a smooth proper morphism of $k$-varieties.

In this paper we prove a semistable version of the variational Tate conjecture for divisors in crystalline cohomology, showing that for $k$ a perfect field of characteristic $p$, a rational (logarithmic) line bundle on the special fibre of a semistable scheme over $k\unicode[STIX]{x27E6}t\unicode[STIX]{x27E7}$ lifts to the total space if and only if its first Chern class does. The proof is elementary, using standard properties of the logarithmic de Rham–Witt complex. As a corollary, we deduce similar algebraicity lifting results for cohomology classes on varieties over global function fields. Finally, we give a counter-example to show that the variational Tate conjecture for divisors cannot hold with $\mathbb{Q}_{p}$-coefficients.

We construct the $\unicode[STIX]{x1D6EC}$-adic crystalline and Dieudonné analogues of Hida’s ordinary $\unicode[STIX]{x1D6EC}$-adic étale cohomology, and employ integral $p$-adic Hodge theory to prove $\unicode[STIX]{x1D6EC}$-adic comparison isomorphisms between these cohomologies and the $\unicode[STIX]{x1D6EC}$-adic de Rham cohomology studied in Cais [The geometry of Hida families I:$\unicode[STIX]{x1D6EC}$-adic de Rham cohomology, Math. Ann. (2017), doi:10.1007/s00208-017-1608-1] as well as Hida’s $\unicode[STIX]{x1D6EC}$-adic étale cohomology. As applications of our work, we provide a ‘cohomological’ construction of the family of $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules attached to Hida’s ordinary $\unicode[STIX]{x1D6EC}$-adic étale cohomology by Dee [$\unicode[STIX]{x1D6F7}$–$\unicode[STIX]{x1D6E4}$modules for families of Galois representations, J. Algebra 235 (2001), 636–664], and we give a new and purely geometric proof of Hida’s finiteness and control theorems. We also prove suitable $\unicode[STIX]{x1D6EC}$-adic duality theorems for each of the cohomologies we construct.

We define truncated displays over rings in which a prime $p$ is nilpotent, we associate crystals to truncated displays, and we define functors from truncated displays to truncated Barsotti–Tate groups.

The $p$-cohomology of an algebraic variety in characteristic $p$ lies naturally in the category $D_{c}^{b}(R)$ of coherent complexes of graded modules over the Raynaud ring (Ekedahl, Illusie, Raynaud). We study homological algebra in this category. When the base field is finite, our results provide relations between the absolute cohomology groups of algebraic varieties, log varieties, algebraic stacks, etc., and the special values of their zeta functions. These results provide compelling evidence that $D_{c}^{b}(R)$ is the correct target for $p$-cohomology in characteristic $p$.

We prove that the Newton polygons of Frobenius on the crystalline cohomology of proper smooth varieties satisfy a symmetry that results, in the case of projective smooth varieties, from Poincaré duality and the hard Lefschetz theorem. As a corollary, we deduce that the Betti numbers in odd degrees of any proper smooth variety over a field are even (a consequence of Hodge symmetry in characteristic zero), answering an old question of Serre. Then we give a generalization and a refinement for arbitrary varieties over finite fields, in response to later questions of Serre and of Katz.

In this paper we show that any Frobenius split, smooth, projective threefold over a perfect field of characteristic $p\,>\,0$ is Hodge–Witt. This is proved by generalizing to the case of threefolds a well-known criterion due to $\text{N}$. Nygaard for surfaces to be Hodge-Witt. We also show that the second crystalline cohomology of any smooth, projective Frobenius split variety does not have any exotic torsion. In the last two sections we include some applications.

we compare the absolute and relative de rham–witt complexes considered by hesselholt and madsen (ann. sci. école norm. sup. 37 (2004), 1–43; ann. of math. (2) 158 (2003), 1–113) and by langer and zink (j. inst. math. jussieu 3 (2004), 231–314), which both generalize the classical de rham–witt complex of bloch, deligne, and illusie (ann. sci. école norm. sup. (4) 12 (1979), 501–661) from $\mathbb{f}_p$-schemes to $\mathbb{z}_{(p)}$-schemes. from this comparison, we derive a gauss–manin connection on the crystalline cohomology of x/wn(s) for a smooth family x/s.

A p-adically uniformized variety is a smooth projective variety whose associated rigid analytic space admits a uniformization by Drinfeld's p-adic symmetric domain. For such a variety we prove the monodromy-weight conjecture, which asserts that two independently defined filtrations on the log-crystalline cohomology of the special fiber in fact coincide. The proof proceeds by reducing the conjecture to a combinatorial statement about harmonic cochains on the Bruhat–Tits building, which was verified in our previous work.

We give a definition of the crystalline fundamental group of suitable log schemes in positive characteristic using the techniques of rational homotopy theory applied to the De Rham–Witt complex.

We construct a relative de Rham–Witt complex $W\varOmega^{\cdot}_{X/S}$ for a scheme $X$ over a base scheme $S$. It coincides with the complex defined by Illusie (Annls Sci. Ec. Norm. Super.12 (1979), 501–661) if $S$ is a perfect scheme of characteristic $p>0$. The hypercohomology of $W\varOmega^{\cdot}_{X/S}$ is compared to the crystalline cohomology if $X$ is smooth over $S$ and $p$ is nilpotent on $S$. We obtain the structure of a $3n$-display on the first crystalline cohomology group if $X$ is proper and smooth over $S$.

AMS 2000 Mathematics subject classification: Primary 14F30; 14F40

Let X be the Fermat curve of degree q+1 over the field k of q$^2$ elements, where q is some prime power. Considering the Jacobian J of X as a constant abelian variety over the function field k(X), we calculate the multiplicities, in subfactors of the Shafarevich–Tate group, of representations associated with the action on X of a finite unitary group. J is isogenous to a power of a supersingular elliptic curve E, the structure of whose Shafarevich–Tate group is also described.