{"id":"arxiv/2608.05005","url":"https://arxiv.org/abs/2608.05005","tags":["math.KT"],"score":0,"title":"Finite-coefficient Gersten injectivity fails in ramified mixed characteristic","domain":"math.KT","source":"arxiv","authors":["Niels Feld"],"reviews":0,"subject":"math.KT","summary":"Let $V$ be a complete discrete valuation ring of mixed characteristic $(0,3)$ in which $3$ is a uniformizer, and put $A=V[[x,y]]/(3+x^2-y^3)$. We construct a nonzero class $a\\in K_2(A;\\mathbf Z/3)$ whose restriction to the fraction field of $A$ is zero. Thus Gersten injectivity for algebraic $K$-theory with $\\mathbf Z/3$-coefficients fails for a two-dimensional ramified regular local ring. 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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-05","reactions":{}}