Hopf subalgebras and tensor powers of generalized permutation modules.

From MaRDI portal



Abstract: By means of a certain module V and its tensor powers in a finite tensor category, we study a question of whether the depth of a Hopf subalgebra R of a finite-dimensional Hopf algebra H is finite. The module V is the counit representation induced from R to H, which is then a generalized permutation module, as well as a module coalgebra. We show that if in the subalgebra pair either Hopf algebra has finite representation type, or V is either semisimple with R* pointed, projective, or its tensor powers satisfy a Burnside ring formula over a finite set of Hopf subalgebras including R, then the depth of R in H is finite. One assigns a nonnegative integer depth to V, or any other H-module, by comparing the truncated tensor algebras of V in a finite tensor category and so obtains an upper and lower bound for depth of a Hopf subalgebra. For example, a relative Hopf restricted module has depth 1, and a permutation module of a corefree subgroup has depth less than the number of values assumed by its character.


It was shown by \textit{R. Boltje} et al. [J. Algebra 335, No. 1, 258-281 (2011; Zbl 1250.20001)] that the depth of the group algebra of a subgroup of a finite group \(G\) in the group algebra of \(G\) is always finite. In their paper these authors suggest to find out whether, more generally, the depth of a Hopf subalgebra \(R\) in a finite dimensional Hopf algebra \(H\) is also always finite. The paper under review investigates this question. The main tools are the counit representation \(V\) induced from \(R\) to \(H\), which at the same time is an \(H\)-module coalgebra and a generalized permutation module for the extension \(H\supseteq R\), and the depth of an \(H\)-module \(M\), which is obtained by comparing truncated tensor algebras of \(M\). This yields upper and lower bounds for the depth of \(R\) in \(H\). As an application it is shown that the depth of \(R\) in \(H\) is finite if either \(R\) or \(H\) has finite representation type, or if \(V\) is projective, or if \(V\) is semisimple and the tensor product of two simple \(R\)-modules is semisimple. The author also reproves the result of Boltje et al.\ on the finite depth of extensions of finite dimensional group algebras.



Cites work









This page was built for publication: Hopf subalgebras and tensor powers of generalized permutation modules.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392426)