[논문 리뷰] Gluing restricted nerves of $\infty$-categories

Yifeng Liu, Weizhe Zheng|arXiv (Cornell University)|2012. 11. 22.

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

한 줄 요약

이 논문은 제한된 다중단순형 신경망을 사용하여 ∞-카테고리의 부분카테고리들을 붙이는 일반적인 프레임워크를 개발하며, 다중단순형 구조로부터 유도된 단순형 집합 간의 카테고리 동치를 수립한다. 주요 기여는 델리그의 이론을 일반화하고, 향상된 ∞-카테고리적 내림내림을 통해 아르틴 스택의 에탈 코homology에서 그로텐디크의 여섯 연산을 구성할 수 있도록 해주는 고차원 카테고리적 붙임 기법이다.

ABSTRACT

In this article, we develop a general technique for gluing subcategories of $\infty$-categories. We obtain categorical equivalences between simplicial sets associated to certain multisimplicial sets. Such equivalences can be used to construct functors in different contexts. One of our results generalizes Deligne's gluing theory developed in the construction of the extraordinary pushforward operation in étale cohomology of schemes. Our results are applied in subsequent articles to construct Grothendieck's six operations in étale cohomology of Artin stacks.

연구 동기 및 목표

• 고차원 카테고리적 설정에서 ∞-카테고리의 부분카테고리들을 붙이는 일반적인 기법을 개발하기 위해.
• 에탈 코hom로지의 특별한 푸시아웃에 대해 델리그의 붙임 이론을 ∞-카테고리적 프레임워크로 일반화하기 위해.
• 고차원 아르틴 스택의 맥락에서 그로텐디크의 여섯 연산을 구성하기 위한 기초 도구를 제공하기 위해.
• 모든 수준의 사상에서의 일관성 처리를 위해 전통적인 (2,1)-카테고리적 접근의 한계를 극복하기 위해.
• 다중단순형 구조로부터 유도된 단순형 집합 간의 카테고리 동치를 수립하기 위해.

제안 방법

• 모든 k×k 정사각형이 카르테시안인, 각 방향 i에서 이미지가 E_i에 속하는 [n]^k → C 형태의 함자로 구성된 단순형 집합인 제한된 다중단순형 신경망 δ*kN(C)cartE1,…,Ek을 도입한다.
• 단순형 집합의 사상의 카테고리 구조를 통해 코로이드 분해를 통한 함자를 구성하기 위해 단순형 집합의 사상의 카테고리 정의를 사용한다.
• 내부 애노딘 포함과 카테고리 동치를 활용하여 다중단순형 신경망의 부분복합체를 전체 신경망과 연결한다.
• 유한 격자들을 구간 부분격자 P_p//q로 분해하는 격자론적 기법을 적용하여 내부 애노딘 성질을 증명한다.
• 포지션 순서 집합 위에서의 푸시아웃 분해와 귀납적 추론을 활용하여 카테고리 동치를 검증한다.
• 표준 입방체 □^n ⊆ Cart^n 포함이 내부 애노딘임을 증명함으로써, 내림내림 기법을 가능하게 한다.

실험 결과

연구 질문

• RQ1 어떻게 고차원 호모토피 수준에서 일관성을 유지하면서 ∞-카테고리의 부분카테고리에 정의된 함자를 체계적으로 붙일 수 있는가?
• RQ2 카르테시안 정사각형 조건이 있는 다중단순형 신경망이 카테고리 동치를 유도하기 위한 조건은 무엇인가?
• RQ3 더 높은 차원의 카테고리적 프레임워크에서 델리그의 특별한 푸시아웃 붙임 이론을 정교한 신경망 구성으로 확장할 수 있는가?
• RQ4 비표준 인수분해(예: 닫힌 포함 다음으로 정규화된 사상)를 고차원 카테고리적 일관성 있게 다룰 수 있는 방법은 무엇인가?
• RQ5 구간 부분격자와 그 합집합이 다중단순형 구조의 내부 애노딘 및 카테고리 동치 결과를 증명하는 데 어떤 역할을 하는가?

주요 결과

• 포함 □^n ⊆ Cart^n 이 내부 애노딘임을 증명함으로써, 다중단순형 프레임워크 내에서 기본적인 호모토피 동치를 확립하였다.
• 포함 ⋃_p ⋃^n_p,n ⊆ Cart^n 이 내부 애노딘이며, ⋃^n ⊆ Cart^n 이 카테고리 동치임을 증명함으로써, ∞-카테고리적 맥락에서 내림내림을 가능하게 하였다.
• 유한 격자 P를 커버링하는 구간 부분격자 P_p//q의 합집합은 순서 구조와 호환될 경우 카테고리 동치를 유도한다.
• 내부 애노딘 포함은 부분격자의 합집합의 푸시아웃 분해를 통해 증명되며, 이는 쌍대곱 및 만남/합 연산의 격자론적 성질에 기반한다.
• 제한된 다중단순형 신경망 δ*kN(C)cartE1,…,Ek의 구성은 여러 부분카테고리에 걸친 일관된 붙임 자료를 캐논리컬하게 인코딩하는 방법을 제공한다.
• 이 프레임워크는 델리그의 붙임 이론을 일반화하며, ∞-카테고리적 강화를 통해 고차원 아르틴 스택의 에탈 코homology에서 그로텐디크의 여섯 연산을 구성할 수 있도록 한다.