[论文解读] Fundamental Groups of Algebraic Stacks

Behrang Noohi|ArXiv.org|Jan 4, 2002

Algebraic Geometry and Number Theory参考文献 2被引用 4

一句话总结

本文通过引入从惯性群（局部芽的自同构群）到基本群的同态这一附加结构，发展了代数堆的基本群理论。它证明了基本群关于由这些像生成的正规子群的闭包的商群，即为粗模空间的基本群，并给出了通过这些映射的单射性来判断堆是否可统一化的充要条件。

ABSTRACT

We study fundamental groups of algebraic stacks. We show that these fundamental groups carry an additional structure coming from the inertia groups. Then use this additional structure to analyze geometric/ topological properties of stacks. We give an explicit formula for the fundamental group of the coarse moduli space. Also, we use these additional structures to give a necessary and sufficient for an algebraic stack to be uniformizable.

研究动机与目标

• 通过不依赖于拓扑斯理论的方式，发展代数堆的基本群理论。
• 识别并分析在几何点处由芽的惯性群所诱导的基本群上的附加结构。
• 通过商构造，将代数堆的基本群与其中心模空间的基本群联系起来。
• 通过惯性群到基本群的典范映射的单射性，刻画代数堆可统一化的条件。
• 通过此增强的基本群结构，提供关于堆的拓扑与几何性质的显式公式与结构洞见。

提出的方法

• 通过有限平展覆盖的伽罗瓦范畴来定义代数堆的基本群。
• 引入从几何点 x 处的剩余芽自同构群到基本群 π₁(𝒳, x) 的典范同态 ωₓ。
• 将 π₁(𝒳, x) 中的正规子群 N 构造为所有 ωₓ 的像所生成的正规子群的闭包。
• 证明 π₁(𝒳, x)/N 同构于粗模空间 |𝒳| 的基本群。
• 利用映射 ωₓ 定义可统一化的判别准则：一个德利涅-穆默福德堆可统一化当且仅当所有 ωₓ 都是单射。
• 应用下降理论与纤维化技巧（例如满足特定性质的态射的有效下降），证明覆盖提升的存在性与唯一性。

实验结果

研究问题

• RQ1 代数堆的基本群在通常的紧致豪斯多夫群结构之外，还携带何种附加结构？
• RQ2 代数堆的基本群与其中心模空间的基本群之间的确切关系是什么？
• RQ3 在何种条件下，代数堆是可统一化的，即存在一个代数空间上的有限平展覆盖？
• RQ4 如何利用堆在几何点处的惯性群来探测其全局几何或拓扑性质？
• RQ5 纤维化与下降理论方法在多大程度上扩展了基本群理论在堆上的适用性？

主要发现

• 代数堆的基本群携带一个从其在几何点 x 处的剩余芽自同构群到基本群的典范同态 ωₓ。
• 商群 π₁(𝒳, x)/N（其中 N 为所有 ωₓ 的像所生成的正规子群的闭包）自然同构于粗模空间 |𝒳| 的基本群。
• 一个德利涅-穆默福德堆可统一化当且仅当所有映射 ωₓ 都是单射。
• 该理论允许通过商构造显式计算粗模空间的基本群。
• 纤维化与下降理论方法的应用，使得覆盖提升的存在性与唯一性得以证明，这对主要结果至关重要。
• 所有结果均不依赖于拓扑斯理论，使得该框架具有可及性与几何直观性。