[论文解读] The Complexity of a Flat Groupoid

Matthieu Romagny, Gabriel Zalamansky+1 more|arXiv (Cornell University)|Jan 1, 2018

Homotopy and Cohomology in Algebraic Topology被引用 1

一句话总结

本文引入了平坦群胚的“复杂度”作为新不变量，用于度量从属关系 R → X ×_Y X 的典范分解长度，其中 Y 是 Keel–Mori 商。对于复杂度至多为 1 的群胚，作者建立了下降定理，并证明了代数堆上的平坦态射等价于保持稳定子的态射，将下降理论扩展至非驯或非良态商的情形，尤其在经典结果失效的正特征情形下。

ABSTRACT

Grothendieck proved that any finite epimorphism of noetherian schemes factors into a finite sequence of effective epimorphisms. We define the complexity of a flat groupoid $R ightrightarrows X$ with finite stabilizer to be the length of the canonical sequence of the finite map $R ightarrow X imes_{X/R} X$, where $X/R$ is the Keel--Mori geometric quotient. For groupoids of complexity at most 1, we prove a theorem of descent along the quotient $X ightarrow X/R$ and a theorem on the existence of the quotient of a groupoid by a normal subgroupoid. We expect that the complexity could play an important role in the finer study of quotients by groupoids.

研究动机与目标

• 将下降理论扩展至非驯或非良态商的情形，特别是在经典结果失效的正特征情形下。
• 为具有有限稳定子的平坦群胚定义一个新不变量——复杂度，以度量群胚作用中自由性的失效程度。
• 在复杂度 ≤1 条件下，为代数堆上纤维化的范畴建立下降定理。
• 证明到商堆 X/R 的平坦态射范畴与到 [X/R] 的平坦、保持稳定子的态射范畴等价。
• 为研究代数几何中群胚的商提供一个框架，包括对非分离作用和叶状结构的应用。

提出的方法

• 将平坦群胚 R ⇒ X 的复杂度定义为从属关系 jY : R → X ×_Y X 的典范分解长度，其中 Y = X/R 为 Keel–Mori 商。
• 利用格罗滕迪克定理：诺特概化射的有限满态射可分解为有限序列的有效满态射，并将此应用于 jY 以定义典范序列。
• 引入稳定子 Σ ⊂ R 作为 X × X 中对角线的原像，以更精细地刻画几何稳定子作用，从而考虑更高阶的分歧。
• 证明当复杂度 ≤1 时，在平坦性假设下，上拉函子 π* : C(Y) → C(R,X)′ 是等价的，推广了 Olsson 和 Alper 的结果。
• 使用堆论语言：当 C 具有可表示的对角线且复杂度 ≤1 时，有 Hom(Y, C) → Hom(π₀[X/R], C) 是等价的。
• 将理论应用于正规子群胚商，证明 [X/P] → [X/R] 诱导出一个涉及粗模空间的笛卡尔图。

实验结果

研究问题

• RQ1 对于具有有限稳定子且商为 Y = X/R 的平坦群胚 R ⇒ X，上拉函子 π* : C(Y) → C(R,X)′ 何时是等价的？
• RQ2 如何将下降理论推广至非驯或非良态商的情形，特别是在正特征下？
• RQ3 控制野性群胚作用中下降失效的不变量是什么？它如何被量化？
• RQ4 在何种条件下，到 Y = X/R 的平坦态射范畴与到 [X/R] 的保持稳定子的态射范畴对应？
• RQ5 能否通过涉及粗模空间的笛卡尔图来描述正规子群胚的商？

主要发现

• 具有有限稳定子的平坦群胚 R ⇒ X 的复杂度被定义为从属关系 jY : R → X ×_Y X 的典范分解长度，其中 Y = X/R 为 Keel–Mori 商。
• 对于复杂度至多为 1 的群胚，当 π 为平坦态射时，上拉函子 π* : C(Y) → C(R,X)′ 是等价的，推广了 Olsson 和 Alper 的结果。
• 当复杂度 ≤1 时，到 X = [X/R] 的平坦态射 X′ → X 且可由代数空间表示的范畴，等价于到 X 的平坦、保持稳定子的态射 X′ → X 的范畴。
• 当且仅当作用是自由的时，映射 π₀[X/R] → X/R 是同构；当复杂度 ≤1 时，在 C 满足适当条件的假设下，映射 Hom(X/R, C) → Hom(π₀[X/R], C) 是等价的。
• 给出一个反例表明：若无平坦性条件，主要定理会失效：在特征 p 下，存在一个非平凡的 G-等变线丛在 X = Spec k[ε]/(ε²) 上，其稳定子作用平凡，但不在 π* 的像中。
• 该理论适用于正规子群胚商，得到一个涉及粗模空间的笛卡尔图，并表明 [X/P] ×_{[X/R]} [X/P] ≅ [P\R/P]，且态射保持稳定子。