[论文解读] Tame stacks in positive characteristic

Dan Abramovich, Martin Olsson+1 more|ArXiv.org|Mar 11, 2007

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

一句话总结

本文在正特征下引入了驯化叠（tame stacks），作为特征零下Deligne–Mumford叠的稳健类比，其特征为从叠上的准相干层到其粗模空间的推出函子是正合的。关键结果表明，驯化叠在局部 étale 拓扑下可表示为 $[U/G]$，其中 $G$ 是有限平坦的线性重新性（linearly reductive）群概形，从而在正特征设定下具备强几何与上同调性质。

ABSTRACT

We introduce and study a class of algebraic stacks with finite inertia in positive and mixed characteristic, which we call tame algebraic stacks. They include tame Deligne-Mumford stacks, and are arguably better behaved than general Deligne-Mumford stacks. We also give a complete characterization of finite flat linearly reductive schemes over an arbitrary base. Our main result is that tame algebraic stacks are étale locally quotient by actions of linearly reductive finite group schemes. In a subsequent paper we will show that tame algebraic stacks admit a good theory of stable maps.

研究动机与目标

• 定义并研究正特征与混合特征下的驯化叠，其中由于群作用阶数被特征整除，标准Deligne–Mumford叠的性质失效。
• 识别一类其准相干层到粗模空间的推出函子为正合的叠类，以确保更好的上同调行为。
• 建立局部结构定理，表明驯化叠在 étale 拓扑下局部是有限平坦线性重新性群概形作用下的商叠 $[U/G]$。
• 对任意基上的有限平坦线性重新性群概形进行分类，作为理论的基础工具。
• 为扭曲曲线与以驯化目标为基准的稳定映射提供框架，其动机源于正特征下的模理论。

提出的方法

• 定义一个叠 $\mathcal{M}$ 为驯化叠，若其推出函子 $\operatorname{QCoh}(\mathcal{M}) \to \operatorname{QCoh}(M)$ 正合，其中 $M$ 为粗模空间。
• 证明一个叠是驯化叠当且仅当它在 étale 拓扑下局部同构于商叠 $[U/G]$，其中 $G$ 为有限平坦且线性重新性群概形。
• 发展有限平坦线性重新性群概形的分类：其形式为 $1 \to \Delta \to G_x \to Q \to 1$，其中 $\Delta$ 为可对角化的，$Q$ 为驯化且 étale 的。
• 利用 fppf 与 étale 拓扑技术分析丛与刚化，证明 $\mathcal{X} \mathbin{\!\!\boldsymbol{\fatslash}} G$ 是代数叠，且具有 $G$-挠子丛结构。
• 应用 Artin 的代数化定理，证明商构造中 Hom-层为代数空间。
• 利用卷积超代数 $\mathbf{H}_G$ 与余作用定义 $G$-等变层，并研究其下降性质。

实验结果

研究问题

• RQ1 在正特征下，何种条件可确保从叠到其粗模空间的准相干层推出函子为正合？
• RQ2 如何刻画在正特征下行为类似 Deligne–Mumford 叠的代数叠，尽管标准性质失效？
• RQ3 在正特征下，概形上的有限平坦线性重新性群概形具有何种结构？
• RQ4 驯化叠是否可在 étale 拓扑下局部表示为商叠 $[U/G]$？为何这比 fppf 表示更强？
• RQ5 驯化叠理论如何支持扭曲稳定映射与正特征下曲线模空间的构造？

主要发现

• 具有有限对角的叠是驯化叠当且仅当推出函子 $\operatorname{QCoh}(\mathcal{M}) \to \operatorname{QCoh}(M)$ 为正合。
• 驯化叠在 étale 拓扑下局部同构于 $[U/G]$，其中 $G$ 为有限平坦线性重新性群概形。
• 有限平坦线性重新性群概形的几何纤维是可对角化群到驯化且 étale 商群的扩张。
• 对于驯化叠，粗模空间的构造与任意基变换可交换。
• 驯化性质在拉回下保持不变，且当原叠平坦时，驯化叠的粗模空间在基上也平坦。
• 刚化构造 $\mathcal{X} \mathbin{\!\!\boldsymbol{\fatslash}} G$ 给出一个代数叠，且该商映射为 fppf 丛，纤维为 $\mathcal{B}_T G_\xi$。