[论文解读] Second cohomology of Lie rings and the Schur multiplier

Max Horn, Seiran Zandi|arXiv (Cornell University)|Oct 1, 2013

Algebraic structures and combinatorial models被引用 4

一句话总结

本文为李环 $ L $ 与平凡 $ L $-模 $ A $ 的第二上同调群 $ H^2(L,A) $ 提供了显式构造，建立了上同调类与中心扩张等价类之间的一一对应关系。关键结果表明，对于有限李环，有 $ H^2(L,\mathbb{C}^*) \to (F^2 \bigcap R)/[F,R] $，并将施瓦茨乘子 $ M(L) $ 识别为 $ H^2(L,\mathbb{C}^*) $，与群与李代数理论中的结果相呼应。

ABSTRACT

We exhibit an explicit construction for the second cohomology group $H^2(L, A)$ for a Lie ring $L$ and a trivial $L$-module $A$. We show how the elements of $H^2(L, A)$ correspond one-to-one to the equivalence classes of central extensions of $L$ by $A$, where $A$ now is considered as an abelian Lie ring. For a finite Lie ring $L$ we also show that $H^2(L, \C^*) \cong M(L)$, where $M(L)$ denotes the Schur multiplier of $L$. These results match precisely the analogue situation in group theory.

研究动机与目标

• 为李环 $ L $ 与平凡 $ L $-模 $ A $ 的第二上同调群 $ H^2(L,A) $ 提供显式描述。
• 建立 $ H^2(L,A) $ 中元素与以 $ A $ 视为交换李环的 $ L $ 的中心扩张等价类之间的一一对应关系。
• 证明对于有限李环 $ L $，施瓦茨乘子 $ M(L) $ 同构于 $ H^2(L,\mathbb{C}^*) $，扩展了群与李代数理论中的已知结果。
• 阐明李环与 $ k $-李代数之间的区别，表明李环的结果不能直接推出李代数的结果，原因在于自由对象与模结构的不同。
• 利用李环的表示 $ L = F/R $（其中 $ F $ 自由，$ R $ 为理想），建立施瓦茨乘子的李环类比霍普夫公式。

提出的方法

• 通过五个公理定义上循环 $ (f,g) \to Z^2(L,A) $：$ f $ 的双线性类条件、$ f(x,x)=0 $ 的反对称性、涉及 $ f $ 与 $ g $ 的雅可比类恒等式，以及 $ g $ 的对称性与可加性。
• 通过函数 $ t: L \to A $（满足 $ t(0)=0 $）定义上边界 $ (f,g) $，令 $ f(x,y) = -t([x,y]) $ 且 $ g(x,y) = t(x)+t(y)-t(x+y) $，构成子群 $ B^2(L,A) $。
• 将第二上同调群构造为商群 $ H^2(L,A) = Z^2(L,A)/B^2(L,A) $，其中上同调类 $ \bar{(f,g)} $ 代表扩张的等价类。
• 通过提升映射 $ \theta: F/[F,R] \to L^* $ 建立中心扩张 $ 0 \to A \to L^* \to L \to 0 $ 与上同调类之间的对应关系，利用 $ L = F/R $ 的表示。
• 利用从 $ \text{Hom}(R/[F,R], \mathbb{C}^*) \to H^2(L,\mathbb{C}^*) $ 的转置映射证明其满射性，将扩张与上同调类联系起来。
• 应用引理 6.4 证明当 $ L $ 有限时 $ F^2 \bigcap R / [F,R] $ 有限，并通过 $ \text{Hom}(K,\mathbb{C}^*) $ 的对偶性，将 $ H^2(L,\mathbb{C}^*) \to (F^2 \bigcap R)/[F,R] $ 识别出来。

实验结果

研究问题

• RQ1 如何显式构造李环 $ L $ 与平凡 $ L $-模 $ A $ 的第二上同调群 $ H^2(L,A) $？
• RQ2 当 $ A $ 被视为交换李环时，$ H^2(L,A) $ 中元素与 $ L $ 的中心扩张等价类之间的确切对应关系是什么？
• RQ3 对于有限李环 $ L $，$ H^2(L,\mathbb{C}^*) $ 与施瓦茨乘子 $ M(L) $ 有何关系？这是否与群论中的类比一致？
• RQ4 尽管李环与域上李代数在结构上相似，为何李环的结果不能直接推出李代数的相应结果？
• RQ5 能否利用表示 $ L = F/R $ 将霍普夫公式推广至李环？$ H^2(L,\mathbb{C}^*) $ 的结果表达式是什么？

主要发现

• 对于李环 $ L $ 与平凡 $ L $-模 $ A $，第二上同调群 $ H^2(L,A) $ 显式构造为 $ Z^2(L,A)/B^2(L,A) $，其中上循环 $ (f,g) $ 满足五个公理，上边界来自函数 $ t: L \to A $。
• 在 $ H^2(L,A) $ 的上同调类与以 $ A $ 视为交换李环的 $ L $ 的中心扩张等价类之间存在自然的一一对应关系。
• 对于有限李环 $ L = F/R $（$ F $ 自由），有 $ H^2(L,\mathbb{C}^*) \to (F^2 \bigcap R)/[F,R] $，从而以表示形式显式实现了施瓦茨乘子。
• 施瓦茨乘子 $ M(L) = H_2(L,\mathbb{Z}) $ 同构于 $ H^2(L,\mathbb{C}^*) $，确认了李环版本的施瓦茨乘子与群论及李代数理论中的类比一致。
• 该构造表明，当 $ L $ 有限时 $ H^2(L,\mathbb{C}^*) $ 有限，原因在于引理 6.4 所证的 $ F^2 \bigcap R / [F,R] $ 的有限性。
• 结果 $ H^2(L,\mathbb{C}^*) \to (F^2 \bigcap R)/[F,R] $ 通过转置映射与 $ \text{Hom}(K,\mathbb{C}^*) $ 的对偶性导出，其中 $ K = R/[F,R] $，并依赖于引理 6.3 中转置映射的满射性。