Searcharxiv⌕ Search

arXiv subjects

Enrique Gonzalez-Jimenez

Publications and source records attributed to Enrique Gonzalez-Jimenez.

17 recordsLinked to original sources
arXiv2021

Elliptic Curves with abelian division fields

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.

math.NT↗
arXiv2019

On the torsion of rational elliptic curves over quartic fields

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.

math.NT↗
arXiv2015

On the minimal degree of definition of p-primary torsion subgroups of elliptic curves

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 ρ_{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.

math.NT↗
arXiv2015

Torsion of rational elliptic curves over quadratic fields II

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.

math.NT↗
arXiv2015

Torsion of rational elliptic curves over cubic fields

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.

math.NT↗
arXiv2015

On arithmetic progressions on Edwards curves

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.

math.NT↗
arXiv2010

On the modularity level of modular abelian varieties over number fields

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.

math.NT↗
arXiv2010

On symmetric square values of quadratic polynomials

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.

math.NT↗
arXiv2009

Three cubes in arithmetic progression over quadratic fields

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.

math.NT↗
arXiv2009

Right triangles with algebraic sides and elliptic curves over number fields

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(λ) (depending on n) and an explicit point P_λof infinite order in the Mordell-Weil group of the elliptic curve Y^2=X^3-n^2*X over Q(λ).

math.NT↗
arXiv2009

Arithmetic progressions of four squares over quadratic fields

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}).

math.NT↗
arXiv2003

Finiteness results for modular curves of genus at least 2

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.

math.NT↗
arXiv2001

Modular Curves Of Genus 2

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.

math.NT↗