Ext-groups of graded comodules
Abstract
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 graded comodules over the dual Steenrod algebra. As another application, we carry out a study of the right adjoint to the extended comodule functor, including a topological interpretation of this right adjoint. This yields generalizations of formulas of Margolis and Lin characterizing maps from Eilenberg-Mac Lane spectra into finite-type bounded-below spectra; our generalizations drop the "finite-type" hypothesis.
Related
- Cotensor decompositions for comodules over graded vertex operator coalgebras
- The Extension groups of one K-type representations of graded Hecke algebra
- Complete RO-Graded Tambara Structure of Hunderlineℤ for cyclic groups
- Higher Spherical Scissors Congruence II: Comodules
- Graded Betti numbers of graded Möbius algebras of uniform matroids
BibTeX
@misc{salch2026extgroups,
title = {{Ext-groups of graded comodules}},
author = {Andrew Salch},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.26465},
eprint = {2609.26465},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.26465},
}
RIS
TY - UNPB
TI - Ext-groups of graded comodules
AU - Andrew Salch
PY - 2026
DA - 2026/09/22
PB - arXiv
DO - 10.48550/arxiv.2609.26465
UR - https://arxiv.org/abs/2609.26465
AB - 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 graded comodules over the dual Steenrod algebra. As another application, we carry out a study of the right adjoint to the extended comodule functor, including a topological interpretation of this right adjoint. This yields generalizations of formulas of Margolis and Lin characterizing maps from Eilenberg-Mac Lane spectra into finite-type bounded-below spectra; our generalizations drop the "finite-type" hypothesis.
ER -