[论文解读] How to determine the sign of a valuation on C[x,y]?

Pinaki Mondal|arXiv (Cornell University)|Jan 14, 2013

Advanced Differential Equations and Dynamical Systems参考文献 5被引用 9

一句话总结

该论文提供了完整的判别准则，用于确定在 ℂ[x,y] 上中心于无穷远点的除子性离散赋值在 ℂ[x,y]∖ℂ 上是否为负或非正。研究表明，赋值的符号完全由其在赋值最后一个关键形式上的取值符号决定，方法基于 ℂ² 的紧化空间上的曲线锥几何，并推广了 [FJ07] 的结果。核心成果是基于关键形式与值半群的可有效计算的刻画。

ABSTRACT

Given a divisorial discrete valuation 'centered at infinity' on C[x,y], we show that its sign on C[x,y] (i.e. whether it is negative or non-positive on non-constant polynomials) is completely determined by the sign of its value on the 'last key form' (key forms being the avatar of 'key polynomials' of valuations (introduced by [Maclane, 1936]) in 'global coordinates'). The proof involves computations related to the cone of curves on certain compactifications of C^2 and gives a characterization of the divisorial valuations centered at infinity whose 'skewness' can be interpreted in terms of the 'slope' of an extremal ray of these cones, yielding a generalization of a result of [Favre-Jonsson, 2007]. A by-product of these arguments is a characterization of valuations which 'determine' normal compactifications of C^2 with one irreducible curve at infinity in terms of an associated 'semigroup of values'.

研究动机与目标

• 解决在 ℂ[x,y] 上中心于无穷远点的除子性离散赋值在 ℂ[x,y]∖ℂ 上是否为负或非正的问题。
• 提供一种基于全局不变量而非局部计算的有效准则，以判断此类赋值的符号。
• 通过其值半群刻画决定 ℂ² 的具有一个无穷远不可约曲线的正规紧化的除子性赋值。
• 通过将赋值的偏斜性与 ℂ² 紧化空间上曲线锥的极值射线斜率关联，推广 [FJ07] 的一个结果。

提出的方法

• 使用关键形式——MacLane 理论中关键多项式的全局类比——作为分析赋值在 ℂ[x,y] 上行为的核心计算工具。
• 应用 [Mon13] 中的代数收缩准则，该准则依赖关键形式以判断紧化空间上曲线的可收缩性。
• 分析由度函数 δ 构造的 ℂ² 的射影紧化空间 X̄ 上的曲线锥与 nef 锥，特别关注分次环 R^δ 的结构。
• 依赖最后一个关键形式的 δ-值的几何解释，以判断 δ 在 ℂ[x,y] 上是否为正或非负，从而将代数性质与曲线相交形式等几何不变量联系起来。
• 使用 Grauert 准则判断曲线是否可收缩，这对应于 δ(g_{n+1}) > 0，并将其与代数紧化的存在性关联。
• 建立 δ 的值半群与代数紧化和解析紧化存在性之间的联系，表明仅凭值半群无法区分二者。

实验结果

研究问题

• RQ1 如何有效判断在 ℂ[x,y] 上中心于无穷远点的除子性离散赋值在 ℂ[x,y]∖ℂ 上是否为负或非正？
• RQ2 赋值在 ℂ[x,y] 上的符号在 ℂ² 紧化空间的曲线锥意义上具有何种几何意义？
• RQ3 ℂ[x,y] 上半度 δ 的值半群能否区分 ℂ² 的代数紧化与解析紧化？
• RQ4 δ 的最后一个关键形式的取值如何决定 δ 在 ℂ[x,y] 上的符号？
• RQ5 在什么条件下，ℂ[x,y] 上的除子性半度 δ 会诱导出 ℂ² 的代数紧化？

主要发现

• ℂ[x,y] 上除子性离散赋值 ν 的符号完全由 ν 在最后一个关键形式 g_{n+1} 上的符号决定：ν 在 ℂ[x,y]∖ℂ 上非正当且仅当 ν(g_{n+1}) ≤ 0。
• ℂ[x,y] 上的除子性半度 δ 在 ℂ[x,y]∖ℂ 上为正，当且仅当 δ(g_{n+1}) > 0，或 δ(g_{n+1}) = 0 且某个更早的关键形式 g_k 不是多项式。
• 对所有非常值 f ∈ ℂ[x,y]，δ(f)/deg(f) 的下确界等于 δ(g_{n+1}) / d_δ（当 δ(g_{n+1}) ≥ 0 时）；当 δ(g_{n+1}) < 0 时，该下确界严格大于 α(δ)。
• 由 δ 确定的 ℂ² 紧化是代数紧化当且仅当最后一个关键形式 g_{n+1} 是多项式；否则仅为解析紧化。
• 存在不同的半度 δ 和 δ′，其值半群相同（即 N_δ = N_δ′），但 δ 确定代数紧化而 δ′ 不确定，表明值半群本身无法区分代数与解析紧化。
• X̄ 的曲线锥中极值射线的斜率与 δ(g_{n+1}) 直接相关，将 [FJ07] 的结果推广至全局情形。