{"id":"arxiv/2610.05884","url":"https://arxiv.org/abs/2610.05884","tags":["math.AC"],"score":0,"title":"K-injective complexes in commutative algebra","domain":"math.AC","source":"arxiv","authors":["Liran Shaul"],"reviews":0,"subject":"math.AC","summary":"It is an unfortunate fact that even over commutative noetherian rings, localization of K-injective complexes need not be K-injective. However, not all is lost. Given a complex of injective modules $J$ over a commutative noetherian ring $A$, we show that K-injectivity of $J$ can be detected locally: if $(A,\\mathfrak{m})$ is a noetherian local ring, then $J$ is K-injective over $A$ if and only if $\\operatorname{Hom}_A(\\widehat{A},J)$ is K-injective over $\\widehat{A}$, the $\\mathfrak{m}$-adic completion of $A$; and for an arbitrary commutative noetherian ring $A$, $J$ is K-injective over $A$ if…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-05","reactions":{}}