Surjectivity of Engel Words on $\mathrm{SL}_2(\mathcal{O})$ and $\mathrm{PSL}_2(\mathcal{O}_2)$

技术摘要：Engel 词在 $SL_2(\mathcal{O})$ 和 $PSL_2(\mathcal{O}_2)$ 上的满射性

问题陈述
本文研究了局部主理想环上特殊线性群的 Engel 词映射的满射性问题。具体而言，它探讨了是否 $SL_2(\mathcal{O})$ 和 $PSL_2(\mathcal{O}_2)$ 中的每个元素都可以表示为一个 $m$ 次 Engel 词 $e_m(x,y) = [\dots[[x,y],y],\dots,y]$。本研究聚焦于两种主要的设定：

1. $SL_2(\mathcal{O})$，其中 $\mathcal{O}$ 是一个剩余域 $k \cong \mathbb{F}_q$（特征 $\neq 2$）的完备局部主理想环。
2. $PSL_2(\mathcal{O}_2)$，其中 $\mathcal{O}_2$ 是一个长度为 2 的局部主理想环（即 $\mathcal{O}/\pi^2\mathcal{O}$）。

这项工作将已知的关于域（特别是 $\mathbb{F}_q$）的结果扩展到了这些环结构，解决了一个提升问题：如果一个元素 $\bar{A} \in SL_2(k)$ 在 Engel 映射的像中，那么 $A \in SL_2(\mathcal{O})$ 的每一个提升是否也在像中？

方法论
作者采用了一种结合了群论、李代数技术和多项式提升策略的多方面方法：

• 通过 Hensel 引理提升解： 核心技术包括将多变量多项式方程的解从剩余域 $k$ 提升到环 $\mathcal{O}_2$ 进而提升到 $\mathcal{O}$。作者建立了能够将迹多项式（由 Engel 词导出）的单根提升的条件。这依赖于雅可比判据，以确保正则半单元素的存在性提升。
• 迹多项式与雅可比分析： 作者推导出了对应于 Engel 词的显式迹多项式 $\Psi_m(s,u,v)$，其中 $s, u, v$ 分别是 $X, XY, Y$ 的迹。作者通过分析这些多项式的雅可比行列式，来确定 Engel 词的导数映射在李代数层面上（$\mathfrak{sl}_2(k)$）何时是满射。
• 共伴作用与不动向量： 为了处理非标量元素的提升，作者利用了 $SL_2(k)$ 在对偶李代数 $\mathfrak{sl}_2^*(k)$ 上的共伴作用。他们证明，如果生成该元素的原像所构成的子群在共伴作用下没有非平凡的不动向量，则提升是可能的。这推广了 Avni, Gelander, Kassabov, 和 Shalev 关于交换子的研究方法。
• Magnus 嵌入： 对于单宁（unipotent）元素，作者利用了向 Laurent 多项式上上三角矩阵群的广义 Magnus 嵌入，以证明特定的单宁矩阵是 Engel 词的像。
• 共轭类分析： 本文提供了对 $SL_2(\mathcal{O}_2)$ 中 $GL$-共轭类的详细分类，区分了正则半单、标量以及非正则半单（单宁）元素，以便分别进行处理。

主要贡献与结果

1. 非标量元素的提升（定理 10.1）：
   作者证明，对于特征 $\neq 2$ 的完备局部主理想环 $\mathcal{O}$ 及其剩余域 $\mathbb{F}_q$，存在一个常数 $q_0(m) = 2 \cdot 3^{2m+2}$，使得对于所有 $q \geq q_0(m)$，若 $A \in SL_2(k)$ 是一个在 $(m+1)$ 次 Engel 映射下的非标量元素且在像中，则其在 $SL_2(\mathcal{O})$ 中的每一个提升也在 $(m+1)$ 次 Engel 映射的像中。该结果涵盖了正则半单元素和特定的单宁元素。

2. 在 $PSL_2(\mathcal{O}_2)$ 上的满射性（定理 10.4）：
   本文确立了对于剩余域为 $\mathbb{F}_q$（$q \geq q_0(m)$）的长度为 2 的局部主理想环 $\mathcal{O}_2$，$(m+1)$ 次 Engel 词映射在 $PSL_2(\mathcal{O}_2)$ 上是满射的。这推广了 Bandman 等人关于域的研究结果。

3. 处理标量提升：

   • 单位矩阵提升： 作者证明，只要 $|k| \geq 5$，在 $SL_2(\mathcal{O}_2)$ 中单位矩阵 $I$ 的任何提升都是一个交换子（因此也是 Engel 词的像）。
   • 负单位矩阵提升： 他们表明，若 $-1$是剩余域中两个平方数之和（这在奇特征有限域中总是成立），则$-I$ 的提升是交换子。
   • 单宁提升： 利用 Magnus 嵌入技术，他们证明了单宁元素（例如 $\begin{pmatrix} 1 & \pi \\ 0 & 1 \end{pmatrix}$）的提升在充分大的 $q$ 时属于 Engel 映射的像。

4. 关于迹映射的技术引理：
   论文提供了 Engel 词迹的递推公式，并证明了在关于生成元素的中心化子满足特定条件的条件下，Engel 词的导数映射是满射。

意义与主张
本文声称将 Engel 词满射性的现有结果从域推广到了局部环，特别解决了局部主理想环上线性群的“提升问题”。作者将他们的工作定位为解决 Shalev 关于 $SL_n(\mathbb{Z}_p)$ 及类似结构中交换子和 Engel 词满射性猜想的一步。

其重要性在于：

• 将“Waring 型”问题（将群元素表示为词映射像的乘积）扩展到了局部环的语境中。
• 提供了一种结合迹多项式和共伴作用，将解从剩余域提升到环层面的构造性方法。
• 解决了 $PSL_2(\mathcal{O}_2)$ 的满射性问题，这在之前对于高阶 Engel 词而言是一个开放问题。

作者明确指出，其结果依赖于剩余域的大小 $q$ 足够大（$q \geq 2 \cdot 3^{2m+2}$）且特征不为 2。他们并未声称对于所有的 $q$ 或在没有长度-2 限制的情况下对于 $SL_2(\mathcal{O})$ 的射影情况具有满射性，并指出该问题在其他一般域和环的语境下仍然是开放的。