Derived products and completion defects of inverse limits
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.34022
curl -X POST /api/v1/records/arxiv/2610.34022/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.34022/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'