[论文解读] Universal Central Extensions of the Matrix Leibniz Superalgebras sl(m, n, A)

Naihong Hu, Dong Liu|ArXiv.org|Oct 19, 2006

Algebraic structures and combinatorial models参考文献 5被引用 4

一句话总结

本文在李布尼茨超代数范畴中确定了矩阵李布尼茨超代数 𝔰𝔩(m,n,𝒜) 的普遍中心扩张，表明其同构于斯坦伯格李布尼茨超代数 𝔰𝔱𝔩(m,n,𝒜)，其核同构于霍赫希尔德同调上康奈斯算子 𝒟 的像，前提条件为：m+n ≥ 3，且在小的 m+n 情况下具有特征约束。该结果通过霍赫希尔德同调与循环同调，将早期李超代数的结果推广至李布尼茨情形。

ABSTRACT

The universal central extensions and their extension kernels of the matrix Lie superalgebra sl(m, n, A), the Steinberg Lie superalgebra st(m, n, A) in category {\bf SLeib} of Leibniz superalgebras are determined under a weak assumption (compared with \cite{MP}) using the first Hochschild homology and the first cyclic homology group.

研究动机与目标

• 填补对李布尼茨超代数，特别是矩阵代数 𝔰𝔩(m,n,𝒜) 的普遍中心扩张理解上的空白，将先前的李超代数结果推广至李布尼茨情形。
• 克服早期工作中 m+n ≥ 5 的限制性假设，将其弱化为在特征条件下 m+n ≥ 3。
• 利用同调代数工具，在李布尼茨超代数范畴 SLeib 中建立 𝔰𝔩(m,n,𝒜) 的普遍中心扩张。
• 将普遍中心扩张的核表征为康奈斯算子 𝒟 在霍赫希尔德同调上的像。
• 将普遍中心扩张理论从李超代数推广至李布尼茨超代数，统一同调不变量。

提出的方法

• 在李布尼茨超代数设定中，将一阶霍赫希尔德同调群 HH₁(𝒜) 用作普遍中心扩张的核。
• 应用康奈斯算子 𝒟 定义在 𝒜 的张量幂上的映射，其像捕获了扩张的核。
• 将斯坦伯格李布尼茨超代数 𝔰𝔱𝔩(m,n,𝒜) 构造为 SLeib 中 𝔰𝔩(m,n,𝒜) 的普遍中心扩张。
• 利用商映射 π: 𝔰𝔱𝔩(m,n,𝒜) → 𝔰𝔱(m,n,𝒜) 的普遍性质，以及商代数的李超代数结构。
• 建立一个交换图，连接霍赫希尔德同调、循环同调与中心扩张，证明 Ker(π) ≅ Im(𝒟)。
• 应用李布尼茨超代数与李超代数函子之间的伴随关系，利用 L → L_SLie 关联结构。

实验结果

研究问题

• RQ1 在李布尼茨超代数范畴 SLeib 中，矩阵李布尼茨超代数 𝔰𝔩(m,n,𝒜) 的普遍中心扩张是什么？
• RQ2 该普遍中心扩张的核如何与结合代数 𝒜 的霍赫希尔德同调群和循环同调群相关联？
• RQ3 先前李超代数结果中假设的 m+n ≥ 5 能否在李布尼茨超代数设定中弱化为 m+n ≥ 3？
• RQ4 康奈斯算子 𝒟 在 SLeib 中确定普遍中心扩张核时起什么作用？
• RQ5 SLeib 中的普遍中心扩张如何与 SLie 中的经典普遍中心扩张相关联？

主要发现

• 在 SLeib 范畴中，𝔰𝔩(m,n,𝒜) 的普遍中心扩张为斯坦伯格李布尼茨超代数 𝔰𝔱𝔩(m,n,𝒜)，在 m+n ≥ 3 且具有特征约束时成立。
• 该普遍中心扩张的核同构于康奈斯算子 𝒟 作用在霍赫希尔德同调群 HH₁(𝒜) 上的像。
• 当 m+n = 3 时，若 char(K) ≠ 3，则结论成立；当 m+n = 4 时，若 char(K) ≠ 2，则结论成立。
• 核同构于 Im(𝒟) ⊆ HH₁(𝒜)，在一般情况下，它是 HH₁(𝒜) 的真子群，与李超代数情形相区别。
• SLeib 中的普遍中心扩张是完全的，且由于目标代数的完全性，该扩张是普遍的。
• HL₂(𝔰𝔱(m,n,𝒜)) ≅ Im(𝒟)，建立了第二李布尼茨上同调群的同调表征。