An in-depth look at quotient modules (Q2301664)

Let \(H\) be a finite-dimensional Hopf algebra over a field \(k\), let \(R\) be a Hopf subalgebra of \(H\), and denote by \(R^+\) the set of elements of \(R\) with zero counit value. This paper is devoted to the study of the right \(H\)-module coalgebra \(Q=Q^H_R = H/R^+H\), which generalizes the coset \(G\)-space of a finite group and a subgroup. The first main result is a fundamental theorem of \(Q\)-relative Hopf modules, which says that a \(Q\)-relative Hopf module \(V\) is an induced module of the form \(V^{\mathrm{co}Q} \otimes_R H \simeq V\), where the isomorphism is given by \(v\otimes_R h \mapsto vh\). Next, it is shown that there is a nonzero right \(H/R\)-integral \(t \in Q\) if and only if \(H\) is a Frobenius extension of \(R\). Furthermore, a Mackey theory of \(Q\) with labels allowing variation of Hopf-group subalgebra is developed. The author shows that the endomorphism algebra of \(Q\) is a generalized Hecke algebra. He defines and studies a tower of endomorphism algebras of increasing tensor powers of \(Q\) in terms of annihilator ideals, sigma categories, trace ideals, Burnside ring formulas, and proves that the endomorphism algebras of the tensor powers of \(Q\) need only be Morita equivalent for two different powers in general. Finally, in the case when \(H\) and \(R\) are semisimple over an algebraically closed field of characteristic zero, the depth of \(Q\) in terms of the McKay quiver and the Green ring, and relationships with the and Perron-Frobenius dimension are studied.