Using elliptic curves of rank one towards the undecidability of Hilbert's Tenth Problem over rings of algebraic integers
Bjorn Poonen
备注：
10 pages, Latex 2e. This article will appear in the Proceedings of the Algorithmic Number Theory Symposium V, in the Springer Lecture Notes in Computer Science series, accessible electronically at http://www.springer.de/comp/lncs/index.html
发表信息：
Algorithmic number theory (Sydney, 2002), 33-42, Lecture Notes in Comput. Sci., 2369, Springer, Berlin, 2002
Let F and K be number fields, with F contained in K. and let O_F and O_K be their rings of integers. If there exists an elliptic curve E over F such that E(F) and E(K) have rank 1, then there exists a diophantine definition of O_F over O_K.
This paper explores undecidability in theories of positive characteristic function fields in the "geometric" language of rings $\mathcal{L}_F = \{0, 1, +, \cdot, F\}$, with a unary predicate $F$ for nonconstant elements. In particular we are motivated by a question of Fehm on the decidability of $\mbox{Th}_{\exists}(\mathbb{F}_p(t); \mathcal{L}_F)$; equivalently, that of $\mbox{Th}_{\exists}(\mathbb{F}_p(t); \mathcal{L}_r)$ without parameters. We indicate how to generalise existing machinery to prove the undecidability of $\mbox{Th}_{\forall^1\exists}(K; \mathcal{L}_F)$ without parameters, whe…
Hilbert's Tenth Problem over the field $\mathbb Q$ of rational numbers is one of the biggest open problems in the area of undecidability in number theory. In this paper we construct new, computably presentable subrings $R$ of $\mathbb Q$ having the property that Hilbert's Tenth Problem for $R$, denoted $HTP(R)$, is Turing equivalent to $HTP(\mathbb Q)$. We are able to put several additional constraints on the rings $R$ that we construct. Given any computable nonnegative real number $r \leq 1$ we construct such a ring $R = Z[\frac1p : p \in S]$ with $S$ a set of primes of lower density $r$. We …
For a positive proportion of primes $p$ and $q$, we prove that $\mathbb{Z}$ is Diophantine in the ring of integers of $\mathbb{Q}(\sqrt[3]{p},\sqrt{-q})$. This provides a new and explicit infinite family of number fields $K$ such that Hilbert's tenth problem for $O_K$ is unsolvable. Our methods use Iwasawa theory and congruences of Heegner points in order to obtain suitable rank stability properties for elliptic curves.
We prove a negative solution to the analogue of Hilbert's tenth problem for rings of one variable non-Archimedean entire functions in any characteristic. In the positive characteristic case we prove more: the ring of rational integers is uniformly positive existentially interpretable in the class of $\{0,1,t,+,\cdot,=\}$-structures consisting of positive characteristic rings of entire functions on the variable $t$. From this we deduce uniform undecidability results for the positive existential theory of such structures. As a key intermediate step, we prove a rationality result for the solution…
A negative solution to Hilbert's tenth problem for the ring of integers $O_F$ of a number field $F$ would follow if $\mathbb{Z}$ were Diophantine in $O_F$. Denef and Lipshitz conjectured that the latter occurs for every number field $F$. In this note we show that the conjecture of Denef and Lipshitz is a consequence of a well-known conjecture on elliptic surfaces. -- Es sabido que se obtendría una solución negativa al décimo problema de Hilbert para el anillo de enteros $O_F$ de un campo de números $F$ si $\mathbb{Z}$ fuera diofantino en $O_F$. Denef y Lipshitz conjeturaron que esto último ocu…
We extend results of Videla and Fukuzaki to define algebraic integers in large classes of infinite algebraic extensions of Q and use these definitions for some of the fields to show the first-order undecidability. We also obtain a structural sufficient condition for definability of the ring of integers over its field of fractions. In particular, we show that the following propositions hold. (1) For any rational prime $q$ and any positive rational integer $m$, algebraic integers are definable in any Galois extension of Q where the degree of any finite subextension is not divisible by $q^{m}$. (…
