[논문 리뷰] Dendroidal Segal spaces and infinity-operads

Denis-Charles Cisinski, Ieke Moerdijk|Radboud Repository (Radboud University)|2010. 10. 24.

Homotopy and Cohomology in Algebraic Topology참고 문헌 11인용 수 8

한 줄 요약

이 논문은 ∞-오ペ라드의 호모토피 이론적 모델로 덴로이달 세갈 공간과 세갈 오페라드를 제안하며, 완전한 덴로이달 세갈 공간, 세갈 오페라드, ∞-오페라드의 모델 범주 사이에 쿠일렌 동치를 확립한다. 이는 리즈크의 완전한 세갈 공간과 조일의 쿼아카테고리의 일반화로, 트리의 세갈 코어를 사용하여 오페라디크 설정에서의 고차 대수적 구조의 다양한 호모토피 이론적 모델을 통합한다.

ABSTRACT

We introduce the dendroidal analogs of the notions of complete Segal space and of Segal category, and construct two appropriate model categories for which each of these notions corresponds to the property of being fibrant. We prove that these two model categories are Quillen equivalent to each other, and to the monoidal model category for infinity-operads which we constructed in an earlier paper. By slicing over the monoidal unit objects in these model categories, we derive as immediate corollaries the known comparison results between Joyal's quasi-categories, Rezk's complete Segal spaces, and Segal categories.

연구 동기 및 목표

• 덴로이달 집합을 사용하여 완전한 세갈 공간과 쿼아카테고리의 이론을 오페라디크 설정으로 확장한다.
• ∞-오페라드의 모델로 덴로이달 세갈 공간과 완전한 덴로이달 세갈 공간을 정의하고 연구한다.
• ∞-오페라드, 세갈 오페라드, 완전한 덴로이달 세갈 공간의 모델 범주 사이에 쿠일렌 동치를 확립한다.
• 모노이드 단위 η에 대한 슬라이싱을 통해 고전적 쿼아카테고리와 완전한 세갈 공간 결과를 복원한다.
• 덴로이달 접근을 통해 고차 대수적 구조의 다양한 모델을 통합하는 프레임워크를 제공한다.

제안 방법

• 트리의 세갈 코어를 단체의 1스켈레톤의 일반화로 도입하여, 덴로이달 집합에서 세갈 조건을 정의하는 데 사용한다.
• 스펙트럴 덴로이달 집합(spdSet)에 대해, 세갈 코어에 기반한 세갈 조건을 만족하는 피브란트 대상이 존재하는 모델 범주 구조를 구성한다.
• 리즈크의 완전성 조건과 유사한 조건을 추가하여 완전한 덴로이달 세갈 공간을 정의한다.
• 이전 연구에서 얻은 ∞-오페라드의 모델 범주와 완전한 덴로이달 세갈 공간의 모델 범주 사이에 쿠일렌 동치를 확립한다.
• 세갈 프리-오페라드와 세갈 오페라드를 sdSet의 부분범주에서 피브란트 대상으로 정의하고, 완전한 덴로이달 세갈 공간으로 향하는 왼쪽 쿠일렌 함자를 구성한다.
• γ*와 γ*를 사용하여 세갈 오페라드와 완전한 덴로이달 세갈 공간을 연결하고, γ*가 왼쪽 쿠일렌 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 완전한 세갈 공간의 개념은 덴로이달 집합을 사용하여 범주에서 오페라드로 어떻게 일반화될 수 있는가?
• RQ2 ∞-오페라드를 모델링하는 덴로이달 공간에 적합한 세갈 조건은 무엇인가?
• RQ3 ∞-오페라드, 세갈 오페라드, 완전한 덴로이달 세갈 공간의 호모토피 이론은 어떻게 관련되어 있는가?
• RQ4 쿼아카테고리, 세갈 범주, 완전한 세갈 공간 사이의 고전적 쿠일렌 동치는 더 일반적인 덴로이달 프레임워크에서 어떻게 복원될 수 있는가?
• RQ5 트리의 세갈 코어는 덴로이달 세갈 공간의 호모토피적 구조를 정의하는 데 어떤 역할을 하는가?

주요 결과

• 완전한 덴로이달 세갈 공간의 모델 범주는 이전 연구에서 구성한 ∞-오페라드의 모델 범주와 쿠일렌 동치이다.
• 세갈 오페라드의 모델 범주는 왼쪽 쿠일렌 함자 γ*를 통해 완전한 덴로이달 세갈 공간의 모델 범주와 쿠일렌 동치이다.
• 함수 K: ∞-Operad → sdSet은 ∞-오페라드를 완전한 덴로이달 세갈 공간으로 보낸다. 그리고 γ*K는 세갈 오페라드 모델 구조에서 피브란트 대체를 제공한다.
• 모노이드 단위 η에 대한 슬라이싱을 통해 조일의 쿼아카테고리와 리즈크의 완전한 세갈 공간을 복원할 수 있으며, 이는 덴로이달 프레임워크가 이러한 고전적 모델을 통합하고 있음을 보여준다.
• 세갈 코어 구성은 ∞-오페라드 사이의 약한 동치를 본질적으로 전성적이고 완전한 충실성 조건을 만족하는 사상으로 정확하게 특성화한다.
• 덴로이달 집합의 세갈 프리-오페라드로의 포함은 왼쪽 쿠일렌 동치이며, 덴로이달 집합이 세갈 프리-오페라드의 전형적인 부분범주이자 동치인 호모토피 이론을 가짐을 보여준다.