A proof of the Goodearl-Lenagan polynormality conjecture.

DOI10.1093/IMRN/RNS111MaRDI QIDQ5250693zbMATH OpenOpenAlexWikidataFDO

Authors Milen Yakimov

Publication date 22 May 2015

Published in IMRN. International Mathematics Research Notices (Search for Journal in Brave)

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

zbMATH Keywords

algebras of quantum matricespolynormal generating setsquantum minorssimple Lie algebrastorus invariant prime ideals

Mathematics Subject Classification ID

Ideals in associative algebras (16D25) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Rings arising from noncommutative algebraic geometry (16S38) Ring-theoretic aspects of quantum groups (16T20) Quantum groups (quantized enveloping algebras) and related deformations (17B37)

Abstract: The quantum nilpotent algebras U^w_-(g), defined by De Concini-Kac-Procesi and Lusztig, are large classes of iterated skew polynomial rings with rich ring theoretic structure. In this paper, we prove in an explicit way that all torus invariant prime ideals of the algebras U^w_-(g) are polynormal. In the special case of the algebras of quantum matrices, this construction yields explicit polynormal generating sets consisting of quantum minors for all of their torus invariant prime ideals. This gives a constructive proof of the Goodearl-Lenagan polynormality conjecture. Furthermore we prove that Spec U^w_-(g) is normally separated for all simple Lie algebras g and Weyl group elements w, and deduce from it that all algebras U^w_-(g) are catenary.

Recommendations

• Torus-invariant prime ideals in quantum matrices, totally nonnegative cells and symplectic leaves.
• Quantum matrices by paths.
• GENERATORS FOR $\mathcal{H}$-INVARIANT PRIME IDEALS IN $O_{q}(\mathcal{M}_{m,p}(\mathbb{C}))$
• The invariant prime ideals of \(O_q({\mathcal M}_{m,p}(\mathbb{C}))\).
• Primitive ideals in the algebra of regular functions on quantum m n-matrices

Cited in

(16)

• Noncommutative discriminants via Poisson primes
• Prime spectrum of O_q(M_n(k)): canonical image and normal separation
• A strong Dixmier-Moeglin equivalence for quantum Schubert cells
• From Grassmann necklaces to restricted permutations and back again
• The Launois-Lenagan conjecture.
• Quantum Schubert cells via representation theory and ring theory
• On the spectra of quantum groups.
• Invariant prime ideals in quantizations of nilpotent Lie algebras
• scientific article; zbMATH DE number 1104283 (Why is no real title available?)
• Quantum matrices by paths.
• Twist invariants of graded algebras
• Tauvel's height formula for quantum nilpotent algebras
• AUTOMORPHISMS OF QUANTUM MATRICES
• Quantum cluster algebra structures on quantum nilpotent algebras
• Catenarity in quantum nilpotent algebras
• Total Positivity is a Quantum Phenomenon: The Grassmannian Case

This page was built for publication: A proof of the Goodearl-Lenagan polynormality conjecture.

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