Let $E_1$ and $E_2$ be elliptic curves in Legendre form with integer parameters. We show there exists a constant $C$ such that for almost all primes, for all but at most $C$ pairs of points on the reduction of $E_1 \times E_2$ modulo $p$ having equal $x$ coordinate, at least one among $P_1$ and $P_2$ has a large group order. We also show similar abundance over finite fields of elements whose images under the reduction modulo $p$ of a finite set of rational functions have large multiplicative orders
We give lower bounds for the degree of multiplicative combinations of iterates of rational functions (with certain exceptions) over a general field, establishing the multiplicative independence of said iterates. This leads to a generalisation of Gao's method for constructing elements in the finite field $\mathbb{F}_{q^n}$ whose orders are larger than any polynomial in $n$ when $n$ becomes large. Additionally, we discuss the finiteness of polynomials which translate a given finite set of polynomials to become multiplicatively dependent.
This is the second of two coupled papers estimating the mean values of multiplicative functions, of unknown support, on arithmetic progressions with large differences. Applications are made to the study of primes in arithmetic progression and to the Fourier coefficients of automorphic cusp forms.
Given a finitely generated multiplicative subgroup of rational numbers $Γ$, assuming the Generalized Riemann Hypothesis, we determine an asymptotic formula for average over prime numbers, powers of the order of the reduction group modulo $p$. The problem was considered in the case of rank $1$ by Pomerance and Kurlberg. In the case when $Γ$ contains only positive numbers, we give an explicit expression for the involved density in terms of an Euler product. We conclude with some numerical computations.
In this paper, we consider the mean value of the product of two real valued multiplicative functions with shifted arguments. The functions $F$ and $G$ under consideration are close to two nicely behaved functions $A$ and $B$, such that the average value of $A(n-h)B(n)$ over any arithmetic progression is only dependent on the common difference of the progression. We use this method on the problem of finding mean value of $K(N)$, where $K(N)/\log N$ is the expected number of primes such that a random elliptic curve over rationals has $N$ points when reduced over those primes.
In this paper, we study the finiteness problem of torsion points on an elliptic curve whose coordinates satisfy some multiplicative dependence relations. In particular, we prove that on an elliptic curve defined over a number field there are only finitely many torsion points whose coordinates are multiplicatively dependent. Moreover, we produce an effective result when the elliptic curve is defined over the rational numbers or has complex multiplication.
For a prime $p$ and a polynomial $F(X,Y)$ over a finite field $\mathbb{F}_p$ of $p$ elements, we give upper bounds on the number of solutions $$ F(x,y)=0, \quad x\in\mathcal{A}, \ y\in \mathcal{B}, $$ where $\mathcal{A}$ and $\mathcal{B}$ are very small intervals or subgroups. These bounds can be considered as positive characteristic analogues of the result of Bombieri and Pila (1989) on sparsity of integral points on curves. As an application we prove that distinct consecutive elements in sequences generated compositions of several rational functions are not contained in any short intervals o…
In this note we prove that for every integer $d \geq 1$, there exists an explicit constant $B_d$ such that the following holds. Let $K$ be a number field of degree $d$, let $q > \max\{d-1,5\}$ be any rational prime that is totally inert in $K$ and $E$ any elliptic curve defined over $K$ such that $E$ has potentially multiplicative reduction at the prime $\mathfrak q$ above $q$. Then for every rational prime $p> B_d$, $E$ has an irreducible mod $p$ Galois representation. This result has Diophantine applications within the "modular method". We present one such application in the form of an Asymp…
We evaluate in closed form series of the type $\sum u(n) R(n)$, where $(u(n))_n$ is a strongly $B$-multiplicative sequence and $R(n)$ a (well-chosen) rational function. A typical example is: $$ \sum_{n \geq 1} (-1)^{s_2(n)} \frac{4n+1}{2n(2n+1)(2n+2)} = -\frac{1}{4} $$ where $s_2(n)$ is the sum of the binary digits of the integer $n$. Furthermore closed formulas for series involving automatic sequences that are not strongly $B$-multiplicative, such as the regular paperfolding and Golay-Shapiro-Rudin sequences, are obtained; for example, for integer $d \geq 0$: $$ \sum_{n \geq 0} \frac{v(n)}{(n…
In this paper, we study multiplicative dependence of values of polynomials or rational functions over a number field. As an application, we obtain new results on multiplicative dependence in the orbits of a univariate polynomial dynamical system. We also obtain a broad generalisation of the Northcott theorem replacing the finiteness of preperiodic points from a given number field by the finiteness of initial points with two multiplicatively dependent elements in their orbits.
We give effective bounds for the set quasi-integral points in orbits of non-isotrivial rational maps over function fields under some conditions, generalizing previous work of Hsia and Silverman (2011) for orbits over function fields of characteristic zero. We then use this to prove finiteness results for algebraic functions whose orbit under a rational function has multiplicative dependent elements modulo rings of $S$-integers, generalizing recent results over number fields.
We study multiplicative dependence between elements in orbits ofalgebraic dynamical systems over number fields modulo a finitely generated multiplicative subgroup of the field. We obtain a series of results, many of which may be viewed as a blend of Northcott's theorem on boundedness of preperiodic points and Siegel's theorem on finiteness of solutions to $S$-unit equations.
In this paper I demonstrate that any pair (m, n) of non-zero and distinct rational numbers may have, at most, four representations as the product of two rational factors such that the sum of factors of m coincides with the sum of factors of n. In the second part of the paper I derive the properties of elliptic curves such that the cubic has rational roots that satisfy this property
We describe explicit multiplicative excellent families of rational elliptic surfaces with Galois group isomorphic to the Weyl group of the root lattices E_7 or E_8. The Weierstrass coefficients of each family are related by an invertible polynomial transformation to the generators of the multiplicative invariant ring of the associated Weyl group, given by the fundamental characters of the corresponding Lie group. As an application, we give examples of elliptic surfaces with multiplicative reduction and all sections defined over Q for most of the entries of fiber configurations and Mordell-Weil…
We prove that a positive proportion of squarefree integers are congruent numbers such that the canonical height of the lowest non-torsion rational point on the corresponding elliptic curve satisfies a strong lower bound.
In this note we give an algorithm to explicitly construct the modular parametrization of an elliptic curve over the rationals given the Weierstrass function $\wp (z)$.
In this paper, we give a brief survey of recent developments on Noether's problem and rationality problem for multiplicative invariant fields including author's recent papers Hoshi [Hos15] about Noether's problem over Q, Hoshi, Kang and Kunyavskii [HKK13], Chu, Hoshi, Hu and Kang [CHHK15], Hoshi [Hos16] and Hoshi, Kang and Yamasaki [HKY16] about Noether's problem over C, and Hoshi, Kang and Kitayama [HKK14] and Hoshi, Kang and Yamasaki [HKY] about rationality problem for multiplicative invariant fields.
We obtain new results concerning the Sato--Tate conjecture on the distribution of Frobenius angles over parametric families of elliptic curves with a rational parameter of bounded height.
We give a complete characterization for the rational torsion of an elliptic curve in terms of the (non-)existence of integral solutions of a system of diophantine equations.
We generalize a result of Frey [Fre88] on the Selmer group of twists of elliptic curves over Q with Q-rational torsion points to elliptic curves defined over number fields of small degree K with a K-rational point. We also provide examples of elliptic curves coming from [Zyw15] that satisfy the conditions of our Theorem B.
Rational Diophantine triples, i.e. rationals a,b,c with the property that ab+1, ac+1, bc+1 are perfect squares, are often used in construction of elliptic curves with high rank. In this paper, we consider the opposite problem and ask how small can be the rank of elliptic curves induced by rational Diophantine triples. It is easy to find rational Diophantine triples with elements with mixed signs which induce elliptic curves with rank 0. However, the problem of finding such examples of rational Diophantine triples with positive elements is much more challenging, and we will provide the first su…
If P is an algebraic point on a commutative group scheme A/K, then P is _almost_rational_ if no two non-trivial Galois conjugates sigma(P), tau(P), have sum equal to 2P. In this paper, we classify almost rational torsion points on semistable elliptic curves over Q.
We consider elliptic surfaces whose coefficients are degree $2$ polynomials in a variable $T$. It was recently shown that for infinitely many rational values of $T$ the resulting elliptic curves have rank at least $1$. In this article, we prove that the Mordell-Weil rank of each such elliptic surface is at most $6$ over $\mathbb Q$. In fact, we show that the Mordell-Weil rank of these elliptic surfaces is controlled by the number of zeros of a certain polynomial over $\mathbb Q$.
Let $E/\mathbb{Q}$ be an elliptic curve over the rational numbers. It is known, by the work of Bombieri and Zannier, that if $E$ has full rational $2$-torsion, the number $N_E(B)$ of rational points with Weil height bounded by $B$ is $\exp\left(O\left(\frac{\log B}{\sqrt{\log\log B}}\right)\right)$. In this paper we exploit the method of descent via $2$-isogeny to extend this result to elliptic curves with just one nontrivial rational $2$-torsion point. Moreover, we make use of a result of Petsche to derive the stronger upper bound $N_{E}(B) = \exp\left(O\left(\frac{\log B}{\log\log B}\right)\…
In this article we present a characterization of elliptic curves defined over a finite field Fq which possess a rational subgroup of order three. There are two posible cases depending on the rationality of the points in these groups. We show that for finite fields Fq, q= -1 mod 3, all elliptic curves with a point of order 3, they have another rational subgroup whose points are not defined over the finite field. If q = 1 mod 3, this is no true; but there exits a one to one correspondence between curves with points of order 3 and curves with rational subgroups whose points are not rational.
We prove that the family $\mathcal{I}_{F_0}$ of elliptic curves over number fields that are geometrically isogenous to an elliptic curve with $F_0$-rational $j$-invariant is typically bounded in torsion. Under an additional uniformity assumption, we also prove that the family $\mathcal{I}_{d_0}$ of elliptic curves over number fields that are geometrically isogenous to an elliptic curve with degree $d_0$ $j$-invariant is typically bounded in torsion.
We consider the problem of counting the number of varieties in a family over $\mathbb{Q}$ with a rational point. We obtain lower bounds for this counting problem for some families over $\mathbb{P}^1$, even if the Hasse principle fails. We also obtain sharp results for some multinorm equations and for specialisations of certain Brauer group elements on higher dimensional projective spaces, where we answer some cases of a question of Serre. Our techniques come from arithmetic geometry and additive combinatorics.
In this paper, the proof of the existence of a rational point on an elliptic curve is transformed into the proof of the existence of an integer solution for a Diophantine equation. By a new formula for calculating the number of elements in intersection of two finite sets, a necessary and sufficient condition for existence of a rational point on an elliptic curve is established. This condition is different from L-function in the Birch and Swinnerton-Dyer conjecture.
We show that two ordinary isogenous elliptic curves have isomorphic groups of rational points if they have the same $j$-invariant and we extend this result to certain isogenous supersingular elliptic curves, namely those with equal $j$-invariant of either 0 or 1728. Using a result by Heuberger and Mazzoli we establish a general case of this relationship within isogenous elliptic curves not necessarily having equal $j$-invariant.
A rational Diophantine triple is a set of three nonzero rational a,b,c with the property that ab+1, ac+1, bc+1 are perfect squares. We say that the elliptic curve y^2 = (ax+1)(bx+1)(cx+1) is induced by the triple {a,b,c}. In this paper, we describe a new method for construction of elliptic curves over Q with reasonably high rank based on a parametrization of rational Diophantine triples. In particular, we construct an elliptic curve induced by a rational Diophantine triple with rank equal to 12, and an infinite family of such curves with rank >= 7, which are both the current records for that k…
The classification of elliptic curves E over the rationals Q is studied according to their torsion subgroups E_{tors}(Q) of rational points. Explicit criteria for the classification are given when E_{tors}(Q) are cyclic groups with even orders. The generator points P of E_{tors}(Q) are also explicitly presented in each case. These results, together with recent results of K. Ono, completely solve the problem of the mentioned explicit classification when E has a rational point of order 2.
In this paper, we consider elliptic curves induced by rational Diophantine quadruples, i.e. sets of four nonzero rationals such that the product of any two of them plus 1 is a perfect square. We show that for each of the groups $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/k\mathbb{Z}$ for $k = 2, 4, 6, 8$, there are infinitely many rational Diophantine quadruples with the property that the induced elliptic curve has this torsion group. We also construct curves with moderately large rank in each of these four cases.
In this paper, we give a new proof and an extension of the following result of Bézivin. Let $f:\B{N}\to K$ be a multiplicative function taking values in a field $K$ of characteristic 0 and write $F(z)=\sum_{n\geq 1} f(n)z^n\in K[[z]]$ for its generating series. Suppose that $F(z)$ is algebraic over $K(z)$. Then either there is a natural number $k$ and a periodic multiplicative function $χ(n)$ such that $f(n)=n^k χ(n)$ for all $n$, or $f(n)$ is eventually zero. In particular, $F(z)$ is either transcendental or rational. For $K=\B{C}$, we also prove that if $F(z)$ is a $D$-finite generating seri…
In this short note we show that the uniform abc-conjecture over number fields puts strong restrictions on the coordinates of rational points on elliptic curves. For the proof we use a variant of the uniform abc-conjecture over number fields formulated by Mochizuki. As an application, we generalize a result of Silverman on elliptic non-Wieferich primes.
The correspondence between right triangles with rational sides, triplets of rational squares in arithmetic succession and integral solutions of certain quadratic forms is well known. We show how this correspondence can be extended to the generalized notions of rational $θ$-triangles, rational squares occurring in arithmetic progressions and concordant forms. In our approach we establish one-to-one mappings to rational points on certain elliptic curves and examine in detail the role of solutions of the $θ$-congruent number problem and the concordant form problem associated with nontrivial torsi…
We classify the possible torsion structures of rational elliptic curves over cubic fields. Along the way we find a previously unknown torsion structure over a cubic field, $\Z /21 \Z$, which corresponds to a sporadic point on $X_1(21)$ of degree 3, which is the lowest possible degree of a sporadic point on a modular curve $X_1(n)$.
Let $E$ be an elliptic curve defined over $\mathbb{Q}$, and let $K$ be a number field of degree four that is Galois over $\mathbb{Q}$. The goal of this article is to classify the different isomorphism types of $E(K)_{\text{tors}}$.
Let $C$ be a smooth genus one curve described by a quartic polynomial equation over the rational field $\mathbb Q$ with $P\in C(\mathbb Q)$. We give an explicit criterion for the divisibility-by-$2$ of a rational point on the elliptic curve $(C,P)$. This provides an analogue to the classical criterion of the divisibility-by-$2$ on elliptic curves described by Weierstrass equations. We employ this criterion to investigate the question of extending a rational $D(q)$-quadruple to a quintuple. We give concrete examples to which we can give an affirmative answer. One of these results implies that a…
We consider the structure of rational points on elliptic curves in Weierstrass form. Let x(P)=A_P/B_P^2 denote the $x$-coordinate of the rational point P then we consider when B_P can be a prime power. Using Faltings' Theorem we show that for a fixed power greater than 1, there are only finitely many rational points. Where descent via an isogeny is possible we show, with no restrictions on the power, that there are only finitely many rational points, these points are bounded in number in an explicit fashion, and that they are effectively computable.
Let E/k be an elliptic curve over a number field. We obtain some quantitative refinements of results of Hindry-Silverman, giving an upper bound for the number of k-rational torsion points, and a lower bound for the canonical height of non-torsion k-rational points, in terms of expressions depending explicitly on the degree of k and the Szpiro ratio of E/k. The bounds exhibit only polynomial dependence on both quantities.
Let $E/\mathbb{Q}$ be an elliptic curve and let $\mathbb{Q}(D_4^\infty)$ be the compositum of all extensions of $\mathbb{Q}$ whose Galois closure has Galois group isomorphic to a quotient of a subdirect product of a finite number of transitive subgroups of $D_4$. In this article we first show that $\mathbb{Q}(D_4^\infty)$ is in fact the compositum of all $D_4$ extensions of $\mathbb{Q}$ and then we prove that the torsion subgroup of $E(\mathbb{Q}(D_4^\infty))$ is finite and determine the 24 possibilities for its structure. We also give a complete classification of the elliptic curves that have…
We explain how recent work on 3-descent and 4-descent for elliptic curves over Q can be combined to search for generators of the Mordell-Weil group of large height. As an application we show that every elliptic curve of prime conductor in the Stein-Watkins database has rank at least as large as predicted by the conjecture of Birch and Swinnerton-Dyer.
We formulate a conjecture about the distribution of the canonical height of the lowest non-torsion rational point on a quadratic twist of a given elliptic curve, as the twist varies. This conjecture seems to be very deep and we can only prove partial results in this direction.
The Shafarevich-Tate and Selmer groups arise in the context of Kummer theory for elliptic curves. The finiteness of the Shafarevich-Tate group of an elliptic curve $E$ over the field of rational numbers is included in the Birch and Swinnerton-Dyer conjectures, and is still an open question. We present an overview of the Shafarevich-Tate and Selmer groups of an elliptic curve in the framework of Galois cohomology. Known results on the finiteness of the Shafarevich-Tate group are mentioned, including results of Coates and Wiles, Rubin, Gross and Zagier, and Kolyvagin. We then prove the vanishing…
A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. It is described by a system of four equations with respect to six variables. The cuboid factor equations were derived from these four equations by symmetrization procedure. They constitute a system of eight polynomial equations, which has been solved parametrically. In the present paper its parametric solution is expressed through intersections or rational and elliptic curves arranged into parametric families.
The family of Euclidean triangles having some fixed perimeter and area can be identified with a subset of points on a nonsingular cubic plane curve, i.e., an elliptic curve; furthermore, if the perimeter and the square of the area are rational, then the curve has rational coordinates and those triangles with rational side lengths correspond to rational points on the curve. We first recall this connection, and then we develop hyperbolic analogs. There are interesting relationships between the arithmetic on the elliptic curve (rank and torsion) and the family of triangles living on it. In the hy…
This paper presents a new result concerning the distribution of 2-Selmer ranks in the quadratic twist family of an elliptic curve with a single point of order two that does not have a cyclic 4-isogeny defined over its two-division field. We prove that at least half of all the quadratic twists of such an elliptic curve have arbitrarily large 2-Selmer rank, showing that the distribution of 2-Selmer ranks in the quadratic twist family of such an elliptic curve differs from the distribution of 2-Selmer ranks in the quadratic twist family of an elliptic curve having either no rational two-torsion o…
By Mazur's Torsion Theorem, there are fourteen possibilities for the non-trivial torsion subgroup $T$ of a rational elliptic curve. For each $T$, such that $E$ may have additive reduction at a prime $p$, we consider a parameterized family $E_T$ of elliptic curves with the property that they parameterize all elliptic curves $E/\mathbb{Q}$ which contain $T$ in their torsion subgroup. Using these parameterized families, we explicitly classify the Kodaira-Néron type, the conductor exponent, and the local Tamagawa number at each prime $p$ where $E/\mathbb{Q}$ has additive reduction. As a consequenc…
Let $E$ be an elliptic curve over a number field $K$. Descent calculations on $E$ can be used to find upper bounds for the rank of the Mordell-Weil group, and to compute covering curves that assist in the search for generators of this group. The general method of 4-descent, developed in the PhD theses of Siksek, Womack and Stamminger, has been implemented in Magma (when $K={\mathbb Q}$) and works well for elliptic curves with sufficiently small discriminant. By extending work of Bremner and Cassels, we describe the improvements that can be made when $E$ has a rational 2-torsion point. In parti…
We introduce a new generalization of $θ$-congruent numbers by defining the notion of rational $θ$-parallelogram envelope for a positive integer $n$, where $θ\in (0, π)$ is an angle with rational cosine. Then, we study more closely some problems related to the rational $θ$-parallelogram envelopes, using the arithmetic of algebraic curves. Our results generalize the recent work of T.~Ochiai, where only the case $θ=π/2$ was considered. Moreover, we answer the open questions in his paper and their generalizations for any Pythagorean angle.
