[논문 리뷰] Enriched diagrams of topological spaces over locally contractible enriched categories

Philippe Gaucher|arXiv (Cornell University)|2018. 10. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 5

한 줄 요약

이 논문은 국소적으로 수축 가능한 소형 범주 위에서 위상수학적 공간의 위상적 증강 다이어그램에 대한 사영 모델 구조가 표준 Quillen 모델 구조와 Quillen 동치임을 확립한다. 증강된 설정에서 작업을 통해 방향성 있는 호모토피 이론에서 비감소 호메오모르피즘의 군 𝒢에 대한 호모토피 쌓음이 약한 호모토피 유형을 유지하지 못하는 핵심 문제를 해결하며, 증강된 프레임워크가 정확한 호모토피적 행동을 복원함을 보여준다.

ABSTRACT

It is proved that the projective model structure of the category of topologically enriched diagrams of topological spaces over a topologically enriched locally contractible small category is Quillen equivalent to the standard Quillen model structure of topological spaces. We give a geometric interpretation of this fact in directed homotopy.

연구 동기 및 목표

• 방향성 있는 호모토피 이론에서 비감소 호메오모르피즘의 군 𝒢에 대한 호모토피 쌓음이 약한 호모토피 유형을 유지하지 못하는 이유를 해결하기 위해.
• 증강 다이어그램의 사영 모델 구조와 표준 Quillen 모델 구조 사이의 Quillen 동치를 확립하기 위해.
• d-공간과 다중점 d-공간의 맥락에서 이 동치의 기하학적 해석을 제공하기 위해.
• 증강된 설정이 비증강 설정이 실패하는 바, 특히 군 𝒢에 대해 정확한 호모토피적 행동을 복원함을 보여주기 위해.
• 증강 범주 이론과 혼합 모델 구조를 통해 호모토피 쌓음의 구성이 약한 동치를 유지하도록 일반화하기 위해.

제안 방법

• 논문은 위상수학적으로 증강된 범주를 사용하며, 소형 위상수학적으로 증강된 범주 𝒫에서 Δ-생성 위상공간의 범주로의 함자를 다이어그램으로 정의한다.
• 이러한 다이어그램의 범주에 대해 사영 혼합 모델 구조를 구성하며, 여기서 약한 동치와 필라션은 점별로 정의된다.
• 모노이드 𝒢(또는 𝒫)에 대한 싱글턴의 포함은 혼합 코프리피케이션임을 증명하여 적절한 모델 구조 성질을 보장한다.
• 특히 Shulman의 의미에서 '매우 좋은 범주' 이론과 Quillen 이변수 수반의 이론을 포함한 증강된 호모토피 대수학의 결과를 적용한다.
• 범주 내 모든 매핑 공간이 코프리피케이션임과 동시에 싱글턴의 포함이 𝒫에 대해 혼합 코프리피케이션임을 이용하여 Quillen 동치 조건을 검증한다.
• 얇은 함자에 의해 𝒫에서 한 개의 객체를 갖는 범주로 유도되는 오른쪽 Quillen 함자에 의해 사영 모델 구조 사이의 Quillen 동치를 확립한다.

실험 결과

연구 질문

• RQ1 비감소 호메오모르피즘의 군 𝒢에 대한 다이어그램의 호모토피 쌓음은 입력 공간이 수축 가능하더라도 약한 호모토피 유형을 유지하지 못하는 이유는 무엇인가요?
• RQ2 다이어그램의 범주를 증강함으로써 방향성 있는 호모토피 이론에서 호모토피 쌓음의 구성이 수정될 수 있을까요?
• RQ3 국소적으로 수축 가능한 범주 위에서 증강 다이어그램의 사영 모델 구조는 표준 Quillen 모델 구조와 Quillen 동치인가요?
• RQ4 증강된 구조는 방향성 있는 호모토피 이론에서 호모토피 쌓음의 정확한 호모토피적 행동을 복원하는 데 어떤 역할을 하나요?
• RQ5 혼합 모델 구조와 매핑 공간의 코프리피케이션 조건은 Quillen 동치 결과에 어떻게 기여하나요?

주요 결과

• 군 𝒢 위에서의 다이어그램 𝒟^𝒢(X,dX)의 호모토피 쌓음은 B𝒢와 호모토피 유형을 가지며, 이는 dX가 싱글턴이더라도 수축 가능하지 않다.
• 모노이드 𝒫 = 𝒫에 대해 다이어그램 𝒟^𝒫(X,dX)의 호모토피 쌓음은 dX와 약한 호모토피 동치이며, 정확한 호모토피 유형을 유지한다.
• 𝒫가 국소적으로 수축 가능할 경우, [𝒫, Top]₀의 사영 모델 구조는 표준 Quillen 모델 구조 Top와 Quillen 동치이다.
• 싱글턴의 포함이 Cole-Strøm 모델 구조에서 혼합 코프리피케이션임을 보여주며, 이는 모델 범주 공리계가 성립하는 데 필수적이다.
• 얇은 함자 f*: [Thin(𝒫), Top]₀ → [𝒫, Top]₀에 의해 유도되는 Quillen 수반은 Quillen 동치이며, 이는 주요 결과를 증명한다.
• [𝒫, Top]₀의 사영 혼합 모델 구조는 올바른 성질을 가지며, 사영 Quillen 모델 구조와 Quillen 동치이므로 표준 호모토피 이론과의 호환성을 보장한다.