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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Gorenstein subrings of invariants under Hopf algebra actions.
scientific article

    Statements

    Gorenstein subrings of invariants under Hopf algebra actions. (English)
    0 references
    0 references
    0 references
    0 references
    22 January 2010
    0 references
    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\).
    0 references
    Artin-Schelter regular algebras
    0 references
    Hopf algebra actions
    0 references
    invariant subrings
    0 references
    algebras of invariants
    0 references
    semisimple Hopf algebras
    0 references

    Identifiers