Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The universal enveloping algebra of a Lie algebra $\mathfrak{g}$ is a flat deformation of $S(\mathfrak{g})$, so these algebras should be similar in many ways. Does at least this general similarity hold?

share|improve this question
3  
The universal enveloping algebra of a finite dimensional Lie algebra is a so-called G-alegbra, hence is left and right Noetherian (see e.g. singular.uni-kl.de/Manual/3-1-5/sing_510.htm). Note that this includes quantized enveloping algebra as well. –  Adrien Jan 10 '13 at 10:47
    
Adrien, thank you very much for the reference. –  Oleg Jan 10 '13 at 11:36
add comment

1 Answer

up vote 5 down vote accepted

Yes, if a filtered ring $R$ has the property that its associated graded ring is Noetherian, then $R$ is Noetherian. Universal enveloping algebras have a PBW filtration such that the associated graded algebra is $S(\mathfrak{g})$. This is proved in Noncommutative Noetherian Rings by McConnell, Robson, Small - see sections 1.6 and 1.7.

share|improve this answer
    
Thank you very much for the reference. –  Oleg Jan 10 '13 at 11:27
    
You're welcome - do you have a reference for the flat deformation idea you mentioned in the question? It seems like an interesting point of view. –  m_t Jan 10 '13 at 12:59
1  
I don't have a reference, but I can just explain you how I see it. $U(g)$ is the quotient of the tensor algebra $T(g)$ modulo the relations $x\otimes y−y\otimes x−[x,y]$ for $x,y\in g$. Let $k$ be the base field, $t$ be a variable and $B$ be the quotient of the algebra $T(g)\otimes_k k[t]$ modulo the relations $x\otimes y−y\otimes x−t[x,y]$. Then $B$ is (I hope --- I haven't checked) a free $k[t]$-module with the usual PBW basis and an algebra over $k[t]$, the fiber of $B$ over the point $t=0$ is $S(g)$, and the fiber over $t−a$ for $a\in k^*$ is $U(g)$. –  Oleg Jan 10 '13 at 13:34
    
I think I got the idea of the construction from Chapter 6 of Eisenbud's Commutative Algebra with a View toward Algebraic Geometry. –  Oleg Jan 10 '13 at 13:41
    
And here is more to deformation: mathoverflow.net/questions/41142/… –  Oleg Jan 10 '13 at 17:10
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.