[논문 리뷰] The Local Joyal Model Structure

Nicholas J. Meadows|arXiv (Cornell University)|2015. 07. 31.

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

한 줄 요약

이 논문은 보일 광역에서의 단순형 셰이브의 국소 조일 모델 구조를 도입하며, 국소 칸 동치를 국소 조일 동치로 대체함으로써 자르딘 모델 구조를 일반화한다. 이는 코페이브가 단사임을 보장하고, 분해가 국소 조일 동치인 쿠일렌 모델 구조를 수립하며, 경로 범주를 통한 고차원 오ート마타 분석과 호모토피 이론적 도구(예: 내림내림성)를 가능하게 한다.

ABSTRACT

It is shown that the Joyal quasi-category model structure for simplicial sets extends to a model structure on simplicial presheaves, for which the weak equivalences are local (or stalkwise) Joyal equivalences.

연구 동기 및 목표

• 고차원 오ート마타의 호모토피 이론적 프레임워크를 쿼어티카테고리와 경로 범주를 사용하여 개발하기 위해.
• 국소 칸 동치를 국소 조일 동치로 대체함으로써 자르딘 모델 구조를 일반화하기 위해.
• 보일 광역에서의 단순형 셰이브에 대해 국소 조일 동치를 약한 동치로 하는 쿠일렌 모델 구조를 수립하기 위해.
• 내림내림 이론과 호모토피 불변성을 통해 동시 시스템의 국소-전역 분석을 가능하게 하기 위해.
• 분할 성질과 조일의 τ₀ 불변량을 이용한 분할 성질로 분할과 약한 동치를 특성화하기 위해.

제안 방법

• 보일 국소화 기법을 적응하여 단순형 셰이브 위의 국소 조일 모델 구조를 구성한다.
• 경로 범주 함자 P: sSet → Cat 가 조일 동치를 감지하는 호모토피 불변량으로 사용된다.
• 국소 조일 동치를 정의하여, 모든 쿼어티카테고리 B와 X에 대해 τ₀(B, X)에 대한 전단사 사상으로 유도되는 사상으로 정의한다.
• 조일 모델 구조의 생성 항등형 쌍순화를 사용하여 맵을 분해하기 위한 소형 객체 방법을 적용한다.
• 국소 조일 모델 구조에서의 트리비얼 피브레이션은 정확히 분할별 트리비얼 피브레이션이라는 것을 수립한다.
• 두 번째에서 세 번째 성질과 당김 추론을 사용하여, 분할별 쿼어피브레이션인 동시에 국소 조일 동치인 맵은 분할별 트리비얼 피브레이션이라는 것을 증명한다.

실험 결과

연구 질문

• RQ1 보일 광역에서의 단순형 셰이브에 대해, 칸 동치 대신 조일 동치를 사용하는 자르딘 모델 구조와 유사한 국소 조일 모델 구조를 구성할 수 있는가?
• RQ2 국소 조일 동치는 단순형 집합의 경로 범주와 기본군의 범주와 어떻게 관련이 있는가?
• RQ3 국소 조일 모델 구조에서 분할과 약한 동치의 정확한 특성은 무엇인가?
• RQ4 국소 조일 모델 구조는 고차원 오ート마타에 대한 내림내림 이론을 지원할 수 있는가?
• RQ5 셰이프화를 통해 국소 조일 모델 구조는 표준 조일 모델 구조와 쿠일렌 동치인가?

주요 결과

• sSh(B) 위의 국소 조일 모델 구조는 존재하며, sSet 위의 조일 모델 구조와 쿠일렌 동치이다.
• 국소 조일 모델 구조에서의 코페이브는 정확히 단순형 셰이브의 단사 사상이다.
• 분할은 분할별 쿼어피브레이션으로 특성화되며, 즉 각 스토크에서 쿼어피브레이션이 되는 맵이다.
• 약한 동치는 국소 조일 동치이며, 모든 쿼어티카테고리 X에 대해 τ₀(Y, X) → τ₀(X, X) 가 전단사인 맵 f로 정의된다.
• 분할별 쿼어피브레이션인 동시에 국소 조일 동치인 맵은 분할별 트리비얼 피브레이션이며, 이는 모델 구조 공리계를 확인한다.
• 국소 조일 모델 구조에서의 트리비얼 코페이브의 집합은 조일 모델 구조의 생성 항등형 쌍순화 집합의 y(b) × φ 에 대한 이행 복합체의 코어티드의 생성이다.