Cotorsion dimensions and Hopf algebra actions. (Q351666)

All spaces considered in this review are assumed to be over a fixed field \(k\). For an algebra \(A\) and a left \(A\)-module \(M\), we denote by \(\mathrm{pd}_A(M)\) and \(\mathrm{cd}_A(M)\) the projective dimension of \(M\) and the cotorsion dimension of \(M\), respectively. The left (respectively, right) global dimension of \(A\), the left global cotorsion dimension of \(A\), the left Gorenstein global dimension of \(A\) and the left weak Gorenstein global dimension of \(A\) are denoted by \(\mathrm{l.D}(A)\) (respectively, \(\mathrm{r.D}(A)\)), \(\mathrm{l.cot.D}(A)\), \(\mathrm{l.GD}(A)\) and \(\mathrm{l.wGD}(A)\), respectively. From now on, by \(H\) we denote a finite dimensional Hopf algebra, and by \(A\) an \(H\)-module algebra. In the paper under review, the authors mainly investigate the relationship between the left global cotorsion dimensions of the smash product \(A\#H\) and the algebra \(A\). They prove that for a left \(A\#H\)-module \(M\), \(\mathrm{cd}_{A\#H}(M)\leq\mathrm{cd}_A(M)+\mathrm{pd}(k_H)\). In particular, if \(H\) is a semisimple Hopf algebra, then \(\mathrm{cd}_{A\#H}(M)\leq\mathrm{cd}_A(M)\) (Theorem 2.4). This means that \(\mathrm{l.cot.D}(A\#H)\leq\mathrm{l.cot.D}(A)+\mathrm{r.D}(A)\). If \(H\) is a semisimple Hopf algebra, then \(\mathrm{l.cot.D}(A\#H)\leq\mathrm{l.cot.D}(A)\) (Proposition 2.6). The authors also formulate sufficient conditions for which \(\mathrm{l.cot.D}(A\#H)=\mathrm{l.cot.D}(A)\). They prove that if \(H\) is a semisimple Hopf algebra, this equation holds provided at least one of the following conditions is fulfilled: (1) \(H^*\) is a semisimple Hopf algebra; (2) \(A\) is a commutative algebra; (3) \(A^H\subseteq A\) is an \(H^*\)-Galois extension (Theorem 3.1). The obtained results generalize that of \textit{D. Bennis} and \textit{N. Mahdou} [Commun. Algebra 37, No. 5, 1709-1718 (2009; Zbl 1172.13008)] on group rings. From [\textit{L. Mao, N. Ding}, Lect. Notes Pure Appl. Math. 249, 217-233 (2006; Zbl 1110.16005)] they conclude that under the assumptions of Theorem 3.1, \(A\#H\) is a left perfect algebra if and only if \(A\) is a left perfect algebra (Corollary 3.2). As an application, the authors prove that if \(H\) is a semisimple Hopf algebra and \(A\) is a commutative \(H\)-module algebra with \(\mathrm{wGD}(A)=0\), then \(\mathrm{wGD}(A\#H)=0\) and \(\mathrm{GD}(A\#H)=\mathrm{GD}(A)\) (Proposition 3.3).