Hilbert's tenth problem in Anticyclotomic towers of number fields

Abstract

Let $K$ be an imaginary quadratic field and $p$ be an odd prime which splits in $K$. Let $E_1$ and $E_2$ be elliptic curves over $K$ such that the $Gal(\bar{K}/K)$-modules $E_1[p]$ and $E_2[p]$ are isomorphic. We show that under certain explicit additional conditions on $E_1$ and $E_2$, the anticyclotomic ${\mathbb{Z}}_p$-extension $K_{anti}$ of $K$ is integrally diophantine over $K$. When such conditions are satisfied, we deduce new cases of Hilbert's tenth problem. In greater detail, the conditions imply that Hilbert's tenth problem is unsolvable for all number fields that are contained in $K_{anti}$. We illustrate our results by constructing an explicit example for $p=3$ and $K=\mathbb{Q}(\sqrt{-5})$.

arXiv commentVersion 2: Theorem 1.5 is now unconditional; paper accepted for publication in Transactions of the American Math Society

References in corpus (7)

• On the Iwasawa invariants of elliptic curves
• Using elliptic curves of rank one towards the undecidability of Hilbert's Tenth Problem over rings of algebraic integers
• On the growth of Mordell-Weil ranks in $p$-adic Lie extensions
• On the dihedral Euler characteristics of Selmer groups of abelian varieties
• Remarks on Hilbert's tenth problem and the Iwasawa theory of elliptic curves
• Existential definability and diophantine stability
• Iwasawa Invariants for elliptic curves over ${\mathbb{Z}}_p$-extensions and Kida's Formula

Cited by in corpus (1)

• Integers that are sums of two cubes in the cyclotomic ${\mathbb{Z}}_p$-extension