Comonadicity and invertible bimodules (Q2370277)

Given a homomorphism of associative rings \(i:B\to S\), the author is interested in the relationship between the group \(\text{Inv}_B(S)\) of invertible \(B\)-subbimodules of \(S\) and the automorphism group of a certain \(S\)-coring \(\Sigma\), for instance the \(S\)-coring \(S\otimes_BS\) or more general, in case \(S\) is the endomorphism ring of a finitely generated projective right module \(M\) over a ring \(A\), the \(S\)-coring \(M^*\otimes_B M\), where \(M^*\) is the dual to \(M\) as an \(A\)-module. The question is whether the natural group homomorphism from \(\text{Inv}_B(S)\) to \(\Aut(\Sigma)\) is bijective. This question was studied previously by \textit{A. Masuoka} for the coring \(S\otimes_BS\) [``Corings and invertible bimodules'', Tsukuba J. Math. 13, 353--362 (1989; Zbl 0769.16003)] and by \textit{L. El Kaoutit} and \textit{J. Gómez-Torrecillas} [``Comatrix corings and invertible bimodules'', Ann. Univ. Ferrara, Nouva Ser., Sez. VII 51, 263--280 (2005; Zbl 1126.16026)] for the coring \(M^*\otimes_B M\). The main observation of the author is that the sufficient conditions provided in the above mentioned works depend on a descent type argument. The main theorem of the work then claims that the bijectivity of the group homomorphism in question follows from the comonadicity of the base change functor associated to the homomorphism \(i:B\to S\).