[论文解读] Topologies de Grothendieck, descente, quotients

Sylvain Brochard|arXiv (Cornell University)|Oct 1, 2012

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

一句话总结

本文对代数几何中的格罗滕迪克拓扑、下降理论及商构造进行了基础性研究，重点探讨了商函子被概形或代数空间表示的条件。通过使用fpqc/fppf/étale拓扑和下降技术，本文建立了在群作用（特别是可对角化群的自由作用）下，概形商的表示性准则，关键结果包括范畴商的存在性，以及商作为层或代数空间的角色。

ABSTRACT

In this note, we present a few existence theorems for the quotient of a scheme by the action of a group. The first two sections are devoted to Grothendieck topologies and descent theory. The third one is dealing with quotients: we first give direct and (almost) complete proofs for the main existence results of SGA 3, exposé V. Then we discuss some specific situations: the quotient of an algebraic group over a field by a subgroup, the quotient of a group by the normalizer of a smooth subgroup, and quotients of affine schemes by free actions of diagonalizable groups. From place to place, the original proofs have been slightly improved (e.g. with the use of algebraic spaces). This note grew out of lectures given by the author in the CIRM (Luminy) during the Summer School "Schémas en groupes" in 2011.

研究动机与目标

• 为现代代数几何所必需的格罗滕迪克拓扑与下降理论提供一个自包含的导引。
• 研究概形在群作用下的商的存在性与表示性，特别是在代数空间的语境下。
• 阐明范畴商、层商与底层空间-环化商之间的关系。
• 确立在可对角化群的自由作用下，概形商被概形表示的条件。
• 论证当层商不是概形时，其作为代数空间的实用性优于空间-环化商。

提出的方法

• 使用fpqc、fppf与étale拓扑来定义层，并研究拟相干层的下降性质。
• 应用下降理论以证明拟相干层沿fpqc态射可下降，从而实现从局部数据构造整体对象。
• 通过群概形结构与等价关系分析群作用，采用函子与层的语言。
• 比较在概形范畴、层范畴与环化空间范畴中商的表示性，以评估其表示性。
• 利用商作为G-不变态射范畴中初始对象的概念来定义范畴商。
• 应用函子表示性结果与代数空间的性质，以确定商何时为概形或代数空间。

实验结果

研究问题

• RQ1 在何种条件下，概形在群作用下的商可被概形表示？
• RQ2 在群作用语境下，层商、空间-环化商与范畴商之间有何关系？
• RQ3 格罗滕迪克拓扑（fpqc、fppf、étale）在商对象的构造与下降中起何作用？
• RQ4 在可对角化群的自由作用下，概形的商何时为概形？
• RQ5 为何在几何语境中，层商通常优于空间-环化商？

主要发现

• 若群作用为自由作用且群为可对角化群，则概形在该群作用下的商可被概形表示。
• 作为函子的层商（作为代数空间）通常比空间-环化商更实用，尤其当后者非概形时。
• 沿fpqc态射的拟相干层下降理论确保了局部数据可粘合成整体对象，是商构造中的关键工具。
• 范畴商存在且在同构意义下唯一，但其被概形表示并非总是成立。
• 在适度条件下，层范畴中的商（作为集合层）可被代数空间表示，即使其非概形。
• 在适当假设下，对光滑子群的正规化子的商可被表示，从而提供齐性空间的构造方法。