[논문 리뷰] Sheaf Theory for Étale Geometric Stacks

David Carchedi|arXiv (Cornell University)|2010. 11. 28.

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

한 줄 요약

이 논문은 에탈 기하 스택에 대해 에탈레 공간 구성법을 확장하여, 에탈 스택 위의 작고 작은 군oids 스택과 그 위의 국소적 위상동형사상 사이의 동치를 확립한다. 비효율적 데이터(예: 비단순화된 오르비포드에서의 것들)가 그 효율적 부분 위의 작은 기브스에 의해 완전히 코딩됨을 보이며, 모든 작은 기브스가 이와 같은 방식으로 유래됨을 보여, 기브스를 통한 비효율적 구조의 완전한 분류를 제공한다.

ABSTRACT

We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an étale topological or differentiable stack. We then provide a construction analogous to the étalé space construction in this context, establishing an equivalence of 2-categories between small stacks over an étale stack and local homeomorphisms over it. We go on to characterize small sheaves and gerbes. We show that ineffective data of étale stacks is completely described by the theory of small gerbes. Furthermore, it is shown that étale stacks (and in particular orbifolds) induce a small gerbe over their effective part, and all gerbes arise in this way. It follows that ineffective orbifolds, sometimes called non-reduced orbifolds, encode a canonical gerbe over their effective (or reduced) part. For nice enough classes of maps, for instance submersions, we show that étale stacks are equivalent to a 2-category of gerbed effective étale stacks. Along the way, we also prove that the 2-category of topoi is a full reflective sub-2-category of localic stacks.

연구 동기 및 목표

• 위상공간 위의 층에서 작고 작은 군oids 스택에 대한 에탈레 공간 구성법을 일반화하기 위해, 에탈 스택 위의 작은 군oids 스택에 대해 수행한다.
• 특히 비효율적 등방성 데이터와 관련하여, 에탈 스택의 맥락에서 작은 층과 기브스를 특성화하기 위해 수행한다.
• 모든 작은 기브스가 효율적 에탈 스택 위에 존재하는 에탈 스택으로부터 기인함을 보이며, 이는 비효율적 구조의 기브스를 통한 완전한 분류를 제공한다.
• 특수한 유형의 사상(예: 압축사상)에 대해, 에탈 스택의 2-category는 효율적 에탈 스택 위의 기브스가 있는 2-category와 동치임을 확립한다.
• 토포스의 2-category가 국소적 스택의 전체 반사 부분2-category임을 보이며, 토포스 이론과 스택 기하학을 연결한다.

제안 방법

• 에탈 스택의 에탈 아틀라스를 사용하여, 위상공간의 열린 부분집합의 사이트를 일반화한 작은 사이트를 구성한다.
• 클래식한 에탈레 공간 구성법과 유사하게, 작은 스택의 에탈레 실현을 에탈 스택 위의 국소적 위상동형사상으로 정의한다.
• 일반화된 작용군oids를 사용하여 에탈레 실현을 명시적으로 기술하며, 이가 단면의 스택과 동치임을 보인다.
• 칸 확장 기법을 적용하여, 에탈 스택의 작은 사이트 위의 준층의 전체 부분분류로서 작은 층을 정의한다.
• 스톡스를 통한 작은 기브스의 특성화 및 그것이 전체 효율적 국소 동치와 동치임을 보이며, 기브스와 비효율적 데이터의 연결을 맺는다.
• 토포스와 국소적 스택을 포함하는 반사 부분2-category 구성법을 통해, 에탈 스택과 기브스가 있는 효율적 에탈 스택의 2-category 간의 동치를 확립한다.

실험 결과

연구 질문

• RQ1 클래식한 에탈레 공간 구성법을 어떻게 에탈 스택과 작은 군oids 스택의 맥락으로 일반화할 수 있는가?
• RQ2 특히 비단순화된 오르비포드에서와 같이, 기브스가 에탈 스택의 비효율적 등방성 데이터를 어떻게 코딩하는가?
• RQ3 모든 작은 기브스가 효율적 에탈 스택 위에 존재하는, 그 효율적 부분이 기저와 동치인 에탈 스택으로부터 기인하는가?
• RQ4 에탈 스택은 토포스의 2-category와 어떻게 관련되어 있으며, 국소적 스택를 포함하는 반사 부분2-category의 구조가 존재하는가?
• RQ5 압축사상과 같은 좋은 사상에 대해, 에탈 스택와 기브스가 있는 효율적 에탈 스택의 2-category 간의 범주적 동치는 무엇인가?

주요 결과

• 에탈 스택 위의 작은 스택의 2-category는 그 위의 국소적 위상동형사상의 2-category와 동치이며, 이는 고전적 에탈레 공간 동치를 일반화한다.
• 에탈 스택 위의 작은 기브스는 그 스톡스를 통해 완전히 특성화되며, 에탈 스택의 비효율적 등방성 데이터를 분류한다.
• 모든 작은 기브스가 효율적 에탈 스택 위에 존재하는, 그 효율적 부분이 기저와 동치인 에탈 스택에서 기인함을 보이며, 이는 비효율적 구조의 완전한 분류를 수립한다.
• 비효율적 오르비포드의 효율적 오르비포드(또는 단순화된 부분)는 자연스럽게 캐논컬한 작은 기브스를 지니며, 전체 비효율적 구조를 코딩한다.
• 토포스의 2-category는 국소적 스택의 전체 반사 부분2-category이며, 이는 토포스 이론과 기하 스택 간의 기초적 연결 고리를 제공한다.
• 압축사상과 같은 좋은 사상에 대해, 에탈 스택는 기브스가 있는 효율적 에탈 스택의 2-category와 동치이며, 이는 기브스가 비효율적 데이터를 코딩하는 유일한 메커니즘이라는 것을 보여준다.