泛包络代数U(𝔤)中乘法封闭但不可左局部化子集的证明问题

要解决这个问题，我们核心是通过反证法+中山引理，结合完美李代数（$\mathfrak{g}=[\mathfrak{g},\mathfrak{g}]$）的性质，推导左Ore局部化条件的矛盾。先梳理几个关键前置事实，再逐步推导：

关键前置事实 #

先明确几个基础结论，这些是后续推导的核心：

1. $P$是双边增广理想：
   你已经知道$P$是由$\mathfrak{g}$生成的左理想，但实际上它还是双边理想——对任意$u∈U(\mathfrak{g}),x∈\mathfrak{g}$，$ux - xu = [u,x]∈\mathfrak{g}⊆P$，所以$ux = xu + [u,x]∈P+P=P$，因此$P$是双边理想。
   同时，$P$是$U(\mathfrak{g})$的增广理想：定义增广同态$\pi:U(\mathfrak{g})→k$（将$U(\mathfrak{g})$中元素映射到其PBW展开的常数项），则$\ker\pi=P$，$S=U(\mathfrak{g})\setminus P$就是所有常数项非零的元素。

2. $P$等于$U(\mathfrak{g})$的换位子理想：
   由$\mathfrak{g}=[\mathfrak{g},\mathfrak{g}]$，可得$P=[U(\mathfrak{g}),U(\mathfrak{g})]$（$[U(\mathfrak{g}),U(\mathfrak{g})]$是$U(\mathfrak{g})$中所有换位子$uv-vu$生成的理想）：

   • 一方面，$\pi([u,v])=\pi(u)\pi(v)-\pi(v)\pi(u)=0$，所以$[U(\mathfrak{g}),U(\mathfrak{g})]⊆P$；
   • 另一方面，$\mathfrak{g}=[\mathfrak{g},\mathfrak{g}]⊆[U(\mathfrak{g}),U(\mathfrak{g})]$，而$P=U(\mathfrak{g})\mathfrak{g}⊆U(\mathfrak{g})[U(\mathfrak{g}),U(\mathfrak{g})]$，又因为换位子理想是双边理想，$U(\mathfrak{g})[U(\mathfrak{g}),U(\mathfrak{g})]⊆[U(\mathfrak{g}),U(\mathfrak{g})]$，故$P⊆[U(\mathfrak{g}),U(\mathfrak{g})]$。
     两者结合得$P=[U(\mathfrak{g}),U(\mathfrak{g})]$。

3. $P$是幂等理想（$P=P²$）：

   • 显然$P²⊆P$（理想的平方包含于自身）；
   • 由$P=[U(\mathfrak{g}),U(\mathfrak{g})]$，$P=U(\mathfrak{g})\mathfrak{g}⊆U(\mathfrak{g})P⊆P*P=P²$，故$P=P²$。

反证法推导矛盾 #

假设$S$满足左Ore条件（即可左局部化），则存在左局部化环$R=S^{-1}U(\mathfrak{g})$，其中$S$中所有元素在$R$中可逆，且有自然同态$\iota:U(\mathfrak{g})→R$。我们通过以下步骤导出矛盾：

1. 构造$R$中的真理想$I$：
   令$I=\iota(P)R$，因为$P$是双边理想，$I$是$R$的双边理想。
   又因为$S∩P=∅$，$\iota(s)$可逆，故$1∉I$——否则存在$s∈S,p∈P$使得$\iota(s)^{-1}\iota(p)=1$，即$\iota(p)=\iota(s)$，而$U(\mathfrak{g})$是整环，$\ker\iota=0$，故$p=s$，与$S∩P=∅$矛盾。因此$I$是$R$的真理想。

2. $I$是幂等极大理想：

   • 由$P=P²$，可得$I=\iota(P)R=\iota(P²)R=\iota(P)\iota(P)R=I²$，即$I$是幂等理想；
   • 考虑商环$R/I$：$R/I≅S^{{-1}(U(\mathfrak{g})/P)=S}{-1}k=k$（因为$U(\mathfrak{g})/P=k$，$S$在$U(\mathfrak{g})/P$中的像为$k^*$，局部化后仍是域$k$），故$I$是$R$的极大理想。

3. 应用中山引理导出矛盾：
   根据中山引理：若$R$是含单位元的环，$I$是$R$的有限生成左理想且$I=RI$，则$I=0$。
   这里$I$是极大理想，显然是有限生成（由$\mathfrak{g}$中元素生成），且$I=RI$，故$I=0$。但$I=\iota(P)R$，而$P≠0$（若$\mathfrak{g}=0$则平凡，非平凡情况下$\mathfrak{g}≠0$，故$P≠0$），因此$\iota(P)≠0$，矛盾。

综上，假设不成立，$S$不可左局部化。

内容的提问来源于stack exchange，提问作者SEWillB