Related papers: Generalized Fruit Diophantine equation and Hyperel…

Let $p, q$ be twin prime numbers with $q-p=2$ . Consider the elliptic curves E=E_\sigma: y^2 = x (x+\sigma p)(x+\sigma q) . (\sigma =\pm 1). E=E_\sigma is also denoted as E_+ or E_- when \sigma = +1or $-1.Here the Mordell-Weil group and the…

We investigate the Lebesgue--Nagell equation \begin{align*} x^2-2=y^p \end{align*} in integers $x,y,p$ with $p\geq 3$ an odd prime. A longstanding folklore conjecture asserts that the only solutions are the ``trivial'' ones with $y=-1$. We…

We study an infinite family of Mordell curves (i.e. the elliptic curves in the form y^2=x^3+n, n \in Z) over Q with three explicit integral points. We show that the points are independent in certain cases. We describe how to compute bounds…

We prove that the Fermat-type equation $x^3 + y^3 = z^p$ has no solutions $(a,b,c)$ satisfying $abc \ne 0$ and $\gcd(a,b,c)=1$ when $-3$ is not a square mod~$p$. This improves to approximately $0.844$ the Dirichlet density of the set of…

We study solvability of the Diophantine equation \begin{equation*} \frac{n}{2^{n}}=\sum_{i=1}^{k}\frac{a_{i}}{2^{a_{i}}}, \end{equation*} in integers $n, k, a_{1},\ldots, a_{k}$ satisfying the conditions $k\geq 2$ and $a_{i}<a_{i+1}$ for…

For the hyperelliptic curve C_p with equation y^2=x(x-2p)(x-p)(x+p)(x+2p) with p a prime number, we discuss bounds for the rank of its Jacobian over Q, find many cases having 2-torsion in the associated Shafarevich-Tate group, and we…

Let $E$ be the elliptic curve $y^2=x(x+1)(x+t)$ over the field $\Fp(t)$ where $p$ is an odd prime. We study the arithmetic of $E$ over extensions $\Fq(t^{1/d})$ where $q$ is a power of $p$ and $d$ is an integer prime to $p$. The rank of $E$…

In this paper we show how to explicitly write down equations of hyperelliptic curves over Q such that for all odd primes l the image of the mod l Galois representation is the general symplectic group. The proof relies on understanding the…

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…

We give bounds on the number of solutions to the Diophantine equation (X+1/x)(Y+1/y) = n as n tends to infinity. These bounds are related to the number of solutions to congruences of the form ax+by = 1 modulo xy.

A hyperelliptic curve over $\mathbb Q$ is called "locally soluble" if it has a point over every completion of $\mathbb Q$. In this paper, we prove that a positive proportion of hyperelliptic curves over $\mathbb Q$ of genus $g\geq 1$ are…

In this paper we first review the history of Hilbert's Tenth Problem, and then study mixed quantifier prefixes over Diophantine equations with integer variables. For example, we prove that $\forall^2\exists^4$ over $\mathbb Z$ is…

For K \subseteq C, let B_n(K)={(x_1,...,x_n) \in K^n: for each y_1,...,y_n \in K the conjunction (\forall i \in {1,...,n} (x_i=1 => y_i=1)) AND (\forall i,j,k \in {1,...,n} (x_i+x_j=x_k => y_i+y_j=y_k)) AND (\forall i,j,k \in {1,...,n}…

The primary aim of this paper is to study the generalized Fermat equation \[ x^2+y^{2n} = z^{3p} \] in coprime integers $x$, $y$, and $z$, where $n \geq 2$ and $p$ is a fixed prime. Using modularity results over totally real fields and the…

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…

Generalizing work of Schoen, we prove that the Chow group modulo $\ell$ of a product of $3$ or more very general complex elliptic curves is infinite.

Given a polynomial $f\in\mathbb{C}[x]$, we consider the family of superelliptic curves $y^d=f(x)$ and their Jacobians $J_d$ for varying integers $d$. We show that for any integer $g$ the number of abelian varieties up to isogeny of…

In the present paper, we prove, for a large class of elliptic curves defined over $\mathbb{Q}$, the existence of an explicit infinite family of quadratic twists with analytic rank $0$. In addition, we establish the $2$-part of the…

For fixed integer $a\ge3$, we study the binary Diophantine equation $\frac{a}n=\frac1x+\frac1y$ and in particular the number $E_a(N)$ of $n\le N$ for which the equation has no positive integer solutions in $x, y$. The asymptotic formula…

In this paper we analyze computational properties of the Diophantine problem (and its search variant) for spherical equations $\prod_{i=1}^m z_i^{-1} c_i z_i = 1$ (and its variants) over the class of finite metabelian groups…