[論文レビュー] A Class of Strongly Homotopy Lie Algebras with Simplified sh-Lie Structures

Samer Al-Ashhab|ArXiv.org|Aug 17, 2003

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

ひとこと要約

この論文は、高次構造写像（$l_n$ for $n > 3$）が消えるクラスの強いたしホモトピー李（sh-Lie）代数を構成する。$l_2$ および $l_3$ は次数 0 のみで非自明であり、チェーンホモトピー同値性と $l_2 l_1$ の境界条件を用いることで、sh-Lie 構造が著しく単純化される。$l_2$ および $l_3$ は次数 0 のみで非ゼロであり、すべての高次写像は消える。$l_2(c,b)$ がゼロでなくても成り立ち、より弱い仮定の下で先行研究を拡張する。

ABSTRACT

It is known that a single mapping defined on one term of a differential graded vector space extends to a strongly homotopy Lie algebra structure on the graded space when that mapping satisfies two conditions. This strongly homotopy Lie algebra is nontrivial (it is not a Lie algebra); however we show that one can obtain an sh-Lie algebra where the only nonzero mappings defining it are the lower order mappings. This structure applies to a significant class of examples. Moreover in this case the graded space can be replaced by another graded space, with only three nonzero terms, on which the same sh-Lie structure exists.

研究の動機と目的

• 高次構造写像が単純化された sh-Lie代数のクラスを構成すること。
• $n > 3$ に対して $l_n \equiv 0$ であり、$> 0$ の次数で $l_2 = l_3 = 0$ となるように、最小限の仮定の下で示すこと。
• 従来の結果を一般化し、$l_2(c,b) = 0$ という条件を、$l_2(c,b)$ が境界であることに弱める。
• 最小な次数付き空間に、非ゼロの項が三つだけあるようなこのような sh-Lie 構造が存在することを示すこと。
• シンプレクティック多様体やコホモロジー複体といった幾何的文脈での明示的構成を提供すること。

提案手法

• チェーンホモトピー $s$ が $\lambda \circ \eta - \text{id} = l_1 \circ s$ を次数 0 で満たし、$-\text{id^} = l_1 \circ s + s \circ l_1$ を高次次数で満たすように、$l_2 = -s \circ l_2 l_1$ を帰納的に定義する。
• 補題 2.1 を用いて $l_2 l_1$ が境界であることを確認し、$l_2$ がチェーン写像として適切に定義されることを保証する。
• 各成分で $l_2 l_1$ が消えることにより、$X_1 \otimes X_1$ および $X_2 \otimes X_0$ で $l_2 = 0$ であることを示す。
• ヤコビ恒等式およびリー微分の恒等式を用いて、$l_2 l_2 + l_3 l_1$ が消えることにより、$X_1 \otimes X_0 \otimes X_0$ および高次次数で $l_3 = 0$ であることを示す。
• シンプレクティック多様体上のポisson括弧およびコホモロジー複体を用いた明示的例を構成する。
• sh-Lie 構造が非ゼロの項が三つのみある最小モデルに移行できることを示し、次数 0 での $l_2$ および $l_3$ 写像を保存することを示す。

実験結果

リサーチクエスチョン

• RQ1 高次構造写像 $l_n$ ($n > 3$) がすべて消えるように、$l_2(c,b) \neq 0$ であっても sh-Lie代数を構成できるか？
• RQ2 $l_2$ および $l_3$ が次数 0 のみで非ゼロであり、すべての高次次数写像が消える条件は何か？
• RQ3 与えられた sh-Lie代数を、非ゼロの次数成分が三つだけある最小モデルに還元できるか？ その際、本質的な構造を保存できるか？
• RQ4 チェーンホモトピー $s$ および $l_2 l_1$ が境界であるという条件が、sh-Lie 構造の単純化をどのように可能にするか？
• RQ5 この構成は、ポisson括弧を持つシンプレクティック多様体といった幾何的例に適用可能か？

主な発見

• 論文は、$n > 3$ に対して $l_n \equiv 0$ であり、すべての $> 0$ の次数で $l_2 = l_3 = 0$ となる sh-Lie代数を構成し、構造を著しく単純化した。
• $l_2$ 写像は次数 0 のみで非ゼロであり、$l_2(P\nu, Q\nu) = \omega(\mathbf{E}(Q), \mathbf{E}(P))\nu$ として定義され、$X_1 \otimes X_1$、$X_2 \otimes X_0$ およびその対称版で消える。
• $l_3$ 写像は次数 0 のみで非ゼロであり、$l_3(P\nu, Q\nu, R\nu)$ は非ゼロであるが、すべての高次次数で $l_3 = 0$ である。
• sh-Lie 構造は、非ゼロの項が三つのみある最小モデルに移行可能であり、次数 0 での $l_2$ および $l_3$ 写像を保存する。
• シンプレクティック多様体の例では、次数 1 で $l_2(f, \beta) = L_{\beta^\#}f$ であり、高次次数で $l_2 = 0$ である。$X_1 \otimes X_0 \otimes X_0$ で $l_3 = 0$ であるのはヤコビ恒等式およびリー微分の恒等式による。
• 従来の結果が $l_2(c,b) = 0$ を要請していたのに対し、本研究では $l_2(c,b)$ が境界であるというより弱い条件で成り立つ。