Weak representability of actions of non-associative algebras

技术摘要：非结合代数作用的弱表示性

问题陈述
本文研究了非结合代数变体中作用的弱表示性 (WRA) 这一范畴-代数条件。在半阿贝尔范畴（semi-abelian categories）中，内部作用对应于分裂扩张。如果对于每个对象 $X$，分裂扩张函子 $\text{SplExt}(-, X)$ 与 $\text{Hom}(-, [X])$ 自然同构（其中 $[X]$ 为作用者/actor），则称该范畴是作用可表示的 (action representable)。虽然李代数和群是作用可表示的，但许多其他变体（例如结合代数）则不是。

作者关注的是由 G. Janelidze 引入的中间概念——弱表示性。如果对于每个对象 $X$，存在一个对象 $T$（弱作用者）以及一个函子单态射 $\tau: \text{SplExt}(-, X) \hookrightarrow \text{Hom}(-, T)$，则称该范畴是 WRA。本文旨在：

1. 特征化哪些算子性的、二次的非结合代数变体（特别是那些满足 2 次恒等式的变体）是 WRA。
2. 为这些变体构造一个特定的“外部弱作用者” $E(X)$，通过提供一个具体的偏代数（partial algebra）结构，实现通过向 $\text{Hom}(U(-), E(X))$ 的单态射来表示作用，其中 $U$ 是到偏代数的遗忘函子。

方法论
作者在由多项式恒等式定义的半阿贝尔范畴和非结合代数变体的框架内开展工作。其方法论包括：

• 通过 $\lambda/\mu$-规则进行分类： 他们利用通过特定线性恒等式（即 $\lambda/\mu$-规则，涉及结合子与变量置换之间的关系）对作用可达 (action accessible) 变体进行的特征化。
• 分析导出作用： 他们通过研究由派生作用（满足该变体恒等式的双线性映射 $l: B \times X \to X$ 和 $r: X \times B \to X$）来研究分裂扩张 $0 \to X \to A \to B \to 0$。
• 构造外部弱作用者： 对于给定的变体 $V$ 和对象 $X$，他们定义了一个向量空间 $E(X) \subseteq \text{End}(X)^2$，它由满足该变体恒等式的映射对 $(f \cdot -, - \cdot f)$ 组成。
• 偏代数结构： 他们利用 $\lambda/\mu$-规则诱导出一个偏双线性运算 $\langle -, - \rangle$ 来赋予 $E(X)$ 结构。这种结构允许他们将分裂扩张映射为偏代数的同态。
• 合并性质 (Amalgamation Properties)： 在交换结合代数的情况下，他们将弱作用者的存在性与合并性质 (AP) 联系起来，具体证明了：如果乘法代数 $M(X)$ 的交换子代数图表在结合代数范畴中存在合并，那么它在交换结合代数范畴中也必然存在。
• 二次情况算法： 对于二次变体，他们采用一种系统算法，通过 3 次恒等式矩阵的简化行阶梯形来确定 $E(X)$ 的约束条件以及可能的偏乘法定义。

核心贡献与结果

1. 二次变体的分类：
   本文提供了满足 2 次恒等式的算子性、二次作用可达变体的完整分类。他们证明以下变体是弱作用可表示的：

   • 交换结合代数 ($\text{CAssoc}$)。
   • 两步幂零交换代数 ($\text{Nil}_2(\text{Com})$)。
   • 两步幂零反交换代数 ($\text{Nil}_2(\text{ACom})$)。
   • 论文证明了 Jacobi–Jordan 代数 ($\text{JJord}$) 通过反导数的偏代数是弱可表示的。

2. 交换结合代数与合并：
   作者证明了 $\text{CAssoc}$ 是 WRA。他们建立了一个充分必要条件：弱表示性的存在当且仅当乘法代数 $M(X)$ 的交换子代数图表在 $\text{CAssoc}$ 中存在合并。他们证明了如果这样的合并在更大的结合代数范畴 ($\text{Assoc}$) 中存在，则它在 $\text{CAssoc}$ 中也必然存在。

3. 外部弱作用者 $E(X)$ 的构造：
   本文引入了从满足变体恒等式的端同态对组成的向量空间构造的偏代数 外部弱作用者 $E(X)$。

   • 他们证明了函子单态射 $\text{SplExt}(-, X) \hookrightarrow \text{Hom}_{\text{PAlg}}(U(-), E(X))$。
   • 如果 $E(X)$ 恰好是变体 $V$ 的一个对象（即偏运算是全的且满足恒等式），那么 $E(X)$ 即可作为 $V$ 中的一个弱作用者。
   • 他们将 $E(X)$ 与 通用严格广义作用者 (USGA) 联系起来，指出 $E(X)$ 通常更容易构造，并且在特定语境下可以被视为 USGA 的“代数闭包”。

4. 具体实例与计算：

   • 李代数： $E(X) \cong \text{Der}(X)$（即作用者）。
   • Leibniz 代数： $E(X) \cong \text{Bider}(X)$（即弱作用者）。
   • 交替代数： 对于单位交替代数（如八元数），$E(X) \cong X$，表明它们是作用可表示的。
   • 幂零代数： 对于 $k$ 步幂零结合代数 ($k \ge 3$)，$E(X)$ 是一个结合代数，但通常不是 $k$ 步幂零的，这表明这些子变体可能不是 WRA（这是一个开放性问题）。
   • 二次变体： 作者提供了一种算法化方法，通过矩阵约减来确定 $E(X)$ 的结构和定义其乘法的参数，并以对称 Leibniz 代数和 Poisson 代数为例进行了说明。

意义与主张
本文声称推进了对超越李代数和群的严格情况下的作用表示性的理解。通过引入外部弱作用者 $E(X)$，作者为研究严格作用者不存在的变体提供了一个具体的、可计算的工具。

其意义在于：

• 扩展适用范围： 证明了重要的非结合变体（如交换结合代数）是弱作用可表示的，尽管它们未能满足更严格的作用可表示性条件。
• 连接概念： 弥合了抽象范畴定义（WRA）与具体的代数构造（偏代数、乘法代数、合并）之间的鸿沟。
• 系统化方法： 为分析任何算子性二次变体的作用表示性提供了一种通用方法（通过 $\lambda/\mu$-规则和矩阵约减）。

作者谦虚地指出，虽然他们已经对许多二次情况进行了特征化，但 WRA 在子变体下的行为（特别是对于高阶恒等式）以及是否存在非弱作用可表示的作用可达变体，仍是开放性问题。他们还强调了其构造在研究理想精确范畴中的单位代数方面的潜力。