• ### On the torsion of rational elliptic curves over quartic fields(1606.00645)

March 18, 2019 math.AG, math.NT
Let E be an elliptic curve defined over Q and let G = E(Q)_tors be the associated torsion subgroup. We study, for a given G, which possible groups G <= H could appear such that H=E(K)_tors, for [K:Q]=4 and H is one of the possible torsion structures that occur infinitely often as torsion structures of elliptic curves defined over quartic number fields.
• ### Growth of torsion groups of elliptic curves upon base change(1609.02515)

Feb. 1, 2019 math.NT
We study how the torsion of elliptic curves over number fields grows upon base change, and in particular prove various necessary conditions for torsion growth. For a number field $F$, we show that for a large set of number fields $L$, whose Galois group of their normal closure over $F$ has certain properties, it will hold that $E(L)_{tors}=E(F)_{tors}$ for all elliptic curves $E$ defined over $F$. Our methods turn out to be particularly useful in studying the possible torsion groups $E(K)_{tors}$, where $K$ is a number field and $E$ is a base change of an elliptic curve defined over $\mathbb Q$. Suppose that $E$ is a base change of an elliptic curve over $\mathbb Q$ for the remainder of the abstract. We prove that $E(K)_{tors}=E(\mathbb Q)_{tors}$ for all elliptic curves $E$ defined over $\mathbb Q$ and all number fields $K$ of degree $d$, where $d$ is not divisible by a prime $\leq 7$. Using this fact, we determine all the possible torsion groups $E(K)_{tors}$ over number fields $K$ of prime degree $p\geq 7$. We determine all the possible degrees of $[\mathbb Q(P):\mathbb Q]$, where $P$ is a point of prime order $p$ for all $p$ such that $p\not\equiv 8 \pmod 9$ or $\left( \frac{-D}{p}\right)=1$ for any $D\in \{1,2,7,11,19,43,67,163\}$; this is true for a set of density $\frac{1535}{1536}$ of all primes and in particular for all $p<3167$. Using this result, we determine all the possible prime orders of a point $P\in E(K)_{tors}$, where $[K:\mathbb Q]=d$, for all $d\leq 3342296$. Finally, we determine all the possible groups $E(K)_{tors}$, where $K$ is a quartic number field and $E$ is an elliptic curve defined over $\mathbb Q$ and show that no quartic sporadic point on a modular curves $X_1(m,n)$ comes from an elliptic curve defined over $\mathbb Q$.
• ### Complete classification of the torsion structures of rational elliptic curves over quintic number fields(1607.01920)

Jan. 11, 2017 math.AG, math.NT
We classify the possible torsion structures of rational elliptic curves over quintic number fields. In addition, let E be an elliptic curve defined over Q and let G = E(Q)_tors be the associated torsion subgroup. We study, for a given G, which possible groups G \subseteq H could appear such that H=E(K)_tors, for [K:Q]=5. In particular, we prove that at most there is a quintic number field K such that E(Q)_tors\neq E(K)_tors.
• ### Elliptic Curves with abelian division fields(1511.08578)

Nov. 27, 2015 math.AG, math.NT
Let E be an elliptic curve over Q, and let n=>1. The central object of study of this article is the division field Q(E[n]) that results by adjoining to Q the coordinates of all n-torsion points on E(Q). In particular, we classify all curves E/Q such that Q(E[n]) is as small as possible, that is, when Q(E[n])=Q(zeta_n), and we prove that this is only possible for n=2,3,4, or 5. More generally, we classify all curves such that Q(E[n]) is contained in a cyclotomic extension of Q or, equivalently (by the Kronecker-Weber theorem), when Q(E[n])/Q is an abelian extension. In particular, we prove that this only happens for n=2,3,4,5,6, or 8, and we classify the possible Galois groups that occur for each value of n.
• ### On the minimal degree of definition of p-primary torsion subgroups of elliptic curves(1511.08057)

Nov. 25, 2015 math.AG, math.NT
In this article, we study the minimal degree [K(T):K] of a p-subgroup T <= E(\overline{K})_tors for an elliptic curve E/K defined over a number field K. Our results depend on the shape of the image of the p-adic Galois representation \rho_{E,p^infty}:Gal_K-->GL(2,Z_p). However, we are able to show that there are certain uniform bounds for the minimal degree of definition of T. When the results are applied to K=Q and p=2, we obtain a divisibility condition on the minimal degree of definition of any subgroup of E[2^n] that is best possible.
• ### Torsion of rational elliptic curves over cubic fields(1411.3467)

