Semiinvariants for Hopf algebra actions (Q1343853)

Let \(H\) be a Hopf algebra over a field \(k\), and let \(A\) be a right \(H\)- comodule algebra. A total integral is an \(H\)-comodule homomorphism \(\varphi\) of \(H\) into \(A\) such that \(\varphi(1)=1\). For any subcoalgebra \(K\) of \(H\), let \(A_K\) denote the inverse image of \(A\otimes K\) under the comodule map of \(A\) to \(A\otimes H\). When \(K=k\cdot 1\), \(A_K\) is the subalgebra of \(H\)-coinvariant elements of \(A\), and it will be denoted hereafter by \(B\). Letting \(G\) be the set of group-like elements of \(H\) and letting \(A_G\) denote \(A_K\) for \(K=kG\), the group algebra of \(G\) over \(k\), \(A_G\) is the subalgebra of semiinvariants of \(A\). For \(\sigma\) and \(\tau\) in \(G\), the authors investigate \(A_K\) for \(K=k\sigma\) and \(K=k\sigma\wedge k\tau\), the wedge product of the coalgebras \(k\sigma\) and \(k\tau\). In addition, the authors define by recursion subcoalgebras \(C_n\) of \(H\) by setting \(C_0=kG\) and \(C_{n+1}=C_n\wedge kG\); and they obtain the following results under the assumption that there exists a total integral. If \(A\) is an \(H\)- Galois extension of \(B\) and the antipode of \(H\) is bijective, then \(A_G\) is a \(kG\)-Galois extension of \(B\); and, if \(A_G\) is a \(kG\)-Galois extension of \(B\), then \(A_K\) is a \(K\)-Galois extension of \(B\) whenever \(K\) is a sub-Hopf algebra of \(H\) generated by any of the coalgebras \(C_n\). In particular, when \(H\) is a pointed Hopf algebra, \(A\) is an \(H\)- Galois extension of \(B\) if and only if \(A_G\) is a \(kG\)-Galois extension of \(B\). Now assume that \(H\) has finite dimension over \(k\), in which case the dual vector space \(H^*\) is a Hopf algebra which acts on \(A\), and consider the categories of left modules for the smash products \(A\# H^*\) and \(A_G\# (kG)^*\). If \(A\) is an \(H\)-Galois extension of \(B\), then the category of left \(A\# H^*\)-modules is equivalent with a quotient of the category of left \(A_G\# (kG)^*\)-modules; and if \(A_G\) is a \(kG\)-Galois extension of \(B\) and there exists a total integral, then the category of left \(A_G\# (kG)^*\)-modules is equivalent with a quotient of the category of left \(A\# H^*\)-modules. If \(A\) is an \(H\)-Galois extension of \(B\) and there exists a total integral, then the algebras \(B\), \(A\# H^*\), and \(A_G\# (kG)^*\) are Morita equivalent.