[论文解读] Sheaf Theory for Étale Geometric Stacks

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

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

一句话总结

本文将étalé空间构造推广至étale几何叠，通过建立在étale叠上小叠范畴与之上的局部同胚之间的等价关系。它表明étale叠中的非有效数据（如非约化轨道簇中的数据）完全由其有效部分上的小丛（small gerbes）编码，且所有小丛均以这种方式产生，从而通过丛对非有效结构提供了完整分类。

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.

研究动机与目标

• 将étalé空间构造从拓扑空间上的层推广至étale叠上的小叠范畴（groupoids）。
• 在étale叠的语境下，特别是与非有效稳定子数据相关时，刻画小层与丛。
• 证明每个有效étale叠上的小丛均可来自一个有效部分与基等价的étale叠，从而通过丛对非有效结构进行完整分类。
• 为诸如浸入等良好映射类（如子mersions）建立étale叠与带丛的有效étale叠的2-范畴等价，表明丛是编码非有效数据的普遍机制。
• 证明拓扑斯的2-范畴是局部拓扑叠的全反射子2-范畴，从而建立拓扑斯理论与叠几何之间的基础联系。

提出的方法

• 利用étale叠的étale上覆盖构造其小范畴，推广拓扑空间的开子集范畴。
• 引入小叠的étalé实现为étale叠上的局部同胚，类比经典étalé空间构造。
• 使用广义作用群丛显式描述étalé实现，表明其等价于截面的叠。
• 应用Kan扩张技术，将小层定义为étale叠的小范畴上的预层的全子范畴。
• 通过其纤维刻画小丛，并表明其等价于全有效局部等价，将丛与非有效数据联系起来。
• 通过涉及拓扑斯与局部拓扑叠的反射子2-范畴构造，建立étale叠与带丛的有效étale叠之间的2-范畴等价。

实验结果

研究问题

• RQ1 如何将经典étalé空间构造推广至étale叠与小叠范畴的语境？
• RQ2 丛在编码étale叠中非有效稳定子数据（特别是非约化轨道簇中）的精确作用是什么？
• RQ3 每个有效étale叠上的小丛是否均可实现为来自一个有效部分与基等价的étale叠？
• RQ4 étale叠与拓扑斯的2-范畴之间有何关系？是否存在涉及局部拓扑叠的反射子2-范畴结构？
• RQ5 对于浸入等良好映射，étale叠与带丛的有效étale叠之间是否存在范畴等价？

主要发现

• 一个étale叠上小叠的2-范畴与该étale叠上局部同胚的2-范畴等价，推广了经典的étalé空间等价关系。
• étale叠上的小丛由其纤维完全刻画，且它们对étale叠中的非有效稳定子数据具有分类作用。
• 每个有效étale叠上的小丛均可来自一个有效部分与基等价的étale叠，从而实现对非有效结构的完整分类。
• 非有效轨道簇（或其约化部分）自然携带一个典范的小丛，编码了完整的非有效结构。
• 拓扑斯的2-范畴是局部拓扑叠的全反射子2-范畴，为拓扑斯理论与几何叠之间提供了基础性联系。
• 对于浸入等良好映射，étale叠与带丛的有效étale叠的2-范畴等价，表明丛是非有效数据编码的普遍机制。