[논문 리뷰] Homotopy theory for algebras over polynomial monads

Michael Batanin, Clemens Berger|arXiv (Cornell University)|2013. 05. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 51인용 수 61

한 줄 요약

이 논문은 다항 매크로드의 대수에 대한 전이 모델 구조를 구성하는 일반적 프레임워크를 수립하며, 매크로드가 온전한 다항 매크로드일 경우 존재성과 상대적 왼쪽 적절성(왼쪽 properness)을 증명한다. 핵심 기여는 다항 매크로드의 구성 요소의 범주가 최종 대상이 있는 범주의 코프로덕트인지를 기반으로 하는 조합 조건이며, 이는 작도, 모나드, 관련 구조에 대한 필요한 호모토피적 성질을 보장한다.

ABSTRACT

We study the existence and left properness of transferred model structures for "monoid-like" objects in monoidal model categories. These include genuine monoids, but also all kinds of operads as for instance symmetric, cyclic, modular, higher operads, properads and PROP's. All these structures can be realised as algebras over polynomial monads. We give a general condition for a polynomial monad which ensures the existence and (relative) left properness of a transferred model structure for its algebras. This condition is of a combinatorial nature and singles out a special class of polynomial monads which we call tame polynomial. Many important monads are shown to be tame polynomial.

연구 동기 및 목표

• n-작도와 고차 범주론적 구조에 대한 안정화 가설의 기초적 호모토피 문제를 해결하기 위해.
• 작도 및 관련 대수적 구조에 대한 전이 모델 구조에서 왼쪽 적절성의 검증 난이도를 다루기 위해.
• 스웨이드-시플리의 코프리미티브 보정 기법을 모나드를 초월해 다항 매크로드의 대수로 일반화하기 위해.
• 전이 모델 구조의 존재성과 왼쪽 적절성을 보장하는 조합 조건인 '온전함(tameness)'을 규명하기 위해.
• 기존의 대칭, 비대칭, 순환, 모듈라, 고차 작도에 대한 모델 구조 결과를 통합하고 확장하기 위해.

제안 방법

• 텐서 곱이 (비어 있는) 코프리미티브를 작용시킬 때 (비어 있는) h-코프리미티브를 유도하는 h-모노이드 모델 범주 개념을 도입한다.
• 유한 집합과 사상의 자료를 통해 다항 매크로드를 정의하고, 그에 관련된 범주의 조합 조건을 통해 온전한 다항 매크로드의 개념을 도입한다.
• 온전한 다항 매크로드 T에 대해 T-대수의 반자유 코프로덕트에 대한 함자적 '다항 전개'를 구성한다.
• 이러한 전개의 존재성을 통해 전이 모델 구조에서의 모나드 공리와 상대적 왼쪽 적절성을 확립한다.
• 2-맥락 이론에서의 2-매크로드 기법을 활용해 자유 대수 확장을 분석하고 그 호모토피적 행동을 연구한다.
• 범주적 그래프, 존슨-요우 그래프, 조일-스트리트 위상적 그래프 사이의 전단사 관계를 확립하여 매크로드의 조합 구조에 기하학적 의미를 제공한다.

실험 결과

연구 질문

• RQ1 다항 매크로드의 대수에 대한 전이 모델 구조가 어떤 조건에서 존재하는가?
• RQ2 그러한 전이 모델 구조가 언제 상대적으로 왼쪽 적절한가?
• RQ3 다항 매크로드의 어떤 조합적 성질이 그 대수의 양호한 호모토피적 행동을 보장하는가?
• RQ4 스웨이드-시플리 스타일의 코프리미티브 보정 기법은 어떻게 모나드를 초월해 작도 및 고차 구조로 일반화될 수 있는가?
• RQ5 h-코프리미티브와 h-모노이드 모델 범주는 전이 과정에서 왼쪽 적절성을 유지하는 데 어떤 역할을 하는가?

주요 결과

• 다항 매크로드가 온전할 조건은 그에 관련된 구성 요소의 범주가 최종 대상이 있는 범주의 코프로덕트인 경우이다.
• 모든 온전한 다항 매크로드 T에 대해 T-대수의 전이 모델 구조가 존재하며, 상대적으로 왼쪽 적절하다.
• 반자유 코프로덕트 T-대수에 대한 함자적 다항 전개의 존재성은 T의 온전성과 동치이다.
• 이러한 구성은 무로(Muro)의 비대칭 자유 작도 확장 결과를 회복하고 일반화한다.
• h-모노이드 조건은 모나드 공리를 보장하며, 전이 모델 구조의 상대적 왼쪽 적절성을 암시한다.
• 범주적 그래프의 기하적 실현은 경계가 있는 조일-스트리트 그래프와 전단사 관계를 맺으며, 본 논문에서 사용된 범주적 그래프 모델의 타당성을 검증한다.