Determinants, integrality and Noether's theorem for quantum commutative algebras (Q677452)

This paper generalizes Noether's theorem: If \(A\) is affine then \(A^G\) is affine also, where \(A\) is a commutative algebra and \(G\) is a finite group of automorphisms acting on \(A\). This theorem has been generalized to actions of any finite dimensional cocommutative Hopf algebra \(H\) on a commutative algebra \(A\), and the third author has shown that cocommutativity of \(H\) can be replaced by semisimplicity of \(H\). In this paper the authors follow their philosophy that states that often properties that hold for a cocommutative Hopf algebra \(H\) and a commutative \(H\)-module \(A\) should hold for appropriate generalizations: a triangular Hopf algebra \((H,R)\) and a quantum-commutative \(H\)-module \(A\) (i.e. \(A\) is commutative in the category of \(H\)-modules). Indeed, they generalize the theorem to this set-up, and also to its ``dual'': \((H,\langle \mid \rangle)\) a cotriangular Hopf algebra and \(A\) a quantum-commutative \(H\)-comodule algebra. In order to prove the theorem the authors construct a new, non-commutative, determinant function for each of the cases mentioned above. This construction involves the action of the symmetric group that is defined by the symmetric braiding of the twist map in the category of \(H\)-modules; this gives rise to a kind of Grassmann algebra. The determinant is also computed explicitly for some examples of group gradings.