[논문 리뷰] Internal and local homotopy theory

Zhen Lin Low|arXiv (Cornell University)|2014. 04. 30.

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

한 줄 요약

이 논문은 그로텐디크 사이트 위의 단순 복합체 층의 호모토피 이론에서의 약한 동치들이 프레시프 타입의 이론을 이룬다는 것을 증명한다. 즉, 이러한 약한 동치들은 프레시프 토포스에 의해 분류된다. 정칙 범주에서의 내부 호모토피 이론과 칸의 Ex∞ 함수의 내부 형태를 사용하여, 저자는 국소적 약한 호모토피 동치가 J-국소적 약한 동치와 정확히 일치함을 증명함으로써, 구성적 설정에서 국소 호모토피 이론에 대한 새로운 논리적이고 범주론적인 기초를 제공한다.

ABSTRACT

There is a well-established homotopy theory of simplicial objects in a Grothendieck topos, and folklore says that the weak equivalences are axiomatisable in the geometric fragment of $L_{ω_1, ω}$. We show that it is in fact a theory of presheaf type, i.e. classified by a presheaf topos. As a corollary, we obtain a new proof of the fact that the local Kan fibrations of simplicial presheaves that are local weak homotopy equivalences are precisely the morphisms with the expected local lifting property.

연구 동기 및 목표

• 단순 복합체 층의 호모토피 이론에서의 약한 동치들이 Lω1,ω의 기하적 조각에서 공리화 가능하며, 프레시프 타입의 이론을 이룬다는 것을 증명하는 것.
• 시그마-프리톱로스에서의 단순 복합체 대상에 대해 칸의 Ex∞ 함수의 내부 형태를 개발하여 조르딘의 국소 호모토피 이론을 일반화하는 것.
• 내부 호모토피 이론에서의 내부 끼워넣기 성질이 정확히 국소적 약한 호모토피 동치의 국소 끼워넣기 성질임을 보여, 국소적 약한 호모토피 동치에 대한 국소 끼워넣기 성질에 대한 새로운 증명을 제공하는 것.
• 범주론적 논리와 토포스 이론적 방법을 사용하여 조르딘과 데거퍼-아이삭센의 고전적 결과들을 재구성하고 재해석하는 것.

제안 방법

• 시그마-프리톱로스 내에서 칸의 Ex∞ 함수의 내부 형태를 구성하여 단순 복합체 대상에 대한 내부 약한 동치를 정의하는 것.
• 정칙 범주에서의 약한 피복의 개념을 사용하여 내부 칸 필라션과 끼워넣기 성질을 정의하는 것.
• 완전성 정리를 적용하여 단순 복합체 집합에서의 고전적 호모토피 이론 결과들을 토포스 내의 내부 설정으로 이행하는 것.
• 단순 복합체 프레시프에서 J-국소적 약한 호모토피 동치의 집합이 프레시프 토포스에 의해 분류됨을 보이며, 이러한 동치들이 피복과 쌍대합에 대해 보존된다는 사실을 이용하는 것.
• 프레시프와 층 사이의 수반 관계를 활용하여 층 토포스 내의 내부 약한 동치를 단순 복합체 프레시프에서의 국소적 약한 동치와 연결하는 것.
• 가짜피복 정리( pseudopullback theorem )를 사용하여 J-국소적 약한 호모토피 동치의 전체 부분범주가 접근 가능하고 필터링된 합에 대해 닫혀 있음을 보이는 것.

실험 결과

연구 질문

• RQ1 단순 복합체 층의 호모토피 이론에서의 약한 동치들은 범주론적 논리에서 프레시프 타입의 이론으로 공리화될 수 있는가?
• RQ2 시그마-프리톱로스 위의 단순 복합체 대상에서의 칸의 Ex∞ 함수의 내부 형태는 약한 동치를 어떻게 특징짓는가?
• RQ3 단순 복합체 프레시프에서의 J-국소적 약한 호모토피 동치는 문헌에서 알려진 표준적 국소적 약한 동치의 개념(예: 데거퍼-아이삭센)과 일치하는가?
• RQ4 국소적 약한 호모토피 동치에 대한 국소 끼워넣기 성질은 층의 내부 호모토피 이론에서의 내부 끼워넣기 성질과 동치인가?
• RQ5 단순 복합체 프레시프에서 J-국소적 약한 호모토피 동치의 전체 부분범주의 범주론적 구조(예: 접근 가능성, 합에 대한 닫힘)는 어떠한가?

주요 결과

• 단순 복합체 층의 약한 동치의 집합은 프레시프 토포스에 의해 분류되며, 이는 그것이 프레시프 타입의 이론임을 확인한다.
• 단순 복합체 프레시프의 사상이 J-국소적 약한 호모토피 동치일 조건은, 데거퍼와 아이삭센의 의미에서의 국소적 약한 동치일 때이고, 그 때에만 성립한다.
• 사상이 J-국소적 트리비얼 칸 필라션일 조건은, 동시에 J-국소적 칸 필라션과 J-국소적 약한 호모토피 동치여야 한다.
• J-국소적 약한 호모토피 동치의 전체 부분범주는 필터링된 합에 대해 닫혀 있으며, 접근 가능하다.
• 층 토포스 내의 내부 약한 호모토피 동치에 대한 내부 끼워넣기 성질은 정확히 단순 복합체 프레시프에서의 국소 끼워넣기 성질에 대응한다.
• 자명한 사상 X →j∗j∗X 는 J-국소적 약한 호모토피 동치이며, 이는 조르딘의 결과를 일반화한 것이다.