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

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 n-matrices

Cited in

(16)

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

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)