[논문 리뷰] The homotopy type of the $\\infty$-category associated to a simplicial complex

Dimitri Ara, Georges Maltsiniotis|arXiv (Cornell University)|2015. 03. 09.

Homotopy and Cohomology in Algebraic Topology인용 수 4

한 줄 요약

이 논문은 순서집합에서 유도된 단체 복합체로부터 자유롭게 생성된 엄격한 ∞-군체가 원래 복합체와 동일한 호모토피 유형을 가짐을 증명한다. 스테이너의 증강된 방향성 복합체 이론을 사용하여, 스트리트의 옵티랄에서의 준초기 객체 구조를 통해 이를 증명하고, 엄격한 ∞-군체에서의 토마슨 모델 구조에 필요한 핵심 조건을 확인한다.

ABSTRACT

This paper is part of a series of papers about homotopy theory of strict $n$-categories. In the first paper of this series, we gave conditions that guarantee the existence of a Thomason model category structure on the category of strict $n$-categories. The main goal of our paper is to show one of these conditions. To do so, we associate to any simplicial complex a strict $\\infty$-category generated by a computad. We conjecture that this $\\infty$-category has the same homotopy type as the corresponding simplicial complex and we prove this conjecture when the simplicial complex comes from a poset. We introduce the notion of a quasi-initial object of an $\\infty$-category and we show that Street's orientals admit such an object. One of the main tools used in this text is Steiner's theory of augmented directed complexes.

연구 동기 및 목표

• 엄격한 n-군체에서의 토마슨 모델 범주 구조 존재를 위한 핵심 조건을 검증하기 위해.
• 단체 복합체와 그에 관련된 엄격한 ∞-군체 사이의 호모토피 동치를 확립하기 위해.
• ∞-군체에서의 준초기 객체 개념을 도입하고 분석하기 위해.
• 스트리트의 옵티랄이 준초기 객체를 갖는다는 것을 보여주어 호모토피 추측을 뒷받침하기 위해.
• 스테이너의 증강된 방향성 복합체 이론을 ∞-군체의 호모토피 분석을 위한 기본 도구로 적용하기 위해.

제안 방법

• 컴퓨터드를 사용하여 단체 복합체에서 엄격한 ∞-군체를 자유 생성하는 방식으로 구성하기.
• 스테이너의 증강된 방향성 복합체 이론을 사용하여 ∞-군체의 호모토피적 구조를 모델링하기.
• ∞-군체에서 준초기 객체를 초기 객체의 고차 범주론적 일반화로 정의하기.
• 스트리트의 옵티랄이 준초기 객체를 갖는다는 것을 증명하여, 그들의 수축 가능성과 호모토피적 자명성에 기여하기.
• 순서집합-단체 복합체에 관련된 증강된 방향성 복합체에 대한 수축 사상 수립을 통해 호모토피 동치를 보여주기.
• 명시적인 체인 수축 증거를 통해 결과로 얻어진 ∞-군체가 원래 단체 복합체와 동일한 호모토피 유형을 가짐을 검증하기.

실험 결과

연구 질문

• RQ1 순서집합에서 유도된 단체 복합체로부터 생성된 엄격한 ∞-군체는 복합체 자체와 동일한 호모토피 유형을 가지는가?
• RQ2 준초기 객체 개념은 ∞-군체에서 호모토피적 자명성을 탐지하는 데 사용될 수 있는가?
• RQ3 스트리트의 옵티랄은 준초기 객체를 갖는가? 그리고 이는 그들의 호모토피 유형에 어떤 함의를 갖는가?
• RQ4 스테이너의 증강된 방향성 복합체 이론은 ∞-군체에서의 호모토피 동치를 증명하는 데 어떻게 적용될 수 있는가?
• RQ5 단체 복합체에서 생성된 ∞-군체가 원래 복합체와 토마슨 동치가 되도록 보장하는 조건은 무엇인가?

주요 결과

• 순서집합에서 유도된 단체 복합체로부터 자유롭게 생성된 엄격한 ∞-군체는 원래 단체 복합체와 호모토피 동치이다.
• 스트리트의 옵티랄은 준초기 객체를 갖는다. 이는 그들의 수축 가능성과 자명한 호모토피 유형을 의미한다.
• ∞-군체에서 준초기 객체의 존재는 호모토피 자명성에 대한 충분 조건가능하다.
• 스테이너의 증강된 방향성 복합체 이론은 ∞-군체의 호모토피적 성질 분석을 위한 강력한 프레임워크를 제공한다.
• 컴퓨터드와 증강을 통한 ∞-군체 구성은 명시적인 수축을 갖는 잘 정의된 체인 복합체로 이어진다.
• ∞-군체의 호모토피 유형은 단체 복합체와 일치하며, 순서집합의 맥락에서 핵심 추측을 확인한다.