[论文解读] Local factorization and monomialization of morphisms

Steven Dale Cutkosky|ArXiv.org|Mar 17, 1998

Algebraic Geometry and Number Theory参考文献 22被引用 42

一句话总结

本文建立了关于特征零域上优秀正规概形之间一般有限态射的构造性单项化定理。通过有限次的单行变换（沿非奇异中心的爆破），作者证明了任意此类态射在适当的统一参数下可局部化为单项式形式，使坐标函数成为单位乘以单项式，且雅可比行列式非奇异。该结果提供了最优的局部因式分解与单项化，表明通过沿赋值中心的爆破进一步简化通常不可能。

ABSTRACT

Suppose that X to Y is a generically finite map of nonsingular varieties over a field of characteristic zero, and v is a valuation of the function field of X. We prove that it is possible to perform a sequence of monoidal transforms X' to X and Y' to Y so that X' to Y' is a monomial mapping at the center of v. We deduce from this that a birational morphism of nonsingular varieties can be factored along a valuation by a sequence of blowups and blowdowns with nonsingular centers.

研究动机与目标

• 通过将代数几何中的非单项式方程组转化为单项式形式，解决其分析问题。
• 为通过爆破将一般有限态射转化为单项映射提供一种构造性、算法化的方法。
• 通过证明通过赋值中心爆破无法进一步简化的事实，建立最强形式的局部单项化结果。
• 将单项化结果推广至高维概形，并通过合适、完备的代数簇提供几何解释。
• 证明在特征零假设下，对于有限域扩张的优秀正规局部环局部设定，单项化是可实现的。

提出的方法

• 使用单行变换（爆破正规素理想）逐步简化态射。
• 应用统一参数变换（UTS）逐步降低定义方程的复杂度。
• 运用赋值理论与秩1分析控制函数在变换下的行为。
• 在源与目标环中构造一系列爆破，以实现单项式形式。
• 使用佩罗变换与单位代换降低项的重数，实现所需的单项式结构。
• 通过在零点阶数与赋值行为上进行归纳与情形分析，确保过程终止与正确性。

实验结果

研究问题

• RQ1 在特征零域上，优秀正规概形之间的一般有限态射，是否可通过沿非奇异中心的爆破，在局部转化为单项映射？
• RQ2 即使在沿赋值爆破后态射不再有限，是否仍能在正规局部环的局部设定下实现单项化，且涉及有限域扩张？
• RQ3 实现给定态射单项化所需的最少图表数与爆破次数是多少？是否可算法化实现？
• RQ4 是否可使爆破与完备性赋值准则相容，从而实现单项化？
• RQ5 通过赋值中心爆破进一步简化态射的障碍是什么？能否对其进行刻画？

主要发现

• 主要结果，定理A，证明了对于特征零域上等维的优秀正规局部环 R ⊂ S，且 K/S 为有限域扩张，存在单行变换 R′ 与 S′，使得诱导映射 R′ → S′ 在统一参数下为单项式。
• 单项式形式为 x_i = y_1^{a_{i1}}⋯y_n^{a_{in}} δ_i，其中 δ_i 为单位，且 det(a_{ij}) ≠ 0，确保变换在单位意义下可逆。
• 该构造完全为构造性，依赖于有限次单行变换与统一参数变换序列。
• 该结果为最优：阿布扬卡的反例表明，通常无法通过此类变换使映射 R′ → S′ 成为有限态射。
• 几何版本，定理B，表明任意特征零的完备、非奇异、优秀 k-概形之间的一般有限态射，在源与目标中有限次沿非奇异中心爆破后，可局部化为单项式形式。
• 在二维情形下，单项化可加强为全局单项式形式，表明低维情形下存在更深层次的结构简化。