[论文解读] Birational cobordisms and factorization of birational maps

Jarosław Włodarczyk|ArXiv.org|Apr 15, 1999

Algebraic Geometry and Number Theory参考文献 18被引用 35

一句话总结

本文提出了一种基于 $K^*$-作用的Morse理论框架，用于将特征零域上光滑射影概形之间的双有理映射分解为基本步骤：环面型翻转、展开与反展开。关键贡献是一个因子分解定理，表明任意双有理映射均可表示为一系列此类步骤的组合，每个步骤在局部上同构于环面概形的等变变换，从而提供了一种系统化、几何化的因子分解，类似于拓扑学中的胞腔分解。

ABSTRACT

In this paper we develop a Morse-like theory in order to decompose birational maps and morphisms of smooth projective varieties defined over a field of characteristic zero into more elementary steps which are locally étale isomorphic to equivariant flips, blow-ups and blow-downs of toric varieties. A crucial role in the considerations is played by K^*-actions where K is the base field. This paper serves as a basis for proving the weak factorization conjecture on factorization of birational maps in characteristic zero into blow-ups and blow-downs. This is carried out in two subsequent papers, one by the author (Combinatorial structures on toroidal varieties: a proof of the weak Factorization Theorem) and one joint with Abramovich, Karu and Matsuki (Torification and factorization of birational maps). In the last paper, the ideas of the present paper are discussed using geometric invariant theory.

研究动机与目标

• 使用 $K^*$-作用开发光滑射影概形之间双有理映射的几何分解理论。
• 将Morse理论思想推广至代数几何，将 $K^*$-作用解释为梯度流的类比。
• 建立双有理映射到基本步骤的因子分解，这些步骤在局部上同构于环面型翻转、展开与反展开。
• 证明所有定义在代数闭特征零域上的光滑射影概形之间的双有理映射，其因子分解均存在。
• 为最小模型程序中现有因子分解定理提供一种构造性、几何化的替代方案。

提出的方法

• 利用概形上的 $K^*$-作用定义双有理cobordism，其中 $t \to 0$ 和 $t \to \infty$ 的极限分别定义两个开集 $B_-$ 和 $B_+$。
• 定义几何商 $B_-//K^*$ 和 $B_+//K^*$，它们分别同构于源概形 $X_2$ 和目标概形 $X_1$。
• 利用 $K^*$-作用的固定点集分支对cobordism进行分层，并分析 $B_-//K^*$ 与 $B_+//K^*$ 之间的过渡。
• 应用环面几何及Morelli关于强展开猜想的结果，分析固定点附近的局部行为。
• 构造一系列具有循环奇点的概形 $X_i$，通过简单环面型翻转、展开或反展开的态射连接。
• 确保所有态射与原始双有理态射 $X \to X'$ 交换，从而在 $U$ 上保持开同构。

实验结果

研究问题

• RQ1 光滑射影概形之间的双有理映射能否被分解为有限个基本双有理变换的序列？
• RQ2 $K^*$-作用在代数几何中在多大程度上可作为Morse理论工具，用于分析双有理映射？
• RQ3 环面型翻转、展开与反展开是否足以生成任意特征零域上光滑射影概形之间的双有理映射？
• RQ4 如何利用 $K^*$-作用在cobordism上的几何结构，来构造双有理映射的显式因子分解？
• RQ5 此类因子分解能否与给定的开同构 $U \subset X \simeq U' \subset X'$ 兼容？

主要发现

• 任意特征零域上光滑射影概形之间的双有理态射 $\pi: X \to X'$ 均可分解为一系列简单环面型展开、反展开或翻转的组合，每个步骤在局部上同构于环面变换。
• 该因子分解与 $U \subset X^\prime$ 上的开同构相容，从而在公共开子集上保持同构。
• 因子分解中的每一步对应一个带有 $K^*$-作用的cobordism，其中源与目标分别为商 $B_-//K^*$ 与 $B_+//K^*$。
• 序列中连续概形之间的过渡由一个简单环面型翻转控制，该翻转是环面型展开与环面型反展开的复合，其纤维为加权射影空间。
• 该因子分解通过一个在 $X'$ 上的光滑cobordism $B(X,X')$ 构造而成，其在 $U$ 上平凡，且其 $K^*$-作用的固定点分支控制了分解结构。
• 该结果可推广至具有同构开子集的光滑射影概形之间的任意双有理等价关系，而不仅限于态射。