What is the universal enveloping algebra? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T06:26:26Z http://mathoverflow.net/feeds/question/25020 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/25020/what-is-the-universal-enveloping-algebra What is the universal enveloping algebra? Bugs Bunny 2010-05-17T15:23:30Z 2012-08-02T16:12:20Z <p>Let ${\mathfrak g}$ be a Lie algebra in a symmetric monoidal category enriched over $K$-vector spaces, i.e., in particular, hom-s are $K$-vector spaces (where $K$ is a field of characteristic zero). What is its universal enveloping algebra?</p> <p>As one can talk about associative and Lie algebras there, I can imagine the definition in terms of the universal property but I am interested in its existence, a construction, if you may. Completing the category appropriately (direct sums and direct summands) could give familiar tensor and symmetric algebras $T({\mathfrak g})$ and $S({\mathfrak g})$ (i.e. they are objects in a certain completion of the original category). Is there a way to quotient $T({\mathfrak g})$ or to deform $S({\mathfrak g})$ at this point?</p> http://mathoverflow.net/questions/25020/what-is-the-universal-enveloping-algebra/25043#25043 Answer by Theo Johnson-Freyd for What is the universal enveloping algebra? Theo Johnson-Freyd 2010-05-17T18:00:41Z 2010-05-17T18:00:41Z <p>As you say, given a symmetric monoidal category $\mathcal C$ enriched in abelian groups, the words "Lie algebra object in $\mathcal C$" and "associative algebra object in $\mathcal C$" make sense. (Actually, the latter does not depend on the symmetric structure nor the ab-gp enrichment.) In particular, there are natural categories <code>$\text{LieAlg}_{\mathcal C}$</code> and <code>$\text{AssocAlg}_{\mathcal C}$</code> &mdash; it makes sense to say whether an arrow in $\mathcal C$ between Lie/associative algebra objects is a homomorphism &mdash; and there is a natural "forgetful" functor from associative algebra objects to Lie algebra objects. If this functor has a left adjoint, said adjoint deserves to be called "free" or "universal enveloping" (but see below).</p> <p>Of course, you are not guaranteed such an adjoint. For example, in the category of finite-dimensional vector spaces you cannot build (most) UEAs. You can see this very explicitly: working over characteristic $0$, the Lie algebra $\mathfrak{sl}(2)$ acts faithfully and transitively on representations of arbitrary dimension, and so $U(\mathfrak{sl}(2))$ cannot be finite-dimensional.</p> <p>The minimum extra structure that I know of to guarantee the existence of a left-adjoint to <code>$\text{Forget}: \text{AssocAlg}_{\mathcal C} \to \text{LieAlg}_{\mathcal C}$</code> is:</p> <ol> <li>Existence of arbitrary countable direct sums in $\mathcal C$.</li> <li>Existence of cokernels in $\mathcal C$.</li> </ol> <p>If you have these, then you can do the usual construction to define $U\mathfrak g$.</p> <hr> <p><em>If</em> you are working in a category in which all hom sets are vector spaces over $\mathbb Q$, then you can also define $U\mathfrak g$ as a deformation of the symmetric algebra $S\mathfrak g$, provided this symmetric algebra exists. Namely, pretend for a moment that our category is just the usual category of $\mathbb K$-vector spaces for $\mathbb K$ a field of characteristic $0$. Then there is a "symmetrization" map $S\mathfrak g \to U\mathfrak g$ given on monomials by <code>$x_1\cdots x_n \mapsto \frac1{n!} \sum_{\sigma \in S_n} x_{\sigma(1)}\cdots x_{\sigma(n)}$</code>, where <code>$S_n$</code> is the symmetric group in $n$ letters. This is a (filtered) vector space isomorphism (and also a coalgebra isomorphism, and also a $\mathfrak g$-module isomorphism), and so you can use it to pull back the algebra structure on $U\mathfrak g$ to one on $S\mathfrak g$, which you should think of as some sort of "star product".</p> <p>So do this in $\mathbb K$-vector spaces, and then interpret the formulas on $\mathcal C$. For details, and in particular for an explicit formula for the star product in terms of the usual monomial basis on $S\mathfrak g$, see:</p> <ul> <li>Deligne, Pierre; Morgan, John W. Notes on supersymmetry (following Joseph Bernstein). <em>Quantum fields and strings: a course for mathematicians, Vol. 1, 2 (Princeton, NJ, 1996/1997)</em>, 41--97, <em>Amer. Math. Soc.</em>, Providence, RI, 1999. MR1701597</li> </ul> <p>But I see no conditions weaker than 1&ndash;2 above to guarantee the existence of the symmetric algebra.</p> <hr> <p>Finally, I should mention that in general, even if $\text{Forget}$ has a left adjoint $U$, it does not necessarily deserve to be called the "universal enveloping algebra". Namely, simply by being an adjoint, there is a canonical Lie algebra map $\mathfrak g \to U\mathfrak g$. For $U\mathfrak g$ to "envelop" $\mathfrak g$, this map should be a monomorphism in $\mathcal C$.</p> <p>The following example is due to:</p> <ul> <li>Cohn, P. M. A remark on the Birkhoff-Witt theorem. <em>J. London Math. Soc.</em> 38 1963 197--203. MR0148717</li> </ul> <p>Let $\mathbb K$ be a field of characteristic $p \neq 0$, and consider the free associative (noncommutative) algebra $\mathbb K \langle x,y\rangle$. Then <code>$\Lambda_p(x,y) \overset{\rm def}= (x+y)^p - x^p - y^p$</code> is a non-zero Lie polynomial &mdash; it is a sum of compositions of brackets. For example, <code>$\Lambda_2(x,y) = [x,y]$</code> and <code>$\Lambda_3(x,y) = [x,[x,y]] + [y,[y,x]]$</code>.</p> <p>Let $R = \mathbb K[\alpha,\beta,\gamma]/(0 = \alpha^p = \beta^p = \gamma^p)$; it is a commutative ring. Let $\mathcal C = R\text{-mod}$ be the category of $R$-modules, with the usual symmetric tensor structure <code>$\otimes_R$</code>. Let <code>$\mathfrak f_3$</code> be the free Lie algebra in $\mathcal C$, with the generators $x,y,z$, and let <code>$\mathfrak g = \mathfrak f_3 / (\alpha x = \beta y + \gamma z)$</code>.</p> <p>Then $\Lambda_p(\beta y,\gamma z)$ is non-zero in $\mathfrak g$, but is $0$ in $U\mathfrak g$. Hence, internal to $\mathcal C$, $\mathfrak g$ does not embed into its universal enveloping algebra. (Of course, it does if we were just working over $\mathbb K$, as then the original PBW proof applies. And we always have an embedding in characteristic $0$, as there we can define $U\mathfrak g$ as a deformation of $S\mathfrak g$.)</p> http://mathoverflow.net/questions/25020/what-is-the-universal-enveloping-algebra/25046#25046 Answer by Torsten Ekedahl for What is the universal enveloping algebra? Torsten Ekedahl 2010-05-17T19:06:37Z 2012-08-02T16:12:20Z <p>I have now understood the situation better so my previous post has been replaced by this. (The only thing that was in the original but will not be here are some explicit formulas but Theo has given a reference for that.)</p> <p>As I understand the question the poser wanted a construction of the enveloping algebra of a Lie algebra in a symmetric monoidal pseudoabelian (i.e., idempotents have kernels) $K$-category $\mathcal C$ with arbitrary sums over a field $K$ of characteristic zero. This means that for any $K[\Sigma_n]$-module $M$ and any object $V\in\mathcal C$ we can define $M\bigotimes_{\Sigma_n}V^{\otimes n}$ and for any $\Sigma$-module $M_\bullet$ (i.e., a collection $(M_n)$ of $K[\Sigma_n]$-modules) we can define $M(V):=\bigoplus_nM_n\bigotimes_{\Sigma_n}V^{\otimes n}$ which is an endofunctor of $\mathcal C$. Furthermore, a map $M \to N$ of $\Sigma$-modules gives a natural transformation of functors $M(V) \to N(V)$. In the particular case when $\mathcal C$ is the category of $K$-vector spaces such a natural transformation comes from a unique map of $\Sigma$-modules. The idea is to do what we know to do for $K$-vector spaces, interpret it as a set of natural transformations, get the corresponding maps of $\Sigma$-modules and use them to induce natural transformations for a general $\mathcal C$.</p> <p>Let thus $S(V)$ be the symmetric algebra on the $K$-vector space $V$, $T(V)$ the tensor algebra on $V$ and $L(V)$ the free Lie algebra on $V$. Symmetrisation gives an isomorphism $S(L(V)) \to U(L(V))=T(V)$, where $U(-)$ is the enveloping algebra of Lie algebras. As $T(V)$ is a $T$-algebra (i.e., an associative algebra) and we can use this isomorphism to give $S(L(V))$ a $T$-algebra structure (i.e., a natural transformation $T(S(L(V))) \to S(L(V))$ fulfilling the appropriate conditions with respect to the monad structure on $T(-)$). Furthermore, if $\mathfrak g$ is a Lie algebra, then the $T$-algebra structure on $S(\mathfrak g)$ induced by the isomorphism $S(\mathfrak g) \to U(\mathfrak g)$ is given as the composite of $T(S(\mathfrak g)) \to T(S(L(\mathfrak g)))$ induced by the inclusion $\mathfrak g \to L(\mathfrak g)$, the map $T(S(L(\mathfrak g))) \to S(L(\mathfrak g))$ given by the $T$-module structure on $S(L(V))$ above and the map $S(L(\mathfrak g)) S(\mathfrak g)$ induced by the structure map $L(\mathfrak g) \to \mathfrak g$</p> <p>Now, the functors $S(-)$, $L(-)$ and $T(-)$ are associated to $\Sigma$-modules which will be denoted by the same letters (instead of the standard $Com$, $Lie$ and $Ass$). Furthermore, composition of functors correspond to the plethysm $\circ$. Hence we get that $S\circ L$ is a $T$-module, i.e., we have a map $T\circ S\circ L \to S\circ L$ compatible with the operad structure on $T$. Consider now the case of a general $\mathcal C$. Each of $S$, $L$ and $T$ give endofunctors on $\mathcal C$ and $\circ$ again corresponds to composition. Let $\mathfrak g$ be a Lie algebra in $\mathcal C$ and define a $T$-algebra structure (i.e., the structure of associative algebra) on $S(\mathfrak g)$ as the composite $$T(S(\mathfrak g)) \to T(S(L(\mathfrak g))) \to S(L(\mathfrak g)) \to S(\mathfrak g)$$ as above. The verification that this does indeed give a $T$-algebra structure is just a question of unwinding the definitions. The fact that $S$ is an operad gives us a natural transformation $V \to S(V)$ which applied to $\mathfrak g$ gives a morphism $\mathfrak g \to S(\mathfrak g)$ which we now want to show is a Lie algebra homomorphism. Here the Lie algebra structure on $S(\mathfrak g)$ is induced by its $T$-algebra structure and the operad map $L \to T$. Again unwinding definitions shows that it is indeed a Lie algebra morphism.</p> <p>Finally assuming that $\mathfrak g \to A$ is a Lie algebra homomorphism where $A$ is an associative algebra with $L \to T$ inducing its Lie algebra structure. Note that we have an isomorphism (now going back to vector spaces) $S(L(V))\to T(V)$ and hence an isomorphism is $\Sigma$-modules $S\circ L=T$. This gives us a map $S(\mathfrak g)\to S(L(\mathfrak g))=T(\mathfrak g) \to T(A) \to A$ and it is easy to see that this is an algebra morphism.</p> http://mathoverflow.net/questions/25020/what-is-the-universal-enveloping-algebra/25050#25050 Answer by Victor Protsak for What is the universal enveloping algebra? Victor Protsak 2010-05-17T19:42:17Z 2010-05-17T19:42:17Z <p>This is just a short abstract complement to Theo's and Torsten's detailed constructions: if O is any operad in a symmetric monoidal category C with conditions 1 and 2 from Theo's answer, so that tensor algebra is defined (for example, O is $Lie_k$ or $Com_k$, C is $Vec_k$) then "universal enveloping algebra of an algebra over C" exists and can be constructed analogously to U(g). It has the property that the category of L-modules (where L is a C-algebra) is equivalent to the category of U(L)-modules. If my memory serves, this is explained in Ginzburg and Kapranov, <em>Koszul duality for operads</em>.</p> http://mathoverflow.net/questions/25020/what-is-the-universal-enveloping-algebra/30286#30286 Answer by Bruce Westbury for What is the universal enveloping algebra? Bruce Westbury 2010-07-02T08:01:33Z 2010-07-02T08:37:11Z <p>I missed this question but I still want to have my say as I think this deserves to be better known. Perhaps this would make a good topic for a blog post? This is, I think, Poincare's proof of a strong form of the PBW theorem. Birkoff and Witt proved a weaker result a couple of decades later. This story is told in this reference:</p> <p>MR1793103 (2001f:01039) Ton-That, Tuong ; Tran, Thai-Duong . Poincaré's proof of the so-called Birkhoff-Witt theorem. Rev. Histoire Math. 5 (1999), no. 2, 249--284 (2000).</p> <p>The set-up is given in Torsten's answer. We have a symmetric monoidal category enriched in the category of vector spaces over a field of characteristic zero. We also assume we can form countable direct sums and that idempotents have images (this is no loss of generality as the original category can be formaly enlarged if necessary). This gives the structure and there is a long list of compatibility conditions most of which should be obvious. I am not sure if we require the tensor product to be distributive over countable direct sums.</p> <p>Just to be clear I do not assume we have cokernels and I have in mind examples where cokernels do not exist.</p> <p>However let's start in the category of vector spaces. I was given a copy of notes taken at a talk by Kostant in France in the 1975. The only references I know of are the following (both of which make the construction seem obscure). </p> <p>MR2301242 (2008d:17015) Durov, Nikolai ; Meljanac, Stjepan ; Samsarov, Andjelo ; Škoda, Zoran . A universal formula for representing Lie algebra generators as formal power series with coefficients in the Weyl algebra. J. Algebra 309 (2007), no. 1, 318--359.</p> <p><a href="http://arxiv.org/abs/math/0604096" rel="nofollow">http://arxiv.org/abs/math/0604096</a></p> <p>MR1991464 (2004f:17026) Petracci, Emanuela . Universal representations of Lie algebras by coderivations. Bull. Sci. Math. 127 (2003), no. 5, 439--465.</p> <p>Anyway the basic idea is that we take the symmetric algebra $S(g)$ and define an action of $g$. This then generates the action of $U(g)$ and so constructs $U(g)$. In order to define the action of $g$ it is sufficient to define $x*y^n$ since we obtain the action of $x$ by polarisation. The key is that this is given by:</p> <p>$$x*y^n = \sum_{j=0}^n \binom{n}{j}B_j ad^j(y)(x)y^{n-j}$$</p> <p>where the $B_j$ are the Bernoulli numbers with generating function $x/(e^x-1)$.</p> <p>Once you unwind this you find that you have constructed maps $S^r(g)\otimes S^s(g)\rightarrow S^{r+s-j}(g)$ for $r,s,j\ge 0$ by universal formulae. These formulae then make sense in the abstract setting.</p> <p>I would be delighted to see a good exposition of this.</p> <p>Edit: The following reference looks as though it should be relevant but I didn't get much from it.</p> <p>MR1894038 (2003b:17014) Cortiñas, Guillermo . An explicit formula for PBW quantization. Comm. Algebra 30 (2002), no. 4, 1705--1713.</p>