Deformations of ideals in Lie algebras

技术摘要：李代数中理想的变形

问题陈述
虽然李代数、李子代数以及李代数态射的变形理论已经非常成熟（利用微分分次李代数 (dgLa) 和 $L_\infty$-代数），但关于李“理想”的具体变形理论在文献中仍很大程度上处于未被探索的状态。理想是李代数表示论和分类的核心；理解它们在扰动下的行为对于分析代数的内部结构和外部表示至关重要。本文旨在解决在定义控制李理想 $i \triangleleft g$ 变形问题的代数结构方面存在的空白，并研究这些理想的刚性与稳定性。

方法论
作者采用了变形理论的框架，即由微分分次李代数 (dgLa) 或更广义的 $L_\infty$-代数来控制变形问题。其核心方法包括：

1. 上同调设置： 本文定义了一个特定的变形上同调复形 $C^\bullet(g; i^* \otimes g/i)$，并配备了一个微分 $\delta^{\text{Hom}}_{g \triangleright i}$。该复形源自以表示 $\text{Hom}(i, g/i)$ 为系数的切利-艾伦伯格 (Chevalley-Eilenberg) 复形，其中作用是由 $g$ 在 $i$ 和 $g/i$ 上的伴随表示诱导的。
2. Voronov 数据集： 为了赋予变形复以李代数结构，作者利用了 Voronov 的构造。通过选择理想的一个向量空间补 (splitting) $\sigma: g/i \to g$，他们构造了一个 Voronov 数据集 $(L, a, P, \Theta)$。这里，$L$ 是 $g$ 上余链的分次李代数，$a$ 是取值于 $i^* \otimes g/i$ 的 $g$ 上余代数，$P$ 是一个投影，$\Theta$ 是代表李括号和伴随作用的 Maurer-Cartan 元。
3. Maurer-Cartan 对应关系： 本文确立了理想的“小”变形（即保持为理想的靠近 $i$ 的子空间 $i' \subset g$）与由此产生的变形复系上的 Maurer-Cartan 元之间的一一对应关系。
4. 同时变形： 作者扩展了这一框架，以控制环境李括号 $\mu_g$ 与理想 $i$ 的同时变形，并确定了一个控制这一联合过程的三次 $L_\infty[1]$-代数。
5. 几何分析： 利用 Kuranishi 映射以及 Grassmann 流形上向量丛的等变截面理论，对理想模空间的局部几何进行了分析。这使得能够根据特定上同调群的消失情况导出刚性和稳定性的判据。

主要贡献与结果

• 变形控制： 本文明确构造了一个控制李理想 $i \triangleleft g$ 小变形的 dgLa（具体为 dgL[1]a）。一元括号 $m_1$ 对应于微分 $\delta^{\text{Hom}}_{g \triangleright i}$，而二元括号 $m_2$（依赖于补的选择）则编码了将无穷小变形进行延展的障碍。
• 与补的选择无关性： 虽然二元括号 $m_1$ 的构造需要选择一个补，但作者证明了对于不同的补的选择，所得的 $L_\infty[1]$-代数是同构的。因此，变形理论在同构意义下是独立于补的选择的。
• 与其他上同调的关系： 本文将理想（作为理想）的变形上同调与以下内容进行了比较：
  • 理想作为单纯李子代数的变形上同调（Bott 上同调）。
  • 商李代数 $g/i$ 的变形上同调。
  • 投影态射 $g \to g/i$ 的变形上同调。
  • 保留理想性质的 Nijenhuis 和 Richardson 复形。
    作者证明了理想的变形上同调是独特的，并且通常比子代数情形更具限制性。
• 刚性与稳定性判据：
  • 刚性： 若映射 $H^1(g; g/i) \to H^0(i \triangleleft g)$ 是满射，则理想 $i$ 在 $\text{Aut}(g)$ 的作用下是（拓扑）刚性的。$H^2(g/i; g/i)$ 消失（例如当 $g/i$ 是半单时）是一个充分条件。
  • 稳定性： 若 $H^1(i \triangleleft g) = 0$，则理想 $i$ 是（拓扑）稳定的（即在李括号的微小扰动下依然存在）。
• 障碍： 定义了 Kuranishi 映射 $K: H^0(i \triangleleft g) \to H^1(i \triangleleft g)$。如果该映射非零，则变形问题是有障碍的。作者提供了一个例子（海森堡代数的中心），其中一个理想作为理想是有障碍的，但作为子代数是无障碍的，这突显了所开发特定理论的必要性。

意义
本文声称填补了文献中的一个重要空白，提供了第一个专门针对李理想的系统变形理论。它确立了理想的变形不仅仅是子代数变形的一个特例，而是需要一个独特的上同调框架。通过识别控制它的 $L_\infty$-代数并推导出具体的刚性和稳定性判据，这项工作为李代数的分类和其模空间的研究提供了新的工具。研究结果表明，理想的行为在变形下可以从根本上改变代数的内部结构，而以往专注于子代数的理论无法完全捕捉到这一现象。作者指出，他们在刚性和稳定性方面的发现与现有的关于李子代数和态射的结果是一致的，在某些情况下进行了推广，同时也为理想性质所施加的特定约束提供了必要的修正。