[논문 리뷰] Grothendieck $\infty$-groupoids, and still another definition of $\infty$-categories

Georges Maltsiniotis|arXiv (Cornell University)|2010. 09. 13.

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

한 줄 요약

이 논문은 coherator 프레임워크를 사용하여 그로텐디크의 ∞-군oids를 단순화된 정의로 제시하고, 이 접근 방식에 영감을 얻어 새로운 대수적 정의의 ∞-범주를 도입한다. ∞-군oids가 국소적으로 현존하는 범주임을 증명하고, 그들의 국소화가 호모토피 범주를 만든다는 추측을 하며, 포함한 극한과 코카르테시안 제곱을 통해 호모토피 군과 약한 동치를 구성한다.

ABSTRACT

The aim of this paper is to present a simplified version of the notion of $\infty$-groupoid developed by Grothendieck in "Pursuing Stacks" and to introduce a definition of $\infty$-categories inspired by Grothendieck's approach.

연구 동기 및 목표

• 좌표계 범주에서의 좌표계 조건(좌측 정확성, 세갈 유사 조건)을 만족하는 프레샤브로서 그로텐디크의 ∞-군oids의 개념을 단순화된 형태로 제시한다.
• Batanin의 작동 정의와 밀접하게 관련된 coherator 프레임워크를 수정하여 (약한) ∞-범주의 새로운 정의를 도입한다.
• ∞-군oids의 범주가 국소적으로 현존하는지 증명하여, 칸 복합체나 위상공간 기반 모델이 충족하지 못하는 핵심 구조적 요구사항을 해결한다.
• 포함한 극한과 코카르테시안 제곱을 사용하여 ∞-군oids의 호모토피 군과 약한 동치를 정의함으로써 호모토피 분석을 가능하게 한다.
• 그로텐디크의 추측, 즉 ∞-군oids의 약한 동치에 대한 국소화가 고전적 호모토피 범주 Hot을 만든다는 것을 뒷받침한다.

제안 방법

• 좌측 정확성 조건을 만족하는 C에서의 프레샤브로서 ∞-군oids를 정의하기 위해, 보편 ∞-코군oids를 지닌 좌표계 범주 C를 사용한다.
• 특히 호모토피 군의 맥락에서, ℕ-색인 다이어그램에 대한 포함한 극한을 적용하여 ∞-군oids 내의 구조적 사상들을 구성한다.
• 모르피즘의 호환성과 극한 구성에서의 핵심 동치를 분석하기 위해 코카르테시안 제곱과 I-특수 제곱을 활용한다.
• 호모토피 군에 유도된 사상들을 통해 약한 동치를 정의하며, ∞-군oids의 범주를 국소화하는 것을 목표로 한다.
• 좌표계의 보편 성질을 활용하여 서로 다른 ∞-군oids의 구조 간에 자연스러운 함자를 정의함으로써, 정의의 추측되는 동치성을 뒷받침한다.
• 극한 및 쌍극한 다이어그램을 사용한 다이어그램적 추론을 통해, 일부 제곱이 I-특수임을 증명하며, 이는 A.4 및 A.5의 보조정리에 의존한다.

실험 결과

연구 질문

• RQ1 그로텐디크의 ∞-군oids 개념은 그 대수적·호모토피적 본질을 유지하면서 어떻게 단순화될 수 있는가?
• RQ2 좌표계 기반의 ∞-군oids 정의와 Batain의 ∞-범주에 대한 작동 정의 사이의 정확한 관계는 무엇인가?
• RQ3 ∞-군oids의 범주가 국소적으로 현존하는 것으로 보일 수 있으며, 이는 위상공간 또는 칸 복합체 기반 모델이 해결하지 못하는 핵심 제약을 해결하는가?
• RQ4 ∞-군oids의 약한 동치에 대한 국소화가 그로텐디크의 추측처럼 고전적 호모토피 범주 Hot을 만드는가?
• RQ5 다른 ∞-군oids 정의 간의 자연스러운 함자들이 ∞-동치를 어떻게 유도하며, 이는 이론의 일관성에 어떤 함의를 갖는가?

주요 결과

• 그로텐디크의 ∞-군oids의 범주는 국소적으로 현존하는 것으로 밝혀졌으며, 이는 칸 복합체나 위상공간 기반 모델이 만족하지 못하는 중요한 구조적 성질이다.
• 논문은 ∞-군oids F에 대해 자연스럽게 호모토피 군 π_i(F)를 구성하여, 이러한 군을 통한 약한 동치의 정의가 잘 정의됨을 보였다.
• ∞-군oids 간의 약한 동치는 모든 호모토피 군에서의 동치로 정의되며, ∞-군oids의 범주를 이러한 동치로 국소화하면 호모토피 범주 Hot이 유도된다는 것이 추측된다.
• ∞-군oids 내의 구조적 사상의 구성은 ℕ-색인 다이어그램에 대한 포함한 극한에 의존하며, 핵심 동치는 코카르테시안 제곱을 통해 확립된다.
• 일부 제곱이 I-특수임을 증명하는 증명은 A.4 및 A.5의 보조정리에 의존하며, 특히 임계 색인 n₀의 경우에 중요하다.
• 이 프레임워크는 그로텐디크의 비동치이지만 자연스럽게 동치인 ∞-군oids의 다수의 정의를 지지하며, 동치의 동치가 무한히 계속되는 고차원 동치가 존재함을 암시한다.