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

DOI10.1007/BF02785538MaRDI QIDQ677452zbMATH OpenFDO

Authors Miriam Cohen, Sara Westreich, Shenglin Zhu

Publication date 5 January 1998

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02785538

actions of finite dimensional cocommutative Hopf algebras affine algebras categories of modules finite groups of automorphisms Grassmann algebras group gradings Noether's theorem non-commutative determinant functions quantum-commutative modules symmetric braidings triangular Hopf algebras twist maps

Mathematics Subject Classification ID

Geometric invariant theory (14L24) Determinants, permanents, traces, other special matrix functions (15A15) Automorphisms and endomorphisms (16W20)

Review text

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.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Determinants, integrality and Noether's theorem for quantum commutative algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q677452)