An arithmetic \'etale-crystalline comparison with coefficients in crystalline local systems

TL;DR

This paper extends the comparison between crystalline and étale cohomology to include coefficients in crystalline local systems, using stacky $p$-adic methods and establishing new cohomological equivalences.

Contribution

It generalizes the crystalline-étale comparison theorem to arbitrary crystalline local systems using a stacky approach and proves related cohomological isomorphisms.

Findings

Established a version of the Beilinson fibre square with coefficients.

Proved a comparison between syntomic and $p$-adic étale cohomology with $F$-gauge coefficients.

Provided a description of the isogeny category of perfect $F$-gauges.

Abstract

We use the stacky approach to $p$-adic cohomology theories recently developed by Drinfeld and Bhatt--Lurie to generalise a comparison theorem between the rational crystalline cohomology of the special fibre and the rational $p$-adic \'etale cohomology of the arithmetic generic fibre of any proper $p$-adic formal scheme $X$ due to Colmez--Niziol to the case of coefficients in an arbitrary crystalline local system on the generic fibre of $X$. In the process, we establish a version of the Beilinson fibre square of Antieau--Mathew--Morrow--Nikolaus with coefficients in the proper case and prove a comparison between syntomic cohomology and $p$-adic \'etale cohomology with coefficients in an arbitrary $F$-gauge. Our methods also yield a description of the isogeny category of perfect $F$-gauges on $\mathbb{Z}_p$.