{"id":"arxiv/2609.26465","url":"https://arxiv.org/abs/2609.26465","tags":["math.AT","math.RA"],"score":0,"title":"Ext-groups of graded comodules","domain":"math.AT","source":"arxiv","authors":["Andrew Salch"],"reviews":0,"subject":"math.AT","summary":"Let $Γ$ be a coalgebra over a field. There is a well-known covariant embedding of the category of graded $Γ$-comodules into the category of graded modules over the dual algebra $Γ^*$. We show that this covariant embedding preserves Ext-groups in a range of motivating cases, including in some cases like Steenrod algebras where the covariant embedding has otherwise bad homological properties and fails to preserve Ext-groups on the underlying ungraded categories. As an application, we prove the old conjecture in stable homotopy theory that there are no nonzero projectives in the category of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-22","reactions":{}}