[논문 리뷰] Classification of Constructible Cosheaves

Justin Curry, Amit Patel|arXiv (Cornell University)|2016. 03. 04.

Homotopy and Cohomology in Algebraic Topology인용 수 8

한 줄 요약

이 논문은 국소적으로 콘-유사 분할된 공간 위의 구조적 코셰이브와 입구 경로 범주에서의 함자 사이의 범주적 동치를 수립하며, 특정 열린 포함에 의해 유도되는 동형사상에 기반한 새로운 간단화된 구조성 조건을 제시한다. 주요 기여는 매킨토시의 동치에 대한 고차 범주론을 피한 1-범주적 증명을 제공하며, 집합 값으로 값이 주어질 경우 분할 커버링으로의 확장도 이루어진다.

ABSTRACT

In this paper we prove an equivalence theorem originally observed by Robert MacPherson. On one side of the equivalence is the category of cosheaves that are constructible with respect to a locally cone-like stratification. Our constructibility condition is new and only requires that certain inclusions of open sets are sent to isomorphisms. On the other side of the equivalence is the category of functors from the entrance path category, which has points for objects and certain homotopy classes of paths for morphisms. When our constructible cosheaves are valued in $\mathsf{Set}$ we prove an additional equivalence with the category of stratified coverings.

연구 동기 및 목표

• . 특정 열린 포함에 의해 유도되는 동형사상에 기반한 새로운, 단순화된 구조적 코셰이브 정의를 수립하기 위해.
• . 이러한 구조적 코셰이브와 입구 경로 범주에서의 함자 사이의 동치를 증명하여 매킨토시의 관찰을 일반화하기 위해.
• . 집합의 범주로의 함수로서 입구 경로 범주에서의 함수로 분할 커버링을 분류하기 위해, 고전적 커버링 공간 이론을 분할 환경으로 확장하기 위해.
• . 순수 수학 외의 적용에 적합한 1-범주적 프레임워크 내에서 동치에 대한 자립적이고 접근 가능한 다루기 쉽게 제공하기 위해.

제안 방법

• . 동일한 군집 내 열린 부분집합의 포함이 코셰이브에서 동형사상을 유도하도록 요구하는 코셰이브에 대한 새로운 구조성 조건을 도입하기 위해.
• . 군집를 제어적으로 진입하는 경로의 동치류를 이용해 입구 경로 범주를 정의하며, 동치는 유한한 기본 연산(최대 한 개의 군집을 통해의 단축)을 통해 정의된다.
• . 새로운 동치 관계에 기반해 접합 공리와의 호환성을 확보하기 위해 입구 경로 범주에 대한 반 캄펜 유사 정리를 증명하기 위해.
• . 구조적 코셰이브에서 입구 경로 범주로의 함수로의 완전 충실하고 본질적으로 전사인 함수를 수립하여 주요 동치 정리를 증명하기 위해.
• . 동치를 이용해 입구 경로 범주에서 집합의 범주로의 함수로서의 분할 커버링을 분류하기 위해.
• . 분류가 기존의 예를 회복하는지 확인하기 위해, 예를 들어 R의 콘 위에서의 Z 위의 이동 사상에 의해 유도되는 원의 기본 커버링과, zn을 통한 C의 n중 커버링을 포함한다.

실험 결과

연구 질문

• RQ1 . 어떻게 특정 열린 포함에 의해 유도되는 동형사상에 기반한 구조성 조건을 재정의하여 입구 경로 범주와의 동치를 단순화할 수 있는가?
• RQ2 . 국소적으로 콘-유사 분할된 공간 위의 구조적 코셰이브를 분류하는 정확한 범주론적 구조는 무엇인가?
• RQ3 . 입구 경로 범주에서 Set으로의 함수를 사용하여 분할 커버링을 완전히 분류할 수 있는가?
• RQ4 . 고차 범주론을 피하는 자립적인 1-범주적 증명을 통해 매킨토시의 동치를 증명할 수 있는가?
• RQ5 . 군집-동치에 따라 열린 부분집합의 순서 집합을 국소화함으로써 직접적으로 입구 경로 범주를 구성할 수 있는가?

주요 결과

• . 특정 열린 부분집합의 포함이 동형사상을 유도하도록 요구하는 코셰이브에 대한 새로운 구조성 조건이 도입되었으며, 이 조건은 고전적 정의를 함의한다.
• . 이중 완비 범주 Ω에 값이 주어진 구조적 코셰이브의 범주는 입구 경로 범주에서 Ω로의 함수의 범주와 동치이다.
• . 코셰이브가 Set에 값이 주어지면, 동치는 구조적 커버링의 범주로 제한된다.
• . 입구 경로 범주는 최대 한 개의 군집을 통해 유한한 단축을 允허하는 경로의 동치 관계를 통해 정의되며, 반 캄펜 정리를 가능하게 한다.
• . 분류 결과는 고전적 예를 회복한다: 원의 기본 커버링은 Z 위의 이동 사상에 의해 유도되는 분할 커버링으로 나타나며, zn을 통한 n중 커버링은 유한한 순열 표현을 통해 복구된다.
• . 이 이론은 매킨토시의 통찰을 개념적으로 최소한의 프레임워크로 제공하며, 열린 부분집합 순서 집합의 국소화를 통한 입구 경로 범주의 직접적 구성 가능성을 시사한다.