[論文レビュー] OCHA and Leibniz Pairs, towards a Koszul duality

Muriel Livernet, Eduardo Hoefel|arXiv (Cornell University)|Apr 19, 2011

Algebraic structures and combinatorial models参考文献 14被引用数 6

ひとこと要約

本稿では、ヴォロノフとコンツェビッチのスイスチーズ型オペラッドの零次ホモロジーがコーゾウル的であることを確立し、これにより強いホモトピー的リーブニッツ対（SHLP）およびオープン・クローズドホモトピー代数（OCHA）がコーゾウル的オペラッドによって支配されることを証明する。彩色オペラッド理論およびコーゾウル双対性の技法を用いて、コーゾウル双対コオペラッドのコーバー構成とホモロジー型オペラッドの間に準同型写像を構成し、SHLPおよびOCHAが実際に『強いホモトピー的』代数であることが確認される。

ABSTRACT

In this paper we study the homology of 2 versions of the swiss-cheese operad. We prove that the zeroth homology of these two versions are Koszul operads and relate this to strong homotopy Lebiniz pairs and OCHA, defined by Kajiura and Stasheff.

研究の動機と目的

• ヴォロノフとコンツェビッチのスイスチーズ型オペラッドの零次ホモロジーがコーゾウル的オペラッドであることを証明すること。
• 強いホモトピー的リーブニッツ対（SHLP）およびオープン・クローズドホモトピー代数（OCHA）がコーゾウル的オペラッド上の代数として生じることを確立すること。
• マークルとドルグシェフの先行研究におけるギャップを解消すること。彼らはSHLPおよびOCHAを定義したが、それらの背後にあるオペラッドのコーゾウル性を示さなかった。
• 特に2色オペラッドおよび彩色コオペラッドの文脈において、非二次的オペラッドへのコーゾウル双対性技法の拡張を試みること。
• OCHAオペラッドが非形式的であることを示すことにより、そのホモトピー型がホモロジーだけでは記述できないことを示すこと。

提案手法

• A_\infty-代数とL_\infty-代数の間の相互作用をモデル化するための彩色オペラッド理論の使用。
• ヴォロノフとコンツェビッチのスイスチーズ型オペラッド\mathcal{SC}^{\rm vor}および\mathcal{SC}のホモロジーの分析により、H_0(\mathcal{SC}^{\rm vor}) \cong \mathcal{LP}およびH_0(\mathcal{SC}) \cong \mathcal{OC}を示す。
• オペラッド\mathcal{LP}および\mathcal{OC}のコーゾウル双対コオペラッド\mathcal{P}^{!\prime}に対してコーバー構成\Omega(\mathcal{P}^{!\prime})を適用し、\mathcal{LP}_\inftyおよび\mathcal{OC}_\inftyを導出する。
• コホモロジー型オペラッドに関連するコオペラッドCを用いて、コホモロジー型代数のコーゾウル双対性に基づき、準同型写像\psi: \Omega C \to C^{!\prime}を構成する。
• OCHA_\inftyのオペラッドにおけるアイ・リレーションを用いて、非形式性を証明し、\mathfrak{n}_{1,1}がホモロジーで0に写らないことを示す。
• ガルヴァス・カラジョ、トンクス、ヴァレットのBV代数に関する結果を活用し、コーゾウル双対性技法を2色設定に適応する。

実験結果

リサーチクエスチョン

• RQ1 リーブニッツ対のオペラッド\mathcal{LP}がコーゾウル的であるか。これにより\mathcal{LP}_\inftyが\mathcal{LP}の強いホモトピー的バージョンとして正当化されるか。
• RQ2 コンツェビッチのスイスチーズ型オペラッド\mathcal{SC}の零次ホモロジーH_0(\mathcal{SC})がコーゾウル的であるか。また、それがOCHAを強いホモトピー的代数として支配するか。
• RQ3 H_0(\mathcal{SC})のコーゾウル双対コオペラッド\mathcal{D}に対してコーバー構成\Omega(\mathcal{D})を適用したとき、\mathcal{OC}_\inftyへの準同型写像が得られるか。これによりOCHAのホモトピー論が確認されるか。
• RQ4 OCHAオペラッド\mathcal{OC}_\inftyは形式的か。それとも非自明な高次のホモトピー構造を有するか。
• RQ5 コーゾウル双対性フレームワークを、OCHAを支配するような非二次的2色オペラッドへ拡張可能か。

主な発見

• \mathcal{LP}はリーブニッツ対のオペラッドとしてコーゾウル的であり、そのコーバー構成\Omega(\mathcal{LP}^{!\prime})は\mathcal{LP}_\inftyと準同型である。これにより、SHLPがコーゾウル的オペラッド上の強いホモトピー的代数であることが確認される。
• 零次ホモロジーH_0(\mathcal{SC}^{\rm vor})はオペラッド\mathcal{LPに同型であり、このオペラッドはコーゾウル的である。これによりSHLPのコーゾウル双対性が確立される。
• 零次ホモロジーH_0(\mathcal{SC})はOCHAのオペラッド\mathcal{OC}に同型であり、このオペラッドはコーゾウル的である。そのコーゾウル双対コオペラッド\mathcal{D}について\Omega(\mathcal{D}) \simeq \mathcal{OC}_\inftyが成り立つ。
• 写像\psi: \Omega C \to C^{!\prime}は代数の準同型写像である。ここでCはH_0(\mathcal{SC})に関連するコオペラッドである。これによりH_0(\mathcal{SC})がコーゾウル的であることが証明される。
• OCHAオペラッド\mathcal{OC}_\inftyは非形式的である。これは、次数0の生成子\mathfrak{n}_{1,1}が\Lambda_c\mathcal{OC}において次数-1の要素に写らないことから、形式性に反する。
• \Lambda_c\mathcal{OC}はC^{!\prime}と同型であり、写像\phi: \Lambda_c\mathcal{OC} \to H_*(\mathcal{P})は代数の同型写像である。これにより、代数レベルでのコーゾウル双対性が確認される。