Hopf actions and Nakayama automorphisms. (Q403048): Difference between revisions

In the paper under review, the authors concentrate on the action of Hopf algebras on Artin-Schelter (AS for short) regular algebras. All considered algebras are assumed over a base field \(k\). The main result of the paper is Theorem 0.1, according to which if \(A\) is a connected graded \(N\)-Koszul AS regular algebra with Nakayama automorphism \(\mu_A\) where \(N\) is an integer not smaller than \(2\), and if \(K\) is a Hopf algebra with bijective antipode \(S\) coacting on \(A\) from the right inner-faithfully, then \(\eta_D\circ S^2=\eta_{\mu^\tau_A}\) where \(D\in K\) is the homological codeterminant of the coacting of \(K\) on \(A\), \(\eta_D\) is the automorphism of \(K\) defined by conjugating \(D\) and \(\eta_{\mu^\tau_A}\) is the automorphism of \(K\) given by conjugating by the transpose of the corresponding matrix of \(\mu_A\). Under the assumptions that \(A\) is a connected graded AS regular algebra acted on by a finite dimensional Hopf algebra \(H\), and that this action preserves the grading of \(A\) and is inner-faithful, the authors prove the following consequences of the main result. (Theorem 0.4) If \(K\) is an algebraically closed field and \(A\) is the skew polynomial ring \(k_p[x_1,\ldots,x_n]\) where \(p\) is not a root of unit acted on by a Hopf algebra \(H\), then \(H\) is a group algebra. (Theorem 0.6) If the characteristic of \(k\) does not divide the dimension of \(H\), \(A\) is an \(N\)-Koszul and \(r\)-Nakayama algebra acted on by a Hopf algebra \(H\) with trivial homological determinant, then \(H\) is semisimple. (Proposition 0.7) If \(k\) is an algebraically closed field of characteristic zero and \(A\) is the commutative polynomial ring \(k[x_1,x_2]\) acted on by a semisimple Hopf algebra \(H\), then \(H\) is a group algebra.