[論文レビュー] OCHA and the swiss-cheese operad

Eduardo Hoefel|ArXiv.org|Oct 18, 2007

Advanced Topics in Algebra被引用数 14

ひとこと要約

この論文は、OCHAの単位的多元環とA. ヴォロノフのスイスチーズ多元環における上位次元のホモロジー類の部分多元環との間の準同型を、$Λ_{\infty}$-モジュールの準同型として確立する。OCHA構造が、小さな円板多元環からSH Lie代数が生じるのと同様に、コンパクト化された配置空間と木に基づくモデルを用いて、スペクトル系列と部分的に平面的な木上のチェーン写像により、準同型を証明する。

ABSTRACT

In this paper we show that the relation between Kajiura-Stasheff's OCHA and A. Voronov's swiss-cheese operad is analogous to the relation between SH Lie algebras and the little discs operad. More precisely, we show that the OCHA operad is quasi-isomorphic to the operad of top-dimensional homology classes of the swiss-cheese operad.

研究の動機と目的

• OCHA（開-閉ホモトピー代数）とスイスチーズ多元環の間の数学的関係を明確化すること。
• OCHA多元環が、スイスチーズ多元環のホモロジーにおける上位次元ホモロジー類の部分多元環と準同型であることを示すこと。
• この準同型を多元環の写像としてではなく、$Λ_{\infty}$-多元環上の微分付き加群の準同型として確立すること。
• 部分的に平面的な木とコンパクト化された配置空間を用いた、OCHAの新しい代数的モデルを提供すること。
• 著者の博士論文の結果を一般化し、OCHAと配置空間のホモロジーの間の対応関係を強化すること。

提案手法

• 論文は、特定の符号規則を備えた部分的に平面的な木を用いて、スイスチーズ多元環のホモロジーの木ベースのモデルを用いる。
• 部分的に平面的な木を用いてOCHA多元環 $ωω_{\infty}$ を定義し、$Λ_{\infty}$-モジュール構造を尊重するチェーン写像 $μ: ωω_{\infty} \to \mathcal{OC}$ を導入する。
• 写像 $μ$ は生成子上で定義される：$ωω$ に対しては恒等写像であり、特別な生成子に対しては $-\frac{1}{2}$ 倍の特定の木である。
• 証明は、コーナーを持つ多様体としてのコンパクト化された配置空間 $\overline{C(p,q)}$ のスペクトル系列に依存する。
• チェーン写像が準同型であることを示すために、すべての $T$ に対して $\mu(dT) = 0$ を確認し、特に $\mathcal{E}'$ 内の非可約成分に注目する。
• 符号規則と対称性の性質を用いて、$n_{20}$, $l_2$, $n_{11}$ などの主要なコラの上での $\mu(dT) = 0$ を検証することで、同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 OCHA多元環は、スイスチーズ多元環のホモロジーとどのように関係しているか？
• RQ2 OCHA多元環とスイスチーズ多元環の上位次元ホモロジー類が生成する部分多元環との間に、準同型が存在するか？
• RQ3 この関係は、多元環同型ではなく、$\mathcal{L}_{\infty}$-多元環上のモジュールとして理解できるか？
• RQ4 コンパクト化された配置空間 $\overline{C(p,q)}$ は、OCHA構造をモデル化するために果たす役割は何か？
• RQ5 特に部分的に平面的な木を用いた木ベースのモデルは、スイスチーズ多元環のホモロジー的構造をどのように表現するか？

主な発見

• OCHA多元環 $\mathcal{OC}_{\infty}$ は、スイスチーズ多元環のホモロジーにおける上位次元ホモロジー類の部分多元環 $\mathcal{OC}$ と準同型である。
• この準同型は多元環の写像ではなく、$\mathcal{L}_{\infty}$-多元環上の微分付き加群の準同型である。
• チェーン写像 $\mu: \mathcal{OC}_{\infty} \to \mathcal{OC}$ は、$T \in \mathcal{OC}$ に対して $\mu(T) = T$ と定義され、特殊生成子に対しては $\mu(\text{特別な生成子}) = -\frac{1}{2} \cdot \text{特定の木}$ である。
• 写像 $\mu$ は $\mathcal{L}_{\infty}$-モジュール構造を保存し、すべての $l \in \mathcal{L}_{\infty}$ に対して $\mu(l \circ_i T) = l \circ_i \mu(T)$ を満たす。
• チェーン写像 $\mu$ は、$\mu(dT) = 0$ がすべての $T$ に対して成り立つことから、準同型である。これは、$n_{20}$, $l_2$, $n_{11}$ などの非可約成分における微分の像を検証することで確認される。
• 証明は、$\overline{C(p,q)}$ のスペクトル系列に依存しており、$\overline{C(1,q)}$ がサイクロヘドロン $W_{q+1}$ と位相的に同値であるという事実に依存する。境界ストラトムは部分的に平面的な木によってラベル付けされる。