[논문 리뷰] Operads up to Homotopy and Deformations of Operad Maps

van der Laan, P I Pepijn|arXiv (Cornell University)|2002. 08. 06.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 24

한 줄 요약

이 논문은 $L_∞$-대수를 구성하여 $Q \to P$의 작도 맵 변형을 제어한다. 여기서 $Q$는 작도이고 $P$는 $Q$-대수이며, $A$는 연산의 컬렉션일 때, $A[-1]$ 위의 코프리(cofree) 코오퍼레이드에 미분을 부여한다. 이 구성은 코프리스 코herent 해상도의 선택과 무관하게 준위가 동일한 $L_\infty$-대수를 얻으며, Markl의 코탄젠트 코homology와 Balavoine 및 Kontsevich–Soibelman의 $Q$-대수에 대한 변형 이론을 통합한다.

ABSTRACT

From the `cofree' cooperad $T'(A[-1])$ on a collection $A$ together with a differential, we construct an $L_\infty$-algebra structure on the total space $\bigoplus_nA(n)$ that descends to coinvariants. We use this construction to define an $L_\infty$-algebra controlling deformations of the operad $P$ under $Q$ from a cofibrant resolution for an operad $Q$, and an operad map $Q\longrightarrow P$. Starting from a diffent cofibrant resolution one obtains a quasi isomorohic $L_\infty$-algebra. This approach unifies Markl's cotangent cohomology of operads and the approaches to deformation of $Q$-algebras by Balavoine, and Kontsevich and Soibelman.

연구 동기 및 목표

• 작도 $Q$와 $Q$-대수 $P$ 사이의 작도 맵 $Q \to P$에 대한 변형 이론을 정의하기.
• Markl, Balavoine, 그리고 Kontsevich–Soibelman의 $Q$-대수에 대한 기존 접근법을 통합하기.
• 컬렉션 $A$ 위의 코프리 코오퍼레이드 $T'(A[-1])$에 대한 미분을 통해 그러한 변형을 제어하는 $L_\infty$-대수를 구성하기.
• 결과로 얻어진 $L_\infty$-대수가 코프리스 해상도의 선택과 무관하게 준위가 동일한 것으로 보장되도록 하기.

제안 방법

• 컬렉션 $A$를 시작으로 이동된 컬렉션 $A[-1]$ 위의 코프리 코오퍼레이드 $T'(A[-1])$를 구성하기.
• $T'(A[-1])$에 미분을 도입하여 전체 공간 $\bigoplus_n A(n)$ 위에 $L_\infty$-대수 구조를 정의하기.
• $L_\infty$-대수 구조가 코인variants로 내림내릴 수 있도록 보장하여 호모토피 정보를 유지하기.
• 결과로 얻어진 $L_\infty$-대수를 사용하여 작도 맵 $Q \to P$의 변형을 제어하기.
• 다른 코프리스 해상도의 선택이 준위가 동일한 $L_\infty$-대수를 유도함을 보여주기.
• 이 틀을 통해 Markl의 코탄젠트 코homology와 Balavoine 및 Kontsevich–Soibelman의 변형 이론이 통합됨을 확립하기.

실험 결과

연구 질문

• RQ1 어떻게 호모토피 대수를 사용하여 작도 맵 $Q \to P$에 대한 변형 이론을 구성할 수 있는가?
• RQ2 미분이 있는 코프리 코오퍼레이드 $T'(A[-1])$는 이러한 변형을 제어하는 $L_\infty$-대수를 정의하는 데 어떤 역할을 하는가?
• RQ3 코프리스 해상도의 선택은 결과로 얻어진 $L_\infty$-대수 구조에 어떤 영향을 미치는가?
• RQ4 이 구성은 Markl의 코탄젠트 코homology와 Balavoine 및 Kontsevich–Soibelman의 변형 이론을 어떻게 통합하는가?
• RQ5 작도 맵 변형을 제어하는 $L_\infty$-대수를 해상도 선택과 무관하게 준위가 동일하도록 만들 수 있는가?

주요 결과

• 코프리 코오퍼레이드 $T'(A[-1])$에 대한 미분으로부터 $\bigoplus_n A(n)$ 위에 $L_\infty$-대수 구조를 구성하였으며, 이는 코인variants로 내림내릴 수 있다.
• 이 $L_\infty$-대수는 $Q$가 코프리스로 해상도를 갖는 조건에서 작도 맵 $Q \to P$의 변형을 제어한다.
• 다른 코프리스 해상도의 선택이 준위가 동일한 $L_\infty$-대수를 유도하므로, 변형 복합체의 호모토피 불변성이 보장된다.
• 이 구성은 Markl의 코탄젠트 코homology와 Balavoine 및 Kontsevich–Soibelman의 $Q$-대수 변형 이론을 일반화하고 통합한다.
• 이 틀은 작도 이론의 다양한 맥락에서 적용 가능한 단일 호모토피 모델을 제공한다.
• 이 방법은 작도 호모토피 이론과 $L_\infty$-대수 기반 변형 이론 사이에 체계적인 연결 고리를 설정한다.