English

Exact bounds for even vanishing of $K_* (\mathbb{Z}/p^n)$

K-Theory and Homology 2024-10-01 v1 Algebraic Geometry Algebraic Topology

Abstract

In this note, we prove that K2i(Z/pn)0K_{2i} (\mathbb{Z}/p^n) \neq 0 if and only if p1p-1 divides ii and 0i(p1)pn20 \leq i \leq (p-1) p^{n-2}, refining the even vanishing theorem of Antieau, Nikolaus and the first author in this case. As a corollary of our proof, we determine that the nilpotence order of v1v_1 in πK(Z/pn)/p\pi_* K(\mathbb{Z}/p^n)/p is equal to pn1p1\frac{p^n-1}{p-1}. Our proof combines the recent crystallinity result for reduced syntomic cohomology of Hahn, Levy and the second author with the explicit complex computing the syntomic cohomology of OK/ϖn\mathcal{O}_K /\varpi^n constructed by Antieau, Nikolaus and the first author.

Keywords

Cite

@article{arxiv.2409.20523,
  title  = {Exact bounds for even vanishing of $K_* (\mathbb{Z}/p^n)$},
  author = {Achim Krause and Andrew Senger},
  journal= {arXiv preprint arXiv:2409.20523},
  year   = {2024}
}

Comments

10 pages