The Dixmier-Moeglin equivalence for cocommutative Hopf algebras of finite Gelfand-Kirillov dimension.

DOI10.1007/S10468-014-9474-YMaRDI QIDQ484632zbMATH OpenOpenAlexFDO

Authors Jason P. Bell, Wing Hong Leung

Publication date 7 January 2015

Published in Algebras and Representation Theory (Search for Journal in Brave)

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

zbMATH Keywords

prime idealsGelfand-Kirillov dimensionprimitive idealscocommutative Hopf algebrasNoetherian Hopf algebras

Mathematics Subject Classification ID

Ideals in associative algebras (16D25) Growth rate, Gelfand-Kirillov dimension (16P90) Universal enveloping algebras of Lie algebras (16S30) Hopf algebras and their applications (16T05)

Abstract: Let $k$ be an algebraically closed field of characteristic zero and let $H$ be a noetherian cocommutative Hopf algebra over $k$. We show that if $H$ has polynomially bounded growth then $H$ satisfies the Dixmier-Moeglin equivalence. That is, for every prime ideal $P$ in $mSpec(H)$ we have the equivalences ${\displaystyle }$P~{ m primitive}iff P~{ m rational}iff P ~{ m locally~closed~in}~{ m Spec}(H).${\displaystyle }$ We observe that examples due to Lorenz show that this does not hold without the hypothesis that $H$ have polynomially bounded growth. We conjecture, more generally, that the Dixmier-Moeglin equivalence holds for all finitely generated complex noetherian Hopf algebras of polynomially bounded growth.

Recommendations

• On the Dixmier-Moeglin equivalence for Poisson-Hopf algebras
• The Dixmier-Moeglin equivalence in quantum coordinate rings and quantized Weyl algebras
• Properties of pointed and connected Hopf algebras of finite Gelfand-Kirillov dimension
• \(D\)-groups and the Dixmier-Moeglin equivalence
• A Dixmier-Moeglin equivalence for Poisson algebras with torus actions

Cites work

• scientific article; zbMATH DE number 4067122 (Why is no real title available?)
• scientific article; zbMATH DE number 482792 (Why is no real title available?)
• scientific article; zbMATH DE number 1380629 (Why is no real title available?)
• scientific article; zbMATH DE number 3304649 (Why is no real title available?)
• scientific article; zbMATH DE number 3344748 (Why is no real title available?)
• scientific article; zbMATH DE number 3412816 (Why is no real title available?)
• Algebraic group actions on noncommutative spectra.
• Cocommutative Hopf algebras with antipode
• Group actions and rational ideals.
• Ideaux primitifs des algèbres enveloppantes
• Lectures on algebraic quantum groups
• Noetherian Hopf algebra domains of Gelfand-Kirillov dimension two.
• Primitive Ideals in Finite Extensions of Noetherian Rings
• Primitive ideals in enveloping algebras
• Primitive ideals of group algebras of supersoluble groups
• Subrings of Noetherian Rings
• The Dixmier-Moeglin equivalence for twisted homogeneous coordinate rings.
• The Dixmier-Moeglin equivalence in quantum coordinate rings and quantized Weyl algebras
• The Nullstellensatz and Extensions of Affine PI Rings

Cited in

(12)

• On the Dixmier-Moeglin equivalence for Poisson-Hopf algebras
• Lower bounds of growth of Hopf algebras.
• On the importance of being primitive
• The Dixmier-Moeglin equivalence, Morita equivalence, and homeomorphism of spectra
• Ore extensions of commutative rings and the Dixmier-Moeglin equivalence
• The prime spectrum of the Drinfeld double of the Jordan plane
• Hopf Ore extensions
• \(D\)-groups and the Dixmier-Moeglin equivalence
• The Dixmier-Moeglin equivalence for twisted homogeneous coordinate rings.
• Eulerian idempotents and Milnor-Moore theorem for certain non-cocommutative Hopf algebras
• The Dixmier-Moeglin equivalence for extensions of scalars and ore extensions
• Poisson Dixmier-Moeglin equivalence from a topological point of view

This page was built for publication: The Dixmier-Moeglin equivalence for cocommutative Hopf algebras of finite Gelfand-Kirillov dimension.

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