[논문 리뷰] Notes characterising higher and derived stacks concretely

J. P. Pridham|arXiv (Cornell University)|2011. 05. 24.

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

한 줄 요약

이 논문은 고차 및 유도 스택의 구체적이고 접근 가능한 구성법을 단순 복합체의 아핀 스킴 다이어그램을 통해 제시하며, 고급 호모토피 대수학의 필요성을 피한다. 이는 이러한 스택 위의 준가역 복합체를 코단순 복합체의 모듈러 시스템으로 특성화하여, 고전적 스킴과 스택을 일반화하는 명시적인 유도 대수기하학의 모델을 제공한다.

ABSTRACT

This is an informal summary of the main concepts in arXiv:0905.4044, based on notes of various seminars. It gives constructions of higher and derived stacks without recourse to the extensive theory developed by Toen, Vezzosi and Lurie. Explicitly, higher stacks are described in terms of simplicial diagrams of affine schemes, which are analogous to atlases for manifolds. We also describe quasi-coherent sheaves and complexes on such objects.

연구 동기 및 목표

• 토엔–베츠오프–류리 이론의 전체 기계장치에 의존하지 않고도 고차 및 유도 스택의 접근 가능하고 명시적인 구성법을 제공하기 위해.
• 유도 스택을 단순 복합체의 아핀 스킴에 대한 초스피어로 특성화하여, 만델라 이론의 아틀라스와 유사하게 하기 위해.
• 유도 스택 위의 준가역 복합체를 단순 복합체의 스킴 링 위의 모듈러 시스템으로 기술하기 위해.
• 유도 스킴과 아핀 열린 집합 위의 유도 대수의 프레시피어 사이의 대응관계를 설정하기 위해. 이는 준가역성 조건을 만족시키며.
• 계산과 기하학적 직관에 적합한, 단순 복합체 및 코단순 복합체 방법을 활용한 실용적 유도 대수기하학의 프레임워크를 제공하기 위해.

제안 방법

• 다양한 아핀 스킴의 단순 복합체 다이어그램을 다각형의 아틀라스와 유사하게 사용하여, Čech 유사 해석을 통해 고차 스택을 구성한다.
• 단순 복합체 집합에 값이 있는 유도된 Hom 함자 $\mathbf{R}\underline{\mathrm{Hom}}$를 사용하여 준동형사상과 양호한 호모토피 성질을 보장한다.
• 비어 있는 상대 유도 델리뉴–무미드 하이퍼군oid에 대한 콜리미트를 통해 초스피어화를 적용하여 $n$-기하학적 유도 스택을 모델링한다.
• 유도 스택 위의 준가역 복합체를 $O(X_n)$-모듈러의 코단순 복합체 시스템으로 특성화하며, 면 사상과 일致하는 조건과 코단순 복합체 항등식을 만족시킨다.
• 돌드–칸 정규화를 사용하여 단순 복합체 링 위의 모듈러를 해당 체인 대수 위의 모듈러로 정의한다.
• 유도 스킴과 아핀 열린 집합 위의 유도 대수의 프레시피어 사이의 대응관계를 설정하며, $\mathrm{H}_0$는 $\mathscr{O}_Z$와 같고, 높은 호모로지들은 준가역성을 만족시킨다.

실험 결과

연구 질문

• RQ1 어떤 단순 복합체 아핀 스킴이 스킴, 아르틴 스택, 또는 델리뉴–무미드 스택의 해석으로 나타나는가?
• RQ2 고차 스택(예: 완전 복합체의 모듈리 제어를 위한 $n$-스택)은 어떻게 단순 복합체 다이어그램을 통해 명시적으로 기술할 수 있는가?
• RQ3 유도 스택 위의 준가역층 또는 복합체의 올바른 개념은 무엇이며, 어떻게 명시적으로 기술할 수 있는가?
• RQ4 유도 스킴은 아핀 열린 집합 위의 유도 대수의 프레시피어와 함께, 그 호모로지가 준가역성을 만족시키는 조건에서 어떻게 재구성할 수 있는가?
• RQ5 유도 스킴의 호모토피 범주와 이러한 유도 대수의 프레시피어의 범주 사이의 관계는 무엇인가?

주요 결과

• 고차 스택는 아핀 스킴의 단순 복합체 다이어그램 위의 초스피어로 특성화되며, 유도된 Hom 함자 $\mathbf{R}\underline{\mathrm{Hom}}$가 호모토피적으로 정확한 모델을 제공한다.
• 유도 $n$-스택 $X^\sharp$ 위의 준가역 복합체는 정확히 $O(X_n)$-모듈러의 코단순 복합체 시스템으로 대응되며, 면 사상과 일치하고 코단순 복합체 항등식을 만족시킨다.
• 유도 스킴 $X$의 호모토피 범주로, $\pi^0X \simeq Z$를 만족하는 것은 아핀 열린 집합 위의 유도 $R$-대수의 프레시피어 $\mathscr{A}_\bullet$의 범주와 약한 동치이다. 이때 $\mathrm{H}_0(\mathscr{A}_\bullet) = \mathscr{O}_Z$ 이고, 모든 $i$에 대해 $\mathrm{H}_i(\mathscr{A}_\bullet)$는 준가역성을 만족시킨다.
• 유도 대수기하 공간은 유사하게 기술되며, 프레시피어 조건에서 열린 포함 사상 대신 에탈레 사상이 사용된다.
• 준가역 복합체의 유도 직접 이미지는 역이미지보다 계산이 더 복잡하며, 이는 사상에 沿한 당김을 통해 간단히 구할 수 있다.
• 이 구성은 하이퍼군oid 해석을 통한 초스피어화와 콜리미트를 통해 강한 준콤팩트성 조건을 만족하는 $n$-기하학적 유도 아르틴 스택의 단순 복합체 범주 $\mathcal{D}\mathcal{A}_n$를 정의한다.