[论文解读] Universal central extensions of $\mathfrak{sl}(m, n, A)$ of small rank over associative superalgebras

Xabier García‐Martínez, M. Ladra|arXiv (Cornell University)|May 15, 2014

Advanced Topics in Algebra参考文献 10被引用 3

一句话总结

本文完成了对结合超代数 $A$ 上的李超代数 $\mathfrak{sl}(m,n,A)$ 和 $\mathfrak{st}(m,n,A)$ 的普遍中心扩张及二阶同调群的分类，解决了此前未解决的小秩情形（$m+n=3,4$），包括 $\mathfrak{sl}(2,1,A)$、$\mathfrak{sl}(3,1,A)$ 和 $\mathfrak{sl}(2,2,A)$。通过超 2-上循环与同态构造，本文证明了在这些情形下 $\mathfrak{st}(m,n,A)$ 是 $\mathfrak{sl}(m,n,A)$ 的普遍中心扩张，并以循环同调及包含 $mA + [A,A]$ 的理想商代数的形式，给出了 $\operatorname{H}_2(\mathfrak{sl}(m,n,A))$ 和 $\operatorname{H}_2(\mathfrak{st}(m,n,A))$ 的显式描述。结果统一并完成了所有 $m+n \geq 3$ 情形的先前工作。主要贡献在于对所有此类超代数的二阶同调的完整刻画。

ABSTRACT

We complete the solution of the problem of finding the universal central extension of the matrix superalgebras $\mathfrak{sl}(m, n, A)$ where $A$ is an associative superalgebra and computing $H_2\big(\mathfrak{sl}(m, n, A)\big)$. The Steinberg Lie superalgebra $\mathfrak{st}(m, n, A)$ has a very important role and we will also find out $H_2\big(\mathfrak{st}(m, n, A)\big)$. In Chen and Sun (arXiv:1311.7079, 2013) it is solved the problem where $m+n \geq 5$ and in Chen and Guay (Algebr. Represent. Theory, 2013) it is solved when $n=0$, so here we work out the three remaining cases $\mathfrak{sl}(2, 1, A), \mathfrak{sl}(3, 1, A)$ and $\mathfrak{sl}(2, 2, A)$.

研究动机与目标

• 完成当 $m+n=3,4$ 时，对结合超代数 $A$ 上 $\mathfrak{sl}(m,n,A)$ 和 $\mathfrak{st}(m,n,A)$ 的普遍中心扩张分类，此前这些情形尚未解决。
• 计算所有 $m+n \geq 3$ 情形下的 $\operatorname{H}_2(\mathfrak{sl}(m,n,A))$ 和 $\operatorname{H}_2(\mathfrak{st}(m,n,A))$，完成超代数情形下二阶同调的刻画。
• 确立 $\mathfrak{st}(m,n,A)$ 是 $\mathfrak{sl}(m,n,A)$ 在三种剩余情形（$\mathfrak{sl}(2,1,A)$、$\mathfrak{sl}(3,1,A)$ 和 $\mathfrak{sl}(2,2,A)$）下的普遍中心扩张。
• 统一此前关于 $m+n \geq 5$ 和 $n=0$ 情形下 $\mathfrak{sl}(m,n,A)$ 的研究成果，并将其扩展至所有 $m+n \geq 3$ 的完整框架。

提出的方法

• 通过超 2-上循环构造李超代数同态 $\rho: \mathfrak{st}(m,n,A)^\sharp \to \widetilde{\mathfrak{st}}(m,n,A)$，以验证中心扩张的普遍性。
• 利用 Steinberg 超代数 $\mathfrak{st}(m,n,A)$ 作为普遍中心扩张，其生成元 $F_{ij}(a)$ 满足由超迹和括号恒等式导出的特定关系。
• 验证映射 $v_{ijkl}(a)$ 上的上循环条件 (C1)–(C3)，包括反对称性、分次雅可比恒等式，以及对超代数交换子的不变性。
• 通过第二同调群显式计算普遍中心扩张的核，利用同构关系 $\ker(\rho) \cong \operatorname{H}_2(\mathfrak{sl}(m,n,A))$。
• 应用奇偶性变换函子 $\Pi$ 和商代数 $A_m = A / (mA + [A,A])$，以描述 $\operatorname{H}_2(\mathfrak{st}(m,n,A))$ 的结构。
• 结合 [3]、[4] 与本文结果，实现对所有 $m+n \geq 3$ 情形下 $\operatorname{H}_2(\mathfrak{sl}(m,n,A))$ 和 $\operatorname{H}_2(\mathfrak{st}(m,n,A))$ 的完整分类。

实验结果

研究问题

• RQ1 对于结合超代数 $A$，$\mathfrak{sl}(2,1,A)$ 的普遍中心扩张是什么？
• RQ2 如何描述 $\operatorname{H}_2(\mathfrak{sl}(3,1,A))$ 和 $\operatorname{H}_2(\mathfrak{st}(3,1,A))$ 的结构？
• RQ3 如何依赖于超代数 $A$，$\mathfrak{sl}(2,2,A)$ 和 $\mathfrak{st}(2,2,A)$ 的二阶同调？
• RQ4 能否对所有 $m+n \geq 3$ 情形完全刻画 $\mathfrak{sl}(m,n,A)$ 的普遍中心扩张？
• RQ5 在小秩情形下，$\operatorname{H}_2(\mathfrak{sl}(m,n,A))$ 与 $\operatorname{H}_2(\mathfrak{st}(m,n,A))$ 之间的确切关系为何？

主要发现

• 对于 $\mathfrak{sl}(2,1,A)$，其普遍中心扩张为 $\mathfrak{st}(2,1,A)$，且 $\operatorname{H}_2(\mathfrak{st}(2,1,A)) = 0$。
• 对于 $\mathfrak{sl}(3,1,A)$，其普遍中心扩张为 $\mathfrak{st}(3,1,A)$，且 $\operatorname{H}_2(\mathfrak{st}(3,1,A)) = \Pi(A_2)^6$，其中 $A_2 = A / (2A + [A,A])$。
• 对于 $\mathfrak{sl}(2,2,A)$，其普遍中心扩张为 $\mathfrak{st}(2,2,A)$，且 $\operatorname{H}_2(\mathfrak{st}(2,2,A)) = A_2^4 \oplus A_0^2$，其中 $A_2 = A / (2A + [A,A])$，$A_0 = A / (0A + [A,A])$。
• 当 $m+n \geq 5$ 或 $m=2,n=1$ 时，$\mathfrak{sl}(m,n,A)$ 的二阶同调为 $\operatorname{HC}_1(A)$；在其余情形下为 $\operatorname{HC}_1(A) \oplus \operatorname{H}_2(\mathfrak{st}(m,n,A))$。
• 对所有 $m+n \geq 3$ 情形下 $\operatorname{H}_2(\mathfrak{sl}(m,n,A))$ 和 $\operatorname{H}_2(\mathfrak{st}(m,n,A))$ 的完整分类现已完成，其显式公式以循环同调和商代数形式给出。
• 结果统一并扩展了此前关于 $m+n \geq 5$ 和 $n=0$ 情形下 $\mathfrak{sl}(m,n,A)$ 的研究，完成了对这些超代数的同调刻画。