Picard groups of rings of coinvariants. (Q2479821)

The author extends results of \textit{A. R. Magid} [J. Pure Appl. Algebra 17, 305-311 (1980; Zbl 0437.14002)] on the Picard group of rings of invariants. He considers Doi-Hopf data \((H,A,C)\) satisfying certain conditions that entail that \(A\otimes C\), which is always an \(A\)-coring, is also a commutative associative algebra. \(G(A\otimes C)\), the grouplike elements of \(A\otimes C\), then form a monoid, but, in general, not a group. If \(G(A\otimes C)\) is a group, then \(\text{Pic}^C(A)\), the Picard group of invertible \(A\otimes C\)-comodules, fits into an exact sequence \[ 1\to G^u(A\otimes C)\to G(A\otimes C)\to\text{Pic}^C(A)\to\text{Pic}(A). \] Here \(G^u(A\otimes C)\) is a certain subgroup of \(G(A\otimes C)\). We have a group monomorphism \(\text{Pic}(A^{\text{co\,}C})\to\text{Pic}^C(A)\), and its image can be characterized if \(C\) is cosemisimple. In this case, we have an exact sequence \[ 1\to G^u(A\otimes C)\to G^s(A\otimes C)\to\text{Pic}(A^{\text{co\,}C})\to\text{Pic}(A), \] where \(G^s(A\otimes C)\) is another well-defined subgroup of \(G(A\otimes C)\). The results can be specified to several specific cases.