Picard groups for graded coalgebras (Q4953289)

Let \(C\) be a coalgebra graded by an arbitrary group \(G\). In this paper the authors study the group of equivalences of the category of graded comodules \({\mathbf{gr}}^C\), denoted \(\text{Pic}^{gr}(C)\). Since \({\mathbf{gr}}^C\) is isomorphic to \({\mathbf M}^{C\rtimes kG}\), the category of comodules over the smash product, \(\text{Pic}^{gr}(C)\cong\text{Pic}(C\rtimes kG)\). An equivalence \(V\) of \({\mathbf{gr}}^C\) is called a graded equivalence if \(V\) commutes with the shift. For \(D\) a graded \(C\)-coalgebra, \(gr\text{Pic}_C(D)\) is the group of all graded bimodule isomorphism classes \([M]\) of invertible graded bicomodules \(_DM_D\) over \(C\), with \([M][N]=[M\square^{gr}_DN]\). Then \(gr\text{Pic}_k(D)\) is the group of graded self-equivalences of \({\mathbf{gr}}^D\). As well, \(gr\text{Picent}(D)\) is defined be \(gr\text{Pic}_{Z(D)}(D)\) where \(Z(D)\) is the cocenter of \(D\). The main results in this paper parallel the theory for graded algebras and modules. For example, the authors prove that for \(D\) a graded \(C\)-coalgebra, there is an exact sequence \[ 1\to gr\text{Inn}_C(D)\to gr\Aut_C(D)\to gr\text{Pic}_C(D) \] and that if \(D\) is cocommutative and \(G\) is Abelian, \[ gr\text{Pic}_C(D)\cong gr\text{Picent}(D)\ltimes gr\Aut_C(D) \] the semidirect product of groups. These results require a lot of machinery, in particular, development of the co-HOM functor in Section 3 and adaptation of the Morita-Takeuchi theory to the graded case in Section 4.