Definability of Frobenius orbits and a result on rational distance sets
详细信息 查看全文
- 作者：Hector Pasten
- 关键词：Undecidability ; Positive characteristic ; Abc conjecture ; Erdös–Ulam problem ; Rational distance sets
- 刊名：Monatshefte für Mathematik
- 出版年：2017
- 出版时间：January 2017
- 年：2017
- 卷：182
- 期：1
- 页码：99-126
- 全文大小：
- 刊物主题：Mathematics, general;
- 出版者：Springer Vienna
- ISSN：1436-5081
- 卷排序：182
文摘
We prove that the first order theory of (possibly transcendental) meromorphic functions of positive characteristic \(p>2\) is undecidable. We also establish a negative solution to an analogue of Hilbert’s tenth problem for such fields of meromorphic functions, for Diophantine equations including vanishing conditions. These undecidability results are proved by showing that the binary relation \(\exists s\ge 0, f=g^{p^s}\) is positive existentially definable in such fields. We also prove that the abc conjecture implies a solution to the Erdös–Ulam problem on rational distance sets. These two seemingly distant topics are addressed by a study of power values of bivariate polynomials of the form F(X)G(Y).