[논문 리뷰] Lectures on infinity categories

Vladimir Hinich|arXiv (Cornell University)|2017. 09. 19.

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

한 줄 요약

이 논문은 현대 호모토피 이론, 유도 대수기하학, 표현 이론에서 기초 언어로서의 역할을 강조하면서 $(\infty,1)$-범주에 대한 모델에 종속되지 않는 소개를 제공한다. 이는 특정 모델에 의존하지 않고 코카르테시안 피브레이션과 보편 성질을 통해 무한 범주를 제시하며, 유도 범주, 내림표 객체, 단순화된 범주의 극한을 구성하는 데의 유용성을 보여준다.

ABSTRACT

These are lecture notes of the course in infinity categories given in the fall 2016 at Weizmann Institute.

연구 동기 및 목표

• 특정 모델의 기술적 세부사항에 익숙하지 않은 연구자를 위해 $(\infty,1)$-범주에 대해 자립적이고 모델에 종속되지 않는 소개를 제공하기 위해.
• 호모로지 대수학에서 고전적인 유도 범주와 삼각 범주의 한계를 부각시켜 무한 범주가 필요한 이유를 정당화하기 위해.
• 무한 범주가 대수적 토폴로지, 유도 대수기하학, 인자화 호모로지에서 기초적인 역할을 하는 것을 확립하기 위해.
• 특정 모델의 기계적 장치에 의존하지 않고 보편 성질을 통해 내림표 객체, 단순화된 구조, 범주의 극한과 같은 핵심 구조를 제시하기 위해.
• 유도 함자와 국소화에서 발생하는 모호함을 해결하기 위해 고차 호모토피 정보를 코딩함으로써 무한 범주가 어떻게 작용하는지 보여주기 위해.

제안 방법

• $(\infty,1)$-범주와 단순화된 구조를 모델링하기 위해 $\Delta^{\mathrm{op}}$ 위의 코카르테시안 피브레이션을 사용한다.
• 모델 범주에 대한 국소화를 통해 무한 범주를 정의하며, 특히 드위어-칸 국소화와 분리형 보완을 통해 구현한다.
• 보편 성질을 적용하여 단순화된 부분범주와 릿지 단순화 함자를 정의한다. 예를 들어 $\mathtt{Cat}^{L,\otimes} \subset \mathtt{Cat}^{\otimes}$.
• 특정 객체 $A$ 위에서 대수적 객체의 작용을 분류하는 보편 구조 $\mathcal{C}[A]$를 통해 내림표 객체를 도입한다.
• 예를 들어 스킴 위의 준가역층을 아핀 열린 집합들 위에서의 극한으로 정의함으로써, $\mathtt{Alg}(\mathcal{C})$ 내에서 단순화된 범주의 극한을 구성하고, 이는 단순화된 구조를 유지한다.
• 단순화된 모델 범주에서의 기본 무한 범주가 약한 동치에 관해 보편적인 릿지 단순화된 구조를 갖는다는 것을 확립한다.

실험 결과

연구 질문

• RQ1 특정 모델(예: 단순형 범주 또는 완전한 세갈 공간)에 종속되지 않고 $(\infty,1)$-범주를 어떻게 정의하고 연구할 수 있는가?
• RQ2 코카르테시안 피브레이션은 무한 범주 내에서 단순화된 구조와 대수적 구조를 어떻게 코딩하는가?
• RQ3 무한 범주 내의 보편 성질은 고전적인 유도 범주와 삼각 범주에 내재된 모호함을 어떻게 해결하는가?
• RQ4 무한 범주 내의 내림표 객체는 표현 이론에서 고전적인 내림표 대수의 일반화로 어떻게 작용하는가?
• RQ5 단순화된 범주의 극한은 어떻게 구성되고, 이를 통해 유도 스택 위의 준가역층과 같은 기하학적 객체를 정의할 수 있는가?

주요 결과

• 단순화된 모델 범주 $\mathcal{C}$의 기본 무한 범주 $L(\mathcal{C})$는 보편 성질을 통해 단순화된 구조를 상속받으며, 이는 약한 동치에 관해 $\mathcal{C}$의 보편 릿지 단순화된 국소화가 된다.
• 합류와 합류를 유지하는 함수를 갖는 현존 범주들 $\mathtt{Cat}^{L,\otimes}$는 $\mathtt{Cat}^{\otimes}$의 단순화된 부분범주이며, 코카르테시안 올림프로의 닫힘 성질을 갖는다.
• $\mathcal{C}$-선형 범주 내의 내림표 객체는 $\mathcal{C}[A]$ 내의 최종 객체로 구성되며, $\mathcal{C} = \Pr^L$ 이고 $A$ 가 왼쪽 $R$-모듈의 범주일 경우 이는 $R$-양면 모듈의 범주를 얻는다.
• $\mathtt{Alg}(\mathcal{C})$ 내에서 단순화된 범주의 극한은 단순화된 구조를 유지하며, 이를 통해 스킴 위의 준가역층을 아핀 열린 집합들 위에서의 극한으로 정의할 수 있다.
• 국소화를 통한 유도 범주의 구성은 고차 호모토피 데이터를 파괴하며, 이는 $\Pi_1(X)$가 고차 호모토피 군을 忽시하는 것과 유사하다. 이는 무한 범주의 필요성을 강조한다.
• 무한 범주는 고차 사상과 그들의 합성을 코딩함으로써 호모토피 극한과 극소를 일관적으로 다룰 수 있게 하며, 고전적인 삼각 범주에서 발생하는 함정을 피할 수 있다.