Extensions of the endomorphism algebra of weak comodule algebras. (Q2342376): Difference between revisions

Let \(H\) be a finite-dimensional weak Hopf algebra, \(A\) a weak right \(H\)-comodule algebra and \(B=A^{coH}\). For an \(M\in\mathcal M_A^H\), \(\text{End}_A^H(M)\) is the \(H\)-coinvariant subalgebra of the weak right \(H\)-comodule algebra \(\text{End}_A(M)\) [\textit{Y. Wang} and \textit{L. Zhang}, J. Pure Appl. Algebra 215, No. 6, 1133-1145 (2011; Zbl 1255.16037)]. For the induced weak Doi-Hopf module \(M\otimes_BA\), \(\text{End}_A(M\otimes_BA)\) is a weak \(H\)-cleft extension of \(\text{End}_B(M)\) and the smash product \(\text{End}_B(M)*H\). Theorem 1. Suppose that \(A/B\) is a weak right \(H\)-Galois extension. Then \(\text{End}_A(M\otimes_BA)\cong\text{End}_B(M)*H\) as right \(H\)-comodule algebras. Let \(l\in H\) be a left (\(r\in H\) right) integral in \(H\) with antipode \(S\). Then \(l\) is said to be \(S\)-fixed if \(S(l)=l\), and \(H\) is unimodular if there exists a non-zero two-sided integral in \(H\). Let \(M,N\in\mathcal M_A^H\) and \(M_A\) and \(N_A\) denote the \(A\)-module structure of \(M\) and \(N\), respectively. If \(M_A\) is a direct summand of some \(A\)-module direct sum of a finite number of copies of \(N_A\), then \(M_A\) is called weakly divided by \(N_A\) denoted by \(M_A\leq N_A\). -- The authors show an equivalent condition for a weak right \(H^*\)-Galois extension \(\text{End}_B(M)/\text{End}_A(M)\). Theorem 2. Suppose that \(A/B\) is a weak right \(H\)-Galois extension, and \(H\) is unimodular with \(S\)-fixed two-sided integral \(t\), and \(T\in H^*\) is its dual integral. Let \(M\in\mathcal M_A^H\). Then (1) \(\text{End}_B(M)/\text{End}_A(M)\) is weak right \(H^*\)-Galois if and only if \(M\otimes_BA\leq M\); (2) \(\text{End}_B(M)\) possesses elements of trace \(1\) if and only if \(M\leq M\otimes_BA\). Moreover, if both (1) and (2) hold, then \((\text{End}_B(M)\otimes_{\text{End}_A(M)}.,.\otimes_{\text{End}_A(M\otimes_BA)}\text{End}_B(M))\) defines a Morita equivalence between \(_{\text{End}_A(M)}\mathcal M\) and \(\mathcal M_{\text{End}_A(M\otimes_BA)}\).