[论文解读] Hilbert's Tenth Problem over Function Fields of Positive Characteristic Not Containing the Algebraic Closure of a Finite Field

Kirsten Eisentraeger, Alexandra Shlapentokh|arXiv (Cornell University)|Jun 11, 2013

Advanced Differential Equations and Dynamical Systems参考文献 7被引用 3

一句话总结

本文證明了當常數域不包含有限域的代數閉包時，Hilbert第十問題及正特徵函數域上的一階理論的不可判定性。透過構造 $p^s$-次冪集合的存在性定義，作者們擴展了先前結果，消除了對常數域的限制，證明了在無參數情況下，存在性與一階設定下的不可判定性。

ABSTRACT

We prove that the existential theory of any function field $K$ of characteristic $p> 0$ is undecidable in the language of rings provided that the constant field does not contain the algebraic closure of a finite field. We also extend the undecidability proof for function fields of higher transcendence degree to characteristic 2 and show that the first-order theory of {\bf any} function field of positive characteristic is undecidable in the language of rings without parameters.

研究动机与目标

• 解決正特徵代數閉常數域上單變數函數域的不可判定性這一開放問題。
• 將現有的不可判定性結果推廣至常數域非代數閉且不包含有限域代數閉包的函數域。
• 消除先前構造中對常數域的 $p$-次擴張之需求，從而推廣 $p^s$-次冪的存在性可定義性。
• 在無參數的環語言中，為所有正特徵函數域建立一階不可判定性。
• 透過彙整正特徵 $p > 0$ 情況下的不可判定性分類，填補最後一處空白。

提出的方法

• 構造一個包含函數域 $K$ 的域 $G$，其常數域非代數閉，並加入常數域的代數閉包形成 $M$。
• 在 $M$ 中識別一個非 $p$-次冪元素 $z$，使得 $M/F(z)$ 是分離的，確保 $z$ 不是 $p$-次冪。
• 定義一個有理函數 $t = (w - c_1)/(w - c_2)$，其具有簡單零點與極點，並選擇以避免分歧與判別式問題。
• 利用 $t$ 的零點與極點除子模下的冪基的分離性與整性，確保其無分歧地分解為一次素理想。
• 構造一個複合域 $K = G(t, heta, heta_0, \text{coefficients}, \text{roots})$ 以保持擴張結構並確保可定義性。
• 應用推論 3.3 及 [ES09] 的結果，得出 $P(K,t)$ 是存在性可定義的，進而推得無參數下一階理論的不可判定性。

实验结果

研究问题

• RQ1 當常數域不包含有限域代數閉包時，Hilbert第十問題在正特徵函數域上是否不可判定？
• RQ2 在不需常數域的 $p$-次擴張前提下，能否在這些函數域中存在性地定義 $p^s$-次冪集合？
• RQ3 任何正特徵函數域的一階理論是否在環語言中無參數下仍保持不可判定？
• RQ4 能否將 $P(K)$ 的存在性可定義性推廣至特徵 2 及不可數域？
• RQ5 常數域與域擴張的哪些條件允許 $p^s$-次冪的可定義性及其導致的不可判定性？

主要发现

• 若常數域不包含有限域的代數閉包，則任何正特徵函數域 $K$ 的存在性理論均不可判定。
• 集合 $P(K) = \{(x, x^{p^s}) : x \in K, s \geq 0\}$ 在任何正特徵函數域上均存在性可定義，消除了對常數域的先前假設。
• 任何正特徵函數域的一階理論在無參數的環語言中均不可判定。
• 證明可推廣至特徵 2，完整覆蓋所有正特徵情形的不可判定性結果。
• 該構造避免了對常數域 $p$-次擴張的依賴，推廣了 [Shl00] 與 [Eis03] 的早期結果。
• 由於 $P(K,t)$ 的可定義性，可解釋 $({\mathbb{Z}}, |, +)$，進而導致在無參數環語言下一階理論的不可判定性。