Cohomology and extensions of Novikov algebras of truncated polynomials

技術要約：切断多項式ノヴィコフ代数のコホモロジーと拡大

問題設定
本論文は、正標数における特定のクラスのノヴィコフ代数に関する第2コホモロジー群 $H^2(V, M(\lambda))$ および関連するアーベル拡大を調査している。$k$ を標数 $p > 0$ の体とする。対象となる代数は、切断多項式ノヴィコフ代数 $V = k[x]/(x^p)$ であり、積は $a \circ b = ab'$ （ここで $b'$ は形式微分を表す）によって定義される。係数は、Xuによって導入された $V$ 上の1パラメータの $p$ 次元加群 $M(\lambda)$ から取られる。主な目的は、すべての $\lambda \in k$ およびすべての素数 $p$ に対して $H^2(V, M(\lambda))$ の正確な次元を計算し、対応する拡大と変形を明示的に記述することである。

手法と枠組み
計算は、切断境界に関連する技術的な困難を回避するために、代数およびその加群の特定の提示（presentation）を利用している。

1. 次数付き提示: 切断された基底 $x^i$ ($0 \le i \le p-1$) を直接扱う代わりに、著者らは同型写像 $V \cong k[t]/(t^p - 1)$ （積は $a \circ b = ab'$）を利用している。この提示において、指数は $\mathbb{Z}/p$ 次数として（modulo $p$ で）取られ、切断は発生しない。この枠組みにより、$M(\lambda)$ があらゆる $\lambda$ に対して真正な双モジュール（bimodule）となることが保証される。これは、標準的な切断の慣習の下では、ほとんどの $\lambda$ に対して成立しない条件である。
2. オペラディック・コホモロジー: 使用される余鎖複体（cochain complex）は、ノヴィコフ・オペラド（二次オペラド）上の代数としての $V$ のコホモロジー論から導出されている。具体的には、コホモロジーの低次部分は、コ・ドゥアル（Koszul dual）オペラドを用いたものである。微分および2-コサイクル（2-cocycle）の条件は、線形化されたノヴィコフ恒等式と一致する。
3. 明示的な計算: 著者は、斉次余鎖（homogeneous cochains）に対するコサイクル恒等式（ノヴィコフ公理の線形化版）を解いている。問題は、余鎖の係数に関する線形方程式系の求解へと帰着される。その際、$\lambda \in \mathbb{F}_p$ と $\lambda \notin \mathbb{F}_p$ のケースを区別し、さらに奇数 $p$ と $p=2$ のケースを分離して扱う。

主要な貢献

• 双モジュール構造の修正: 本論文は、Xuの加群の標準的な切断が、ほとんどの $\lambda$ に対して双モジュールの公理を満たさないことを指摘している。著者は、$M(\lambda)$ がすべての $\lambda$ に対して有効な双モジュールとなる $k[t]/(t^p-1)$ による正しい提示を確立した。
• 完全な次元計算: 論文は $H^2(V, M(\lambda))$ の次元 $\dim_k H^2(V, M(\lambda))$ の閉形式による決定を提供している：
  • $\lambda \notin \mathbb{F}_p$ の場合、$H^2(V, M(\lambda)) = 0$ である。
  • $\lambda \in \mathbb{F}_p$ の場合、次元は奇数 $p$ に対しては 3、 $p=2$ に対しては 4 となる。
• 明示的なコサイクル表現: 非消滅の場合について、著者はコホモロジー群の明示的な基底を構成している：
  • 奇数 $p$ の場合：基底 $\{\Psi_1, \Psi_2, \Psi_3\}$ が与えられる。$\Psi_1$ と $\Psi_2$ は定数項（代数の底部）に支持されており、$\Psi_3$ は積の切断点（代数の頂部）を越える「オーバーフロー」を測定する。
  • $p=2$ の場合：基底 $\{\Theta_1, \Theta_2, \Theta_3, \Theta_4\}$ が与えられる。ここでは、標数2の設定における2による除算の失敗により、次元の分布が異なっている。
• 拡大の分類: 本論文は、$V$ による $M(\lambda)$ へのアーベル拡大を分類している。$\lambda \notin \mathbb{F}_p$ ならば、すべての拡大は分裂（split）することを証明している。$\lambda \in \mathbb{F}_p$ ならば、拡大は $k^3$（奇数 $p$）または $k^4$（$p=2$）と全単射である。特筆すべき点として、$\Psi_3$ に対応する拡大は、代数 $k[x]/(x^{2p})$ であると特定されている。
• 可積分性: すべての無限小変形（infinitesimal deformation/cocycle）が障害がなく（unobstructed）、正確な1パラメータのノヴィコフ代数の族へと積分可能であることを示している。

主な結果

• 定理 1.1: 消滅および次元の結果を要約している。具体的には、$\lambda \notin \mathbb{F}_p$ ならば $H^2(V, M(\lambda)) = 0$ であり、$\lambda \in \mathbb{F}_p$ ならば、次元は 3（奇数 $p$）または 4（$p=2$）である。
• 剛性と切断: 特性 0 の類似物 $P = k[t]$ との比較を行う。特性 0 において、Xuのパラメータは単一の値（$\lambda=0$）に崩壊し、$H^2(P, P) = 0$ となるため、$P$ は剛（rigid）であり、かつ形式的に剛である。対照的に、切断された代数 $V$ は、いかなる $p$ に対しても決して剛ではない。論文は、この特定の族において、剛性の喪失は正の標数そのものではなく、切断によって引き起こされると結論付けている。
• 検証: すべての次元カウントは、$p = 2, 3, 5, 7, 11$ について、有限体（$\mathbb{F}_p, \mathbb{F}_{p^2}$）上の厳密な線形代数を用いて独立に検証された。

意義
本論文は、この種の代数に対する $H^2(V, M(\lambda))$ の初の完全な計算を提供している。それは、正標数におけるパラメータ $\lambda$ の構造的役割を明らかにし、非自明なコホモロジーがモジュール・パラメータが素体に含まれる場合にのみ生じることを示している。また、非剛性のための具体的なメカニズムを浮き彫りにしている。すなわち、無限次元の特性 0 の多項式環の剛性を、有限次元代数への切断が破壊しているという点である。コサイクルの明示的な構成およびそれに関連する拡大の構築は、モジュラー表現論においてノヴィコフ代数がどのように変形し、拡大するかを示す具体的な例を提供している。