A proof of the Goodearl-Lenagan polynormality conjecture.

DOI10.1093/IMRN/RNS111zbMATH Open1322.16023arXiv1109.3065OpenAlexW3099563326WikidataQ123281283 ScholiaQ123281283MaRDI QIDQ5250693FDOQ5250693

Authors: Milen Yakimov 

Publication date: 22 May 2015

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

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.

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

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

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)

Cited In (16)

• Twist invariants of graded algebras
• Invariant prime ideals in quantizations of nilpotent Lie algebras
• Noncommutative discriminants via Poisson primes
• Catenarity in quantum nilpotent algebras
• A strong Dixmier-Moeglin equivalence for quantum Schubert cells
• Tauvel’s height formula for quantum nilpotent algebras
• Total Positivity is a Quantum Phenomenon: The Grassmannian Case
• Title not available (Why is that?)
• Quantum matrices by paths.
• Quantum cluster algebra structures on 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)