No Arabic abstract
We give a classification of the cuspidal automorphic representations attached to rational elliptic curves with a non-trivial torsion point of odd order. Such elliptic curves are parameterizable, and in this paper, we find the necessary and sufficient conditions on the parameters to determine when split or non-split multiplicative reduction occurs. Using this and the known results on when additive reduction occurs for these parametrized curves, we classify the automorphic representations in terms of the parameters.
In this paper, we explicitly classify the minimal discriminants of all elliptic curves $E/mathbb{Q}$ with a non-trivial torsion subgroup. This is done by considering various parameterized families of elliptic curves with the property that they parameterize all elliptic curves $E/mathbb{Q}$ with a non-trivial torsion point. We follow this by giving admissible change of variables, which give a global minimal model for $E$. We also provide necessary and sufficient conditions on the parameters of these families to determine the primes at which $E$ has additive reduction. In addition, we use these parameterized families to give constructive proofs of special cases of results due to Frey and Flexor-Oesterl{e} pertaining to the primes at which an elliptic curve over a number field $K$ with a non-trivial $K$-torsion point can have additive reduction.
By Mazurs Torsion Theorem, there are fourteen possibilities for the non-trivial torsion subgroup $T$ of a rational elliptic curve. For each $T$, 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 N{e}ron type, the conductor exponent, and the local Tamagawa number at each prime $p$ where $E/mathbb{Q}$ has additive reduction. As a consequence, we find all rational elliptic curves with a $2$-torsion or a $3$-torsion point that have global Tamagawa number~$1$.
Let E be an elliptic curve without complex multiplication (CM) over a number field K, and let G_E(ell) be the image of the Galois representation induced by the action of the absolute Galois group of K on the ell-torsion subgroup of E. We present two probabilistic algorithms to simultaneously determine G_E(ell) up to local conjugacy for all primes ell by sampling images of Frobenius elements; one is of Las Vegas type and the other is a Monte Carlo algorithm. They determine G_E(ell) up to one of at most two isomorphic conjugacy classes of subgroups of GL_2(Z/ell Z) that have the same semisimplification, each of which occurs for an elliptic curve isogenous to E. Under the GRH, their running times are polynomial in the bit-size n of an integral Weierstrass equation for E, and for our Monte Carlo algorithm, quasi-linear in n. We have applied our algorithms to the non-CM elliptic curves in Cremonas tables and the Stein--Watkins database, some 140 million curves of conductor up to 10^10, thereby obtaining a conjecturally complete list of 63 exceptional Galois images G_E(ell) that arise for E/Q without CM. Under this conjecture we determine a complete list of 160 exceptional Galois images G_E(ell) the arise for non-CM elliptic curves over quadratic fields with rational j-invariants. We also give examples of exceptional Galois images that arise for non-CM elliptic curves over quadratic fields only when the j-invariant is irrational.
An elliptic curve $E$ over $mathbb{Q}$ is said to be good if $N_{E}^{6}<max!left{ leftvert c_{4}^{3}rightvert ,c_{6}^{2}right} $ where $N_{E}$ is the conductor of $E$ and $c_{4}$ and $c_{6}$ are the invariants associated to a global minimal model of $E$. In this article, we generalize Massers Theorem on the existence of infinitely many good elliptic curves with full $2$-torsion. Specifically, we prove via constructive methods that for each of the fifteen torsion subgroups $T$ allowed by Mazurs Torsion Theorem, there are infinitely many good elliptic curves $E$ with $E!left(mathbb{Q}right) _{text{tors}}cong T$.
We present a method for constructing optimized equations for the modular curve X_1(N) using a local search algorithm on a suitably defined graph of birationally equivalent plane curves. We then apply these equations over a finite field F_q to efficiently generate elliptic curves with nontrivial N-torsion by searching for affine points on X_1(N)(F_q), and we give a fast method for generating curves with (or without) a point of order 4N using X_1(2N).