On Frobenius and separable Galois cowreaths (Q2223499)

In this paper, the authors continue the study of Frobenius and separable cowreaths began in their previous paper [J. Noncommut. Geom. 9, 707--774 (2015; Zbl 1347.16035)], in the context of so-called \textit{Galois cowreaths}. Let \(\mathcal C\) be a monoidal category with (co)equalizers (all of whose objects are assumed to be coflat and robust), and let \((A, X)\) be a Galois cowreath in \(\mathcal C\). One of the main results of the paper establishes a one-to-one correspondence between Frobenius systems of the algebra extension \(A^{\mathrm{co}(X)} \to A\) in \(\mathcal C\) and Frobenius systems of a certain coalgebra \((X, \psi)\) associated to \((A, X)\). As a consequence of this it is shown that the extension \(A^{\mathrm{co}(X)} \to A\) is Frobenius if and only if the cowreath \((A, X)\) is Frobenius. Necessary and sufficient conditions for a Frobenius pre-Galois cowreath to be Galois are also given. Other results of the paper concern the notion of separability. In contrast with the previously mentioned result, the separability of the extension \(A^{\mathrm{co}(X)} \to A\) is not equivalent to the separability of the cowreath \((A, X)\). The authors give here some necessary and sufficient conditions for the extension \(A^{\mathrm{co}(X)} \to A\) to be separable. They also show that a Frobenius Galois cowreath is separable if and only if it admits a total integral.