李代数理想的泛包络代数相关技术问询

嘿，这个问题问得非常关键！先直接给你结论：一般情况下，U(I)并不是U(L)的理想。下面我来拆解原因，以及它到底属于什么类型的对象：

为什么U(I)不是U(L)的理想？ #

我们可以用PBW定理和简单例子来直观理解：
根据PBW定理，U(L)的基可以由L的一组基的有序单项式构成，而U(I)作为子环，其基是I的基对应的有序单项式。现在取非平凡的情况（I≠0且I≠L）：

• 任取$i \in I$，$l \in L \setminus I$，在U(L)中，乘法满足$l \cdot i = i \cdot l + [l, i]$。
• 因为I是李代数的理想，所以$[l,i] \in I \subset U(I)$，但$i \cdot l$是U(I)中的元素乘以l（而l不在U(I)的基里），显然不属于U(I)。
• 因此$l \cdot i = i \cdot l + [l,i]$也不属于U(I)，这直接说明U(I)不是U(L)的左理想；同理可证它也不是右理想。

举个最简单的例子：取L是二维交换李代数，基为$x,y$，I是由$x$生成的理想（交换李代数的子空间都是理想）。此时U(L)是多项式环$k[x,y]$，U(I)是$k[x]$——显然$k[x]$不是$k[x,y]$的理想，比如$y \cdot x = xy \notin k[x]$。

U(I)到底是什么对象？ #

虽然不是理想，但U(I)在U(L)中有着明确的结构：

• 子环：由PBW定理直接保证，U(I)的基是U(L)基的子集，因此它是U(L)的子环。
• 自由模上的子结构：PBW定理给出向量空间同构$U(L) \cong U(I) \otimes U(L/I)$（作为左U(I)-模），同时也有$U(L) \cong U(L/I) \otimes U(I)$（作为右U(I)-模），这意味着U(L)是U(I)上的自由模，基由L/I的PBW基给出。
• Hopf子代数：如果考虑泛包络代数的Hopf结构（余乘法、余单位、对极映射），U(I)是U(L)的Hopf子代数——因为所有Hopf结构映射都保持U(I)不变（比如余乘法$\Delta(i)=i \otimes 1 + 1 \otimes i$对$i \in I$成立，结果落在$U(I) \otimes U(I)$中）。

备注：内容来源于stack exchange，提问作者Luka