{"id":"arxiv/2601.19164","url":"https://arxiv.org/abs/2601.19164","tags":["math.AC","math.AG"],"score":0,"title":"Derived graded modules","domain":"math.AC","source":"arxiv","authors":["Ryo Ishizuka","Shou Yoshikawa"],"reviews":0,"subject":"math.AC","summary":"We introduce the notion of the $\\infty$-category of (complete) derived $G$-graded modules over a $G$-graded ring $R$ for a torsion-free abelian group $G$, and we study its foundational properties. Moreover, we prove a categorical equivalence between (complete) derived $G$-graded modules over $R$ and derived (formal) comodules over a certain comonad constructed from the group ring $R[G]$ of $G$ over $R$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-27","reactions":{}}