{"id":"arxiv/2608.20474","url":"https://arxiv.org/abs/2608.20474","tags":["math.RA"],"score":0,"title":"Projectivity and flatness over the endomorphism ring of a finitely generated $(H, {\\mathcal C})$-comodule","domain":"math.RA","source":"arxiv","authors":["Thomas Guédénon"],"reviews":0,"subject":"math.RA","summary":"Let $k$ be a commutative ring, $H$ a bialgebra over $k$, $A$ an $H$-algebra and $\\mathcal C$ an $(H,A)$-coring, i.e a left $(H,A)$-bimodule which is an $A$-coring in a compatible way. Left $(H,A)$-bimodules and their deformations play a fundamental role in the study of the differential geometry of noncommutative manifolds. Let $Λ$ be a right $(H,{\\mathcal C})$-comodule. The $k$-module $_HEnd^{\\mathcal C}(Λ)$ of right $(H,{\\mathcal C})$-colinear maps from $Λ$ to $Λ$ is a ring. Let us assume that $\\mathcal C$ is flat as a left $A$-module. If $Λ$ is finitely generated (finitely presented) as a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-20","reactions":{}}