{"id":"arxiv/2610.34022","url":"https://arxiv.org/abs/2610.34022","tags":["math.KT"],"score":0,"title":"Derived products and completion defects of inverse limits","domain":"math.KT","source":"arxiv","authors":["Rui Zeng","Guocheng Dai"],"reviews":0,"subject":"math.KT","summary":"We compute derived products and inverse limits in Grothendieck categories by exact coresolutions. For the product of $r$ doubled affine lines over $B[s]$, where $B$ is any nonzero commutative ring,the exact dimensions of products, epimorphic countable limits, and arbitrary countable limits are $r$, $r$, and $r+1$. We identify the top derived functors for every $B$-module of coefficients. Both obstruction modules contain the countable reduced product as a natural $B$-module direct summand, and a formal-series map relates them by an explicit cokernel sequence. A relative cofree coresolution…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-25","reactions":{}}