Cohomology theory of Novikov algebras and applications

技術要約：Novikov代数のコホモロジー論とその応用

問題提起
本論文は、Novikov代数に関連する余鎖複体（cochain complex）の明示的な記述の必要性に対処し、Novikov代数のコホモロジーとその基礎となるpre-Lie代数のコホモロジーとの間の厳密な関係を確立することを目的としている。結合代数、Lie代数、および可換代数に対するコホモロジー理論（それぞれHochschild、Chevalley-Eilenberg、Harrison理論を通じて）は確立されており、これらの構造の変形理論はそれらのコホモロジー群と結びついているが、Novikov代数の具体的なコホモロジーの枠組み――特にpre-Lie代数との関係や、変形および拡張問題への応用に関するもの――については、統一的なオペラディック・アプローチが必要とされていた。先行研究では、Novikov代数の変形方程式（例：BaiおよびMeng）に触れたり、Lie代数的観点（PengおよびTan）を展開したりしていたが、オペラド理論を用いた定義関係からの直接的な構成は欠落していた。

手法
著者らはオペラド論を用い、具体的には二次型オペラドのKoszul双対性およびオペラドのHadamard積を利用している。手法は以下の3つの段階で進行する：

1. Pre-Lieコホモロジーのオペラディックな特徴付け： 著者らはまず、pre-Lie代数のコホモロジーを再検討する。彼らは、pre-Lieオペラド（$preLie$）のKoszul双対がPermオペラド（$Perm$）であるという事実を利用する。Lieオペラド（$Lie$）からHadamard積 $Perm \otimes_H End_V$ への射を構成することにより、$CE^\bullet(Perm \otimes_H End_V)$ というChevalley-Eilenberg余鎖複体を定義する。そして、この複体と標準的なpre-Lie余鎖複体 $C^\bullet_{pLie}(g)$ との間に同型が存在することを証明する。

2. Novikovコホモロジーの構成： Novikov代数に対して同様の論理を適用するため、著者らは右Novikovオペラド（$rNov$）のKoszul双対が左Novikovオペラド（$Nov$）であるという事実を利用する。彼らは$Lie$から$rNov \otimes_H Nov$への射を構成する。$rNov$は可換結合微分代数（$ComDer$）のオペラドの劣オペラドとして実現できるため、これを用いて余鎖複体の明示的な基底を抽出する。これにより、特定の整数分割によってインデックス付けされた、代数の外積冪を含む多重線形写像を用いた余鎖複体$C^\bullet_{Nov}(g)$ を明示的に定義することが可能となる。

3. 表現のための擬似テンソル圏： 任意の表現におけるコホモロジーを定義するために、著者らは擬似テンソル圏の枠組みを採用する。彼らは、ベクトル空間の圏におけるNovikov代数が、擬似テンソル圏 $rNov \otimes Vec$ における特定のLie代数構造に対応することを示す。これにより、表現 $(M; l, r)$ を係数とするNovikov代数のChevalley-Eilenberg型のコホモロジーを定義することが可能となる。

主要な貢献と結果

• 明示的なコホモロジー複体： 本論文は、Novikov代数の余鎖複体の明示的な記述を提供している。$n$-余鎖の空間は、オペラディックな基底から導かれる特定の和の制約を満たすインデックス $(k_{n-1}, \dots, k_0)$ を用いて、多重線形写像の空間 $\text{Hom}(\wedge^{k_{n-1}}g \otimes \cdots \otimes \wedge^{k_0}g, g)$ の直和として特徴付けられる。微分は、Novikov積と置換を含む明示的な公式によって与えられる。
• Pre-Lieコホモロジーとの関係： 中心的な結果は、基礎となるpre-Lie代数の余鎖複体が、Novikov余鎖複体の商として識別されることである。具体的には、以下の短完全列の余鎖複体が存在する：
  $$0 \to C^\bullet_{Nov}(g) \to C^\bullet_{Nov}(g) \to C^\bullet_{pLie}(g) \to 0$$
  これは、Novikov代数、その部分複体、および基礎となるpre-Lie代数のコホモロジー群を結ぶ長完全列を誘導する。
• コホモロジーにおける区別： 著者らは、具体的な例（例：$K[t]$ 上のNovikov代数）を提供することで、Novikov代数のコホモロジー群とその基礎となるpre-Lie代数のコホモロジー群が異なることを示す。具体的には、$H^2_{Nov}(g; g) = 0$（剛性を意味する）である一方で $H^2_{pLie}(g; g) \neq 0$（基礎となるpre-Lie構造の非剛性を意味する）となるケースを示している。
• 変形および拡張への応用：
  • 無限小変形： 本論文は、Novikov代数の無限小変形が第二コホモロジー群 $H^2_{Nov}(g; g)$ によって分類されることを証明している。二つの変形が同値であるための必要十分条件は、それらの定義する2-コサイクルが同じコホモロジー類に属することである。
  • アーベル拡張： 著者らは、Novikov代数のアーベル拡張が、表現を係数とする第二コホモロジー群によって分類されることを示す。彼らは、拡張のコホモロジー類が切断（section）の選択に依存しないことを確立している。
• 剛性の結果： 構築された理論を用いて、本論文は $K[t]$ 上のNovikov代数が剛性を持つ（$H^2_{Nov} = 0$ であるため）一方で、$K[t]/(t^p)$ 上のNovikov代数は剛性を持たないことを確認している。

意義と主張
本論文は、Novikov代数の一般的な変形理論およびホモトピー理論の基礎を築くものであると主張している。明示的な変形複体を提供することで、著者らは、この複体に次数付きLie代数構造が存在し、そこでのMaurer-Cartan元がNovikov代数の構造に対応するということを予想している。本研究は、Novikov代数の構造理論と、そのコホモロジー的性質との間の隔たりを埋め、Novikov代数とpre-Lie代数の関係を明らかにする統一的なオペラディックな視点を提供する。擬似テンソル圏の使用は、表現論や拡張問題への適用可能性を広げ、係数を持つコホモロジーを定義するための自然な設定を提供している。これらの結果は、これらの非結合構造のより広範なホモトピー論を理解するための不可欠なステップとして提示されている。