[論文レビュー] Higher Derived Brackets for Arbitrary Derivations

Theodore Voronov|arXiv (Cornell University)|Dec 9, 2004

Advanced Topics in Algebra参考文献 11被引用数 39

ひとこと要約

本稿は、Lie超代数 $L = K \oplus V$ 上の任意の微分 $D$ によって生成される高次導来括弧を導入し、その性質を研究する。ここで $V$ はアーベル部分代数である。Jacobiator が $D^2$ によって生成される括弧で与えられることを確立し、内微分の場合の先行結果を一般化するとともに、コーンおよびコサイクルを用いた $L_{\infty}$-代数を通じてホモトピー代数と結びつける。

ABSTRACT

We introduce and study a construction of higher derived brackets generated by a (not necessarily inner) derivation of a Lie superalgebra. Higher derived brackets generated by an element of a Lie superalgebra were introduced in our earlier work. Examples of higher derived brackets naturally appear in geometry and mathematical physics. From a totally different viewpoint, we show that higher derived brackets arise when one wants to turn the inclusion map of a subalgebra of a differential Lie superalgebra, with a given complementary subalgebra, into a fibration. (For a non-Abelian complementary subalgebra, this leads to a generalization of $L_{\infty}$-algebras with dropped or weakened (anti)symmetry of the brackets.)

研究の動機と目的

• 内微分からの高次導来括弧の構成を、Lie超代数上での任意の微分へ一般化すること。
• チェーン複体におけるコーンおよびコサイクルを用いて、高次導来括弧のホモトピー代数的解釈を確立すること。
• 代数的構造が $V$ がアーベルでない場合にどうなるかを調べ、一般化された $L_\infty$-代数へとつなげること。
• $D$ が $V$ 上の多重線形作用素を反復的アジュント作用と射影を用いて生成する役割を明確にすること。

提案手法

• 射影 $P$ を $K$ に沿って $V$ にとるとして、$k$-次の高次導来括弧を $\{a_1,\dots,a_k\}_D := P[[\cdots[D a_1, a_2], \dots], a_k]$ で定義する。
• $V$ がアーベルであることを仮定することで、定義の整合性を保ち、対称括弧の構成を可能にする。
• 高次括弧のJacobiatorが $D^2$ によって生成される $(k+1)$-次括弧に等しいことを証明し、内微分の場合の一般化を達成する。
• $\Pi L \oplus V$ をコサイクルとみなして、ホモトピー的解釈を構築し、微分が拡張された代数的構造を保存することから、導来括弧が自然に生じることを示す。
• $\operatorname{Der}L \to \operatorname{Vect}V$ なる準同型を定義し、各微分 $D$ に対して $V$ 上の多重線形作用素の族を割り当てる。これは $\operatorname{Der}L$ 上での $L_\infty$-代数の一般化である。
• $V$ のアーベル性を緩和することで、非対称な高次導来括弧を研究し、Lie代数の背景を持つ新しいクラスの代数を導く。

実験結果

リサーチクエスチョン

• RQ1 内微分に限らない任意の微分 $D$ によって生成される高次導来括弧は、どのように振る舞うか？
• RQ2 奇数の微分 $D$ によって生成される高次導来括弧のJacobiatorの代数的構造は何か？
• RQ3 特にコーンやコサイクルを通じて、ホモトピー代数の枠組みで高次導来括弧を解釈できるか？
• RQ4 部分代数 $V$ がアーベルではなくなると、対称性やJacobi型恒等式はどのように変化するか？
• RQ5 高次導来括弧の構成は、微分のLie超代数 $\operatorname{Der}L$ とどのように関係するか？

主な発見

• 奇数の微分 $D$ によって生成される高次導来括弧のJacobiatorは、$D^2$ によって生成される高次導来括弧に等しく、内微分の場合の結果を一般化する。
• $D^2 = 0$ のとき、$\Pi L \oplus V$ 上の導来括弧は $L_\infty$-代数の構造を与える。これによりホモトピー代数的解釈が得られる。
• この構成により、$\operatorname{Der}L \to \operatorname{Vect}V$ なる準同型が定義され、各微分 $D$ に対して $V$ 上の多重線形作用素の族が割り当てられ、$\operatorname{Der}L$ における関係を模倣する性質を満たす。
• 導来括弧は一般化された対称性恒等式を満たす：$\{a_1,\dots,a_i,a_{i+1},\dots,a_k\}_D - (-1)^{\tilde{a}_i\tilde{a}_{i+1}}\{a_1,\dots,a_{i+1},a_i,\dots,a_k\}_D = \{a_1,\dots,[a_i,a_{i+1}],\dots,a_k\}_D$。
• $V$ がアーベルでない場合、高次導来括弧は対称的でないことがあり、Lie代数の背景を持つ $L_\infty$-代数の新しい一般化が得られる。
• ホモロジー代数における標準的なシリンダーおよびコサイクルの構成が、導来括弧が $\Pi L \oplus V$ 上の微分から生じることを示すトポロジカルなフレームワークを提供する。