A proof of the Goodearl-Lenagan polynormality conjecture.

DOI10.1093/IMRN/RNS111MaRDI QIDQ5250693zbMATHOpenAlexWikidataFDO

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

simple Lie algebrasquantum minorsalgebras of quantum matricespolynormal generating setstorus invariant prime ideals

Mathematics Subject Classification ID

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

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\times n\)-matrices

Cited in

(16)

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

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)