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

技術要約：$\mathcal{O}$上のトレースゼロ行列におけるEngel写像の全射性

問題の定義
本論文は、特定のクラスの環上のリー代数におけるEngel写像の全射性を調査している。ここで、$\mathcal{O}$は極大イデアル $\mathfrak{m} = (\pi)$ を持ち、剰余体 $k$ の標数が $\neq 2$ であるような、完全な局所主イデアル整域（PIR）である。著者らは、トレースゼロ行列の集合 $\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]$ （$y$ による $m+1$ 回の括弧積）によって定義される $(m+1)$ 次Engel写像に関する、以下の2つの関連する問いを扱っている：

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）： $k$ 上のトレースゼロ行列へのEngel写像の制限が全射であるとき、$\mathcal{O}$ 上のトレースゼロ行列への対応する写像も全射であるか？

これらの問いは、行列環における交換子問題のより広い文脈から生じている。行列のすべてのトレースゼロ行列は単一の交換子として表せることが知られており（体またはPIDの場合）、標数が $\neq 2$ であるなどの条件下では、これらの交換子はトレースゼロを持つように選ぶことができるが、高次のEngelワードの挙動が、完全局所環への剰余体からの持ち上げにおいてどのようになるかは未確立であった。

手法
著者らは「持ち上げ戦略（lifting strategy）」と、Engel写像のファイバー（核）の詳細な分析を併用している。その手法は、以下の主要なステップを通じて進行する：

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\}$）を満たす場合、微分写像は全射であることを示している。これにより、剰余体から完全環への解の持ち上げに対する中山の補題の適用が可能となる。
3. $\mathfrak{sl}_2(k)$ におけるファイバーの分類： 著者らは、ターゲットとなる要素 $g \in \mathfrak{sl}_2(k)$ の性質に基づいて、剰余体 $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らによる先行研究（大きな体における全射性を証明したもの）と組み合わせることで、著者らは、標数が $\neq 2$ である十分に大きな剰余体 $k$ に対して、$\mathfrak{sl}^\circ_2(\mathcal{O})$ のあらゆる要素が、$\mathfrak{sl}^\circ_2(\mathcal{O})$ 内の2つのトレースゼロ行列の $(m+1)$ 次Engelワードとして表現できると結論付けている。

意義
本論文の意義は、非可換多項式写像の理解を、体から完全局所主イデアル整域へと拡張した点にある。これは、Engel写像のトレースゼロ行列上での全射性が、標数が2でない限り、剰余体からの持ち上げプロセスを通じて保持される性質であることを示している。

著者らは、彼らの研究が交換子およびEngel写像の文脈における持ち上げ問題によって動機付けられていることを明示している。彼らは新しい応用や実験的な提案を提示するのではなく、局所環上のリー代数の構造とそれらの剰余体の間の関係を結ぶ厳密な代数的枠組みを提供している。これらの結果は、既知の交換子定理（LissnerやStasinskiによるものなど）を、高次のEngelワードおよびトレースゼロ制約の文脈へと一般化するものである。