[论文解读] Hilbert's Tenth Problem for function fields of varieties over C

Kirsten Eisentraeger|ArXiv.org|Sep 20, 2006

Algebraic Geometry and Number Theory参考文献 3被引用 5

一句话总结

本文证明了复数域上高维代数簇函数域上的希尔伯特第十问题的不可判定性，推广了Kim与Roush对ℂ(t₁,t₂)的结果。通过在维度≥2的函数域上构造ℤ×ℤ的丢番图模型（含加法、整除与零谓词），作者利用秩一椭圆曲线与Tsen-Lang定理，建立整数的丢番图定义，进而通过存在性定义证明此类域上丢番图问题的不可判定性。

ABSTRACT

Let K be the function field of a variety of dimension at least 2 over an algebraically closed field of characteristic zero. Then Hilbert's Tenth Problem for K is undecidable. This generalizes the result by Kim and Roush from 1992 that Hilbert's Tenth Problem for the purely transcendental function field C(t_1,t_2) is undecidable.

研究动机与目标

• 将希尔伯特第十问题在ℂ(t₁,t₂)上的不可判定性结果，推广至复数域上维度≥2的代数簇函数域。
• 在上述函数域上构造ℤ×ℤ的丢番图模型，包含加法、整除与零谓词。
• 证明整数集在加法与乘法下存在可定义性，从而推出该类域上丢番图问题的不可判定性。
• 将基于秩一椭圆曲线与Tsen-Lang定理的方法推广至高维函数域。
• 证明当系数限制在ℂ上代数独立元z₁,z₂生成的ℤ[z₁,z₂]（超越次数为2）时，不可判定性结果依然成立。

提出的方法

• 在函数域K中构造结构⟨ℤ×ℤ, +, |, ℤ, 𝒲⟩的丢番图模型，其中|表示整除关系，ℤ表示零谓词。
• 利用K上秩一椭圆曲线定义与ℤ×ℤ同构的丢番图子集，借助Mordell-Weil群结构。
• 通过椭圆曲线点上的存在性公式定义加法与零谓词。
• 证明关系(m,1)∣(n,r)可通过函数域上二次型方程组存在性定义。
• 应用Tsen-Lang定理，保证超越次数为1的函数域上二次型存在非平凡解。
• 运用赋值理论与Kummer理论，控制函数域中二次方程的可解性。

实验结果

研究问题

• RQ1 希尔伯特第十问题在复数域上维度至少为2的代数簇函数域上是否不可判定？
• RQ2 能否在这些函数域上构造ℤ×ℤ的丢番图模型，包含加法、整除与零谓词？
• RQ3 是否存在秩一椭圆曲线且其Mordell-Weil群受控，从而可在函数域上定义算术结构？
• RQ4 Tsen-Lang定理是否可应用于确保在丢番图可定义性背景下二次型的可解性？
• RQ5 当系数限制在ℂ上超越次数为2的ℤ[z₁,z₂]时，不可判定性结果是否仍然成立？

主要发现

• 希尔伯特第十问题在任意特征为零的代数闭域上维度≥2的代数簇函数域K上是不可判定的。
• 在上述K上成功构造了ℤ×ℤ的丢番图模型，包含加法、整除与零谓词。
• 关系(m,1)∣(n,r)被证明可通过函数域上的二次方程组实现存在性定义。
• Tsen-Lang定理确保了超越次数为1的函数域上二次型存在非平凡解，这对可定义性证明至关重要。
• 该结果将Kim与Roush于1992年在ℂ(t₁,t₂)上的结果推广至所有更高维函数域。
• 该构造对任意特征为零的代数闭域均适用，不仅限于ℂ。