On the representability of actions of unital algebras

技术摘要：关于幺元代数作用的表示性

问题陈述
本文研究了在域上的幺元非结合代数背景下内部作用的可表示性。在范畴代数中，若对象 $X$ 上的分裂扩张（或内部作用）函子自然同构于同态函子 $\text{Hom}(-, [X])$，则称该范畴是作用可表示的，其中 $[X]$ 是一个被称为“作用者（actor）”的对象。虽然群（此时 $[X] = \text{Aut}(X)$）和李代数具有此性质，但已知许多非结合代数的簇（如交换结合代数）不具备此性质。

先前的工作表明，在半阿贝尔范畴（包含非幺元代数）的设定下，作用可表示性是一个高度受限的性质，本质上仅刻画了交换代数和李代数。作者探讨了当将注意力限制在幺元代数时，这一限制是否依然存在。具体而言，他们考察了幺元代数的理想精确范畴（这些范畴通常不是点化的，不同于半阿贝尔范畴），以确定乘法幺元的存在是否恢复了作用可表示性。

方法论
作者结合了范畴代数和通用代数的技术：

1. 理想精确范畴：他们在理想精确范畴（由 G. Janelidze 引入）的框架内工作，该框架将半阿贝尔范畴推广至包含非点化情形（如幺元环 $\text{Ring}$ 和幺元交换环 $\text{CRing}$ 的范畴）。在此背景下，作用可表示性是相对于半阿贝尔切片范畴 $(\mathcal{U} \downarrow 0)$ 定义的。
2. 外部弱作用者：对于算子型且作用可及的非结合代数簇，作者利用了外部弱作用者 $E(X)$ 的构造。这是一个部分代数，由满足特定恒等式（源自该簇定义方程的 $\lambda/\mu$-规则）的自同态对构成。
3. 典范映射：一个核心工具是典范部分代数同态 $\text{Inn}: X \to E(X)$，定义为将元素 $x$ 映射到其左乘和右乘算子 $(L_x, R_x)$。
4. 幺元封闭簇：分析聚焦于幺元封闭簇，即向代数添加外部幺元后仍保持属于该簇。这使得作者能够将幺元代数的性质与底层非幺元簇的性质联系起来。

主要贡献与结果

• 一般幺元范畴中可及性的失效：本文证明，一般而言，幺元代数范畴甚至不是作用可及的（这是比可表示性更弱的条件）。具体而言，命题 4.11 证明了幺元交换代数范畴（$\text{Com}_1$）和幺元非结合代数范畴（$\text{Alg}_1$）不是作用可及的。这是通过构造一个特定的 6 维幺元交换代数来展示的，在该代数中，分裂扩张不存在到忠实对象上的态射。

• 通过外部弱作用者刻画幺元性：对于算子型、作用可及且幺元封闭的簇 $\mathcal{V}$，作者证明了一个关键等价性（定理 5.6）：对于 $\mathcal{V}$ 中的任意代数 $X$，典范映射 $\text{Inn}: X \to E(X)$ 是同构，当且仅当 $X$ 是幺元代数。

  • 如果 $X$ 是幺元的，则 $\text{Inn}$ 的核（零化子）是平凡的，且幺元的存在使得外部弱作用者的每个元素都能由其在该幺元上的作用唯一确定，从而保证了满射性。
  • 如果 $\text{Inn}$ 是同构，则恒等对 $(\text{id}_X, \text{id}_X)$ 的逆像为 $X$ 提供了一个乘法幺元。

• 关于作用可表示性的主要定理：核心结果（定理 5.7）指出，如果 $\mathcal{V}$ 是一个算子型、作用可及且幺元封闭的簇，那么 $\mathcal{V}$ 中幺元代数的理想精确范畴 $\mathcal{V}_1$ 是作用可表示的。此外，任何幺元代数 $X$ 的作用者就是 $X$ 本身。

  • 这意味着对于此类簇，幺元代数 $X$ 的分裂扩张函子可由 $X$ 表示。
  • 该结果适用于幺元结合代数、幺元交换结合代数、幺元交错代数以及特征为 3 的幺元雅可比 - 若尔当代数。

• 推广至泊松代数：作者将这些发现推广到幺元泊松代数（$\text{Pois}_1$）和幺元交换泊松代数（$\text{CPois}_1$）。通过利用兴趣类 Orzech 范畴的通用严格一般作用者（USGA）的显式构造，他们证明了（定理 6.7 和 6.8）这些范畴是作用可表示的，且幺元泊松代数的作用者即为该代数本身。

意义与主张
本文声称解决了非结合代数中非幺元设定与幺元设定之间的显著反差。虽然半阿贝尔（非幺元）设定下的作用可表示性极为罕见（本质上仅限于李代数），但在算子型、作用可及且幺元封闭的簇中引入乘法幺元，则普遍恢复了这一性质。

作者强调，对于这些特定簇中的幺元代数，“作用者”并非复杂的外部对象（如双乘子代数或导子代数），而是代数本身。这简化了幺元代数作用的范畴结构，表明幺元的存在从根本上改变了分裂扩张和内部作用的行为，使其能够以一种直接且内在的方式被表示。这项工作还提供了一种具体方法，通过检查幺元封闭性质和 $\lambda/\mu$-规则的存在性，来验证新簇中的作用可表示性。