Log syntomic cohomology of truncated polynomials and coordinate axes

Abstract

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 prismatic and syntomic cohomology satisfy saturated descent under the sole assumption that the log structure is free, and that the presheaves $\mathrm{logTHH}$, $\mathrm{logTC}$, $\hat{\mathbf{\Delta }}$, and ${\mathbb{Z}}_p^{\mathrm{syn}}(i)$ are representable and $\square$-invariant in ${\mathrm{logSH}}_{\mathrm{k}\acute{\mathrm{e}}\mathrm{t}}^{\mathrm{eff}}({\mathrm{pt}}_{\mathrm{N}})$. As an application, we compute ${\mathbb{Z}}_p^{\mathrm{syn}}(i)$ for the projective log coordinate axes $D$ in ${\mathbb{P}}^2$, obtaining \[ \mathbb{Z}_p^\mathrm{syn}(i)(D) \simeq \mathbb{Z}_p^\mathrm{syn}(i)(k,\mathbb{N})\oplus \mathbb{Z}_p^\mathrm{syn}(i-1)(k,\mathbb{N})[-2] \] Moreover, we determine logarithmic topological cyclic homology for truncated polynomial and semistable examples, directly from the syntomic calculations.

27 pages. Comments welcome!