[論文レビュー] Twisting on associative algebras and Rota-Baxter type operators

Kyousuke Uchino|ArXiv.org|Oct 23, 2007

Advanced Topics in Algebra参考文献 28被引用数 3

ひとこと要約

この論文は、Lie理論におけるDrinfeldのねじれ作用素にインspiredされた、結合代数におけるねじれ作用素を導入し、Hochschild複体上の導来括弧構造を用いる。Rota-Baxter作用素とNijenhuis作用素が微分 graded Lie 代数構造におけるMaurer-Cartan方程式の解として現れることを確立し、結合的設定における変形理論と作用素代数の統一的枠組みを提供する。

ABSTRACT

We will introduce an operation "twisting" on Hochschild complex by analogy with Drinfeld's twisting operations. By using the twisting and derived bracket construction, we will study differential graded Lie algebra structures associated with bi-graded Hochschild complex. We will show that Rota-Baxter type operators are solutions of Maurer-Cartan equations. As an application of twisting, we will give a construction of associative Nijenhuis operators.

研究の動機と目的

• Hochschildコホモロジーを用いて、Lieから結合代数へDrinfeldのねじれ作用素を拡張すること。
• ねじれ代数のHochschild複体に微分 graded Lie 代数構造を構成すること。
• Rota-Baxter作用素とNijenhuis作用素がこの枠組みにおいてMaurer-Cartan方程式の解として現れることを示すこと。
• ねじれ作用素と導来括弧構造を用いて、結合的Nijenhuis作用素のコホモロジー的特徴づけを提供すること。

提案手法

• Gerstenhaberの括弧を用いて、Hochschild複体 $ C^*(\t A_1 \oplus \t A_2) $ に双次数Lie代数構造を定義する。
• ハミルトニアンベクトル場を模倣した1次コチェイン $ H: \t A_2 \to \t A_1 $ を用いてねじれ作用素を導入する。
• 結合構造 $ \theta $ を四つの成分 $ \hat{\phi}_1, \hat{\mu}_1, \hat{\mu}_2, \hat{\phi}_2 $ に分解し、ねじれ作用の下での変換則を導出する。
• 導来括弧構造を用いて $ C^*(\t A_2, \t A_1) $ にdg-Lie代数構造を誘導し、変形理論を可能にする。
• 重みゼロのRota-Baxter作用素が一般化されたRota-Baxter恒等式を満たし、Maurer-Cartan方程式の解をもたらすことを示す。
• 積分作用素と微分作用素の合成としてNijenhuis作用素を構成し、明示的検証によりNijenhuis条件を満たすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 Hochschildコホモロジーを用いて、Lieから結合代数へのDrinfeldのねじれ作用素をどのように一般化できるか？
• RQ2 導来括弧構造は、結合的ねじれ代数と微分 graded Lie 代数をどのように結びつけるか？
• RQ3 代数上のRota-Baxter作用素が、誘導されたdg-Lie代数におけるMaurer-Cartan方程式の解に対応する条件は何か？
• RQ4 強いMaurer-Cartan作用素は、どのように結合代数上でNijenhuis作用素を誘導するか？
• RQ5 ねじれ作用と変形理論の文脈において、一般化されたRota-Baxter恒等式のコホモロジー的意義は何か？

主な発見

• 重みゼロの結合代数上のRota-Baxter作用素は、dg-Lie代数 $ C^*(\t A_2, \t A_1) $ におけるMaurer-Cartan方程式の解を誘導し、変形理論へのコホモロジー的リンクを確立する。
• 結合代数におけるねじれ作用素は、四つの成分 $ \hat{\phi}_1, \hat{\mu}_1, \hat{\mu}_2, \hat{\phi}_2 $ の変換則によって完全に決定され、定理4.5で明示的な公式が与えられている。
• 微分作用素 $ \mathcal{A} $ から $ M_\pi $ への導来作用素として定義される強いMaurer-Cartan作用素 $ \Omega $ は、$ N = \int \Omega $ としてNijenhuis作用素を誘導し、Nijenhuis条件を満たす。
• $ C^1([0,1]) $ の例において、積分作用素 $ \pi(f)(x) = \int_0^x f(t)dt $ と微分作用素 $ \Omega(f)(x) = \omega(x)f'(x) $ は、Nijenhuis作用素 $ N(f)(x) = \int_0^x \omega(t)f'(t)dt $ を与え、明示的にNijenhuis恒等式を満たすことが確認されている。
• 非可換な設定、例えば形式的べき級数代数やWeyl代数では、形式的積分作用素は重みゼロのRota-Baxter作用素であり、$ N = \int \Omega $ の合成は射影型のNijenhuis作用素をもたらす。
• Weyl代数 $ W\langle x, \partial_x \rangle $ 上のNijenhuis作用素 $ N $ は、$ j \neq 0 $ を満たす形の $ k_{ij} \partial_x^i * x^j $ の要素への射影として作用し、幾何学的・代数的意義を確認している。