[论文解读] Good moduli spaces for Artin stacks

Jarod Alper|ArXiv.org|Apr 14, 2008

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

一句话总结

本文引入了任意阿廷堆栈的“良好模空间”概念，推广了几何不变量理论（GIT）和驯服堆栈理论。证明了从阿廷堆栈到代数空间的态射是良好模空间，当且仅当其上同调层的直接像函子是正合的，且结构层映射是同构。关键贡献在于证明此类模空间具有唯一性、对代数空间上的态射具有普遍性，并继承了强几何性质，包括对基变换的稳定性，以及通过稳定子表示的平凡性来刻画向量丛。

ABSTRACT

We develop the theory of associating moduli spaces with nice geometric properties to arbitrary Artin stacks generalizing Mumford's geometric invariant theory and tame stacks.

研究动机与目标

• 为任意阿廷堆栈发展一个超越有限惯性或驯服堆栈范畴的模空间一般理论。
• 将姆福尔德的几何不变量理论（GIT）推广至具有无限稳定子群的堆栈，例如参数化向量丛的堆栈。
• 定义并刻画一类新的模空间——“良好模空间”——其保留了理想的几何与函子性质。
• 在代数空间范畴中确立良好模空间的唯一性与普遍性。
• 证明良好模空间包含了经典GIT商，并将结果扩展至线性重新性群作用的情形。

提出的方法

• 将良好模空间定义为从阿廷堆栈 X 到代数空间 Y 的拟紧态射 φ: X → Y，满足两个条件：(1) 上同调层的直接像函子是正合的；(2) 自然映射 O_Y → φ_*O_X 是同构。
• 证明良好模空间是满射、普遍闭的，并在 Y 上诱导出商拓扑。
• 建立良好模空间对 étale 态射的下降性质，表明该性质在基变换下保持不变。
• 刻画 X 上的向量丛为从 Y 拉回的丛，当且仅当其在每个具有闭像的几何点处，作为稳定子群表示是平凡的。
• 利用上同调仿射态射与线性重新性群概形，证明当 G 为线性重新性时，商堆栈 [X/G] 存在良好模空间。
• 应用该理论表明，线性重新群作用下的GIT商是良好模空间，并将半稳定与稳定区域构造等结果推广至该一般框架。

实验结果

研究问题

• RQ1 能否为任意阿廷堆栈（即使缺乏有限惯性或非驯服）定义具有良好几何与函子性质的模空间？
• RQ2 “良好模空间”这一概念是否推广了经典GIT商与驯服模空间，并保持其关键性质？
• RQ3 在代数空间范畴中，良好模空间是否唯一？它是否对到代数空间的态射满足普遍性质？
• RQ4 良好模空间在基变换下如何表现？其拓扑结构是怎样的？
• RQ5 如何刻画那些作为其良好模空间拉回的堆栈上的向量丛？

主要发现

• 在代数空间范畴中，良好模空间是唯一的，且对局部诺特堆栈，普遍性质成立。
• 态射 φ: X → Y 是良好模空间，当且仅当其上同调层的直接像函子是正合的，且 O_Y → φ_*O_X 是同构。
• 良好模空间是普遍闭的且满射，Y 从 X 继承了商拓扑。
• 良好模空间的构造与任意基变换可交换，且良好模空间的基变换仍为良好模空间。
• X 上的向量丛 F 是 Y 上向量丛的拉回，当且仅当其在每个具有闭像的几何点处，作为稳定子群表示是平凡的。
• 当线性重新群 G 作用在概形 X 上时，商堆栈 [X/G] 存在良好模空间，且同构于 Spec(p_*O_X)^G，推广了经典GIT。