Crystallinity for syntomic cohomology, \'etale cohomology, and algebraic $K$-theory

TL;DR

This paper establishes a crystallinity phenomenon for mod $(p^c,v_1^{p^n})$ syntomic cohomology, enabling explicit computations of algebraic $K$-theory of certain rings and linking it to $p$-adic convergence and Galois cohomology.

Contribution

It proves a new crystallinity property for syntomic cohomology functors, leading to explicit $K$-theory calculations and connections to $p$-adic homology theories.

Findings

Explicit computation of mod $(p,v_1^{p^{n}-1})$ algebraic $K$-theory of $Z/p^{k}$

Crystallinity for syntomic complexes of smooth $p$-adic formal schemes

Strengthened $p$-adic convergence theorems for topological Hochschild homology

Abstract

We prove for $n\geq c-1$ that the functor taking an animated ring $R$ to its mod $(p^c,v_1^{p^n})$ syntomic cohomology factors through the functor $R \mapsto R/p^{c(n+2)}$, a phenomenon we term crystallinity for mod $(p^c,v_1^{p^n})$ syntomic cohomology. As an application, we completely and explicitly compute the mod $(p,v_1 ^{p^{n}-1})$ algebraic $K$-theory of $\mathbb Z/p^{k}$ whenever $k \geq n+2$ and $p>2$. As a second application, we deduce crystallinity for the mod $p^c$ syntomic complexes associated to smooth $p$-adic formal schemes, and in particular for the Galois equivariant mod $p^c$ \'etale cohomologies of their adic generic fibers. Finally, we strengthen known $p$-adic convergence theorems for the topological Hochschild homology of ring spectra, and as a result relate crystallinity for algebraic $K$-theory to Lichtenbaum--Quillen theorems.