Controlling graded Lie algebras and cohomologies of double Lie algebras

技術的要約：次数付きリー代数の制御とダブル・リー代数のコホモロジー

問題提起
本論文は、巡回的な歪対称性とダブル・ヤコビ恒等式を満たすダブル・ブラケットを備えたベクトル空間である、ダブル・リー代数の構造的およびコホモロジー的な理解を扱う。FaironとValeriは以前にダブル・リー代数の余鎖複体（cochain complex）を導入したが、これらの構造を支配する明示的な次数付きリー代数、およびその変形理論との関係については、完全な確立が残されていた。さらに、有限次元ベクトル空間 $V$ 上のダブル・リー・ブラケットと、行列代数 $A = \text{End}(V)$ 上の歪対称Rota-Baxter作用素との間には、既知の代数的対応関係が存在する。中心となる問いは以下の通りである：

1. ダブル・リー代数の構造が正確にモーテル・カルタン元となるような、明示的な微分次数付きリー代数（dg Lie algebra）を構成できるか。また、これをダブル・リー・プロパド（properad）のコッシュル分解から得られる畳み込みdg Lie algebraと同一視できるか。
2. ダブル・リー・ブラケットと歪対称Rota-Baxter作用素との対応関係は、それらが支配する次数付きリー代数およびコホモロジー群の間の同型へと拡張されるか。
3. 歪対称Rota-Baxter作用素のコホモロジーを、その付随する結合的代数（descendent associative algebra）の古典的なコホモロジー理論（具体的には巡回コホモロジー）と同一視できるか。

手法
著者らは、プロパディ的／プロパディ的変形理論および明示的な代数的構成を組み合わせて用いている：

• 次数付きリー代数の構成: 著者らは巡回的に歪対称な余鎖の空間 $C^\bullet_{\text{dL}}(V)$ を定義し、$\square$-積を導入する。これを用いて、次数付きリー代数構造を確立するためのブラケット $[\cdot, \cdot]_{\text{dL}}$ を定義する。
• プロパディ的解釈: ダブル・リー・プロパド $\mathcal{D}$ のコッシュル分解を利用して、変形複体 $\text{Hom}^\bullet_S(\mathcal{D}^!, \text{End}_V)$ 上の畳み込みdg Lie algebraを構成する。そして、この畳み込み代数と、明示的に構成された $C^\bullet_{\text{dL}}(V)$ との間の同型を確立する。
• Rota-Baxter対応: 対称フロベニウス代数 $(A, \langle \cdot, \cdot \rangle)$ に対して、巡回余鎖の部分空間 $C^\bullet_{\text{rb}}(A)$ を構成する。この部分空間が標準的なRota-Baxterブラケット $[\cdot, \cdot]_{\text{rb}}$ の下で閉じていることを証明する。
• 同型の持ち上げ: $A = \text{End}(V)$ と特殊化することで、代数 $(C^\bullet_{\text{dL}}(V), [\cdot, \cdot]_{\text{dL}})$ を支配するダブル・リー代数と、歪対称Rota-Baxter作用素の代数 $(C^\bullet_{\text{rb}}(A), [\cdot, \cdot]_{\text{rb}})$ の間の明示的な同型 $\Psi$ を構成する。
• 巡回コホモロジーの同一視: Rota-Baxter余鎖複体を、付随する結合的代数 $A_R$ （ここで積は $x \cdot_R y = R(x)y + xR(y)$ である）のHochschild複体に関連付ける。巡回余鎖に制限することにより、Rota-Baxterコホモロジーを、関連する結合的代数 $A_R$ の巡回コホモロジーと同一視する。

主要な貢献と結果

1. ダブル・リー代数の明示的な支配代数:
   著者らは、そのモーテル・カルタン元が $V$ 上のダブル・リー代数構造と一対一に対応する次数付きリー代数 $(C^\bullet_{\text{dL}}(V), [\cdot, \cdot]_{\text{dL}})$ を構成する。固定されたダブル・リー・ブラケット $\mu$ によって捩じ曲げる（twisting）ことで、微分次数付きリー代数 $(C^\bullet_{\text{dL}}(V), d_\mu)$ が得られ、これによりコホモロジー $H^\bullet_{\text{dL}}(V, \mu)$ が定義される。

2. プロパディ的同一視:
   ダブル・リー・プロパドのコッシュル分解を用いることで、構成されたdg Lie algebraが畳み込みdg Lie algebra $(\text{Hom}^\bullet_S(\mathcal{D}^!, \text{End}_V), [\alpha_\mu, \cdot]_{\text{aug}})$ と一致することを特定する。これは、ダブル・リー代数の余鎖複体のプロパディ的解釈を提供し、明示的な複体とプロパドから導出される変形複体との間のコホモロジー群の同型を確立する。

3. Rota-Baxter理論との同型:
   有限次元対称フロベニウス代数 $A$ に対し、著者らは歪対称Rota-Baxter作用素をモーテル・カルタン元とする次数付きリー部分代数 $C^\bullet_{\text{rb}}(A)$ を定義する。$A = \text{End}(V)$ のとき、次数付きリー代数の同型 $\Psi: (C^\bullet_{\text{dL}}(V), [\cdot, \cdot]_{\text{dL}}) \to (C^\bullet_{\text{rb}}(A), [\cdot, \cdot]_{\text{rb}})$ の存在を証明する。この同型は、対応するモーテル・カルタン元によって誘導される微分を保存するため、以下のコホモロジー群の同型を誘導する：
   $$H^\bullet_{\text{dL}}(V, \mu) \cong H^\bullet_{\text{rb,cyc}}(A, R)$$

4. 巡回コホモロジーとの接続:
   本論文は、対称フロベニウス代数 $A$ 上の歪対称Rota-Baxter作用素 $R$ のコホモロジーが、付随する結合的代数 $A_R$ の巡回コホモロジーと自然に同型であることを示す：
   $$H^p_{\text{rb,cyc}}(A, R) \cong HC^p_\tau(A_R)$$
   したがって、$V$ 上のダブル・リー代数のコホモロジーは、$\text{End}(V)$ 上の対応するRota-Baxter作用素に関連する結合的代数の巡回コホモロジーとして特定される。

意義
本論文は、ダブル・リー代数、歪対称Rota-Baxter作用素、および巡回コホモロジーという3つの異なる領域を結びつける統一的な枠組みを提供すると主張している。明示的な制御次数付きリー代数を構築し、その同型を証明することにより、本研究は、ダブル・リー・ブラケットとRota-Baxter作用素の間の既知の代数的対応関係を、変形理論およびコホモロジーのレベルへと引き上げている。これにより、ダブル・リー代数のコホモロジーを、結合的代数の巡回コホモロジーという確立されたメカニズムを通じて計算することが可能になる。結果は具体的な3次元の例によって示され、特定のケースにおける理論的な同型が検証されている。本研究は、プロパディ的変形理論（コッシュル双対性）およびO-作用素の理論という確立されたツールに依拠しており、FaironとValeriによって導入されたダブル・リー代数の余鎖複体の「プロパディ的解釈」を提供している。