[论文解读] Recoller pour séparer

Daniel Ferrand, Bruno Kahn|arXiv (Cornell University)|Oct 22, 2015

Algebraic Geometry and Number Theory参考文献 2被引用 3

一句话总结

本文引入了概形同态 $f: T \to S$ 的「分离器」概念，即一个到分离的 $S$-概形的通用局部同构，通过粘合仿射开集来解决非分离性问题。当且仅当对角线的概形闭包对 $T \times_S T$ 的两个因子都平坦且有限型时，该分离器存在；该判别准则适用于 $\mathrm{Spec}(\mathbb{Z})$ 上的诺特戴克林概形以及基为正规的平态同态，推广了斯坦因分解和纤维的连通分支概形。

ABSTRACT

We introduce the notion of a separator for a morphism of schemes f:T o S; in particular, it is universal among morphisms from T to separated S-schemes. A separator is a local isomorphism; this property conveys the intuition of gluing some affine covering more, in order to make the scheme separated. When f is quasi-separated, its separator exists if and only if the schematic closure of the diagonal projects on both factors by flat morphisms of finite type. In particular, f admits a separator if T is Noetherian Dedekind and S=Spec(Z), or if f is étale of finite presentation and S is normal. Any normal scheme of finite type over a Noetherian ring admits an open subset containing all the points of codimension 1, which has a separator. A contrario, we give several examples of morphisms f that do not admit a separator. As an application, we attach to every smooth scheme T over a normal base S a morphism to a separated étale S-scheme of finite presentation, which is universal (a kind of separated alternative for "scheme of connected components of the fibres"). This simultaneously generalizes the classical case where the base is a field, and the case of a smooth and proper morphism (Stein factorisation).

研究动机与目标

• 定义一个通过粘合仿射开集实现的通用构造，以局部同构方式将概形分离。
• 将经典的斯坦因分解和纤维的连通分支概形推广至基为正规的光滑同态。
• 明确确定一个同态在何种条件下可接受分离器，尤其在拟分离和平态情形下。
• 通过利用对角线的概形闭包构造一个通用商，以解决代数几何中的非分离性问题。
• 为在相对代数几何中构造分离商提供一个框架，利用平坦性与概形支配性。

提出的方法

• 将分离器定义为到分离的 $S$-概形 $E$ 的通用、满射的局部同构 $h: T \to E$，其中 $h$ 为拟紧且拟分离。
• 将对角线 $\Delta: T \to T \times_S T$ 的概形闭包作为构造分离器的关键几何对象。
• 证明分离器存在的充要条件是：对角线的概形闭包对 $T \times_S T$ 的两个因子都平坦且有限型。
• 将该准则应用于具体情形：当 $T$ 是 $S = \mathrm{Spec}(\mathbb{Z})$ 上的诺特戴克林概形，以及当 $f$ 为有限表现的平态同态且 $S$ 正规时。
• 利用局部同构与概形支配性，确保通过识别在拓扑上接近的点来解决非分离性。
• 借助EGA 及格罗滕迪克的代数空间与下降理论结果，证明在平坦性条件下满足通用性质与存在性。

实验结果

研究问题

• RQ1 在何种条件下，同态 $f: T \to S$ 允许存在一个到分离的 $S$-概形的通用局部同构？
• RQ2 同态 $f$ 需满足何种条件，才能保证其对角线的概形闭包对 $T \times_S T$ 的两个因子都平坦且有限型？
• RQ3 经典的斯坦因分解与纤维的连通分支概形能否在基为正规的光滑同态下，统一于一个单一的通用构造之下？
• RQ4 在诺特环上有限型的正规概形中，是否存在一个包含所有余维数为1点的开子集，使其具有分离器？
• RQ5 是否存在分离器存在的内在障碍？若有，其本质为何？

主要发现

• 同态 $f: T \to S$ 当且仅当其对角线 $\Delta: T \to T \times_S T$ 的概形闭包对 $T \times_S T$ 的两个因子都平坦且有限型时，才存在分离器。
• 当 $T$ 是 $S = \mathrm{Spec}(\mathbb{Z})$ 上的诺特戴克林概形时，分离器存在。
• 若 $f$ 是有限表现的平态同态且 $S$ 正规，则 $f$ 具有分离器。
• 任何在诺特环上有限型的正规概形，均包含一个开子集，其中包含所有余维数为1的点，且该子集具有分离器。
• 存在明确的同态 $f$ 的例子，其不具有分离器，表明所给条件是紧致的。
• 该构造产生一个从光滑 $S$-概形到有限表现的分离平态 $S$-概形的通用同态，同时推广了连通分支构造与斯坦因分解。