[论文解读] A note on group actions on algebraic stacks

Matthieu Romagny|ArXiv.org|May 16, 2003

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

一句话总结

本文为代数栈上的群作用建立了基础定义，并证明了在适当平坦、分离的群概形下，不动点栈的代数性以及商栈的代数性。它表明商栈 𝒪/M/G 同构于 G-主丛的栈，且当 G 是平坦、分离且有限表现时，该商栈是代数的。

ABSTRACT

We give the basic definitions of group actions on (algebraic) stacks, and prove the existence of fixed points and quotients as (algebraic) stacks.

研究动机与目标

• 系统化地形式化代数栈上群作用的理论，尽管该理论在模问题中频繁使用，但此前在文献中尚未得到系统处理。
• 回应在如轨道Gromov-Witten理论和参数化伽罗瓦覆盖的Hurwitz栈等应用中对严谨框架的需求。
• 在群概形的自然几何假设下，建立商栈与不动点栈的存在性及其代数性。
• 精确刻画商栈为给定群概形作用下的主丛栈，确保与下降理论和fppf拓扑的一致性。
• 将经典关于概形商的结论推广至代数栈的设定，尤其适用于混合特征情形及有限平坦群概形。

提出的方法

• 通过2-范畴中栈的2-交换图定义代数栈上的群作用，利用1-态射与2-同构编码等变性。
• 将商栈 𝒪/M/G 构造为 G-等变映射预栈的关联栈，确保其表示 G-主丛的函子。
• 通过构造一个忠实且局部本质满射的态射，证明商栈同构于 G-主丛的栈。
• 利用对角态射与 Isom-概形的表示性，结合 fppf 下降与基变换性质，建立商栈的代数性。
• 利用从 𝒪/M 到 𝒪/M/G 的典范态射，证明商栈在 fppf 拓扑下局部由 𝒪/M 的一个图表示。
• 应用 Laumon-Moret-Bailly 的代数性判别准则，验证对角态射是表示的、分离的且准紧的。

实验结果

研究问题

• RQ1 在何种条件下，代数栈上群作用的不动点栈存在且保持代数性？
• RQ2 在何种条件下，代数栈关于群作用的商栈本身是代数的？
• RQ3 如何将商栈刻画为给定群概形作用下的主丛栈？
• RQ4 𝒪/M 上的 G-线丛栈与商栈的 Picard 栈之间有何关系？
• RQ5 商栈的构造在基概形 S 上的基变换下是否可交换？

主要发现

• 商栈 𝒪/M/G 同构于 𝒪/M 上的 G-主丛栈，记为 (𝒪/M/G)*，且该识别是典范的。
• 若 G 是 S 上平坦、分离且有限表现的，则商栈 𝒪/M/G 是代数的，因此属于代数栈的2-范畴。
• 从 𝒪/M 到 𝒪/M/G 的典范投影是一个 fppf 态射，且是商栈上 G-主丛的普遍对象。
• 商栈的构造在基概形 S 上的基变换下可交换，确保函子性。
• 𝒪/M/G 的对角态射是表示的、分离的且准紧的，这通过标准准则意味着其代数性。
• 对于 𝒪/M 上的 G-线丛 F，G-线丛的栈同构于商栈的 Picard 栈，即 𝒫ic(𝒪/M/G) ≅ 𝒫ic^G(𝒪/M) ≅ 𝒫ic(𝒪/M)^G。