[논문 리뷰] Cofibrant objects in the Thomason Model Structure

Roman Bruckner, Christoph Pegel|arXiv (Cornell University)|2016. 03. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 1인용 수 4

한 줄 요약

이 논문은 소형 범주, 비순환 범주, 그리고 부분순서집합의 토마손 모델 구조에서 코프리미티브 대상들을 규명하며, 이 세 범주가 동일한 코프리미티브 대상의 집합을 공유한다는 것을 보여준다. 추적 논증과 코프리미티브 포함 사상들을 이용하여, 모든 유한 반순서집합, 가чёт수 트리, 체인, 유한 지그재그, 그리고 다섯 개 이하의 원소를 가진 모든 부분순서집합이 코프리미티브임을 증명하며, 각 경우에서 최소 원소의 포함 사상은 코프리미티브임을 보인다.

ABSTRACT

There are Quillen equivalent Thomason model structures on the category of small categories, the category of small acyclic categories and the category of posets. These share the property that cofibrant objects are posets. In fact, they share the same class of cofibrant objects. We show that every finite semilattice, every chain, every countable tree, every finite zigzag and every poset with five or less elements is cofibrant in all of those structures.

연구 동기 및 목표

• 소형 범주, 비순환 범주, 부분순서집합의 범주에서 토마손 모델 구조의 코프리미티브 대상을 규명하는 것.
• 모든 세 범주가 동일한 코프리미티브 대상의 집합을 공유하므로, 이 모델 구조에서 어떤 부분순서집합이 코프리미티브인지 규명하는 것.
• 유한 반순서집합, 가чёт수 트리, 체인, 유한 지그재그, 그리고 5개 이하의 원소를 가진 모든 부분순서집합 등의 다양한 부분순서집합 클래스가 코프리미티브임을 증명하는 것.
• 각 코프리미티브 부분순서집합에 대한 최소 원소의 포함 사상이 코프리미티브임을 보이는 것.
• 범주론적 구성과 추적 논증을 활용하여, 최대 다섯 개의 원소를 가진 코프리미티브 부분순서집합을 체계적으로 분류하는 것.

제안 방법

• 단순 체인 집합과 범주 간의 관계를 위해 기본 범주 함자 τ₁Sd²와 네브 함자 N을 사용하는 것.
• sSet에서 단사 사상은 코프리미티브이며, τ₁Sd²는 왼쪽 쿠렌 함자이므로 코프리미티브를 유지한다는 사실을 활용하는 것.
• 추적 논증 적용: 만약 한 사상이 코프리미티브 사상의 추적이라면, 그 사상 자신도 코프리미티브이다. 마찬가지로, 코프리미티브 범주의 추적인 범주는 코프리미티브이다.
• 특히 최소 원소의 포함 사상을 기초로 삼아, 코프리미티브 부분순서집합을 합성 및 포함 사상으로 구성하는 것.
• 명시적인 다이어그램 구성과 단체 위의 접기 연산을 사용하여 τ₁Sd²Δⁿ 및 관련 범주에서 코프리미티브 사상을 실현하는 것.
• 각 부분순서집합을 알려진 코프리미티브 범주(예: P([n])\∅ 또는 τ₁Sd²Δⁿ)의 추적으로 포함시켜 코프리미티브임을 검증하는 것. 이 기초 사례들의 코프리미티브성은 이미 알려져 있음.

실험 결과

연구 질문

• RQ1 토마손 모델 구조에서 Cat, Ac, 그리고 Pos의 범주에서 어떤 부분순서집합이 코프리미티브인가?
• RQ2 모든 유한 반순서집합, 가чёт수 트리, 체인, 유한 지그재그가 이 모델에서 코프리미티브일 수 있는가?
• RQ3 각 코프리미티브 부분순서집합에 대한 최소 원소의 포함 사상 자체가 코프리미티브인가?
• RQ4 모든 다섯 개 이하의 원소를 가진 부분순서집합이 추적 또는 합성 논증을 통해 코프리미티브임을 보일 수 있는가?
• RQ5 순서론적 및 범주론적 성질의 관점에서 코프리미티브 부분순서집합의 구조적 특성은 무엇인가?

주요 결과

• 모든 유한 반순서집합은 코프리미티브이다. Lemma 3.4에 의해 P(L)\∅가 코프리미티브이므로, 이는 P(L)의 추적임을 통해 보장된다.
• 모든 가чёт수 트리는 코프리미티브이다. 유도적 합성 및 포함 사상의 반복을 통해 구성되며, 코프리미티브성은 유지된다.
• 모든 체인은 코프리미티브이다. [n]과 동형이므로, τ₁Sd²Δⁿ의 알려진 코프리미티브성에서 유도된다.
• 모든 유한 지그재그 부분순서집합은 코프리미티브이다. 코프리미티브 기초 사례에서 출발하는 명시적 합성 논증을 통해 증명된다.
• 다섯 개 이하의 원소를 가진 모든 부분순서집합은 코프리미티브이다. 44개의 연결된 다섯 원소 부분순서집합과 그 구성 방식을 철저히 분석한 결과 확인되었다.
• 특히 다섯 개 이하의 원소를 가진 코프리미티브 부분순서집합들에 대해, 최소 원소의 포함 사상은 추적 및 합성 논증을 통해 코프리미티브임이 입증되었다.