[논문 리뷰] An Elementary Approach to Truncations

Nima Rasekh|arXiv (Cornell University)|2018. 12. 26.

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

한 줄 요약

이 논문은 무한 합집합이나 집합론적 기초에 의존하지 않고 $(\infty,1)$-범주에서의 절단을 구성하고 분석하는 초등적 접근을 제시한다. 자연수 대상과 유니버스(객체 분류자)를 활용하여 내부 절단 수준을 정의하고, 내부 오른쪽 칸 확장에 의해 국소화 함자를 구성함으로써, 비현실적인 설정에서도 고전적 결과(예: 블러커스-마스키 정리)를 증명할 수 있게 하며, 특정 범주에서 비표준 절단 수준이 나타나는 것을 드러낸다.

ABSTRACT

We study truncated objects using elementary methods. Concretely, we use universes and the resulting natural number object to define internal truncation levels and prove they behave similar to standard truncated objects. Moreover, we take an elementary approach to localizations, giving various equivalent conditions that characterize localizations and constructing a localization out of a sub-universe of local objects via an internal right Kan extension. We then use this general approach, as well as an inductive approach, to construct truncation functors. We use the resulting truncation functors to prove classical results about truncations, such as Blakers-Massey theorem, in the elementary setting. We also give examples of non-presentable $(\infty, 1)$-categories where the elementary approach can be used to define and compute truncations. Finally, we turn around and use truncations to study elementary $(\infty, 1)$-toposes and show how they can help us better understand subobject classifiers and universes

연구 동기 및 목표

• 무한 합집합과 집합론적 구성 없이 $(\infty,1)$-범주에서의 절단을 위한 기초 틀을 개발하는 것.
• 자연수 대상과 유니버스를 사용하여 내부 절단 수준을 정의함으로써, 표준 절단 이론을 초등 $(\infty,1)$-토포스로 일반화하는 것.
• 지역화 객체의 부분유니버스를 따라 내부 오른쪽 칸 확장을 통해 국소화 함자를 구성함으로써, 현실성 조건이 필요 없이 절단 함자를 가능하게 하는 것.
• 일반 $(\infty,1)$-범주에서 고전적 호모토피 이론적 결과(예: 블러커스-마스키 정리)를 초등적 방법으로 증명하는 것.
• 특정 비현실적 $(\infty,1)$-범주에서 절단이 비표준 행동을 보일 수 있는지 탐색하는 것, 예를 들어 비표준 절단 수준이 나타나는 경우

제안 방법

• 자연수 대상을 사용하여 귀납과 순차적 합집합을 내재화함으로써 절단의 귀납적 구성 가능성을 확보한다.
• 유니버스(객체 분류자)를 활용하여 객체 집합을 내부적으로 정의하고 추론함으로써 외부 집합론적 구성에서 벗어나는 것.
• 지역화 객체의 부분유니버스를 따라 내부 오른쪽 칸 확장으로 국소화 함자를 구성함으로써 국소화 과정을 초등적으로 일반화한다.
• 조인 구성과 내부 순차적 합집합을 적용하여 $(-1)$-절단을 반복적 조인 수열의 합집합으로 정의한다.
• 유니버스와 자연수 대상의 내부 구조를 활용하여 루프 공간 반복을 통해 $n$-절단 함자를 귀납적으로 정의한다.
• 모듈리티와 연결성의 특성화를 절단을 통해 정의함으로써, 구성된 절단 함자와 모듈리티를 응용하여 초등적 환경에서 블러커스-마스키 정리를 증명한다.

실험 결과

연구 질문

• RQ1 현실성 조건이나 무한 합집합을 가정하지 않고도 $(\infty,1)$-범주에서 절단을 정의하고 구성할 수 있는가?
• RQ2 유니버스와 자연수 대상을 사용하여 내부적으로 국소화 함자를 어떻게 구성할 수 있는가?
• RQ3 비현실적 $(\infty,1)$-범주에서 내부 절단이 미치는 영향, 특히 절단 수준 측면에서의 영향은 무엇인가?
• RQ4 블러커스-마스키 정리와 같은 고전적 정리를 일반 $(\infty,1)$-범주에서 초등적 방법으로 증명할 수 있는가?
• RQ5 유니버스와 자연수 대상은 초등 $(\infty,1)$-토포스에서 내부 호모토피 이론을 지원하기 위해 어떻게 상호작용하는가?

주요 결과

• 객체 $A$의 $(-1)$-절단은 조인 수열 $A^{\ast n}$의 순차적 합집합으로 구성되며, 이는 무한 합집합을 필요로 하지 않는 초등적 구성이다.
• 국소화 함자는 지역화 객체의 부분유니버스를 따라 내부 오른쪽 칸 확장으로 구성되며, 이는 국소화 과정을 초등적으로 일반화한다.
• $n$-절단 함자는 $n$-번 루프 공간을 절단함으로써 귀납적으로 정의되며, 내부 귀납을 통해 절단의 계층을 수립한다.
• 블러커스-마스키 정리는 구성된 절단 함자와 모듈리티를 사용하여 초등적 환경에서 증명되었으며, 이는 공간에 의존하지 않고 고전적 결과를 회복한다.
• 비현실적 $(\infty,1)$-범주(예: 가산 합집합이 없는 특정 토포스)에서는 비표준 절단 수준이 나타날 수 있으며, 이는 6.3절에서 확인된다.
• 유니버스와 자연수 대상은 초등 $(\infty,1)$-토포스에서 부분객체 분류자와 내부 논리에 대한 정교한 이해를 가능하게 한다.