English

Finite-coefficient Gersten injectivity fails in ramified mixed characteristic

K-Theory and Homology 2026-08-05 v1

Abstract

Let VV be a complete discrete valuation ring of mixed characteristic (0,3)(0,3) in which 33 is a uniformizer, and put A=V[[x,y]]/(3+x2y3)A=V[[x,y]]/(3+x^2-y^3). We construct a nonzero class aK2(A;Z/3)a\in K_2(A;\mathbf Z/3) whose restriction to the fraction field of AA is zero. Thus Gersten injectivity for algebraic KK-theory with Z/3\mathbf Z/3-coefficients fails for a two-dimensional ramified regular local ring. The coefficient Bockstein of aa is zero, while the map K2(A)K2(F)K_2(A)\to K_2(F) is injective. We also indicate the expected analogous construction for every odd prime. This counterexample does not contradict the integral Gersten conjecture but it rules out a naive reduction to finite coefficients.

Cite

@article{arxiv.2608.05005,
  title  = {Finite-coefficient Gersten injectivity fails in ramified mixed characteristic},
  author = {Niels Feld},
  journal= {arXiv preprint arXiv:2608.05005},
  year   = {2026}
}

Comments

9 pages