[论文解读] On relative birational geometry and Nagata's compactification

Michael Temkin, Ilya Tyomkin|arXiv (Cornell University)|Nov 25, 2013

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

一句话总结

本文通过模型论框架将相对双有理几何推广至代数空间，引入拟赋值空间与余上积，为代数空间的Nagata紧化定理提供了新的证明。它建立了代数空间概化性的赋值准则，并刻画了Prufer态射，为推广至堆与等变几何奠定了基础。

ABSTRACT

In 2011, the first author introduced (relative) Riemann-Zariski spaces corresponding to a morphism of schemes and established their basic properties. In this paper we clarify that theory and extend it to morphisms between algebraic spaces. As an application, a new proof of Nagata's compactification theorem for algebraic spaces is obtained.

研究动机与目标

• 将相对Riemann-Zariski空间理论从概形推广至代数空间。
• 通过模型论与赋值方法，为代数空间的Nagata紧化定理提供新的证明。
• 利用拟赋值空间建立代数空间概化性的赋值准则。
• 在qcqs代数空间背景下刻画Prufer态射与Prufer对。
• 为未来推广至等变几何与Deligne-Mumford堆奠定基础。

提出的方法

• 引入模型的概念，定义为三元组 $\mathbf{X} = (\mathcal{X}, X, \psi_\mathbf{X})$，其中 $\psi_\mathbf{X}: \mathcal{X} \to X$ 为分离的概形态稠密态射。
• 将模型的变换定义为满足 $\mathcal{X}$-映射为同构且 $X$-映射为完备的态射。
• 利用拟赋值空间及其余上积分析模型的赋值结构。
• 应用Ferrand余上积与逼近技巧，通过爆开从代数空间构造概形。
• 采用拟变换与拟爆开，将全局概化问题约化为局部赋值条件。
• 利用赋值空间 $\mathrm{Val}(\mathbf{X})$ 的拟紧性，通过拟爆开有限覆盖空间为若干概形样部分。

实验结果

研究问题

• RQ1 相对Riemann-Zariski空间理论能否从概形推广至代数空间？
• RQ2 如何通过模型论与赋值方法重新证明Nagata的紧化定理？
• RQ3 何种赋值条件可确保代数空间在$\mathcal{X}$-容许爆开后成为概形？
• RQ4 Prufer态射在qcqs代数空间之间如何通过变换与概化性刻画？
• RQ5 拟赋值空间与余上积如何促进紧化与概化的构造？

主要发现

• 通过任意模型存在仿射变换，获得代数空间Nagata紧化定理的新证明。
• 任何代数空间之间的分离态射均可分解为仿射态射后接完备态射，推广了经典分解结果。
• 若代数空间 $X$ 拥有概形态稠密的拟紧开子概形 $\mathcal{X}$，则当且仅当所有与赋值 $\mathbf{T} \to \mathbf{X}$ 相关的赋值空间 $T$ 均为分离时，$X$ 允许$\mathcal{X}$-容许爆开为概形。
• 模型 $\mathbf{X}$ 为Prufer当且仅当 $\psi_\mathbf{X}$ 为拟开浸入，且 $(X, \mathcal{X})$ 为Prufer对。
• qcqs代数空间之间Prufer态射的类在平展基变换下稳定。
• 赋值空间 $\mathrm{Val}(\mathbf{X})$ 为拟紧，使得可通过拟爆开有限覆盖为概形样部分。