[논문 리뷰] Sheaves of ordered spaces and interval theories

Krzysztof Worytkiewicz|ArXiv.org|2008. 08. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 3

한 줄 요약

이 논문은 국소적으로 순서가 붙은 공간(지역 epo-공간)의 범주를 기본 부분순서공간의 사이트 위의 층 토포스로 매장함으로써, 방향성 있는 호모토피 이론에 대한 토포스 이론적 프레임워크를 수립한다. D-호모토피(표준 구간에 자연적 순서를 부여한 경우)는 Di-호모토피(이산 순서를 부여한 경우)보다 약한 것으로 보여지며, D-호모토피 모델에서 Di-호모토피 모델로 가는 항등 함자의 왼쪽 쿠일렌 함자임을 증명함으로써, 층 이론적 기법을 통해 두 핵심적인 방향성 있는 호모토피 개념을 연결한다.

ABSTRACT

We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category turns out to be a certain full subcategory of a topos of sheaves over a simpler site. A precise characterisation of this subcategory is provided. The ambient topos makes available some general homotopical machinery.

연구 동기 및 목표

• 국소적으로 순서가 붙은 공간에 대한 호모토피적 프레임워크를 제공함으로써, 이들이 원래 범주에서 합집합에 대해 잘 동작하지 않는 문제를 해결한다.
• 방향성 있는 호모토피의 두 개념—Di-호모토피(구간에 이산 순서를 사용)와 D-호모토피(구간에 자연적 순서를 사용)—를 통합된 맥락에서 비교한다.
• D-호모토피 모델이 Di-호모토피 모델보다 더 약한 것을 보이며, 둘 다 공통의 층 토포스에 매장함으로써 이를 입증한다.
• 그로테인드 백터리 토포스에서의 간격 기반 모델 구조를 이용하여, 서로 다른 순서가 부여된 간격에 의해 유도된 약한 동치를 비교한다.
• D-호모토피 모델에서 Di-호모토피 모델로 가는 항등 함자가 왼쪽 쿠일렌 함자임을 증명함으로써, 호모토피 정보의 계층적 구조를 확립한다.

제안 방법

• 지역 epo-공간의 범주를 기본 부분순서공간의 사이트 위의 층 토포스로 매장하기 위해, 얀다 매핑의 제한을 통해 수행한다.
• 에탈레 사상에 대한 $\pi$-국소성 조건을 사용하여, 층의 전체 부분범주를 통해 국소 epo-공간을 특성화한다.
• 층 토포스 내에서 두 개의 간격 대상 구축: 하나는 이산 순서를 가진 ($\mathcal{I}_d$), 다른 하나는 자연적 순서를 가진 ($\mathcal{I}_D$), 각각 Di-호모토피와 D-호모토피를 나타낸다.
• 간격 간의 사상 정의 및 약한 동치의 관계 분석을 통해, 한 모델 구조의 약한 동치가 다른 모델의 약한 동치와 어떻게 관련되는지 성분별로 분석한다.
• 수축 호모토피 $h(f,g) = f \cdot g$ 를 사용하여 $h_{\mathbb{P}}(\Delta_d) \times h_{\mathbb{P}}(\Delta_d) \to h_{\mathbb{P}}(\Delta_D)$ 를 통해 $!_D$ 가 $\mathcal{I}_d$-약한 동치임을 보인다.
• 시신스키의 간격 기반 모델 구조 결과를 적용하여, $\mathcal{I}_d$ 와 $\mathcal{I}_D$ 에 의해 유도된 두 모델 구조의 약한 동치를 비교한다.

실험 결과

연구 질문

• RQ1 국소적으로 순서가 붙은 공간의 범주는 어떻게 더 잘 동작하는 호모토피 맥락으로 매장될 수 있는가?
• RQ2 국소적으로 순서가 붙은 공간의 맥락에서 Di-호모토피와 D-호모토피의 관계는 무엇인가?
• RQ3 D-호모토피 모델의 약한 동치들은 Di-호모토피 모델의 약한 동치에 포함되는가?
• RQ4 층 이론적 프레임워크는 서로 다른 방향성 있는 호모토피 개념을 통합하고 비교할 수 있는가?
• RQ5 이산 순서 간격과 자연적 순서 간격에 의해 유도된 모델 구조 사이에 쿠일렌 함자 관계가 존재하는가?

주요 결과

• 지역 epo-공간의 범주는 제한된 얀다 매핑을 통해 기본 부분순서공간의 사이트 위의 층 토포스로 완전 매장된다.
• 층이 국소 epo-공간이 되는 것은, 표현 가능한 층들로부터의 $\mathbb{P}$-국소 단사 사상의 가족이 존재하고, 그 쐐기합 사상이 전성사상임을 만족하는 것과 동치이다.
• 간격 간의 사상 $\iota: \mathcal{I}_d \to \mathcal{I}_D$ 는 성분별로 $\mathcal{I}_d$-약한 동치이다.
• D-호모토피 모델의 약한 동치($\mathcal{W}_{\mathcal{I}_D}$)는 Di-호모토피 모델의 약한 동치($\mathcal{W}_{\mathcal{I}_d}$)에 포함된다.
• D-호모토피 모델에서 Di-호모토피 모델로 가는 항등 함자는 왼쪽 쿠일렌 함자이며, 이는 호모토피 정보의 계층적 구조를 시사한다.
• 수축 호모토피 $h(f,g) = f \cdot g$ 는 $!_D$ 가 $\mathcal{I}_d$-약한 동치임을 보이는 데 필수적이지만, 순서 연결성 제약 조건으로 인해 역방향으로는 유사한 호모토피가 존재하지 않는다.