Surjectivity of Engel Maps over trace zero matrices in $\mathrm{M}_2(\mathcal{O})$

技术摘要：关于 $M_2(\mathcal{O})$ 中迹为零矩阵的 Engel 映射的满射性

问题陈述
本文研究了在特定类环上的 $\mathfrak{sl}_2$ 李代数上 Engel 映射的满射性问题。设 $\mathcal{O}$ 是一个局部主理想环 (PIR)，且关于其极大理想 $\mathfrak{m} = (\pi)$ 是完备的，其剩余域 $k$ 的特征不为 2。作者关注的是迹为零矩阵的集合 $\mathfrak{sl}^\circ_2(\mathcal{O}) = \{ A \in M_2(\mathcal{O}) \mid \text{tr}(A) = 0 \}$。

核心问题针对由多项式 $e_{m+1}(x,y) = [\dots[[x,y],y],\dots,y]$（共 $m+1$ 次）定义的 $(m+1)$ 阶 Engel 映射，提出了两个相关的疑问：

1. 提升问题（Lifting Question）： 如果剩余域 $k$ 上的 $(m+1)$ 阶 Engel 映射的像（记作 $\bar{e}_{m+1}$）覆盖了整个空间 $\mathfrak{sl}_2(k)$，那么对应的环 $\mathcal{O}$ 上的映射（$e^{\mathcal{O}}_{m+1}$）是否也覆盖整个空间 $\mathfrak{sl}^\circ_2(\mathcal{O})$？
2. 受限满射性（Restricted Surjectivity）： 如果 Engel 映射在 $k$ 上的迹为零矩阵上是满射，那么对应的映射在 $\mathcal{O}$ 上的迹为零矩阵上是否也是满射？

这些问题源于矩阵环中交换子问题的更广泛背景。虽然已知在域（或 PID）上，每个迹为零的矩阵都是单个交换子，并且在某些条件下（如 $\text{char } k \neq 2$），这些交换子可以被选为迹为零，但在从剩余域向完备局部环提升的过程中，高阶 Engel 字的行为仍有待确立。

方法论
作者采用了一种“提升策略”并结合对 Engel 映射纤维（fibers）的详细分析。该方法通过以下关键步骤进行：

1. 通过导数映射进行归纳提升： 本文利用了 $M_n(\mathcal{O})$ 与 $M_n(\mathcal{O}_j)$ 的逆极限（其中 $\mathcal{O}_j = \mathcal{O}/\pi^j\mathcal{O}$）之间的规范同构。为了将解从第 $j$ 层提升到 $j+1$ 层，作者分析了与 Engel 多项式相关的导数映射 $D e^{\mathcal{O}_{j+1}}_{m+1}$。他们推导出了该导数映射作用于李代数 $\mathfrak{sl}_2(\mathcal{O}_{j+1})$ 时的显式递归公式。
2. 导数映射的满射性： 一个关键的技术组成部分是证明在特定条件下（即基于剩余域中的“基”元素）导数映射是满射的。具体而言，他们证明了如果输入矩阵的中心化子满足特定的交集性质（例如 $Z(\bar{g}_2) \cap Z(\bar{g}_2)^\perp = \{0\}$），则导数映射是满射。这使得应用 Nakayama 引理将解从剩余域提升到完备环成为可能。
3. $\mathfrak{sl}_2(k)$ 中纤维的分类： 作者根据目标元素 $g \in \mathfrak{sl}_2(k)$ 的性质，对 Engel 映射在剩余域上的纤维进行了分类：
   • 循环非半单元素： 他们证明了对于循环幂零元素，其纤维包含一对元素，其中一个为幂零元，另一个为正则半单元。
   • 正则半单元素： 他们确定了如果一个正则半单元素在 Engel 映射的像中，则映射的第二个参数也必须是正则半单的。
   • 零元素： 他们处理了零矩阵的提升（非平凡提升）问题，通过将零矩阵分解为标量部分和迹为零部分，证明了如果剩余域映射是满射，则零的非零提升也在像中。

主要贡献与结果
本文对动机问题给出了肯定的回答，建立了剩余域与完备局部环之间 Engel 映射的直接对应关系。

• 定理 4.4： $\mathcal{O}$ 上的 $(m+1)$ 阶 Engel 映射的像恰好是 $\mathfrak{sl}^\circ_2(\mathcal{O})$，当且仅当其对应的在剩余域 $k$ 上的映射的像是 $\mathfrak{sl}_2(k)$。该结论对任何 $m \ge 1$ 均成立。
• 定理 4.6： 限制在 $\mathfrak{sl}^\circ_2(\mathcal{O}) \times \mathfrak{sl}^\circ_2(\mathcal{O})$ 上的 $(m+1)$ 阶 Engel 映射是满射，当且仅当其对应的在 $\mathfrak{sl}_2(k) \times \mathfrak{sl}_2(k)$ 上的映射是满射。
• 推论 4.7： 通过结合之前的工作（Bandman 等人证明了在大规模域上的满射性），作者得出结论：对于特征不为 2 的足够大的剩余域 $k$，$\mathfrak{sl}^\circ_2(\mathcal{O})$ 中的每个元素都可以表示为两个属于 $\mathfrak{sl}^\circ_2(\mathcal{O})$ 的迹为零矩阵的 $(m+1)$ 阶 Engel 字。

意义
本文的意义在于将非交换多项式映射的研究从域扩展到了完备局部主理想环。它表明，在特征不为 2 的情况下，迹为零矩阵上的 Engel 映射的满射性是可以通过从剩余域向完备环的提升过程得以保持的。

作者明确指出，其工作受到交换子和 Engel 映射背景下提升问题的启发。他们并非提出新的应用或实验方案，而是提供了一个严密的代数框架，将局部环上的李代数结构与其剩余域联系起来。其结果将已知的交换子定理（如 Lissner 和 Stasinski 的工作）推广到了高阶 Engel 字及迹为零约束的语境之下。