Related papers: Elliptic curves and Hilbert's tenth problem for al…

For a nice algebraic variety $X$ over a number field $F$, one of the central problems of Diophantine Geometry is to locate precisely the set $X(F)$ inside $X(\A_F)$, where $\A_F$ denotes the ring of ad\`eles of $F$. One approach to this…

We use Hodge theory to prove a new upper bound on the ranks of Mordell-Weil groups for elliptic curves over function fields after regular geometrically Galois extensions of the base field, improving on previous results of Silverman and…

If E is a non-isotrivial elliptic curve over a global function field F of odd characteristic we show that certain Mordell-Weil groups of E have 1-dimensional eigenspace relative to a fixed complex ring class character provided that the…

One of the difficulties in doing noncommutative projective geometry via explicitly presented graded algebras is that it is usually quite difficult to show flatness, as the Hilbert series is uncomputable in general. If the algebra has a…

Let $K$ be an imaginary quadratic field, and let $\mathcal{O}_{K,f}$ be an order in $K$ of conductor $f\geq 1$. Let $E$ be an elliptic curve with CM by $\mathcal{O}_{K,f}$, such that $E$ is defined by a model over $\mathbb{Q}(j_{K,f})$,…

We prove that for every number field $K$, there exist infinitely many elliptic curves $E$ over $K$ with rank exactly equal to 1.

Let C be a hyperelliptic curve of good reduction defined over a discrete valuation field K with algebraically closed residue field k. Assume moreover that char k \ne 2. Given d \in K^*\K^*2, we introduce an explicit description of the…

Let E/K be an elliptic curve with complex multiplication and let $K^{ab}$ be the Abelian closure of $K$. We prove in this article that there exists a constant $c(E/K)$ such that : for all point $P\in E(\bar{K})-E_{tors}$, we have…

Building on the positive solution of Pillay's conjecture we present a notion of "intrinsic" reduction for elliptic curves over a real closed field K. We compare such notion with the traditional algebro-geometric reduction and produce a…

For positive integers $K$ and $L$, we introduce and study the notion of $K$-multiplicative dependence over the algebraic closure $\overline{\mathbb{F}}_p$ of a finite prime field $\mathbb{F}_p$, as well as $L$-linear dependence of points on…

Given a smooth projective curve C defined over a number field and given two elliptic surfaces E_1/C and E_2/C along with sections P_i and Q_i of E_i (for i = 1,2), we prove that if there exist infinitely many algebraic points t on C such…

We consider elliptic curves defined by an equation of the form $y^2=x^3+f(t)$, where $f\in k[t]$ has coefficients in a perfect field $k$ of characteristic not $2$ or $3$. By performing $2$ and $3$-descent, we obtain, under suitable…

Given two elliptic curves defined over a number field K, not both with j-invariant zero, we show that there are infinitely many $D\in K^\times$ with pairwise distinct image in $ K^\times/{K^\times}^2 $, such that the quadratic twist of both…

Hilbert's Tenth Problem (H10) for a ring R asks for an algorithm to decide correctly, for each $f\in\mathbb{Z}[X_{1},\dots,X_{n}]$, whether the diophantine equation $f(X_{1},...,X_{n})=0$ has a solution in R. The celebrated…

We formalise the undecidability of solvability of Diophantine equations, i.e. polynomial equations over natural numbers, in Coq's constructive type theory. To do so, we give the first full mechanisation of the…

Let $q > 5$ be a prime and $K$ a quadratic number field. In this article we extend a previous result of Najman and the author and prove that if $E/K$ is an elliptic curve with potentially multiplicative reduction at all primes $\mathfrak q…

In this paper, we show that the maximal divisible subgroup of groups $K_1$ and $K_2$ of an elliptic curve $E$ over a function field is uniquely divisible. Further those $K$-groups modulo this uniquely divisible subgroup are explicitly…

Let $E$ be an elliptic curve over $\mathbb{Q}$. Let $p$ be an odd prime and $\iota: \overline{\mathbb{Q}}\hookrightarrow \mathbb{C}_p$ an embedding. Let $K$ be an imaginary quadratic field and $H_{K}$ the corresponding Hilbert class field.…

We consider all \emph{odd} fundamental discriminants $D \equiv 2 \bmod 3$ and their mirror discriminants $D' = -3D$, and we study the family of elliptic curves $E_{D'}: y^{2} = x^{3} + 16D'$. We denote by $r_{3}(D)$ and $r_{3}(D')$ the rank…

David Hilbert proved that a non-negative real quartic form f(x,y,z) is the sum of three squares of quadratic forms. We give a new proof which shows that if the complex plane curve Q defined by f is smooth, then f has exactly 8 such…