Classification of Finite-Dimensional Simple Novikov Algebras and Their Irreducible Bimodules in Positive Characteristic

技術要約：正標数における有限次元単純ノコフ代数の分類およびその既約双モジュール

問題提起
本論文は、代数閉体 $k$ の標数 $p > 2$ における有限次元単純ノコフ代数の分類を扱っている。ゼルマノフ（Zelmanov）は、標数ゼロの場合、そのような代数が一次元であることを確立したが、正標数における状況はより複雑である。オスボーン（Osborn）[14] および Xu [23] による先行研究による分類は、非ゼロの冪等元を含む代数を対象としていた。著者らは、これらの先行分類が $n \ge 2$ の場合の次元 $p^n$ の代数に対して不完全であることを指摘している。具体的には、注釈 4.9 において、オスボーンや Xu が記述した族の外側に位置する $p^2$ 次元の単純ノコフ代数が特定されており、非ゼロの冪等元という仮定に依存しない完全な分類が必要とされている。

手法
著者らは、すべての有限次元単純ノコフ代数は、$\partial$-単純な切断多項式代数 $A$ を用いたねじれたゲランド・ドルフマン構成 $A(\partial, a)$ に同型であるという、ジェリャービン（Zhelyabin）とザハロフ（Zakharov）[27] による構造定理に基づいている。

手法は以下の3つの段階で進行する：

1. 導関数の正規化： 座標変換と単元による乗法を用いることで、一般的な導関数 $\partial$ を標準形へと簡約する。導関数のジョルダン分解を分析し、分割べき代数 $O(1; n)$ の性質を利用することで、任意の $\partial$-単純代数が $O(1; n)(\delta, b)$（ここで $\delta$ は標準的な低減導関数、$b \in O(1; n)$）へと変換可能であることを証明する。
2. 標準形の分類： 著者らは「許容自己同型（admissible automorphisms）」（分割べき構造を保存する自己同型）を用いて、パラメータ $b$ を一意な標準形 $b_{\alpha, \beta}$ へと簡約する。これには、特定の次数（$p^j - 2$ および $p^n - 1$）に対応しない $b$ の係数の除去、およびスケーリングの下でのこれらのパラメータの同値類の決定が含まれる。
3. 双モジュールの分類： 分類された代数に対し、非自明な既約双モジュールを分析する。右乗法演算子の間の多項式関係を利用して、基礎となる結合代数 $O(1; n)$ の双モジュールへの作用を復元する。これらの双モジュールが有限次元であり、左作用の単位元の固有ベクトルによって生成されることを証明することで、すべての既約双モジュールの明示的なモデルを構築する。

主要な貢献および結果

• 代数の完全な分類 (定理 A):
  本論文は、すべての有限次元単純ノコフ代数が、切断分割べき代数 $O(1; n)$ 上で定義された次のような積を持つ代数 $N(\alpha, \beta)$ に同型であることを確立している：
  $$x \circ y = x(\delta(y) + b_{\alpha, \beta}y)$$
  ここで $b_{\alpha, \beta} = \sum_{j=1}^n \alpha_j x^{(p^j-2)} + \beta x^{(p^n-1)}$ である。
  同型判定基準は明示的である：次元 $p^n$ のこのような代数 $N(\alpha, \beta)$ と $N(\alpha', \beta')$ が同型であるための必要十分条件は、スカラー $c \in k^\times$ が存在して、$\alpha'_j = c^{p^j-1}\alpha_j$ ($1 \le j \le n$) かつ $\beta' = c^{p^n}\beta$ となることである。
  この結果は、次元 $p^n$ ($n \ge 2$) においてパラメータ $\alpha$ が $j < n$ で非ゼロの成分を持つ場合を含めることで、先行研究 [14] および [23] に欠落していた族を補完し、それらの不完全性を修正するものである。

• 既約双モジュールの分類 (定理 B):
  各代数 $N(\alpha, \beta)$ に対し、すべての非自明な既約双モジュールを分類する。すべてのそのような双モジュールは、スカラー $\lambda \in k$ によってパラメータ化された次元 $p^n$ のモジュール $M(\alpha, \beta, \lambda)$ に同型であることが示される。作用は $O(1; n)$ の基底を用いて明示的に与えられる。二つのモジュール $M(\alpha, \beta, \lambda)$ と $M(\alpha, \beta, \lambda')$ が同型であるための必要十分条件は $\lambda = \lambda'$ である。

• 自己同型群およびノコフ・ポアソン代数:
  著者らは分類された代数の自己同型群を決定し（系 4.5）、それらが、パラメータに応じて、自明な群、乗法群 $k^\times$、または巡回部分群のいずれかであることを示している。さらに、ノコフ部分が単純であるような有限次元ノコフ・ポアソン代数への分類へと拡張し（系 4.11）、そのような構造の完全なリストを提供している。

• 先行研究の簡約に対する反例:
  注釈 4.9 において、著者らはオスボーンや Xu が提案した族のいずれにも同型ではない、明示的な $p^2$ 次元の単純ノコフ代数の例を提示している。彼らは、それらの先行研究における簡約の議論が、特定の $\partial$-単純構造を考慮できていないことを実証し、それによって新しい分類の必要性を正当化している。

意義
本論文は、正標数における有限次元単純ノコフ代数の最初の完全な分類を提供したと主張しており、先行研究で必要とされていた非ゼロの冪等元という制限的な仮定を取り除いている。明示的な標準形と同型判定基準を決定することで、本研究は $n \ge 2$ の場合の次元 $p^n$ に関する既存文献の空白を埋めている。さらに、既約双モジュールの分類は、これらの代数の構造的理解を完成させるものであり、その表現論にとって不可欠である。これらの結果は、ノコフ・ポアソン代数のような関連する構造の分類を容易にし、これらの代数における導関数の簡約に関する理論的基礎を修正するものである。