[论文解读] A note on the restricted universal enveloping algebra of a restricted Lie-Rinehart Algebra

Peter Schauenburg|arXiv (Cornell University)|May 11, 2015

Advanced Topics in Algebra参考文献 9被引用 4

一句话总结

本文为特征 $ p > 0 $ 下受限李-里纳特代数的受限普遍包络代数提供了庞加莱-伯克霍夫-维尔特（PBW）定理的另一种证明。利用里纳特的PBW定理，并借鉴雅可布森对受限李代数的方法，作者构造了一个更精细的基，确保当底层李-里纳特代数在基环上是投射时，其受限普遍包络代数是有限生成投射的。关键贡献在于对受限李-里纳特代数的局部化进行了严格处理，填补了鲁米宁早期工作中可能存在的漏洞。

ABSTRACT

Lie-Rinehart algebras, also known as Lie algebroids, give rise to Hopf algebroids by a universal enveloping algebra construction, much as the universal enveloping algebra of an ordinary Lie algebra gives a Hopf algebra, of infinite dimension. In finite characteristic, the universal enveloping algebra of a restricted Lie algebra admits a quotient Hopf algebra which is finite-dimensional if the Lie algebra is. Rumynin has shown that suitably defined restricted Lie algebroids allow to define restricted universal enveloping algebras that are finitely generated projective if the Lie algebroid is. This note presents an alternative proof and possibly fills a gap that might, however, only be a gap in the author's understanding.

研究动机与目标

• 为受限李-里纳特代数的受限普遍包络代数的PBW定理提供一种更自包含的替代证明。
• 解决鲁米宁早期工作中关于受限李-里纳特代数在基环素理想处局部化问题的潜在漏洞。
• 当底层李-里纳特代数在基环上是投射时，建立受限普遍包络代数为有限生成投射 $ R $-模。
• 验证受限李-里纳特代数上的 $ p $-次幂运算在局部化下可相容地延拓，确保局部化结构仍为受限李-里纳特代数。

提出的方法

• 将雅可布森对受限李代数的技术适配至受限李-里纳特代数，以构造受限普遍包络代数的‘更优’PBW基。
• 以里纳特关于李-里纳特代数的原始PBW定理为基础，构建新基。
• 通过公式 $ (s^{-1}x)^{[p]} = s^{-p-1}(s x^{[p]} - x^{p-1}(s)x) $ 定义局部化模 $ R_{rak{p}} \otimes_R L $ 上的 $ p $-次幂运算，以延拓受限结构。
• 通过在通用包络代数作为计算工具的前提下，验证等价关系下 $ p $-次幂运算的一致性，证明其在局部化下的良定性。
• 验证局部代数中 $ p $-次幂运算满足所需恒等式 $ (a+b)^{[p]} = a^{[p]} + b^{[p]} + \sum \lambda_i(a,b) $。
• 通过局部化及 $ R_{rak{p}} $ 上通用包络代数的自由性，证明当 $ L $ 作为 $ R $-模是有限生成投射时，受限普遍包络代数在 $ R $ 上是有限生成投射的。

实验结果

研究问题

• RQ1 受限李-里纳特代数的PBW定理是否能有比鲁米宁先前提供的更直接、更自包含的证明？
• RQ2 受限李-里纳特代数上的 $ p $-次幂运算是否能在基环 $ R $ 的素理想处的局部化中一致地延拓？
• RQ3 当受限李-里纳特代数在 $ R $ 上是有限生成投射时，其受限普遍包络代数是否本身也是 $ R $-模上的有限生成投射？
• RQ4 受限李-里纳特代数的局部化是否保持其受限李-里纳特代数结构，包括 $ p $-运算与李-里纳特公理的相容性？

主要发现

• 本文建立了一个关于特征 $ p > 0 $ 下受限李-里纳特代数的受限普遍包络代数的PBW定理的新且更清晰的证明。
• 当 $ L $ 在 $ R $ 上是有限生成投射时，受限普遍包络代数 ${\mathfrak{u}}(R,L)$ 被证明为 $ R $-模上的有限生成投射。
• 局部化 $ R_{\frak{p}} \otimes_R L $ 赋予了一个良定义的 $ p $-次幂运算，使其成为一个受限李-里纳特代数，其公式为 $ (s^{-1}x)^{[p]} = s^{-p-1}(s x^{[p]} - x^{p-1}(s)x) $。
• 证明确认了局部代数中 $ p $-次幂运算满足所需恒等式 $ (a+b)^{[p]} = a^{[p]} + b^{[p]} + \sum \lambda_i(a,b) $。
• 该构造确保局部化李-里纳特代数的通用包络代数在 $ R_{\frak{p}} $ 上自由，从而推出原代数在 $ R $ 上是有限生成投射的。
• 作者通过严格验证 $ p $-结构在局部化下的相容性，解决了鲁米宁早期工作中的潜在漏洞，这对投射性结果至关重要。