A proof of the Goodearl-Lenagan polynormality conjecture

Details A proof of the Goodearl-Lenagan polynormality conjecture A proof of the Goodearl-Lenagan polynormality conjecture

2011-09-14

arxiv.org/abs/1109.3065v2

Mathematics

Quantum Algebra

26 pages, AMS-Latex, v. 2 changes based on the referee's suggestions

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A proof of the Goodearl-Lenagan polynormality conjecture does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A proof of the Goodearl-Lenagan polynormality conjecture, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A proof of the Goodearl-Lenagan polynormality conjecture will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-569584