[论文解读] The étale local structure of algebraic stacks

Jarod Alper, Jack Hall+1 more|arXiv (Cornell University)|Dec 12, 2019

Algebraic Geometry and Number Theory参考文献 39被引用 22

一句话总结

本文建立了任意基上具有仿射稳定子的代数堆栈的一般局部结构定理，证明当某点的稳定子为线性半单时，其在 étale 局部为商堆栈。本文引入了关于凝聚完备性和形式序列有效性性的基础结果，将经典定理推广至堆栈，从而在等变几何与模理论中开启新的应用。

ABSTRACT

We prove that an algebraic stack with affine stabilizers over an arbitrary base is étale-locally a quotient stack around any point with a linearly reductive stabilizer. This generalizes earlier work by the authors of this article (stacks over algebraically closed fields) and by Abramovich, Olsson and Vistoli (stacks with finite inertia). In addition, we prove a number of foundational results, which are new even over a field. These include various coherent completeness and effectivity results for adic sequences of algebraic stacks. Finally, we give several applications of our results and methods, such as structure theorems for linearly reductive group schemes and generalizations to the relative setting of Sumihiro's theorem on torus actions and Luna's étale slice theorem.

研究动机与目标

• 将代数堆栈的 étale 局部结构定理从代数闭域推广至任意（可能为混合特征）基。
• 为诺特代数堆栈建立关于凝聚完备性和形式序列有效性的基础结果，即使在域上也属新成果。
• 将等变几何中的经典结果（如住米宏定理和卢纳的 étale 切片定理）推广至相对和更一般的情形。
• 证明适当的模空间对映射到代数空间具有普遍性，从而解决了几何不变量理论中长期存在的正特征问题。
• 提供在何种条件下，定义在闭子堆栈上的性质与对象（如向量丛、有限 étale 覆盖）可延拓至 étale 邻域，从而支持局部到整体的论证。

提出的方法

• 结合凝聚完备性结果，运用蒂南卡对偶性分析代数堆栈的结构。
• 发展诺特代数堆栈的形式序列的有效性定理，类比于格罗滕迪克对形式概形的代数化定理。
• 应用亨泽尔与凝聚完备对，将局部问题约化为完备局部环。
• 通过主丛与商堆栈构造 étale 邻域，利用线性半实稳定子确保表示性与下降性。
• 利用相对基本堆栈与线性半实群概形，构造具有良好模空间的堆栈的局部模型。
• 在混合特征下构造反例，以澄清主定理中条件 (Q_open)、(FC) 与 (PC) 的必要性。

实验结果

研究问题

• RQ1 在何种条件下，具有仿射稳定子的代数堆栈在 étale 局部为商堆栈？
• RQ2 如何为诺特代数堆栈建立形式序列的有效性，其对代数化有何影响？
• RQ3 当存在良好模空间时，堆栈的性质在多大程度上可从闭子堆栈延拓至 étale 邻域？
• RQ4 住米宏定理（关于环作用）与卢纳的 étale 切片定理能否推广至任意基上的相对情形？
• RQ5 在线性半实群概形作用于非完美域时，其结构约束为何？这与堆栈的局部结构有何关联？

主要发现

• 在任意基上具有仿射稳定子的代数堆栈，若某点的稳定子为线性半实，则其在 étale 局部为商堆栈，推广了此前在代数闭域上的结果。
• 本文证明了代数堆栈的凝聚完备性结果（定理 1.6），当与蒂南卡对偶性结合时极为强大，可支持新的下降与重构技术。
• 建立了诺特代数堆栈形式序列的有效性定理（定理 1.10），类比于格罗滕迪克对形式概形的代数化，且为堆栈的首项此类结果。
• 证明了适当的模空间对映射到代数空间具有普遍性，意味着正特征下 GIT 商为代数空间中的范畴商。
• 若堆栈具有仿射良好模空间，则定义在闭子堆栈上的性质（如可解性、有限 étale 覆盖、向量丛）可延拓至 étale 邻域。
• 证明了住米宏定理的推广：具有环作用的代数空间在任意基上均存在 $T$-等变仿射 étale 邻域。