[论文解读] A refinement of Izumi's Theorem

Sébastien Boucksom, Charles Favre+1 more|arXiv (Cornell University)|Sep 18, 2012

Algebraic Geometry and Number Theory参考文献 33被引用 16

一句话总结

该论文通过使用 торoidal 几何和 nef 除子的正性，对 Izumi 定理进行了改进，证明了在代数簇上某一点处的单项赋值的比值 $ v(f)/\operatorname{ord}_0(f) $ 在整个对偶复形上具有统一的利普希茨连续性。关键结果表明，赋值及其体积均关于定义赋值的权重参数具有利普希茨连续性，且显式界依赖于对偶复形的几何结构。

ABSTRACT

We improve Izumi's inequality, which states that any divisorial valuation v centered at a closed point 0 on an algebraic variety Y is controlled by the order of vanishing at 0. More precisely, as v ranges through valuations that are monomial with respect to coordinates in a fixed birational model X dominating Y, we show that for any regular function f on Y at 0, the function v--> v(f)/\\ord_0(f) is uniformly Lipschitz continuous as a function of the weight defining v. As a consequence, the volume of v is also a Lipschitz continuous function. Our proof uses toroidal techniques as well as positivity properties of the images of suitable nef divisors under birational morphisms.

研究动机与目标

• 通过量化在一点处的除子赋值与零点阶数之间的可比较性，来强化 Izumi 定理。
• 在固定双有理模型下，建立映射 $ v \mapsto v(f)/\operatorname{ord}_0(f) $ 在单项赋值上的统一利普希茨连续性。
• 证明定义赋值的权重参数下，赋值的体积也是利普希茨连续的。
• 通过牛顿多面体和对偶复形上的交比理论，将利普希茨常数与几何不变量联系起来。

提出的方法

• 使用 toroidal 几何，通过简单法线相交除子的对偶复形 $ \Delta(X,Z) $ 对拟单项赋值空间进行建模。
• 应用凸分析研究对偶复形每个面上的赋值函数 $ v \mapsto v(f) $ 的拟凹性和利普希茨连续性。
• 利用双有理态射下 nef 除子像的正性性质来界定利普希茨常数。
• 使用 Cohen 的结构定理将函数表示为局部坐标下的幂级数，从而定义牛顿多面体 $ \operatorname{Nw}(f,J) $。
• 将问题约化为通过对数函数 $ \varphi = \log|f| $ 的利普希茨常数来估计牛顿多面体极值点的范数。
• 在定理 B 的证明中，利用交数 $ (L_d \cdot M^{n-|J|-1} \cdot E_J) $ 推导出利普希茨常数的界。

实验结果

研究问题

• RQ1 Izumi 不等式中的常数能否在一组单项赋值族中实现统一？
• RQ2 比值 $ v(f)/\operatorname{ord}_0(f) $ 是否关于定义赋值的权重参数具有利普希茨连续性？
• RQ3 赋值函数的利普希茨常数如何与环境簇和除子配置的几何不变量相关联？
• RQ4 能否证明赋值的体积随权重参数的连续变化？

主要发现

• 在对偶复形 $ \Delta $ 上，函数 $ v \mapsto v(f) $ 是拟凹的，且利普希茨连续，其常数不超过 $ A \cdot \operatorname{ord}_0(f) $，其中 $ A $ 仅依赖于模型 $ X $ 和 $ \Delta $ 上的度量。
• 比值 $ v(f)/\operatorname{ord}_0(f) $ 在定义单项赋值的权重参数上具有统一的利普希茨连续性，且界与 $ f $ 无关。
• 赋值的体积是定义单项赋值的权重向量的利普希茨连续函数，其利普希茨常数被最大交数 $ (L_1 \cdot M^{n-|J|-1} \cdot E_J) $ 的倍数所控制。
• 牛顿多面体 $ \operatorname{Nw}(f,J) $ 的极值点的范数至多为 $ AC \cdot \operatorname{ord}_0(f) $，其中 $ C $ 是依赖于范数的几何常数，$ A $ 是定理 A 中的利普希茨常数。
• 证明表明，$ v \mapsto v(f) $ 的利普希茨常数由对偶复形的几何结构以及双有理态射下超平面截面的拉回的正性所控制。