[논문 리뷰] Homotopy theory of homotopy algebras

Bruno Vallette|2014. 11. 20.

Advanced Topics in Algebra인용 수 9

한 줄 요약

이 논문은 dg ${\mathcal{P}}^{!}$-코알제브라의 conilpotent 계열에 대해 새로운 모델 범주 구조를 수립한다. 이는 dg ${\mathcal{P}}$-대수의 범주와 Quillen 동치이며, 모든 대상이 코프라피어이며, 프라피어 대상들만이 필라프리 대상이 되는 구조이다. 운영적 계산과 정교화된 약한 동치의 개념을 사용하여, ${\mathcal{P}}_{\infty}$-대수의 무한형 준동형을 통한 호모토피 이론을 제공하며, 호모토피 범주의 완전하고 함의적인 기술과 무한형 범주 구조를 제공한다.

ABSTRACT

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The method consists in using the operadic calculus to endow the category of coalgebras over the Koszul dual cooperad or the bar construction with a new type of model category structure, Quillen equivalent to that of algebras. We provide an explicit homotopy equivalence for infinity-morphisms, which gives a simple description of the homotopy category, and we endow the category of homotopy algebras with an infinity-category structure.

연구 동기 및 목표

• 연결성 가정 없이도 작동하는, 운영자 ${\mathcal{P}}$-대수의 호모토피 이론을 개발하는 것.
• 클래식한 의미에서 코바르 함자(코바르 함자)가 준동치를 보존하지 않는 문제를 해결하기 위해, 코알제브라에 새로운 약한 동치의 클래스를 도입함으로써 해결하는 것.
• ${\mathcal{P}}_{\infty}$-대수의 호모토피 범주를 무한형 준동형을 통해 함의적이고 함수적으로 기술하는 것.
• 카스졸 쌍대 코오퍼레이터 또는 바 건축을 통한 새로운 모델 범주를 도입하여, 호모토피 대수의 범주에 잘 정의된 무한형 범주 구조를 제공하는 것.
• 시물로이드 집합을 ${\mathcal{P}}^{!}$-코알제브라로 대체함으로써, 조요–류리의 $(\infty,1)$-범주 이론을 운영자 설정으로 일반화하는 것.

제안 방법

• conilpotent dg ${\mathcal{P}}^{!}$-코알제브라의 범주에 대해 새로운 모델 범주 구조를 수립하며, 이 경우 약한 동치는 준동치의 엄밀한 부분집합이 되도록 한다.
• LV12의 [Chapter 10–11]에서 제시된 운영적 계산을 사용하여 바 건축과 운영자에 대한 코스졸 dual리티를 정의하고 분석한다.
• 무한형 준동형을 새로운 모델 범주 내의 사상으로 정의하며, 이는 ${\mathcal{P}}_{\infty}$-대수 사이의 사상의 호모토피 일致한 형태이다.
• 바 건축과 코알제브라의 곱에 필터를 도입하여 스펙트럴 시퀀스를 분석하고, 주요 사상들(예: $\mathrm{id} \times \mathrm{gr}(\upsilon_{\kappa}D)$)이 준동치임을 증명한다.
• 유도된 필터의 스펙트럴 시퀀스를 비교하여, $\mathrm{B}_{\kappa}K \times D$의 항등사상이 필터링된 준동치임을 증명한다.
• 스펙트럴 시퀀스의 수렴성과 필터의 유계성에 기반하여, 사상 $\mathrm{id} \times \upsilon_{\kappa}D$ 가 새로운 모델 구조에서 약한 동치임을 결론짓는다.

실험 결과

연구 질문

• RQ1 연결성 가정 없이도 작동하는, 운영자 ${\mathcal{P}}$-대수의 호모토피 이론을 어떻게 정의할 수 있는가?
• RQ2 코바르 함자가 dg ${\mathcal{P}}$-대수와 Quillen 동치를 유도하도록 하기 위해, ${\mathcal{P}}^{!}$-코알제브라에 적절한 약한 동치의 클래스는 무엇인가?
• RQ3 ${\mathcal{P}}_{\infty}$-대수 사이의 무한형 준동형은 어떻게 함의적이고 함수적인 호모토피 기술을 가질 수 있는가?
• RQ4 새로운 ${\mathcal{P}}^{!}$-코알제브라에 대한 모델 범주가 조요–류리의 $(\infty,1)$-범주 이론과 어떻게 관련되어 있는가?
• RQ5 ${\mathcal{P}}_{\infty}$-대수의 호모토피 범주의 구조는 무엇이며, 이를 필라프리-코프라피어 대상의 부분범주로 어떻게 기술할 수 있는가?

주요 결과

• conilpotent dg ${\mathcal{P}}^{!}$-코알제브라의 범주는 dg ${\mathcal{P}}$-대수의 범주와 Quillen 동치인 모델 범주 구조를 지닌다. 모든 대상이 코프라피어이며, 필라프리 대상들은 정확히 프라피어 대상들이다.
• 새로운 ${\mathcal{P}}^{!}$-코알제브라에 대한 약한 동치는 준동치의 엄밀한 부분집합이 되며, 이는 코바르 함자가 약한 동치를 보존하고 Quillen 동치를 유도함을 보장한다.
• ${\mathcal{P}}_{\infty}$-대수 사이의 무한형 준동형은 새로운 모델 범주 내의 사상으로 실현되며, 이는 보편적이고 함수적인 호모토피 관계를 제공한다.
• $\mathrm{B}_{\kappa}K \times D$와 $\mathrm{B}_{\kappa}K \times \mathrm{B}_{\kappa}\Omega_{\kappa}D$의 필터링에 대한 스펙트럴 시퀀스 분석을 통해 $\mathrm{id} \times \upsilon_{\kappa}D$ 가 필터링된 준동치임을 보이고, 따라서 새로운 모델 구조에서 약한 동치임을 증명한다.
• ${\mathcal{P}}_{\infty}$-대수의 호모토피 범주는 새로운 모델 범주의 필라프리-코프라피어 대상의 전체 부분범주와 동치이며, 이는 완전하고 명시적인 기술을 제공한다.
• 호모토피 대수의 범주는 새로운 ${\mathcal{P}}^{!}$-코알제브라에 대한 모델 범주를 통해 자연스러운 무한형 범주 구조를 지닌다. 필라프리 대상들은 ${\mathcal{P}}_{\infty}$-대수에 대응하고, 사상들은 무한형 준동형에 대응한다.