April 7, 2015 math.AG, math.NT
Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a cubic number field. In particular, We study the number of cubic number fields K such that E(Q)_tors\neq E(K)_tors.
• ### Torsion of rational elliptic curves over quadratic fields II(1411.3468)

April 7, 2015 math.AG, math.NT
Let E be an elliptic curve defined over Q and let G=E(Q)_tors be the associated torsion group. In a previous paper, the authors studied, for a given G, which possible groups G\leq H could appear such that H=E(K)_tors, for [K:Q]=2. In the present paper, we go further in this study and compute, under this assumption and for every such G, all the possible situations where G\neq H. The result is optimal, as we also display examples for every situation we state as possible. As a consequence, the maximum number of quadratic number fields K such that E(Q)_tors\neq E(K)_tors is easily obtained.
• ### Covering techniques and rational points on some genus 5 curves(1311.5759)

April 7, 2015 math.AG, math.NT
We describe a method that allows, under some hypotheses, to compute all the rational points of some genus 5 curves defined over a number field. This method is used to solve some arithmetic problems that remained open.
• ### On arithmetic progressions on Edwards curves(1304.4361)

April 7, 2015 math.AG, math.NT
Let m be a positive integer and a,q two rational numbers. Denote by AP_m(a,q) the set of rational numbers d such that a,a+q,...,a+(m-1)q form an arithmetic progression in the Edwards curve E_d:x^2+y^2=1+d x^2 y^2. We study the set AP_m(a,q) and we parametrize it by the rational points of an algebraic curve.
• ### Torsion of rational elliptic curves over quadratic fields(1411.3471)

Nov. 13, 2014 math.AG, math.NT
Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a quadratic number field.
• ### Markoff-Rosenberger triples in geometric progression(1301.5028)

May 9, 2013 math.AG, math.NT
Solutions of the Markoff-Rosenberger equation ax^2+by^2+cz^2 = dxyz such that their coordinates belong to the ring of integers of a number field and form a geometric progression are studied.
• ### Five squares in arithmetic progression over quadratic fields(0909.1663)

Jan. 24, 2013 math.NT
We give several criteria to show over which quadratic number fields Q(sqrt{D}) there should exists a non-constant arithmetic progressions of five squares. This is done by translating the problem to determining when some genus five curves C_D defined over Q have rational points, and then using a Mordell-Weil sieve argument among others. Using a elliptic Chabauty-like method, we prove that the only non-constant arithmetic progressions of five squares over Q(sqrt{409}), up to equivalence, is 7^2, 13^2, 17^2, 409, 23^2. Furthermore, we give an algorithm that allow to construct all the non-constant arithmetic progressions of five squares over all quadratic fields. Finally, we state several problems and conjectures related to this problem.
• ### On a conjecture of Rudin on squares in Arithmetic Progressions(1301.5122)

Jan. 22, 2013 math.AG, math.NT
Let Q(N;q,a) denotes the number of squares in the arithmetic progression qn+a, for n=0, 1,...,N-1, and let Q(N) be the maximum of Q(N;q,a) over all non-trivial arithmetic progressions qn + a. Rudin's conjecture asserts that Q(N)=O(Sqrt(N)), and in its stronger form that Q(N)=Q(N;24,1) if N=> 6. We prove the conjecture above for 6<=N<=52. We even prove that the arithmetic progression 24n+1 is the only one, up to equivalence, that contains Q(N) squares for the values of N such that Q(N) increases, for 7<=N<=52 (hence, for N=8,13,16,23,27,36,41 and 52). This allow us to assert, what we have called Super-Strong Rudin's Conjecture: let be N=GP_k+1=> 8 for some integer k, where GP_k is the k-th generalized pentagonal number, then Q(N)=Q(N;q,a) with gcd(q,a) squarefree and q> 0 if and only if (q,a)=(24,1).
• ### Markoff-Rosenberger triples in arithmetic progression(1301.5029)

Jan. 21, 2013 math.AG, math.NT
We study the solutions of the Rosenberg--Markoff equation ax^2+by^2+cz^2 = dxyz (a generalization of the well--known Markoff equation). We specifically focus on looking for solutions in arithmetic progression that lie in the ring of integers of a number field. With the help of previous work by Alvanos and Poulakis, we give a complete decision algorithm, which allows us to prove finiteness results concerning these particular solutions. Finally, some extensive computations are presented regarding two particular cases: the generalized Markoff equation x^2+y^2+z^2 = dxyz over quadratic fields and the classic Markoff equation x^2+y^2+z^2 = 3xyz over an arbitrary number field.
• ### On the ubiquity of trivial torsion on elliptic curves(1002.0667)

