[논문 리뷰] OCHA and Leibniz Pairs, towards a Koszul duality

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

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 콘체비치의 스위스치즈 오페라드 $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})$는 대수 간의 동형이며, 이는 대수 수준에서의 코즐러 듀얼리티를 확인한다.