Crystallinity for syntomic cohomology, étale cohomology, and algebraic $K$-theory

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Hahn, Jeremy, Levy, Ishan, Senger, Andrew
Format: Preprint
Publié: 2024
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866914259481395200
author Hahn, Jeremy
Levy, Ishan
Senger, Andrew
author_facet Hahn, Jeremy
Levy, Ishan
Senger, Andrew
contents 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$ étale 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.
format Preprint
id arxiv_https___arxiv_org_abs_2409_20543
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Crystallinity for syntomic cohomology, étale cohomology, and algebraic $K$-theory
Hahn, Jeremy
Levy, Ishan
Senger, Andrew
K-Theory and Homology
Algebraic Geometry
Algebraic Topology
Number Theory
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$ étale 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.
title Crystallinity for syntomic cohomology, étale cohomology, and algebraic $K$-theory
topic K-Theory and Homology
Algebraic Geometry
Algebraic Topology
Number Theory
url https://arxiv.org/abs/2409.20543