[论文解读] Lectures on Factorization of Birational Maps

Kenji Matsuki|ArXiv.org|Feb 11, 2000

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

一句话总结

本文使用双有理胞腔理论与扇形结构理论，对代数闭域上非奇异完备代数簇之间的双有理映射的弱因子分解定理提供了详尽的阐述。它通过莫雷利的算法，将一般因子分解问题约化为扇形映射的组合因子分解，证明了任意此类双有理映射均可分解为沿与某一公共开子集不相交的光滑中心的 blows-up 与 blows-down，且当输入代数簇为射影代数簇时，中间代数簇亦为射影的。

ABSTRACT

This is an expanded version of the notes for the lectures given by the author at RIMS in the summer of 1999 to give a detailed account of the proof for the (weak) factorization theorem of birational maps by Abramovich-Karu-Matsuki-Włodarczyk.

研究动机与目标

• 为非奇异代数簇之间的双有理映射的弱因子分解定理的证明提供一个全面且易于理解的叙述。
• 阐明从一般双有理映射到扇形映射的约化步骤，使用双有理胞腔理论的框架。
• 强调莫雷利的扇形因子分解组合算法作为黑箱的作用，并将其方法置于奇点解消与对数几何的更广泛背景中。
• 为推广奠定基础，包括等变因子分解与对数范畴中的因子分解。
• 激发对强因子分解猜想与扇形化猜想作为双有理几何中核心未解问题的动力。

提出的方法

• 证明依赖于通过几何不变性理论构建的双有理胞腔理论，将双有理映射建模为一系列 blows-up 与 blows-down。
• 一个关键构造是“扇形理想”（torific ideal），它使得代数簇的“扇形化”（torification）成为可能，从而将其转化为扇形嵌入。
• 该方法使用奇点的规范解消与理想的标准主化，以在扇形化后恢复非奇异性。
• 通过消除不定点与利用局部扇形结构上的 K*-作用，实现从一般映射到扇形映射的约化。
• 扇形映射的因子分解被视为黑箱，依赖于莫雷利对扇形双有理映射的算法。
• 该框架被扩展以处理推广情形，如双有理映射、群作用与非代数闭域的情形。

实验结果

研究问题

• RQ1 如何利用双有理胞腔理论与扇形结构证明双有理映射的弱因子分解定理？
• RQ2 扇形理想在将一般双有理映射约化为扇形映射的过程中起什么作用？
• RQ3 双有理胞腔理论如何促进构造中心与某一公共开子集不相交的因子分解？
• RQ4 弱因子分解定理对强因子分解猜想与扇形化猜想有何影响？
• RQ5 弱因子分解证明中使用的方法能否被改编，以在对数范畴中实现态射的算法化奇点解消？

主要发现

• 弱因子分解定理成立：任意特征为零的代数闭域上非奇异完备代数簇之间的双有理映射，均可分解为沿与某一公共开子集不相交的光滑中心的 blows-up 与 blows-down。
• 当源与目标为射影代数簇时，可选择因子分解使得所有中间代数簇均为射影的，且存在一个中心阶段，使得映射到源与目标均为射影态射。
• 从一般映射到扇形映射的约化通过扇形化与不定点消除实现，依赖于具有特定性质的扇形理想的存 在。
• 扇形映射的因子分解通过莫雷利的组合算法实现，该算法有效且构造性，但在本研究中被视为黑箱。
• 该方法为推广提供了框架，包括等变因子分解与非代数闭域上的因子分解。
• 本文激发了扇形化猜想作为通往强因子分解猜想的潜在路径，将其与对数范畴中奇点的算法解消相联系。