[論文レビュー] A relative version of the ordinary perturbation lemma

Marco Manetti|arXiv (Cornell University)|Feb 3, 2010

Algebraic structures and combinatorial models参考文献 12被引用数 3

ひとこと要約

この論文は、チェイン複体に対する通常の摂動補題の相対的バージョンを導入し、$L_{\nu}$-代数におけるホモトピー転送定理の直接的で素朴な証明を可能にする。特定の性質を備えた微分付き可換部分複体に関して動作するように摂動補題を適応することにより、対称代数におけるテンソル技の失敗を回避し、根付き木に基づく再帰的公式を通じて$L_{\nu}$-構造の関手的転送公式を確立する。

ABSTRACT

The perturbation lemma and the homotopy transfer for L-infinity algebras is proved in a elementary way by using a relative version of the ordinary perturbation lemma for chain complexes and the coalgebra perturbation lemma.

研究の動機と目的

• 対称代数におけるテンソル技の失敗を克服し、$L_{\nu}$-代数における標準的ホモトピー転送を妨げる要因を除去すること。
• 高度なホモロジー的摂動理論に依存せずに、$L_{\nu}$-代数におけるホモトピー転送定理の直接的で素朴な証明を提供すること。
• 新しい微分 $ ilde{d}$ が適切な性質を備えた部分空間 $A \subset N$ を保存する場合に適用可能な摂動補題の相対的バージョンを確立すること。
• 対称コールゲブラ $\overline{S}(V)$ への包含写像 $\imath_{\partial}$ が射影と摂動を含む再帰的公式を満たすことを示すこと。
• 組合せ的木展開を通じて、結果として得られる転送写像が微分付き可換コールゲブラの準同型であることを示すこと。

提案手法

• 摂動 $\partial$ が微分付き可換部分複体 $A \subset N$ を保存するように、ホモトピー構造と整合性を持つ相対的摂動補題を導入すること。
• 標準的摂動補題とコールゲブラ摂動補題を併用して、$M$ 上の転送された微分の明示的公式を導出すること。
• 射影 $p$ による式 $p\imath_{\partial} = p\imath + kp\partial\imath_{\partial}$ を用いて、転送された包含写像 $\imath_{\partial}$ を再帰的に定義すること。
• $\pi_{\partial}\imath_{\partial} = \text{id}$ が $\overline{S}(W)$ 上で成り立つことから、転送がホモトピーに関して正しく定義され、可逆であることを保証すること。
• 写像 $\imath_{\partial}$ が再帰的公式を満たす唯一の対称的次数付きコールゲブラの準同型であり、根付き木に基づく組合せ的解釈を有することを示すこと。
• $\imath_{\partial}\colon (\overline{S}(W), d + \pi\partial\imath_{\partial}) \to (\overline{S}(V), d + \partial)$ が微分付き可換コールゲブラの準同型であることを確立すること。

実験結果

リサーチクエスチョン

• RQ1 対称化の下で失敗するテンソル技に依存せずに、$L_{\infty}$-代数におけるホモトピー転送を証明できるか？
• RQ2 摂動が制御されたホモトピー性質を備えた部分空間を保存する場合に適用可能な摂動補題の相対的バージョンは存在するか？
• RQ3 対称コールゲブラ設定下で、転送された $L_{\infty}$-構造は根付き木上の再帰的公式で記述可能か？
• RQ4 対称コールゲブラ $\overline{S}(V)$ への包含写像 $\imath_{\partial}$ は摂動下でも微分付き可換コールゲブラ構造を保存するか？
• RQ5 $L_{\infty}$-代数のホモトピー分類が、$\Pi\imath_{\partial} = \text{id}$ を満たす適合する準同型 $\Pi\colon \overline{S}(V) \to \overline{S}(W)$ の存在を保証できるか？

主な発見

• 相対的摂動補題により、$L_{\infty}$-代数におけるホモトピー転送定理の直接的で素朴な証明が可能になり、対称的設定下での非自明な追加作業を回避できる。
• 転送された包含写像 $\imath_{\partial}\colon \overline{S}(W) \to \overline{S}(V)$ は再帰的公式 $p\imath_{\partial} = p\imath + kp\partial\imath_{\partial}$ を満たし、これは対称的次数付きコールゲブラの準同型として一意に定義される。
• $\imath_{\partial}$ が微分付き可換コールゲブラの準同型であることが示され、$L_{\infty}$-構造と整合性を保つ。
• 再帰的公式 $\imath_{\partial}$ は根付き木の和としての組合せ的解釈を有し、転送の明示的構成を提供する。
• $L_{\infty}$-代数のホモトピー分類により、$\Pi\colon \overline{S}(V) \to \overline{S}(W)$ が存在して $\Pi\imath_{\partial} = \text{id}$ を満たすことが保証され、転送が適切に振る舞うことが確認される。
• 証明により、$\pi_{\partial}\imath_{\partial} = \text{id}$ が $\overline{S}(W)$ 上で成り立つことが示され、転送がホモトピーに関して準逆元であることが確認される。