[논문 리뷰] On Infinity Topoi

Jacob Lurie|arXiv (Cornell University)|2003. 06. 05.

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

한 줄 요약

이 논문은 그로텐디크 토포스의 무한 카테고리적 일반화인 인피니티 토포스를 소개하며, 내재적 정의와 외재적 정의를 연결하는 지라우드 정리의 무한 카테고리적 동반체를 수립한다. 이는 고차 카테고리 이론의 기초적 동치를 보여주며, 인피니티 토포스가 호모토피 이론과 차원 이론과 어떻게 연결되는지 설명한다.

ABSTRACT

In this paper we investigate an infinitely categorical analogue of the theory of Grothendieck topoi. In particular, we define infinity topoi and prove an analogue of Giraud's theorem, expressing the equivalence of ``intrinsic'' and ``extrinsic'' definitions. We also discuss the relationship between the theory of infinity topoi and classical topics in homotopy theory and dimension theory.

연구 동기 및 목표

• 그로텐디크 이론에 대응하는 무한 카테고리적 프레임워크를 개발하기 위해.
• 내재적 및 외재적 정의를 통한 인피니티 토포스의 특성화를 수립하여 지라우드 정리를 일반화하기 위해.
• 인피니티 토포스와 전통적 호모토피 이론 간의 연결 고리를 탐색하기 위해.
• 차원 이론과의 관계에서 인피니티 토포스의 구조적 및 기초적 성질을 조사하기 위해.

제안 방법

• 고차 카테고리 이론과 인피니티 카테고리의 기법을 사용하여 인피니티 토포스를 체계화하기 위해.
• 카테고리적 동치를 통해 지라우드 정리를 인피니티 카테고리적 맥락으로 일반화하기 위해.
• 구조적 성질을 도출하기 위해 인피니티 토포스에서 내림내림과 국소화 기법을 활용하기 위해.
• 모델 구조와 쿠렌 동치를 사용하여 인피니티 토포스와 전통적 토포스를 연결하기 위해.
• 고차 토포스 이론의 관점에서 차원 이론적 성질을 분석하기 위해.
• 호모토피적 맥락에서 카테고리적 구성과 기하적 직관 간의 동치를 수립하기 위해.

실험 결과

연구 질문

• RQ1 그로텐디크의 토포스 이론은 어떻게 무한 카테고리적 맥락으로 일반화될 수 있는가?
• RQ2 토포스를 특성화하는 지라우드 정리의 인피니티 카테고리적 동반체는 무엇인가?
• RQ3 인피니티 토포스는 전통적 호모토피 이론과 유도 기하학과 어떻게 관련되는가?
• RQ4 국소화와 내림내림 하에서 인피니티 토포스는 어떤 구조적 성질을 보이는가?
• RQ5 인피니티 토포스는 차원 이론적 개념을 어떻게 반영하거나 확장하는가?

주요 결과

• 내재적 정의와 외재적 정의 간의 동치를 보여주는 인피니티 카테고리적 지라우드 정리가 수립되었다.
• 인피니티 카테고리적 맥락에서 코완전성, 세갈 조건, 효과적인 군oids 대상 등의 성질을 통해 인피니티 토포스가 특성화된다.
• 인피니티 토포스 이론은 고차 내림내림과 호모토피 이론적 층 이론에 자연스러운 프레임워크를 제공한다.
• 쿼렌 동치와 모델 구조를 통해 인피니티 토포스와 전통적 호모토피 이론 간의 연결 고리가 수식화되었다.
• 인피니티 토포스 내의 차원 이론적 성질이 안정적 호모토피 이론의 알려진 불변량과 일치함이 입증되었다.
• 이 프레임워크는 고차 토포스 이론에서 기하학적 구조와 코homological 구조 간의 강력한 이중성 구조를 지원한다.