# characterization of subalgebras of universal enveloping algebra coming from Lie subalgebras

Let $\mathfrak{g}$ be a Lie algebra and $\mathfrak{g}'$ its subalgebra. Then the universal enveloping algebra $U(\mathfrak{g}')$ can be canonically embedded into $U(\mathfrak{g})$, that of $\mathfrak{g}$.

Now I'm interested in the reverse direction. Given a subalgebra $Y$ of $U(\mathfrak{g})$, under what conditions on $Y$, $Y$ is the universal enveloping algebra $U(\mathfrak{g}')$ of some Lie subalgebra $\mathfrak{g}'$ of $\mathfrak{g}$?

By considering the center of $U(\mathfrak{g})$, not all subalgebras of $U(\mathfrak{g})$ arise as universal enveloping algebras of Lie subalgebras.

I searched the internet but couldn't find anything related to this question. Much appreciated for any answer or reference.

• Yoiks, I'd think very few. Did you have in mind any further condition? Stability under some involution, for example? – paul garrett Dec 13 '16 at 1:19
• @paulgarrett, thanks for your comment. I don't know too much about universal enveloping algebra and have no candidate conditions in my mind. – user1832 Dec 13 '16 at 1:25
• Ok, well, if a subgroup or subalgebra is defined as the commutator of another subgroup or subalgebra, then there is the fairly-obvious condition on the corresponding subalgebra of the universal enveloping algebra. Being the fixed subalgebra or subgroup under an involution is much less definitive, so far as I can see. Do you contemplate a commutator condition? – paul garrett Dec 13 '16 at 1:28
• @paulgarrett, so you mean if a subalgebra g_1 is the commutator of another g_2, and Y is the commutator of the universal enveloping subalgebra of g_2, then Y is that of g_1? – user1832 Dec 13 '16 at 1:48
• IFF it is generated by a subset of $g$. In reality any useful criterion should take into account what you now about your subalgebra, how it is defined, etc... – Bugs Bunny Dec 13 '16 at 13:48

In characteristic $0$, if $Y$ is a Hopf subalgebra of $U(\mathfrak{g})$, then $Y = U(\mathfrak{g}')$ for some Lie subalgebra $\mathfrak{g}'$ of $\mathfrak{g}$ (and conversely, every such subalgebra is a Hopf subalgebra). This is a consequence of Proposition 6.13 and Theorem 5.18 of John W. Milnor and John C. Moore's 1965 paper "On the structure of Hopf algebras."