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 Spec(H) we have the equivalences
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.
Similar content being viewed by others
References
Bell, J., Rogalski, D., Sierra, S. J.: The Dixmier-Moeglin equivalence for twisted homogeneous coordinate rings. Israel J. Math. 180, 461–507 (2010)
Brown, K. A., Goodearl, K. R.: Lectures on Algebraic Quantum Groups, Advanced Courses in Mathematics, CRM Barcelona. Birkhäuser Verlag, Basel (2002)
Dixmier, J.: Idéaux primitifs dans les algèbres enveloppantes. J. Algebra 48(1), 96–112 (1977)
Fogarty, J.: Invariant Theory. W. A. Benjamin, Inc., New York (1969)
Formanek, E., Jategaonkar, A. V.: Subrings of Noetherian Rings. Proc. Am. Math. Soc. 46, 181–186 (1974)
Goodearl, K. R., Letzter, E. S.: The Dixmier-Moeglin equivalence in quantum coordinate rings and quantized Weyl algebras. Trans. Am. Math. Soc. 352(3), 1381–1403 (2000)
Goodearl, K. R., Zhang, J.J.: Noetherian Hopf algebra domains of Gelfand-Kirillov dimension two. arXiv: 1105.0033
Krause, G. R., Lenagan, T. H.: Growth of Algebras and Gelfand-Kirillov Dimension, revised edition. Graduate Studies in Mathematics, 22. American Mathematical Society, Providence, RI (2000)
Letzter, E. S.: Primitive Ideals in Finite Extensions of Noetherian Rings. J. Lond. Math. Soc. (2) 39(3), 427–435 (1989).
Lorenz, M.: Primitive Ideals of Group Algebras of Supersoluble Groups. Math. Ann. 225, 115–122 (1977)
Lorenz, M.: Group Actions and Rational Ideals. Algebra Number Theor. 2(4), 467–499 (2008)
Lorenz, M.: Algebraic Group Actions on Noncommutative Spectra. Transform. Groups 14(3), 649–675 (2009)
McConnell, J. C.: The Nullstellensatz and Extensions of Affine PI Rings. J. Lond. Math. Soc. (2) 29(2), 254–256 (1984). (2)
McConnell, J. C., Robson, J. C.: Noncommutative Noetherian Rings, revised edn., American Mathematical Society, Providence, RI (2001)
Moeglin, C.: Idéaux primitifs des algèbres enveloppantes. J. Math. Pures. Appl. (9) 59(3), 265–336 (1980)
Montgomery, S.: Hopf Algebras and Their Actions on Rings. CBMS Regional Conference Series in Mathematics, 82. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI (1993)
Passman, D. S.: The Algebraic Structure of Group Rings. Reprint of the 1977 original. Robert E. Krieger Publishing Co., Inc., Melbourne, FL (1985)
Procesi, C.: Rings with Polynomial Identities. Pure and Applied Mathematics 17. Marcel Dekker, New York (1973)
Sweedler, M. E.: Cocommutative Hopf Algebras with Antipode. Bull. Am. Math. Soc. 73, 126–128 (1967)
Zalesskiı̆, A. E.: The irreducible representations of finitely generated nilpotent groups without torsion. Mat. Zametki 9, 199–210 (1971)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Susan Montgomery
The research of the first-named author was supported by NSERC grant 611456.
Rights and permissions
About this article
Cite this article
Bell, J.P., Leung, W.H. The Dixmier-Moeglin Equivalence for Cocommutative Hopf Algebras of Finite Gelfand-Kirillov Dimension. Algebr Represent Theor 17, 1843–1852 (2014). https://doi.org/10.1007/s10468-014-9474-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10468-014-9474-y
Keywords
- Primitive ideals
- Nullstellensatz
- Gelfand-Kirillov dimension
- Cocommutative Hopf algebras
- Dixmier-Moeglin equivalence