[论文解读] Cohomology of Restricted Lie Algebras

Tyler J. Evans|ArXiv.org|Nov 8, 2001

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

一句话总结

本文通过为低度上同调（最高至第3度）构造显式的上链复形，并建立与经典李代数上同调的联系，发展了受限李代数的上同调理论。它表明在交换情形下，上链复形的维数与代数的对称幂相等，并证明了受限上同调在度数0和1时与经典上同调一致，同时在度数2时给出了一个具有明确定义核的典范映射。

ABSTRACT

In this dissertation, we investigate the cohomology theory of restricted Lie algebras. The representation theory of restricted Lie algebras is reviewed including a description of the restricted universal enveloping algebra. In the case of an abelian restricted Lie algebra, we construct an augmented complex of free modules over the enveloping algebra that is exact in dimensions less than p and hence define the cohomology theory of these algebras in dimension less than p. In the non-abelian case, we explicitly construct cochain spaces for any coefficient module in dimensions less than 3, and give explicit formulas for the coboundary operators in these dimensions. The corresponding notions of the usual algebraic interpretations of ordinary low dimensional cohomology are defined and we show that our restricted cohomology spaces encode this information as well.

研究动机与目标

• 为受限李代数发展系统化的上同调理论，将经典李代数上同调扩展至正特征情形。
• 为受限李代数上同调在度数0至3之间构造显式上链复形，且系数模为任意模。
• 澄清受限上同调与经典李代数上同调之间的关系，特别是在低度情形下的关系。
• 研究受限设定下低度上同调空间的代数解释。
• 为未来关于形变理论和受限L∞代数的研究奠定基础。

提出的方法

• 为交换受限李代数构造一个自由受限普遍包络代数模的增强复形，其在度数小于p时是正合的。
• 使用Cartan-Eilenberg构造定义受限李代数上同调的标准上链复形。
• 在非交换情形下，对任意系数模M，显式计算上边界算子δ^k（k = 0, 1, 2, 3）。
• 证明在交换情形下有dim C^k(g) = dim S^k(g)，从而建立与对称代数的精确联系。
• 构造从H^2(g; M)到H^2_cl(g; M)的典范映射，并对特定系数模分析其核。
• 利用经典上同调的代数解释，将其推广至受限设定。

实验结果

研究问题

• RQ1 受限李代数的上同调在低度下如何与经典李代数上同调相关联？
• RQ2 受限李代数上同调在度数0至3的上链复形具有何种结构？
• RQ3 在交换情形下，上链空间C^k(g; M)的维数是多少？它与对称代数有何关系？
• RQ4 从受限H^2到经典H^2的典范映射的核是什么？它如何随系数模变化？
• RQ5 整个非交换受限上同调理论能否被理解为交换情形的形变？

主要发现

• 在交换情形下，上链空间C^k(g)的维数等于第k个对称幂S^k(g)的维数。
• 受限李代数的上同调空间H^0(g; M)和H^1(g; M)与它们的经典对应物存在典范同构。
• 存在一个从H^1(g; M)到H^1_cl(g; M)的典范单射映射，表明受限上同调在度数1时可嵌入经典上同调。
• 构造了从H^2(g; M)到H^2_cl(g; M)的典范映射，并对特定系数模分析了其核。
• 在交换与非交换情形下，上链空间的维数相同，暗示两者之间存在形变理论关系。
• 本文发展的上同调理论为研究受限李代数的形变，以及潜在的受限L∞代数提供了基础。