[论文解读] The resolution property for schemes and stacks

Burt Totaro|ArXiv.org|Jul 23, 2002

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

一句话总结

该论文在稳定子群满足温和条件的前提下，建立了解析性质（即每个凝聚层都是向量丛的商）与作为仿射开概化方案关于 $GL(n)$ 的商叠等价。关键贡献在于证明：对于具有仿射稳定子的诺特正常叠，解析性质等价于可表示为 $GL(n)$ 的商叠；该结果还推广至具有方案型粗模空间的轨道簇。

ABSTRACT

We prove the equivalence of two fundamental properties of algebraic stacks: being a quotient stack in a strong sense, and the resolution property, which says that every coherent sheaf is a quotient of some vector bundle. Moreover, we prove these properties in the important special case of orbifolds whose associated algebraic space is a scheme.

研究动机与目标

• 建立具有仿射稳定子群的代数叠中解析性质与商叠结构之间的等价性。
• 在温和条件下证明：解析性质蕴含叠同构于某个仿射开概化方案关于 $GL(n)$ 的商。
• 证明光滑德利涅-穆福迪克叠若具有有限、在一般点上平凡的稳定子且具有仿射对角线的方案粗模空间，则具有解析性质。
• 解决关于轨道簇与具有商奇点的叠是否存在向量丛解析的长期悬而未决问题。
• 提供一个通用框架，消除在导出范畴与双有理几何应用中对科恩-麦克唐纳全局覆盖的依赖。

提出的方法

• 利用汤普森关于仿射开概化方案的解析性质结果，建立等价性的一个方向。
• 应用基尔-莫里定理，为具有有限稳定子的光滑德利涅-穆福迪克叠构造粗模空间 $B$。
• 运用等变层理论，并利用存在 $T$-等变向量丛且截面消失于某点的性质，构造解析。
• 将叠 $Y/T$ 的解析性质归约为：某个 $T$-等变凝聚层 $C$ 是否为 $T$-等变向量丛的商。
• 利用 $GL(n)$-丛在仿射开概化方案上的提升仍为仿射开概化方案的事实，推导出商叠的解析性质。
• 应用对称性与下降技术（如 $ extbf{Z}/2$-作用）将结果从射影直线的并推广至节点曲线及其商。

实验结果

研究问题

• RQ1 在何种条件下，具有仿射稳定子群的诺特代数叠同构于某个仿射开概化方案关于 $GL(n)$ 的商叠 $W/GL(n)$？
• RQ2 光滑德利涅-穆福迪克叠若具有有限、在一般点上平凡的稳定子且具有方案粗模空间，何时具有解析性质？
• RQ3 能否在不假设科恩-麦克唐纳全局覆盖的前提下，为具有商奇点的轨道簇建立解析性质？
• RQ4 对于具有仿射稳定子的叠，解析性质是否等价于叠是某个仿射开概化方案关于 $GL(n)$ 的商？
• RQ5 在具有仿射对角线但存在非平凡 $G_m$-gerbe 的叠中，解析性质的几何障碍是什么？

主要发现

• 对于其粗模空间为具有仿射对角线的方案且具有有限、在一般点上平凡稳定子的光滑德利涅-穆福迪克叠，解析性质成立。
• 对于在闭点处具有仿射稳定子的诺特正常叠，解析性质等价于叠同构于某个仿射开概化方案关于 $GL(n)$ 的商。
• 解析性质蕴含叠的对角态射是仿射的，从而排除了如 $\mathbb{A}^n \cup_{\mathbb{A}^n - 0} \mathbb{A}^n$（$n \geq 2$）等反例。
• 该论文在 $\mathbb{P}^1 \cup \mathbb{P}^1$ 上显式构造了仅在一点处截面消失的 $T$-等变向量丛，证明了商叠 $Y/T$ 的解析性质。
• 即使节点三次曲线本身不正规，其关于 $G_m$-作用的商仍具有解析性质，表明该结果具有强鲁棒性。
• 关于一个具有非挠 $H^2$-类的表面之上非平凡 $G_m$-gerbe 的反例不满足解析性质，确认了仅具有仿射对角线不足以保证，但定理 1.1 中的等价性在更强的稳定子条件下依然成立。