Hilbert's tenth problem in anticyclotomic towers of number fields (Q6567172)

The paper under review contains new examples of infinite extensions of \(\mathbb Q\) where Hilbert's 10 Problem is undecidable. The authors produce these examples by using diophantine stability of elliptic curves over anticyclotomic extensions of \(\mathbb Q\).\N\NAn elliptic curve \(E\) is diophantine stable in a field extension \(L/K\) if \(E(L)=E(K)\). The idea for using such diophantine stable elliptic curves goes back to \N\textit{J. Denef} who proved in [Trans. Am. Math. Soc. 257, 227--236 (1980; Zbl 0426.12009)] that a diophantine stable curve of positive rank over \(\mathbb Q\) can be used to produce a diophantine definition of \(\mathbb Z\) over the ring of integers of a totally real algebraic extension of \(\mathbb Q\). In [Lect. Notes Comput. Sci. 2369, 33--42 (2002; Zbl 1057.11068)] \N\textit{B. Poonen} showed how to use diophantine stable elliptic curves of rank one for any extension of number fields. The reviewer proved that the rank one assumption can be replaced by the assumption that the rank is positive. (Poonen also obtained this result but never published it.)\N\NIn 2010 \textit{B. Mazur} and \textit{K. Rubin} [Invent. Math. 181, No. 3, 541--575 (2010; Zbl 1227.11075)] showed that assuming Shafarevich-Tate conjecture, a diophantine stable elliptic curve of positive rank exists in any cyclic extension of number fields and therefore under these assumptions \(\mathbb Z\) has a diophantine definition in the ring of integers of any number fields. Mazur and Rubin and \textit{N. Garcia-Fritz} and \textit{H. Pasten} [Math. Ann. 377, No. 3--4, 989--1013 (2020; Zbl 1469.11168)] produced new examples of extensions with diophantine stable elliptic curves of positive rank.\N\NIn the present paper the authors contribute additional examples of diophantine stability of elliptic curves in infinite extensions. More specifically, they show that under some technical conditions infinite anticyclotomic extensions of \(\mathbb Q\) possess diophantine stable elliptic curves of the same positive rank as over a quadratic imaginary extension of \(\mathbb Q\). This implies that \(\mathbb Z\) has a diophantine definition over the ring of integers at every level of the anticyclotomic chain. The authors construct an example of an anticyclotomic extension of \(\mathbb Q\) where all conditions are satisfied with respect to a particular elliptic curve defined over defined over a quadratic imaginary extension of \(\mathbb Q\).