[論文レビュー] Sheaf Theory for Étale Geometric Stacks

David Carchedi|arXiv (Cornell University)|Nov 28, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 3

ひとこと要約

この論文は、エタール・スタック上の小スタックの群コホーホロジーの間の同値性を確立することで、エタール空間構成をエタール幾何的スタックへ拡張する。非有効なデータ（非還元的オルビフォールドにおけるように）が、その有効部分上の小ゲルベによって完全に符号化されていることを示し、すべての小ゲルベがこの方法で得られることを示しており、ゲルベによる非有効構造の完全分類を提供する。

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.

研究の動機と目的

• 位相空間上の層からエタールスタック上の小スタックの群コホーホロジーへのエタール空間構成の一般化を図ること。
• 特に非有効な回転対称性データに関連して、エタールスタックの文脈における小層およびゲルベの特徴付けをすること。
• 有効エタールスタック上のすべての小ゲルベが、その有効部分が基底と同値であるようなエタールスタックから生じることを示し、非有効構造をゲルベによって完全分類すること。
• 特にサブマージョンなどの良いクラスの写像に対して、エタールスタックの2-カテゴリが、ゲルベ付き有効エタールスタックの2-カテゴリと同値であることを確立すること。
• トポスの2-カテゴリが局所的スタックのフル反射的部分2-カテゴリであることを示し、トポス理論とスタック幾何学を結びつけること。

提案手法

• エタールスタックのエタールアトラスを用いて、位相空間の開集合のサイトを一般化した小サイトを構成する。
• 小スタックのエタール実現を、エタールスタック上の局所的ホメオモーフィズムとして定義し、古典的なエタール空間構成に類似させる。
• 一般化された作用群コホーホロジーを用いてエタール実現を明示的に記述し、それが切断のスタックと同値であることを示す。
• カン拡張技法を用いて、エタールスタックの小サイト上の前層のフル部分カテゴリとして小層を定義する。
• スターブを用いたゲルベの特徴付けを行い、それらがフル有効局所同型と同値であることを示し、ゲルベと非有効データの関係を結ぶ。
• トポスと局所的スタックを含む反射的部分2-カテゴリ構成を用いて、エタールスタックとゲルベ付き有効エタールスタックの2-カテゴリ同値を確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的なエタール空間構成を、エタールスタックおよび群コホーホロジーの小スタックの文脈にどのように一般化できるか。
• RQ2 特に非還元的オルビフォールドにおいて、ゲルベが非有効な回転対称性データを符号化する際に果たす正確な役割は何か。
• RQ3 有効エタールスタック上のすべての小ゲルベが、その有効部分が基底と同値であるようなエタールスタックから生じるか。
• RQ4 エタールスタックはトポスの2-カテゴリとどのように関係しており、局所的スタックを含む反射的部分2-カテゴリ構造があるか。
• RQ5 サブマージョンや同様の良い写像に対して、エタールスタックとゲルベ付き有効エタールスタックのカテゴリ的同値関係は何か。

主な発見

• エタールスタック上の小スタックの2-カテゴリは、それ自身の上への局所的ホメオモーフィズムの2-カテゴリと同値であり、古典的なエタール空間同値性を一般化する。
• エタールスタック上の小ゲルベはスターブによって完全に特徴付けられ、エタールスタック内の非有効な回転対称性データを分類する。
• 有効エタールスタック上のすべての小ゲルベは、その有効部分が基底と同値であるようなエタールスタックから生じる。これにより、完全分類が確立される。
• 非有効オルビフォールドの有効オルビフォールド（または還元部分）は自然に標準的な小ゲルベを備え、非有効構造全体を符号化する。
• トポスの2-カテゴリは局所的スタックのフル反射的部分2-カテゴリであり、トポス理論と幾何的スタックの間の基礎的リンクを提供する。
• サブマージョンなどの良い写像に対して、エタールスタックはゲルベ付き有効エタールスタックの2-カテゴリと同値であり、ゲルベが非有効データを符号化する普遍的メカニズムであることを示す。