Lifts of endomorphisms of Weyl algebras modulo $p^2$

技術要約：ウェイル代数の $p^2$ を法とする自己準同型の持ち上げ

問題提起
$k$ を標数 $p > 0$ の完全体とし、$A_n(k)$ を $k$ 上の第 $n$ ウェイル代数とする。正標数において、$A_n(k)$ は中心 $Z \cong k[x_1, \dots, x_{2n}]$（ここで $x_i = z_i^p$）を持つアズマヤ代数である。中心 $Z$ は、$\{x_i, x_j\} = -\omega_{i,j}$ となる自然なポアソン代数構造を担っている。

本稿が扱う中心的な問題は、$k$-代数自己準同型 $\phi: A_n(k) \to A_n(k)$ が、ウェイル代数 $A_n(W_2(k))$ の自己準同型 $\Phi: A_n(W_2(k)) \to A_n(W_2(k))$ へ「持ち上げられる（lift）」ための条件を決定することである（ここで $W_2(k)$ は $k$ 上の長さ 2 のウィットることの環であり、標数 $p^2$ の環である）。これに関連する二次的な問いは、誘導された中心上の自己準同型 $\phi_Z$ の性質、すなわち $\phi_Z$ がポアソン・射（Poisson morphism）であるかどうかについてである。

津本茂雄による先行研究では、$\phi$ の次数が $p/2$ 未満であれば、$\phi_Z$ はポアソン・射であることが示されている。ベロフ＝カンテヴィッチとコンツェビッチは、もし $p^2$ への持ち上げが存在するならば、$\phi_Z$ はポアソン・射でなければならないことを指摘した。しかし、持ち上げの存在とポアソン特性の間の正確な同値性、およびこれらの特性に対する最適な次数の境界については、依然として完全な解明がなされていなかった。

手法
著者らは、非可換代数、コホモロジー的障害理論、および標数 $p$ における微分方程式を組み合わせた手法を用いている。

1. 持ち上げの条件: 著者らは $A_n(W_2(k))$ における交換子関係を分析する。$\phi(z_i) = u_i$ とすると、持ち上げには、摂動された要素 $u_i + p v_i$ がウェイル関係式を $\text{mod } p^2$ で満たすような要素 $v_i \in A_n(k)$ を見つけることが必要となる。これは、交換子 $[u_i, v_j] - [u_j, v_i]$ と、$[u_i, u_j]$ の展開から導かれる障害項 $u_{ij}$ を含む方程式系へと帰着する。
2. コホモロジー的解釈: 持ち上げに対する障害は、$A_n(k)$ をアーベルリー代数上の加群と見なしたときのシュヴァレー・アイレンベルク複体を通じて解釈される。$A_n(k)$ の多項式環 $S = k[y_1, \dots, y_{2n}]$ 上の特定の平坦化を用いることで、著者らはこの問題を $S$ のド・ラム・コホモロジーへの写像へと変換する。障害は、第 2 ド・ラム・コホモロジー群 $H^2_{dR}(S/k)$ のクラスに対応することが示される。
3. 津本の枠組みと洗練: 本稿は、$A_n(k)$ を拡大体 $S$ 上の行列代数として扱う津本の枠組みを利用する。特定の加群 $M$ の $A_n(k)$-線形自己準同型を研究することにより、著者らは、持ち上げられた作用素と標準的な作用素を比較する際に生じる「誤差項」($\gamma_i$) を支配する微分方程式を導出する。
4. 次数解析: 著者らは、これらの微分方程式の解に対して詳細な次数解析を行う。標数 $p$ において、作用素 $\partial^{p-1}/\partial y^{p-1}$ が特定の単項式への射影として機能するという事実を利用することで、障害項の次数を抑え込む。

主要な貢献および結果

• 持ち上げとポアソン・射の同値性: 主要な結果（定理 2.7）は、必要十分条件を確立している。すなわち、$A_n(k)$ の $k$-代数自己準同型 $\phi$ が $A_n(W_2(k))$ への自己準同型に持ち上げられるための必要十分条件は、誘導された中心上の自己準同型 $\phi_Z$ がポアソン・射であることである。これは、$\phi_Z$ のヤコビ行列を中心の障害要素の行列 $C$ に関連付け、$C=0$（持ち上げの条件）がポアソン条件 $J_\phi \omega^{-1} J_\phi^T = \omega^{-1}$ と同値であることを示すことで証明される。
• 改善された次数境界: 本稿は津本の定理 3.10 を洗練させている。すべての $l=1, \dots, n$ に対して $\deg(\phi(z_l)) + \deg(\phi(z_{n+l})) < 2p$ であれば、$\phi_Z$ はポアソン・射であることを証明している。したがって、そのような $\phi$ は $W_2(k)$ への持ち上げを持つ。これは、従来の $\deg(\phi) < p/2$ という境界を、実質的に $\deg(\phi) < p$ を許容する条件へと改善するものである。
• 単射性と平坦性: $\deg(\phi) < p$ という条件下において、著者らは $\phi$ が単射であることを結論付けている。これにより、この次数範囲における単射性の問題が解決され、$n=1$ および標数 0 の場合の結果が拡張された。さらに、$\phi$ が双有理（birational）であり、かつ $\deg(\phi) < p$ であるならば、それは自己同型（automorphism）であることが示される。
• 持ち上げの微分的判定基準: 本稿は、$\phi_Z$ がポアソン・射であるための明示的な判定基準（命題 3.15）を提供している。これには、$\frac{\partial^{p-1}}{\partial x_i^{p-1}} (\dots) = f^p + \frac{\partial^{p-1}f}{\partial x_i^{p-1}}$ という形式の特定の微分方程式を解くことが含まれる。持ち上げが存在するための必要十分条件は、これらの方程式の解 $f_i$ が対称条件 $\frac{\partial f_i}{\partial x_j} = \frac{\partial f_j}{\partial x_i}$ を満たすことである。

意義
本稿は、自己準同型を標数 $p^2$ へ持ち上げるという代数的な問題と、中心上のポアソン構造を保存するという幾何学的な性質を統一することに意義があると主張している。この「同値（if and only if）」の関係を確立することで、著者らは持ち上げ可能な自己準同型の構造的な特徴付けを行っている。

津本の研究における次数境界を $p/2$ から $p$（具体的には $\deg(\phi) < p$）へと改善したことは、重要な洗練として強調されている。この境界は、例 3.11 を通じて、ある意味で最適であることが示されている。これらの結果により、標数 0 のウェイル代数において既知の性質（単射性や、双有理な自己準同型は自己同型であることなど）を、標数 $p$ の設定においても、自己準同型の次数が標数に対して十分に小さい場合に限り、移し替えることが可能となる。本研究は、標数 0 と正標数のウェイル代数の理論の間の溝を埋め、後者の文脈における自己準同型を分析するための新たなツールを提供している。