Complete and cocomplete Lie algebras with injective- and projective-type properties

技术摘要：完全李代数与共完全李代数及其入射型与射影型性质

问题陈述
本文研究了特征为零的域上有限维李代数的结构性质，特别是寻求在李代数范畴中寻找类似于模范畴中入射对象（injective objects）和射影对象（projective objects）的概念。在模理论中，入射和射影对象通过短正合序列的分裂来表征。作者探讨了在李代数范畴中是否存在类似的表征。一个根本性的复杂之处在于，李代数范畴不是阿贝尔范畴；因此，扩张存在两种不同的分裂方式：

1. 半平凡分裂（Semi-trivial splitting）： 扩张 $0 \to A \to B \to C \to 0$ 作为半直和分裂，即 $B \cong A \rtimes_\rho C$，其中 $\rho$ 为某种作用。
2. 平凡分裂（Trivial splitting）： 扩张作为直和分裂，即 $B \cong A \oplus_{\text{Lie}} C$。

核心问题是：在何种条件下，由 $A$ 构成的所有扩张都发生平凡分裂？在何种条件下，关于 $C$ 的所有扩张都发生平凡分裂？

研究方法
作者结合了结构李代数理论、同调代数和算法计算。

• 结构分析： 本文利用 Levi 定理和 Ado 定理来分析扩张性质。文中区分了一般扩张和中心扩张（即核位于总代数的中心内）。
• 同调表征： 研究利用了李代数上同调，特别是第二上同调群 $H^2(C, K)$ 来表征分裂性质。作者将上同调群的消失与分裂同态的存在联系起来。
• 提升性质（Lifting Properties）： 作者将分裂条件重新表述为同态的提升性质，这与入射和射影模的定义相平行，但针对李代数理想和导数的特定约束进行了调整。
• 算法实现： 作者开发了基于结构常数的显式算法，用于验证完全性和共完全性。这些算法通过求解由中心、导数和 2-形式余界算子定义的线性系统来完成。
• 分类： 这些方法被应用于对实数域和复数域上维度不超过 4 的完全李代数和共完全李代数进行分类。

主要贡献与结果

1. 入射型性质与完全李代数（定理 1）：
   本文建立了 Jacobson 古典定理的逆命题。作者证明了李代数 $A$ 是完全的（中心平凡且仅有内导数）当且仅当任何由 $A$ 构成的关于任意李代数 $C$ 的扩张都发生平凡分裂。

   • 这将“完全性”识别为一种“入射型”性质。
   • 作者提供了四种等价的表征，包括一种同态提升性质。至关重要的是，他们证明了这种提升性质要求源映射的像必须是目标的一个直李代数和，这一条件严格弱于完全的范畴入射性（如示例 3.5 所示）。
   • 提供了一个算法（算法 1），通过检查中心是否平凡以及导数代数的维度是否等于李代数的维度来验证完全性。

2. 全局射影对象的不存在性（定理 2）：
   本文证明了不存在具有全局“射影型”性质的非平凡李代数。具体而言，对于每一个非平凡李代数 $C$，都存在一个由某个李代数 $A$ 构成的扩张，该扩张不发生平凡分裂。这揭示了李代数范畴中入射方面与射影方面之间的结构不对称性。

3. 共完全李代数与中心扩张（定理 3 & 4）：
   为了恢复射影类比，作者将研究范围限制在中心扩张内。

   • 作者将李代数 $C$ 定义为共完全的（cocomplete），如果 $C$ 的每个中心扩张都发生平凡分裂。
   • 定理 3 提供了共完全性的等价表征，包括对于从 $C$ 出发的同态的提升性质，其中目标映射的核是中心的。
   • 命题 4.6 建立了上同调判据：$C$ 是共完全的当且仅当 $H^2(C, K) = 0$。这意味着所有半单李代数都是共完全的。
   • 命题 4.8 分析了共完全性在直和下的稳定性，表明一个直和是共完全的，当且仅当所有分量都是共完全的且其中至少 $m-1$ 个是完美李代数。

4. 几乎阿贝尔情形（定理 4）：
   本文为几乎阿贝尔李代数（由一个导数 $D$ 对一个交换理想进行 1 维扩张的代数）提供了一个关于共完全性的充要谱条件。当且仅当 $D$ 是自同构且不存在一对特征值 $\lambda, \mu$ 满足 $\lambda + \mu = 0$ 时，该代数是共完全的。

5. 计算结果：
   利用开发的算法，作者对实数域和复数域上维度 $\le 4$ 的所有完全和共完全李代数进行了列表统计。作者指出，虽然半单代数既是完全的又是共完全的，但共完全代数的类别严格更大（例如，它包含了仿射李代数）。相反，没有任何非交换幂零李代数是共完全的。

意义
本文声称通过区分全局背景与受限（中心）背景，解决了李代数范畴中入射和射影类比的问题。

• 它阐明了完全性是关于一般扩张发生平凡分裂的精确结构条件，尽管它严格弱于范畴入射性。
• 它证明了全局“射影型”对象并不存在，因此有必要引入作为对偶概念的共完全性，并将其限制在中心扩张内。
• 该工作架起了结构李代数理论与同调代数之间的桥梁，提供了显式的上同调判据（$H^2(C, K)=0$）以及识别这些类别的实用算法。
• 对低维实例的分类提供了一个基础数据集，突出了半单性、幂零性和扩张分裂之间的相互作用。