Feb. 3, 2010 math.AG, math.NT
The purpose of this paper is to give a "down--to--earth" proof of the well--known fact that a randomly chosen elliptic curve over the rationals is most likely to have trivial torsion.
• ### On the modularity level of modular abelian varieties over number fields(1002.0492)

Feb. 2, 2010 math.AG, math.NT
Let f be a weight two newform for Gamma_1(N) without complex multiplication. In this article we study the conductor of the absolutely simple factors B of the variety A_f over certain number fields L. The strategy we follow is to compute the restriction of scalars Res_{L/\Q}(B), and then to apply Milne's formula for the conductor of the restriction of scalars. In this way we obtain an expression for the local exponents of the conductor N_L(B). Under some hypothesis it is possible to give global formulas relating this conductor with N. For instance, if N is squarefree we find that N_L(B) belongs to Z and N_L(B)*f_L^{dim B}=N^{dim B}, where f_L is the conductor of L.
• ### On symmetric square values of quadratic polynomials(1001.4710)

Jan. 26, 2010 math.AG, math.NT
We prove that there does not exist a non-square quadratic polynomial with integer coefficients and an axis of symmetry which takes square values for N consecutive integers for N=7 or N >= 9. At the opposite, if N <= 6 or N=8 there are infinitely many.
• ### Three cubes in arithmetic progression over quadratic fields(0909.0227)

Sept. 1, 2009 math.NT
We study the problem of the existence of arithmetic progressions of three cubes over quadratic number fields Q(sqrt(D)), where D is a squarefree integer. For this purpose, we give a characterization in terms of Q(sqrt(D))-rational points on the elliptic curve E:y^2=x^3-27. We compute the torsion subgroup of the Mordell-Weil group of this elliptic curve over Q(sqrt(D)) and we give partial answers to the finiteness of the free part of E(Q(sqrt(D))). This last task will be translated to compute if the rank of the quadratic D-twist of the modular curve X_0(36) is zero or not.
• ### Galois Theory, discriminants and torsion subgroups of elliptic curves(0811.1463)

June 30, 2009 math.NT
We find a tight relationship between the torsion subgroup and the image of the mod 2 Galois representation associated to an elliptic curve defined over the rationals. This is shown using some characterizations for the squareness of the discriminant of the elliptic curve.
• ### Right triangles with algebraic sides and elliptic curves over number fields(0903.4611)

March 26, 2009 math.NT
Given any positive integer n, we prove the existence of infinitely many right triangles with area n and side lengths in certain number fields. This generalizes the famous congruent number problem. The proof allows the explicit construction of these triangles; for this purpose we find for any positive integer n an explicit cubic number field Q(\lambda) (depending on n) and an explicit point P_\lambda of infinite order in the Mordell-Weil group of the elliptic curve Y^2=X^3-n^2*X over Q(\lambda).
• ### Arithmetic progressions of four squares over quadratic fields(0903.3856)

March 23, 2009 math.NT
Let d be a squarefree integer. Does there exist four squares in arithmetic progression over Q(sqrt{d})? We shall give a partial answer to this question, depending on the value of d. In the affirmative case, we construct explicit arithmetic progressions consisting of four squares over Q(sqrt{d}).
• ### Finiteness results for modular curves of genus at least 2(math/0211394)

Dec. 22, 2003 math.AG, math.NT
A curve X over the field Q of rational numbers is modular if it is dominated by X_1(N) for some N; if in addition the image of its jacobian in J_1(N) is contained in the new subvariety of J_1(N), then X is called a new modular curve. We prove that for each integer g at least 2, the set of new modular curves over Q of genus g is finite and computable. For the computability result, we prove an algorithmic version of the de Franchis-Severi Theorem. Similar finiteness results are proved for new modular curves of bounded gonality, for new modular curves whose jacobian is a quotient of the new part of J_0(N) with N divisible by a prescribed prime, and for modular curves (new or not) with levels in a restricted set. We study new modular hyperelliptic curves in detail. In particular, we find all new modular curves of genus 2 explicitly, and construct what might be the complete list of all new modular hyperelliptic curves of all genera. Finally we prove that for each field k of characteristic zero and each integer g at least 2, the set of genus g curves over k dominated by a Fermat curve is finite and computable.
• ### Modular Curves Of Genus 2(math/0105232)

May 28, 2001 math.AG, math.NT
We prove that there is only a finite number of genus 2 curves C defined over Q such that there exists a nonconstant morphism pi:X_1(N) --->C defined over Q and the jacobian of C, J(C), is a Q-factor of the new part of the jacobian of X_1(N), J_1(N)^{new}. Moreover, we prove that there are only 149 genus two curves of this kind with the additional requeriment that their jacobians are Q-simple. We determine the corresponding newforms and present equations for all these curves.