
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.

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$.

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.

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 ntorsion 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 KroneckerWeber 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.

In this article, we study the minimal degree [K(T):K] of a psubgroup 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 padic 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.

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.

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.

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.

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+(m1)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.

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.

Solutions of the MarkoffRosenberger 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.

We give several criteria to show over which quadratic number fields
Q(sqrt{D}) there should exists a nonconstant 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
MordellWeil sieve argument among others. Using a elliptic Chabautylike
method, we prove that the only nonconstant 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 nonconstant
arithmetic progressions of five squares over all quadratic fields. Finally, we
state several problems and conjectures related to this problem.

Let Q(N;q,a) denotes the number of squares in the arithmetic progression
qn+a, for n=0, 1,...,N1, and let Q(N) be the maximum of Q(N;q,a) over all
nontrivial 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
SuperStrong Rudin's Conjecture: let be N=GP_k+1=> 8 for some integer k, where
GP_k is the kth 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).

We study the solutions of the RosenbergMarkoff equation ax^2+by^2+cz^2 =
dxyz (a generalization of the wellknown 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.

The purpose of this paper is to give a "downtoearth" proof of the
wellknown fact that a randomly chosen elliptic curve over the rationals is
most likely to have trivial torsion.

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.

We prove that there does not exist a nonsquare 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.

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^327. We compute the torsion subgroup of
the MordellWeil 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 Dtwist of the
modular curve X_0(36) is zero or not.

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.

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 MordellWeil group of the
elliptic curve Y^2=X^3n^2*X over Q(\lambda).

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

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 FranchisSeveri 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.

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 Qfactor 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
Qsimple. We determine the corresponding newforms and present equations for all
these curves.