Related papers: Hilbert's 10th Problem via Mordell curves

We use Heegner points to prove the existence of nontorsion rational points on the elliptic curve $y^2 = x^3 + D$ for any rational number $D=a/b$ such that $a$ and $b$ are squarefree integers for which $6$, $a$, and $b$ are pairwise…

We study the Hilbert scheme of smooth, irreducible, non-degenerate and linearly normal curves of degree $d$ and genus $g$ in $\mathbb{P}^r$ ($r\ge 3$) whose complete and very ample hyperplane linear series $\mathcal{D}$ have relatively…

Polynome codes and code evaluation; arithmetical theory frames; $\mu$-recursive race for decision; decision correctness; decision termination; correct termination in theory $T = PR$ of Primitive Recursion; comparison with the negative…

We show that for each positive integer $a$ there exist only finitely many prime numbers $p$ such that $a$ appears an odd number of times in the period of continued fraction of $\sqrt{p}$ or $\sqrt{2p}$. We also prove that if $p$ is a prime…

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…

The first part of Hilbert's sixteenth problem deals with the classification of the isotopy types realizable by real plane algebraic curves of given degree $m$. For $m \geq 8$, one restricts the study to the case of the $M$-curves. For…

Rice's theorem states that no non-trivial semantic property of programs is decidable. Classical proofs proceed by reduction from the halting problem, invoking the law of excluded middle (LEM) twice: once through diagonalization, and once…

A convergent iterative process is constructed for solving any solvable linear equation in a Hilbert space.

The first part of Hilbert's sixteenth problem deals with the classification of the isotopy types realizable by real plane algebraic curves of a given degree $m$. For $m = 9$, the classification of the $M$-curves is still wide open. Let…

We determine a necessary and sufficient condition for the infinitude of primes $p$ such that none of the equations $a_i^x \equiv b_i \pmod{p}, 1 \le i \le n,$ are solvable. We control the insolvability of $a^x \equiv b \pmod{p}$ by power…

Building on work of J. Robinson and A. Shlapentokh, we develop a general framework to obtain definability and decidability results of large classes of infinite algebraic extensions of $\mathbb{F}_p(t)$. As an application, we show that for…

We study the equation $(x-4r)^3 + (x-3r)^3 + (x-2r)^3+(x-r)^3 + x^3 + (x+r)^3+(x+2r)^3 + (x+3r)^3 + (x+4r)^3 = y^p$, which is a natural continuation of previous works carried out by A. Arg\'{a}ez-Garc\'{i}a and the fourth author (perfect…

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…

For a square-free integer $t$, Byeon \cite{byeon} proved the existence of infinitely many pairs of quadratic fields $\mathbb{Q}(\sqrt{D})$ and $\mathbb{Q}(\sqrt{tD})$ with $D > 0$ such that the class numbers of all of them are indivisible…

Given a non-isotrivial elliptic curve over $\mathbb{Q}(t)$ with large Mordell-Weil rank, we explain how one can build, for suitable small primes $p$, infinitely many fields of degree $p^2-1$ whose ideal class group has a large $p$-torsion…

In this article we further develop methods for representing integers as a sum of three cubes. In particular, a barrier to solving the case $k=3$, which was outlined in a previous paper of the second author, is overcome. A very recent…

While solving a special case of a question of Erd\H{o}s and Graham Steinerberger asks for all integers $n$ with $\phi(n)=\frac{2}{3} \cdot (n+1)$. He discovered the solutions $n\in\{5, 5 \cdot 7, 5\cdot 7\cdot 37, 5\cdot 7\cdot 37\cdot…

Let $f(x)$ be a nonconstant polynomial with integer coefficients and nonzero discriminant. We study the distribution modulo primes of the set of squarefree integers $d$ such that the curve $dy^2=f(x)$ has a nontrivial rational or integral…

Let $E/\mathbb{Q}$ be an elliptic curve that has complex multiplication (CM) by an imaginary quadratic field $K$. For a prime $p$, there exists $\theta_p \in [0, \pi]$ such that $p+1-\#E(\mathbb{F}_p) = 2\sqrt{p} \cos \theta_p$. Let $x>0$…

We denote by $\mathcal{H}_{d,g,r}$ the Hilbert scheme of smooth curves, which is the union of components whose general point corresponds to a smooth, irreducible and non-degenerate curve of degree $d$ and genus $g$ in $\mathbb{P}^r.$ In…