Notes on Leibniz $n$-algebras

技术摘要：关于 Leibniz $n$-代数的笔记

问题陈述
本文研究了 Leibniz $n$-代数的结构与同调性质，这类代数是 Lie $n$-代数、Leibniz 代数以及 Nambu 代数的推广。具体而言，作者分析了作用于不同阶数（arity）的 Leibniz 代数范畴之间的两个基本演算：广义遗忘演算（generalized forgetful functor, $U_n^p$）和 Daletskii-Takhtajan 演算（$D_q^p$）。核心问题在于确定这些演算是否保持“完美”对象（即代数等于其自身的导代数）、作用（actions）以及交叉模（crossed modules）。此外，本文旨在建立 Leibniz $n$-代数与其相关的 Leibniz $p$-代数（其中 $p = k(n-1) + 1$）之间的同调与泛中心扩张（universal central extensions）之间的关系。

方法论
作者在非反对称 $n$-ary 代数的框架内，采用了范畴论方法和显式的代数构造。

1. 演算分析： 研究定义并分析了广义遗忘演算 $U_n^p: n\text{Lb} \to p\text{Lb}$，它将一个 Leibniz $n$-代数 $L$ 映射为一个具有相同底层向量空间但具有迭代 $p$-ary 括号的 Leibniz $p$-代数。类似地，定义了广义 Daletskii-Takhtajan 演算 $D_q^p: q\text{Lb} \to p\text{Lb}$，通过张量幂（$L^{\otimes \kappa}$）将 Leibniz $q$-代数映射为 Leibniz $p$-代数。
2. 保持性质： 作者严格测试了这些演算是否保持完美对象（定义为 $L = [L^n]$）的性质，以及作用和交叉模的结构。
3. 反例构造： 为了解决 Daletskii-Takhtajan 演算的局限性，作者利用有限维 Lie 代数和 Leibniz 代数构造了特定的反例，以证明完美性的保持失效。
4. 同调联系： 本文在 Leibniz 代数 $L$ 的 Leibniz 同调与 Leibniz $n$-代数 $U_n(L)$ 的同调之间构造了链复形态射。
5. 泛中心扩张： 利用非交换张量幂构造（$L^*_n$），作者分析了完美 Leibniz $n$-代数的泛中心扩张，并将其与 Leibniz $p$-代数范畴中的泛中心扩张进行比较。

主要贡献与结果

• 遗忘演算的保持性： 本文证明了广义遗忘演算 $U_n^p$ 是一个保持并反映完美对象的精确演算（定理 3.5）。因此，如果一个 Leibniz $n$-代数是完美的，则其在 $U_n^p$ 下的像是一个完美的 Leibniz $p$-代数。
• 向交叉模的扩展： 作者展示了 $U_n^p$ 可以扩展为交叉模范畴之间的演算（$X_n\text{Lb} \to X_p\text{Lb}$）。他们证明了如果 $\mu: L \to P$ 是 Leibniz $n$-代数的一个交叉模，那么 $U_n^p(\mu)$ 是一个 Leibniz $p$-代数的交叉模（命题 4.5）。这包括对作用的保持（引理 4.2）。
• Daletskii-Takhtajan 保持性的失效： 与遗忘演算相反，本文确定了 Daletskii-Takhtajan 演算 $D_n$（及其推广 $D_q^p$）通常不保持完美对象。作者提供了涉及完美 Lie 3-代数和特定完美 Leibniz 代数的显式反例（例 5.1），其中生成的张量积代数不是完美的。
• 同调态射： 在 Leibniz 代数 $L$ 的同调与系数在平凡共表示下的 Leibniz $n$-代数 $U_n(L)$ 的同调之间，构造了一个链复形态射 $h_*$。作者表明该映射在 0 维处是同构，且若 $L$ 是完美的，则该映射是满射（命题 6.1）。
• 泛中心扩张： 本文分析了完美 Leibniz $n$-代数 $L$ 的泛中心扩张与其在 Leibniz $p$-代数范畴中的泛中心扩张之间的关系。研究表明，将 $U_n^p$ 应用于 $L$ 的泛中心扩张会得到 $p\text{Lb}$ 中的一个中心扩张，从而导致一个唯一的满同态 $\phi: L^*_p \to L^*_n$（第 7 节）。

意义与主张
本文声称建立了连接不同阶数 Leibniz 代数范畴的演算的进一步结构性质。通过证明遗忘演算保持完美性和交叉模结构，作者提供了一个强大的工具，用于将结果从低阶（如 Leibniz 代数）转移到高阶 Leibniz $n$-代数。相反，通过展示 Daletskii-Takhtajan 演算无法保持完美性，本文划定了通过张量幂进行同调转移的边界。

其意义在于将这些演算性质应用于同调和泛中心扩张。结果阐明了非交换张量幂（描述泛中心扩张的关键工具）在阶数变化时的行为。具体而言，本文提供了关于完美 Leibniz $n$-代数在 $n$-代数和 $p$-代数范畴中的泛中心扩张之间关系的具体描述，并提供了一个将它们的各自同调群和张量幂联系起来的交换图表。这项工作旨在将 Leibniz $n$-代数的结构理论与已有的 Leibniz 代数和 Lie $n$-代数的结果统一起来，同时强调了由 Leibniz 结构的非反对称性质所引起的独特行为。