Related papers: Studying Hilbert's 10th problem via explicit ellip…
In the context of Hilbert's tenth problem, an outstanding open case is that of complex entire functions in one variable. A negative solution is known for polynomials (by Denef) and for exponential polynomials of finite order (by Chompitaki,…
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…
Clemm and Trebat-Leder (2014) proved that the number of quadratic number fields with absolute discriminant bounded by $x$ over which there exist elliptic curves with good reduction everywhere and rational $j$-invariant is $\gg…
Inspired by Quantum Mechanics, we reformulate Hilbert's tenth problem in the domain of integer arithmetics into either a problem involving a set of infinitely coupled differential equations or a problem involving a Shr\"odinger propagator…
For any quadratic extension $L/K$ of number fields, we prove that there are infinitely many elliptic curves $E$ over $K$ so that the abelian groups $E(K)$ and $E(L)$ both have rank $1$. In particular, there are infinitely many elliptic…
To prove that Hilbert's tenth problem over a ring R has a negative answer, usually the integers or another ring for which Hilbert's tenth problem has a negative solution is modelled inside the ring of interest. In this paper, we formalize…
Let $K=\mathbb{Q}(\sqrt{-p})$ be a quadratic field for an odd prime $p$. We show that there exist infinitely many primes $p$ for which no elliptic curve $E/\mathbb{Q}$ has torsion subgroup $\mathbb{Z}/2\mathbb{Z}\times…
For primes $q \equiv 7 \mod 16$, the present manuscript shows that elementary methods enable one to prove surprisingly strong results about the Iwasawa theory of the Gross family of elliptic curves with complex multiplication by the ring of…
Let E be an elliptic curve having Complex Multiplication by the full ring O_K of integers of K=Q(\sqrt{-D}), let H=K(j(E)) be the Hilbert class field of K. Then the Mordell-Weil group E(H) is an O_K-module, and its structure denpends on its…
We establish asymptotic lower bounds for the number of elliptic curves over $\mathbb{Q}$ with prescribed entanglement of division fields, ordered by naive height. Such elliptic curves are obtained as $1$-parameter families arising from…
In this paper, by using the theory of elliptic curves, we discuss several Diophantine equations related with the so-called figurate primes. Meanwhile, we raise several conjectures related with figurate primes and Hilbert's 8th problem,…
Let $h_{(m,k)}$ be the class number of $\mathbb{Q}(\sqrt{1-2m^k}).$ We prove that for any odd natural number $k,$ there exists $m_0$ such that $k \mid h_{(m,k)}$ for all odd $m > m_0.$ We also prove that for any odd $m \geq 3,$ $k \mid…
In this article we will describe a surprising observation that occurred in the construction of quadratic unramified extensions of a family of pure cubic number fields. Attempting to find an explanation will lead us on a magical mystery tour…
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…
The density of primes $p$ such that the class number $h$ of $\mathbb{Q}(\sqrt{-p})$ is divisible by $2^k$ is conjectured to be $2^{-k}$ for all positive integers $k$. The conjecture is true for $1\leq k\leq 3$ but still open for $k\geq 4$.…
For the integer $ D=pq$ of the product of two distinct odd primes, we construct an elliptic curve $E_{2rD}:y^2=x^3-2rDx$ over $\mathbb Q$, where $r$ is a parameter dependent on the classes of $p$ and $q$ modulo 8, and show, under the parity…
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 [arXiv:1405.6274, Question 5.2 & Question 5.3] Aschenbrenner, Friedl and Wilton ask: (1) Is the equation problem solvable for the fundamental group of any $3$-manifold? and (2) Is the first-order theory of the fundamental group of any…
Julia Robinson has given a first-order definition of the rational integers Z in the rational numbers Q by a formula (\forall \exists \forall \exists)(F=0) where the \forall-quantifiers run over a total of 8 variables, and where F is a…
The main conjectures of Iwasawa theory provide the only general method known at present for studying the mysterious relationship between purely arithmetic problems and the special values of complex L-functions, typified by the conjecture of…