[论文解读] The second homology group of current Lie algebras

Pasha Zusmanovich|arXiv (Cornell University)|Aug 1, 2008

Algebraic structures and combinatorial models参考文献 8被引用 10

一句话总结

该论文为当前李代数 $ L \otimes A $ 的二阶同调群 $ H_2(L \otimes A) $ 建立了一个完整的分解公式，其中 $ L $ 是一个李代数，$ A $ 是一个在特征 $ p \neq 2 $ 的域上的交换结合代数。利用霍普夫公式和同调代数技巧，证明了涉及 $ H_2(L) \otimes A $、$ B(L) \otimes HC_1(A) $ 以及来自 $ L $ 和 $ A $ 的交换化和对称/反对称积的挠项的同构，推广了卡茨-莫ody代数的已知中心扩张。

ABSTRACT

This is an old paper put here for archeological purposes. We derive a general formula expressing the second homology of a Lie algebra of the form L\otimes A with coefficients in the trivial module through homology of $L$, cyclic homology of $A$, and other invariants of $L$ and $A$. This is achieved by using the Hopf formula expressing the second homology of a Lie algebra in terms of its presentation. We also derive a similar formula for the associated Lie algebra of the tensor product of two associative algebras.

研究动机与目标

• 将仿射卡茨-莫ody代数的已知中心扩张推广到任意当前李代数 $ L \otimes A $。
• 以 $ L $ 和 $ A $ 的不变量表示，提供 $ H_2(L \otimes A) $ 的完整分解。
• 通过推导在特征 $ p \neq 2 $ 的域上普遍成立的一般同构，统一并扩展先前关于 $ H_2(L \otimes A) $ 的部分结果。
• 通过 $ (A \otimes B)^{(-)} $ 上的李代数结构，将公式扩展到非交换结合代数。

提出的方法

• 使用霍普夫公式 $ H_2(L) \simeq ([\mathcal{L}, \mathcal{L}] \cap I)/[\mathcal{L}, I] $，其中 $ \mathcal{L} $ 是自由李代数，且 $ 0 \to I \to \mathcal{L} \to L \to 0 $ 是一个表示。
• 对 $ H_2^{\text{ess}}(L) $ 应用霍普夫公式的改进版本，将本质循环与交换化分离。
• 通过自由李代数及其理想之间的张量积，构造当前代数 $ L \otimes A $ 的表示。
• 使用图表追逐法和 3×3 引理分析同调与上同调中的正合序列。
• 对于非交换情形，通过在循环空间中直接计算并商去除微分的像，计算 $ H_2((A \otimes B)^{(-)}) $。
• 使用同构 $ H_2((A \otimes B)^{(-)}) \simeq F(A,B) \oplus F(B,A) $，其中 $ F $ 表示涉及循环同调和挠项的特定同调分量。

实验结果

研究问题

• RQ1 在特征 $ p \neq 2 $ 的域上，当前李代数 $ L \otimes A $ 的二阶同调群 $ H_2(L \otimes A) $ 的结构是什么？
• RQ2 公式 $ H_2(L \otimes A) $ 如何推广仿射卡茨-莫ody代数的已知中心扩张？
• RQ3 能否通过 $ (A \otimes B)^{(-)} $ 上的李代数结构，将 $ H_2(L \otimes A) $ 的分解扩展到非交换结合代数？
• RQ4 循环同调 $ HC_1(A) $、余不变量 $ B(L) $ 以及挠子模如 $ T(A) $ 在分解中起什么作用？

主要发现

• 二阶同调群 $ H_2(L \otimes A) $ 具有一个典范同构：$ H_2(L) \otimes A \oplus B(L) \otimes HC_1(A) \oplus \wedge^2(L/[L,L]) \otimes \ker(S^2(A) \to A) \oplus S^2(L/[L,L]) \otimes T(A) $。
• 当 $ L = [L,L] $ 时，涉及 $ \wedge^2(L/[L,L]) $ 和 $ S^2(L/[L,L]) $ 的项消失，公式得以简化。
• 在对 $ B = M_n(K) $ 做轻微修改后，该公式恢复了已知同构 $ H_2(sl_n(A)) \simeq HC_1(A) $。
• 对于非交换结合代数 $ A $ 和 $ B $，$ (A \otimes B)^{(-)} $ 的二阶同调分解为 $ F(A,B) \oplus F(B,A) $，其中 $ F $ 通过循环同调和挠子模定义。
• 子模 $ T(A) $ 由元素 $ ab \wedge c + ca \wedge b + bc \wedge a $（$ a,b,c \in A $）生成，捕捉了 $ A $ 中的反对称关系。
• 基于霍普夫公式和图表追逐的证明方法，提供了一种新颖且统一的方法，与以往方法不同，且在特征 $ p \neq 2 $ 的域上有效。