\(\beta\)-character algebra and a commuting pair in Hopf algebras. (Q2460245)

The authors are interested in constructing and classifying all simple (left) \(D(H)\)-modules for \(H\) a finite dimensional Hopf algebra over a field \(K\) when \(D(H)\) is semisimple, i.e., when \(H\) is semisimple and cosemisimple. The idea is to use induced functors defined by \textit{D. E. Radford} [J. Algebra 270, No. 2, 670-695 (2003; Zbl 1042.16028)] and generalize a theorem on commuting pairs from \textit{Y. Zhu} [Proc. Am. Math. Soc. 125, No. 10, 2847-2851 (1997; Zbl 0890.16022)]. In Section 2, the authors outline Radford's construction of induced functors from \(_H\mathcal M\) to \(_{D(H)}\mathcal M\) and from \(\mathcal M^H\) to \(_{D(H)}\mathcal M\) and show in a crucial lemma that these functors have suitable restriction functors as right adjoint. The objects of interest are now the induced modules \(H_\beta\) in \(_{D(H)}\mathcal M\) arising from the one-dimensional \(H\)-modules \(K_\beta\) where \(\beta\in G(H^*)\). In Section 3, the authors introduce \(C_\beta(H)\), the \(\beta\)-character algebra. The main theorem of the paper is Theorem 3.6 where it is shown that for \(H\) semisimple and cosemisimple, the left action of \(D(H)\) on \(H_\beta\) and the right action of \(C_\beta(H)\) on \(H_\beta\) commute, and \(C_\beta(H)\) is also semisimple. Thus there is an irreducible \((D(H),C_\beta(H)^{op})\)-bimodule decomposition \[ H_\beta\cong\bigoplus_i W_i\otimes V_i \] where the \(W_i\) are a complete set of pairwise inequivalent irreducible left \(D(H)\)-submodules of \(H_\beta\) and the \(V_i\) are a complete set of pairwise inequivalent irreducible right \(C_\beta(H)\)-modules. In the next section the authors assume that \(H\) is split semisimple and cosemisimple and find a basis for each \(C_\beta(H)\) in terms of the characters of the irreducible left \(H\)-modules. The final section of the paper is devoted to an application. Let \(H\) be the unique non-commutative, non-cocommutative semisimple Hopf algebra of dimension 8. This Hopf algebra \(H\) is known to have 5 inequivalent simple modules (4 are 1-dimensional and 1 is 2-dimensional) with corresponding irreducible characters \(\chi_i\), \(i=1,\dots,5\). The authors then apply the results from the preceding sections to compute explicitly the 8 one-dimensional irreducible representations of \(D(H)\) and the 14 two-dimensional irreducible representations. They refer also to the thesis of \textit{S. Natale} [Semisolvability of semisimple Hopf algebras of low dimension. Ph.D. thesis, Ciudad Univ.] for this list.