[논문 리뷰] Subdivision of categories and the homotopy category of Cat

del Hoyo, Matias Luis|arXiv (Cornell University)|2007. 07. 11.

Homotopy and Cohomology in Algebraic Topology인용 수 3

한 줄 요약

이 논문은 소형 범주(Cat)와 위상공간(Top)의 호모토피 범주 간의 동치를 증명하는 퀸렌의 정리에 대한 새로운 증명을 제시한다. 범주에 대한 분할(subdivision)을 도입하고, 매코드의 A-공간에 관한 결과를 활용하여, 부분순서집합의 호모토피 범주를 통해 두 호모토피 범주를 연결함으로써 고전적인 동치에 대한 새로운 길을 제시한다.

ABSTRACT

We propose an alternative proof to the well known result -- attributed to Quillen -- that asserts that the homotopy categories of Cat and Top are equivalent. In order to do that, we relate both homotopy categories with the homotopy category of partially ordered sets, by using subdivision of categories and some classical results by McCord on A-spaces.

연구 동기 및 목표

• 소형 범주(Cat)와 위상공간(Top)의 호모토피 범주 간 동치임을 보여주는 퀸렌의 고전적 결과에 대한 대체 증명을 제공하는 것.
• 부분순서집합의 호모토피 범주를 통해 소형 범주(Cat)와 위상공간(Top)의 호모토피 범주 간의 연결 고리를 설정하는 것.
• 범주의 분할을 중심 기법으로 활용하여 소형 범주의 호모토피 이론적 구조를 재해석하는 것.
• 매코드의 A-공간에 관한 고전적 결과를 적용하여 범주론적 및 위상적 호모토피 이론 간의 다리를 놓는 것.

제안 방법

• 소형 범주의 호모토피적 구조를 정교화하기 위해 범주의 분할을 활용하는 것.
• 네비르 함자(nerve functor)를 사용하여 범주를 단체적 집합과, 그로 인해 위상공간과 연결하는 것.
• 매코드의 A-공간에 관한 정리들을 적용하여, 어떤 범주의 분류공간에서의 특정 사상들이 호모토피 동치임을 보이는 것.
• 소형 범주의 호모토피 범주와 부분순서집합의 호모토피 범주 사이에 약한 동치의 지그재그를 구축하는 것.
• 매코드의 결과를 바탕으로 부분순서집합의 호모토피 범주는 CW 복합체의 호모토피 범주와 동치임을 활용하는 것.
• 범주의 분류공간과 그 분할의 분류공간 사이에 호모토피 동치를 구축함으로써 호모토피 유형을 유지하는 것.

실험 결과

연구 질문

• RQ1 범주의 분할을 핵심 기법으로 삼아, Cat와 Top의 호모토피 범주 간의 동치를 재증명할 수 있는가?
• RQ2 범주의 분할은 부분순서집합의 호모토피 이론과 A-공간의 이론과 어떻게 관련이 있는가?
• RQ3 매코드의 A-공간에 관한 결과를 얼마나 널리 활용하여 범주적 맥락에서 호모토피 동치를 확립할 수 있는가?
• RQ4 소형 범주의 호모토피 범주에서 부분순서집합과 그 분류공간을 거쳐 위상공간의 호모토피 범주로 가는 표준적인 경로가 존재하는가?
• RQ5 네비르 함자가 범주의 분할과 위상적 호모토피 유형을 연결하는 데 어떤 역할을 하는가?

주요 결과

• 범주의 분할은 그 분류공간과 분할된 범주의 분류공간 사이에 호모토피 동치를 유도하며, 호모토피 유형을 유지한다.
• 분할 구축을 통해 소형 범주의 호모토피 범주는 부분순서집합의 호모토피 범주와 동치이다.
• 매코드의 A-공간에 관한 결과는, 적절한 구조를 지닌 범주의 분류공간이 CW 복합체와 호모토피 동치임을 보여주는 데 핵심적인 역할을 한다.
• 부분순서집합을 거쳐 약한 동치의 지그재그를 통해 Quillen의 Cat와 Top 간 동치에 대한 새로운 길을 확립한다.
• 범주의 네비르와 그 분할의 네비르는 호모토피 동치이므로, 분할의 호모토피 불변성을 확인한다.
• 증명은 Quillen의 원래 논증에 의존하지 않고, 부분순서집합을 중간 범주로 삼아 소형 범주의 호모토피 범주가 위상공간의 호모토피 범주와 동치임을 보여준다.