Related papers: Studying Hilbert's 10th problem via explicit ellip…

We prove a $p$-converse theorem for elliptic curves $E/\mathbb{Q}$ with complex multiplication by the ring of integers $\mathcal{O}_K$ of an imaginary quadratic field $K$ in which $p$ is ramified. Namely, letting $r_p =…

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…

A prime number $p$ is said to be irregular if it divides the class number of the $p$-th cyclotomic field $\mathbb{Q}(\zeta_{p}) = \mathbb{Q}(\mathbb{G}_m[p])$. In this paper, we study its elliptic analogue for the division fields of an…

To explore the limitation of a class of quantum algorithms originally proposed for the Hilbert's tenth problem, we consider two further classes of mathematically non-decidable problems, those of a modified version of the Hilbert's tenth…

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…

We give a deterministic algorithm that very quickly proves the primality or compositeness of the integers N in a certain sequence, using an elliptic curve E/Q with complex multiplication by the ring of integers of Q(sqrt(-7)). The algorithm…

In 2015, Abatzoglou, Silverberg, Sutherland, and Wong presented a framework for primality proving algorithms for special sequences of integers using an elliptic curve with complex multiplication. They applied their framework to obtain…

We show the insolvability of the Diophantine equation $ax^d-y^2-z^2+xyz-b=0$ in $\mathbb{Z}$ for fixed $a$ and $b$ such that $a\equiv 1 \pmod {12}$ and $b=2^da-3$, where $d$ is an odd integer and is a multiple of $3$. Further, we…

Let $E$ be an elliptic curve over $\Bbb{Q}$ with the given Weierstrass equation $ y^2=x^3+ax+b$. If $D$ is a squarefree integer, then let $E^{(D)}$ denote the $D$-quadratic twist of $E$ that is given by $E^{(D)}: y^2=x^3+aD^2x+bD^3$. Let…

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…

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 consider computability of this set for subrings R of the rationals. Applying Baire category theory to…

We study the Iwasawa theory of $p$-primary Selmer groups of elliptic curves $E$ over a number field $K$. Assume that $E$ has additive reduction at the primes of $K$ above $p$. In this context, we prove that the Iwasawa invariants satisfy an…

Elliptic curves with a known number of points over a given prime field with n elements are often needed for use in cryptography. In the context of primality proving, Atkin and Morain suggested the use of the theory of complex multiplication…

For an elliptic curve E over a number field K, we prove that the algebraic rank of E goes up in infinitely many extensions of K obtained by adjoining a cube root of an element of K. As an example, we briefly discuss E=X_1(11) over Q, and…

The paper uses Iwasawa theory at the prime $p=2$ to prove non-vanishing theorems for the value at $s=1$ of the complex $L$-series of certain quadratic twists of the Gross family of elliptic curves with complex multiplication by the field $K…

Let $E$ be an elliptic curve defined over $\mathbb{Q}$. In this article, we classify all groups that can arise as $E(\mathbb{Q}(\zeta_p))_{\text{tors}}$ up to isomorphism for any prime $p$. When $p - 1$ is not divisible by small integers…

We provide a framework for using elliptic curves with complex multiplication to determine the primality or compositeness of integers that lie in special sequences, in deterministic quasi-quadratic time. We use this to find large primes,…

Let $\ell>3$ be a prime such that $\ell \equiv 3 \pmod{4}$ and $\mathbb{Q}(\sqrt{\ell})$ has class number 1. Then Hirzebruch and Zagier noticed that the class number of $\mathbb{Q}(\sqrt{-\ell})$ can be expressed as $h(-\ell) =…

This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers. Hilbert's Tenth Problem (H10) asks about the…

Consider an ordinary elliptic curve $E_b\!: y^2 = x^3 - b$ (of $j$-invariant $0$) over a finite field $\mathbb{F}_{\!q}$ such that $\sqrt[3]{b} \notin \mathbb{F}_{\!q}$. This article tries to resolve the problem of constructing a rational…