4
$\begingroup$

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?

$\endgroup$
2
  • 4
    $\begingroup$ 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. $\endgroup$
    – Adrien
    Jan 10, 2013 at 10:47
  • $\begingroup$ Adrien, thank you very much for the reference. $\endgroup$
    – Oleg
    Jan 10, 2013 at 11:36

1 Answer 1

11
$\begingroup$

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.

$\endgroup$
4
  • $\begingroup$ 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. $\endgroup$
    – M T
    Jan 10, 2013 at 12:59
  • 1
    $\begingroup$ 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)$. $\endgroup$
    – Oleg
    Jan 10, 2013 at 13:34
  • $\begingroup$ I think I got the idea of the construction from Chapter 6 of Eisenbud's Commutative Algebra with a View toward Algebraic Geometry. $\endgroup$
    – Oleg
    Jan 10, 2013 at 13:41
  • $\begingroup$ And here is more to deformation: mathoverflow.net/questions/41142/… $\endgroup$
    – Oleg
    Jan 10, 2013 at 17:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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