The Noether problem for Hopf algebras

DOI10.4171/JNCG/237MaRDI QIDQ740096zbMATH OpenFDO

Authors Christian Kassel, Akira Masuoka

Publication date 12 August 2016

Published in Journal of Noncommutative Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1404.4941

zbMATH Keywords

Hopf algebralocalizationrationalityinvariant theorypolynomial identitiesNoether problem

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Group rings (16S34) Rings of fractions and localization for commutative rings (13B30) Hopf algebras and their applications (16T05) Coalgebras and comodules; corings (16T15) Transcendental field extensions (12F20)

Abstract: In previous work, Eli Aljadeff and the first-named author attached an algebra B_H of rational fractions to each Hopf algebra H. The generalized Noether problem is the following: for which finite-dimensional Hopf algebra H is B_H the localization of a polynomial algebra? A positive answer to this question when H is the algebra of functions on a finite group implies a positive answer for the classical Noether problem for the group. We show that the generalized Noether problem has a positive answer for all pointed finite-dimensional Hopf algebras over a field of characteristic zero. We actually give a precise description of B_H for such a Hopf algebra, including a bound on the degrees of the generators. A theory of polynomial identities for comodule algebras over a Hopf algebra H gives rise to a universal comodule algebra whose subalgebra of coinvariants V_H maps injectively into B_H. In the second half of this paper, we show that B_H is a localization of V_H when again H is a pointed finite-dimensional Hopf algebra in characteristic zero. We also report on a result by Uma Iyer showing that the same localization result holds when H is the algebra of functions on a finite group.

Recommendations

• Polynomial identities of algebras with actions of pointed Hopf algebras.
• Generic base algebras and universal comodule algebras for some finite-dimensional Hopf algebras
• scientific article; zbMATH DE number 1283967
• Pointed Hopf algebras acting on quantum polynomials
• Some aspects of noncommutative invariant theory and the Noether's problem

Cites work

• scientific article; zbMATH DE number 3721092 (Why is no real title available?)
• scientific article; zbMATH DE number 18587 (Why is no real title available?)
• scientific article; zbMATH DE number 2135123 (Why is no real title available?)
• Examples of polynomial identities distinguishing the Galois objects over finite-dimensional Hopf algebras.
• Flatness and freeness properties of the generic Hopf Galois extensions.
• Free Hopf algebras generated by coalgebras
• Generic Hopf Galois extensions.
• Generic base algebras and universal comodule algebras for some finite-dimensional Hopf algebras
• Graded identities of matrix algebras and the universal graded algebra.
• Invariant rational functions and a problem of Steenrod
• Noether's problem over an algebraically closed field
• On Hopf algebras with cocommutative coradicals
• Polynomial identities and noncommutative versal torsors.
• Relative Hopf modules - equivalences and freeness criteria
• The structure of Hopf algebras with a projection

Cited in

(2)

• Generic base algebras and universal comodule algebras for some finite-dimensional Hopf algebras
• scientific article; zbMATH DE number 5213080 (Why is no real title available?)

This page was built for publication: The Noether problem for Hopf algebras

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