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

技術要約：$SL_2(\mathcal{O})$ および $PSL_2(\mathcal{O}_2)$ におけるエングルの語の全射性

問題設定
本論文は、局所主イデアル環上の特殊線形群におけるエングルの語（Engel word）写像の全射性を調査するものである。具体的には、すべての要素が $m$ 次のエングルの語 $e_m(x,y) = [\dots[[x,y],y],\dots,y]$ として表現できるかどうかを扱う。本研究は、主に以下の2つの設定に焦点を当てている：

1. $\mathcal{O}$ を、剰余体 $k \cong \mathbb{F}_q$（標数 $\neq 2$）を持つ完備局所主イデアル環とする場合の $SL_2(\mathcal{O})$。
2. $\mathcal{O}_2$ を、長さ2（すなわち $\mathcal{O}/\pi^2\mathcal{O}$）の局所主イデアル環とする場合の $PSL_2(\mathcal{O}_2)$。

この研究は、既知の体（具体的には $\mathbb{F}_q$）からの結果をこれらの環構造へと拡張し、「持ち上げ問題（lifting problem）」に対処している。すなわち、もし $\bar{A} \in SL_2(k)$ がエングルの写像の像に含まれるならば、そのすべての持ち上げ $A \in SL_2(\mathcal{O})$ もまた像に含まれるか、という問題である。

手法
著者らは、群論、リー代数の手法、および多項式の持ち上げ戦略を組み合わせた多角的なアプローチを採用している：

• ヘンゼルの補題による解の持ち上げ： 剰余体 $k$ から環 $\mathcal{O}_2$、さらには $\mathcal{O}$ へと、多変数多項式方程式の解を持ち上げるための核となる手法である。著者らは、トレース多項式（エングルの語から導出される）の単純根を持ち上げることができる条件を確立している。これは、正則半単純な要素に対して持ち上げが存在することを保証するためのヤコビ行列による判定に基づいている。
• トレース多項式とヤコビ行列解析： エングルの語に対応する明示的なトレース多項式 $\Psi_m(s,u,v)$（ここで $s, u, v$ は $X, XY, Y$のトレースである）を導出する。著者らは、エングルの語の微分写像がリー代数レベル（$\mathfrak{sl}_2(k)$）においていつ全射になるかを決定するために、これらの多項式のヤコビ行列を解析している。
• 共随伴作用と固定ベクトル： 非スカラー要素の持ち上げを扱うために、著者らは $\mathfrak{sl}_2^*(k)$ 上の $SL_2(k)$ の共随伴作用を利用している。ある要素の逆像によって生成される部分群が、この作用の下で非自明な固定ベクトルを持たない場合、持ち上げが可能であることを証明している。これは、交換子に関する Avni, Gelander, Kassabov, Shalev による手法を一般化したものである。
• マグヌス埋め込み： 単 nilpotent（べき零）要素については、ローラン多項式上の上三角行列の群へのマグヌス埋め込みの一般化を利用して、特定の単 nilpotent 行列がエングルの語の像であることを示す。
• 共役類解析： $SL_2(\mathcal{O}_2)$ における $GL$-共役類を、正則半単純、スカラー、および非正則半単純（単 nilpotent）要素として詳細に分類し、これらを個別に扱う。

主要な貢献と結果

1. 非スカラー要素の持ち上げ (定理 10.1):
   著者らは、剰余体 $\mathbb{F}_q$（標数 $\neq 2$）を持つ完備局所主イデアル環 $\mathcal{O}$ に対して、定数 $q_0(m) = 2 \cdot 3^{2m+2}$ が存在し、$q \geq q_0(m)$ であるすべての $q$ について、エングルの $(m+1)$ 次の写像の像に含まれる非スカラー要素 $A \in SL_2(k)$ のすべての持ち上げは、$SL_2(\mathcal{O})$ 上のエングルの $(m+1)$ 次の写像の像にも含まれることを証明している。この結果は、正則半単純要素および特定の単 nilpotent 要素をカバーしている。

2. $PSL_2(\mathcal{O}_2)$ 上の全射性 (定理 10.4):
   本論文は、剰余体 $\mathbb{F}_q$ ($q \geq q_0(m)$) を持つ長さ2の局所主イデアル環 $\mathcal{O}_2$ において、$(m+1)$ 次のエングルの語の写像が $PSL_2(\mathcal{O}_2)$ 上で全射であることを確立している。これは、体に関する Bandman らによる既知の結果を一般化したものである。

3. スカラーの持ち上げの扱い:

   • 単位行列の持ち上げ： $SL_2(\mathcal{O}_2)$ における単位行列 $I$ の任意の持ち上げは、交換子（したがってエングルの語の像）であることを、$|k| \geq 5$ の場合に証明している。
   • 負の単位行列の持ち上げ： $-I$ の持ち上げは、$-1$ が剰余体において2つの平方和として表される場合に交換子となることを示している（これは奇標数の有限体では常に成立する）。
   • 単 nilpotent 持ち上げ： マグヌス埋め込みの手法を用いて、単 nilpotent 要素（例：$\begin{pmatrix} 1 & \pi \\ 0 & 1 \end{pmatrix}$）の持ち上げが、十分大きな $q$ に対してエングルの写像の像であることを示している。

4. トレース写像に関する技術的補題：
   論文は、エングルの語のトレースに関する再帰公式を提供し、生成要素のリー代数における中心化群に関する特定の条件の下で、エングルの語の微分写像が全射であることを証明している。

意義と主張
本論文は、エングルの語の全射性を体から局所環へと一般化することを主張しており、特に局所主イデアル環上の線形群における「持ち上げ問題」に対処している。著者らは、自らの研究を、$SL_n(\mathbb{Z}_p)$ や同様の構造における交換子およびエングルの語の全射性に関する Shalev の予想を解決するための一歩として位置付けている。

その意義は以下の点にある：

• 「ワーリング型（Waring-like）」の問題（群の要素を語の写像の積として表現すること）を、局所環の文脈へと拡張したこと。
• トレース多項式と共随伴作用を用いて、剰余体から環レベルへと解を持ち上げるための構成的な手法を提供したこと。
• 以前は高次のエングルに関して未解決であった $PSL_2(\mathcal{O}_2)$ における全射性を解決したこと。

著者らは、結果が剰余体のサイズ $q$ が十分に大きいこと（$q \geq 2 \cdot 3^{2m+2}$）および標数が 2 でないことに依存していることを明示している。また、長さ2の制限なしでの $SL_2(\mathcal{O})$ における射影的なケースでの全射性は主張しておらず、一般的な体や環の文脈では問題が未解決であることを注記している。