Gorenstein subrings of invariants under Hopf algebra actions. (Q2655032)

The authors study conditions on an Artin-Schelter regular \(H\)-module algebra \(A\) that force the subalgebra of invariants \(A^H\) to satisfy the Artin-Schelter Gorenstein condition. The following theorem is proved. Let \(A\) be a Noetherian connected graded Artin-Schelter regular algebra and let \(H\) be a finite-dimensional semisimple Hopf algebra. Suppose that \(A\) is a left \(H\)-module algebra such that each homogeneous component is a left \(H\)-module. If the homological determinant \(\text{hdet}\) of the \(H\)-action on \(A\) is trivial then the invariant subring \(A^H\) is Artin-Schelter Gorenstein. If \(H\) is a group algebra then this theorem yields Watanabe's theorem for commutative polynomial rings and Jorgensen-Zhang's generalization to Artin-Schelter regular algebras. The following partial converse of the theorem is also proved in the article. Let \(A\) be a skew polynomial ring \(k_{p_{ij}}[x_1,\dots,x_n]\) and let \(G\) be a finite group of graded algebra automorphisms of \(A\). Suppose that the characteristic of the base field \(k\) is zero. Then \(A^G\) is Artin-Schelter Gorenstein if and only if the \(\text{hdet}\) of the action of \(G/K\) on \(A^K\) is trivial. Here \(K\) is the subgroup of \(G\) generated by all quasi-reflections in \(G\).