[논문 리뷰] Descente pour les n-champs (Descent for n-stacks)

André Hirschowitz, Carlos Simpson|ArXiv.org|1998. 07. 09.

Homotopy and Cohomology in Algebraic Topology인용 수 61

한 줄 요약

이 논문은 닫힌 모델 범주를 사용하여 일반적인 이론을 개발하며, n-스택(Segal n-stacks)에 대해 기본 결과를 확립한다. 이는 n-스택의 극한 기반 정의, 내림림 데이터의 효과성, 약한 n-스택의 엄격화, 그리고 n-스택의 (n+1)-프리스택이 (n+1)-스택임을 보여주는 내림림 결과를 포함한다. 핵심 기여는 왼쪽 쿠일렌 프리셰이브의 모델 범주로부터 유도된 세갈 1-프리스택에 대한 일반적인 내림림 기준이며, 이는 O-모듈의 복합체에 적용되어 완전한 복합체가 quasi-isomorphism을 통해 접합될 수 있음을 보여준다.

ABSTRACT

We develop the theory of n-stacks (or more generally Segal n-stacks which are $\infty$-stacks such that the morphisms are invertible above degree n). This is done by systematically using the theory of closed model categories (cmc). Our main results are: a definition of n-stacks in terms of limits, which should be perfectly general for stacks of any type of objects; several other characterizations of n-stacks in terms of ``effectivity of descent data''; construction of the stack associated to an n-prestack; a strictification result saying that any ``weak'' n-stack is equivalent to a (strict) n-stack; and a descent result saying that the (n+1)-prestack of n-stacks (on a site) is an (n+1)-stack. As for other examples, we start from a ``left Quillen presheaf'' of cmc's and introduce the associated Segal 1-prestack. For this situation, we prove a general descent result, giving sufficient conditions for this prestack to be a stack. This applies to the case of complexes, saying how complexes of sheaves of $\Oo$-modules can be glued together via quasi-isomorphisms. This was the problem that originally motivated us.

연구 동기 및 목표

• 다양한 기하학적 및 호모토피적 맥락에 적용 가능한, 모델 범주 기반의 일반적인 n-스택(Segal n-stacks) 이론을 개발하기 위해.
• 극한과 내림림 데이터의 효과성에 기반한 n-스택의 정확한 정의를 확립하기 위해.
• n-프리스택에 대응하는 스택을 구성하고, 약한 n-스택이 엄격한 n-스택과 동치임을 증명하기 위해.
• n-스택의 (n+1)-프리스택이 실제로 (n+1)-스택임을 증명하고, n-스택에 대한 내림림 결과를 확립하기 위해.
• 일반적 프레임워크를 O-모듈의 복합체에 적용하여, 완전한 복합체가 quasi-isomorphism을 통해 접합될 수 있음을 보여주기 위해.

제안 방법

• 닫힌 모델 범주(CMCs)를 사용하여 n-스택을 정의하고 분석하며, 극한과 피브란트 치환을 위한 호모토피적 구조를 활용한다.
• 세갈 n-카테고리 값을 갖는 프리셰이브로서의 세갈 n-프리스택을 도입하고, HBKQ 구성에 의해 모델 구조를 부여한다.
• n-프리스택에 대한 내림림 데이터를 정의하고, 프리스택이 스택임을 특징짓는 효과성 조건을 증명한다.
• 약한 n-스택를 엄격한 것으로 전환하기 위해 Dwyer-Kan 국소화를 적용하여 엄격화 결과를 가능하게 한다.
• Bousfield-Kan 국소화와 왼쪽 쿠일렌 프리셰이브를 사용하여 복합체의 모델 범주로부터 세갈 1-프리스택을 구성한다.
• 왼쪽 쿠일렌 프리셰이브에 대한 일반적인 내림림 기준을 증명하여, 프리셰이브가 특정 호모토피적 조건을 만족하면 관련 세갈 1-프리스택이 스택임을 보여준다.

실험 결과

연구 질문

• RQ1 어떻게 다양한 유형의 기하학적 대상에 적용 가능한 일반적인 방식으로 n-스택를 정의할 수 있는가?
• RQ2 n-프리스택의 내림림 데이터가 효과적일 조건은 무엇이며, 즉 그것이 전역 단위에서 유래하는가?
• RQ3 약한 n-스택는 엄격한 n-스택와 동치가 될 수 있으며, 어떤 조건에서 그러한 동치가 성립하는가?
• RQ4 n-스택의 (n+1)-프리스택는 실제로 (n+1)-스택인가? 그리고 이는 스택의 호모토피적 구조에 어떤 함의를 갖는가?
• RQ5 O-모듈의 복합체가 quasi-isomorphism을 통해 접합될 수 있는지, 이를 n-스택 프레임워크 내의 내림림 성질로 형식화할 수 있는가?

주요 결과

• 사이트 위의 n-스택의 (n+1)-프리스택는 (n+1)-스택이며, n-스택의 계층에 대한 근본적인 내림림 결과를 확립한다.
• 모든 약한 n-스택는 엄격한 n-스택와 동치이며, 호모토피적 고차 스택에 대한 엄격화 결과를 증명한다.
• 왼쪽 쿠일렌 프리셰이브로부터 유도된 세갈 1-프리스택는 프리셰이브가 특정 호모토피적 조건을 만족할 경우 스택이다.
• 완전한 O-모듈 복합체의 프리스택에 대응하는 스택는 프리스택와 동치이며, 완전한 복합체에 대한 내림림을 확인한다.
• 프로젝션 복합체의 프리스택에 대응하는 스택에서의 사상은 동치이며, 이는 완전한 복합체가 내림림을 통해 얻어진다는 것을 보여준다.
• 균폭 [a,b]의 완전한 복합체의 n+1-스택의 1-단절은 유도된 완전한 복합체의 범주이지만, 고차 내림림을 포괄하기 위해서는 전체 호모토피적 구조가 필요하다.