[论文解读] The Fundamental Group of an Algebraic Stack

Vincent Zoonekynd|ArXiv.org|Nov 7, 2001

Polynomial and algebraic computation被引用 10

一句话总结

本文通过progroupoid定义代数堆的基本群，并建立了复数域上堆的基本群与其对应解析轨道丛之间基本群的比较定理。证明该构造与通过单纯概形定义的先前定义一致，推导出涉及这些群的短正合列，为代数堆的同伦理论奠定了基础框架。

ABSTRACT

We define the notion of fundamental group of an algebraic stack, prove a comparison theorem between the fundamental group of a stack over the complex numbers and that of the associated analytic orbifold, show that this notion coincides with that defined with simplicial schemes by Oda and finally prove some short exact sequences involving these groups.

研究动机与目标

• 为代数堆定义一个基本群的概念，使其推广经典拓扑基本群。
• 建立复数域上堆的基本群与其对应解析轨道丛的基本群之间的比较同构。
• 证明该定义与[10]中通过单纯概形定义的基本群一致。
• 证明涉及堆及其基空间基本群的短正合列。
• 通过progroupoid和拓扑斯理论方法，为代数堆建立同伦基础。

提出的方法

• 利用progroupoid的分类拓扑斯，通过堆上的层拓扑斯定义堆的基本群。
• 应用拓扑斯中无点基本群族的理论，将基本群概念推广至具有多个对象的范畴。
• 采用progroupoid结构，以建模与堆的étale覆盖相关联的群族的逆极限。
• 依赖于GAGA型定理，比较代数与解析拓扑斯，以关联代数堆与其解析对应物。
• 利用堆的基本群由progroupoid表示的事实，并证明该progroupoid同构于与解析轨道丛相关的progroupoid。
• 应用下降理论与伽罗瓦理论，证明基本群在基域的有限伽罗瓦扩张上定义。

实验结果

研究问题

• RQ1 如何以一种推广经典拓扑基本群的方式，定义代数堆的基本群？
• RQ2 复数域上代数堆的基本群是否同构于其对应解析轨道丛的基本群？
• RQ3 基于progroupoid的代数堆基本群定义是否与[10]中基于单纯概形的定义一致？
• RQ4 可以构造哪些涉及堆及其基空间基本群的短正合列？
• RQ5 能否通过伽罗瓦下降理论与基域的有限扩张来描述堆的基本群？

主要发现

• 复数域上代数堆的基本群同构于其对应解析轨道丛的基本群，建立了代数几何与解析几何之间强有力的联系。
• 基于progroupoid的代数堆基本群定义与通过单纯概形定义的定义一致，确认了与先前构造的一致性。
• 代数堆的基本群由progroupoid表示，且该progroupoid是与étale覆盖相关联的群族的逆极限。
• 该构造与基变换和下降兼容，且基本群在基域的有限伽罗瓦扩张上定义。
• 构造了涉及堆及其基空间基本群的短正合列，推广了代数拓扑中的经典正合列。
• 当且仅当堆的所有étale覆盖均为平凡时，其基本群为平凡群，反映了堆的单连通性。