[论文解读] A Field of Generalised Puiseux Series for Tropical Geometry

Thomas Markwig|ArXiv.org|Sep 24, 2007

Polynomial and algebraic computation参考文献 15被引用 31

一句话总结

本文引入了一类新的广义 Puiseux 级数场，记为 𝕂，其为复数域 ℂ 上经典 Puiseux 级数场的推广。该场在由实值赋值诱导的范数下代数封闭且完备，因此成为热带几何的理想基域。关键贡献在于构造了一个值群为 ℝ 的场，该场支持热带化而无需拓扑闭包。

ABSTRACT

In this paper we define a field K of characteristic zero with valuation whose value group is the real numbers, and we show that this field of generalised Puiseux series is algebraically closed and complete with respect to the norm induced by its valuation. We consider this field to be a good candidate for the base field for tropical geometry.

研究动机与目标

• 构造一个广义 Puiseux 级数场，使其在实值赋值诱导的范数下代数封闭且完备。
• 为热带几何提供一个自然的基域，避免在热带化过程中需要拓扑闭包。
• 弥合经典 Puiseux 级数场（值群为 ℚ）与具有任意良序支撑的广义洛朗级数场之间的差距。
• 定义一个元素的支撑为有限集或严格递增且趋于无穷的实数序列的场，以确保结构可控，同时保留完整的实值赋值。

提出的方法

• 将 𝕄 定义为所有严格递增无界实序列（smiub）与 ℝ 的所有有限子集的并集。
• 构造场 𝕂 为形式和 ∑_{α∈A} a_α t^α 的集合，其中 A ∈ 𝕄 且 a_α ∈ ℂ*，并赋予标准加法与乘法。
• 在 𝕂 上定义赋值 val(f) = min{α | a_α ≠ 0}，扩展支撑的顺序，并由此诱导范数 |f| = exp(−val(f))。
• 通过证明在紧区间上系数稳定，从而证明每个柯西序列在该范数下收敛，进而证明完备性。
• 利用牛顿多边形与 Hensel 型逼近的归纳提升法证明代数封闭性，表明每个多项式在 𝕂 中都有根。
• 验证赋值环 R_val = {f ∈ 𝕂 | val(f) ≥ 0} 是一个非诺特性的一维局部环，其极大理想由 {t^α | α > 0} 生成。

实验结果

研究问题

• RQ1 能否构造一个广义 Puiseux 级数场，使其值群为 ℝ，且代数封闭、完备？
• RQ2 该场是否允许代数簇的热带化作为赋值映射的像被实现，而无需拓扑闭包？
• RQ3 在经典 Puiseux 级数场与具有任意良序支撑的完整广义洛朗级数场之间，是否存在一个自然的中间场？
• RQ4 该场的赋值环具有哪些结构性质？

主要发现

• 该场 𝕂 是代数封闭的，其证明基于牛顿多边形分析与 Hensel 型逼近的归纳提升法。
• 该场 𝕂 在范数 |f| = exp(−val(f)) 下完备，证明基于柯西序列在紧区间上系数稳定从而收敛。
• 𝕂 的值群为 ℝ，因此 (𝕂*)^n 中代数簇的热带化恰好等于赋值映射的像，无需拓扑闭包。
• 𝕂 的赋值环 R_val 是一个非诺特性的一维局部环，其极大理想由 {t^α | α > 0} 生成。
• ℂ 关于 𝕂 的超越次数为无限，因为当 α ∈ ℝ 在 ℚ 上线性无关时，t^α 在 ℂ 上代数独立。
• 该构造可推广至任意特征为零的基域，且完备性与代数封闭性结果依然成立。