Related papers: Hilbert's tenth problem via additive combinatorics

Descent via an isogeny on an elliptic curve is used to construct two subrings of the field of rational numbers, which are complementary in a strong sense, and for which Hilbert's Tenth Problem is undecidable. This method further develops…

We show that for any quadratic extension of number fields $K/F$, there exists an abelian variety $A/F$ of positive rank whose rank does not grow upon base change to $K$. This result implies that Hilbert's tenth problem over the ring of…

Let k be a field of characteristic zero, V a smooth, positive-dimensional, quasiprojective variety over k, and D a nonempty effective divisor on V. Let K be the function field of V, and A the semilocal ring of D in K. In this paper, we…

For a ring $R$, Hilbert's Tenth Problem $HTP(R)$ is the set of polynomial equations over $R$, in several variables, with solutions in $R$. We view $HTP$ as an enumeration operator, mapping each set $W$ of prime numbers to $HTP(\mathbb…

Hilbert's Tenth Problem (HTP) asks for an algorithm to test whether an arbitrary polynomial Diophantine equation with integer coefficients has solutions over the ring $\mathbb Z$ of the integers. This was finally solved by Matiyasevich…

Hilbert's Tenth Problem (H10) for a ring R asks for an algorithm to decide correctly, for each $f\in\mathbb{Z}[X_{1},\dots,X_{n}]$, whether the diophantine equation $f(X_{1},...,X_{n})=0$ has a solution in R. The celebrated…

For any number field $K$ and integer $0\leq r \leq 4$, we prove that there are infinitely many elliptic curves over $K$ of rank $r$. Our elliptic curves are obtained by specializing well-chosen nonisotrivial elliptic curves over the…

The recent negative answer to Hilbert's tenth problem over rings of integers relies on a theorem that for every extension of number fields $L/K$, if there is an abelian variety $A$ over $K$ such that $0 < \operatorname{rank} A(K) =…

The analogue of Hilbert's tenth problem over $\mathbb{Q}$ asks for an algorithm to decide the existence of rational points in algebraic varieties over this field. This remains as one of the main open problems in the area of undecidability…

In this paper we investigate the 2-Selmer rank in families of quadratic twists of elliptic curves over arbitrary number fields. We give sufficient conditions on an elliptic curve so that it has twists of arbitrary 2-Selmer rank, and we give…

We give examples over arbitrary fields of rings of invariants that are not finitely generated. The group involved can be as small as three copies of the additive group, as in Mukai's examples over the complex numbers. The failure of finite…

Fix an elliptic curve $E$ over a number field $F$ and an integer $n$ which is a power of $3$. We study the growth of the Mordell--Weil rank of $E$ after base change to the fields $K_d = F(\sqrt[2n]{d})$. If $E$ admits a $3$-isogeny, then we…

For a ring $R$, Hilbert's Tenth Problem $HTP(R)$ is the set of polynomial equations over $R$, in several variables, with solutions in $R$. We view $HTP$ as an operator, mapping each set $W$ of prime numbers to $HTP(\mathbb Z[W^{-1}])$,…

Diophantine subsets of $\mathbb{Z}$ play a key role in the negative answer to Hilbert's tenth problem. The definition of diophantine set generalizes in several ways to other commutative rings. We compare these definitions. Along the way, we…

Let O be a maximal order in the quaternion algebra B_p over Q ramified at p and infinity. The paper is about the computational problem: Construct a supersingular elliptic curve E over F_p such that End(E) = O. We present an algorithm that…

Hilbert's 10th problem, stated in modern terms, is: Find an algorithm that will, given $p \in \mathbb{Z}[x_1,\ldots,x_n]$ determine if there exists $a_1, a_2, \ldots, a_n \in \mathbb{Z}$ such that $p(a_1,\ldots,a_n)=0$. Davis, Putnam,…

Let K be a field with a valuation satisfying the following conditions: both K and the residue field k have characteristic zero; the value group is not 2-divisible; there exists a maximal subfield F in the valuation ring such that…

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…

Using the theory of Diophantine m-tuples, i.e. sets with the property that the product of its any two distinct elements increased by 1 is a perfect square, we construct an elliptic curve over Q(t) of rank at least 4 with three non-trivial…

In this paper, we consider elliptic curves induced by rational Diophantine quadruples, i.e. sets of four nonzero rationals such that the product of any two of them plus 1 is a perfect square. We show that for each of the groups…