### Tables of Elliptic Curves over Number Fields

#### (A SAGE Project Advised by William Stein)

This is a table of elliptic curves over various number fields. Here is a description of how we made the tables, including the code so that the calculations can be repeated, and some discussion about how these tables compare to other people's tables.
The tables list curves over a number field K.  This field is an extension of the rational numbers Q found by adjoining to Q a root of the polynomial listed as f .  We let a be a root of this polynomial, so that K=Q(a). Quantities in the tables will be given as linear combinations of the power basis (1, a, ..., an-1) of K.

Each line is listed as:

N   [A, B]   [n1, n2]   n1*n2   j   C
where:
• N is the norm of the conductor;
• A and B are the coefficients in y2 = x3 + Ax + B;
• The torsion subgroup is given by Z/n1Z + Z/n2Z, and has order n1n2;
• j is the j-invariant of the curve;
• C is the actual conductor, given as a principal ideal in the ring of integers of K.

Now, here are the tables:

We have also considered how we might divide up curves with the same conductor into isogeny classes. If two curves are isogenous, then they will have the same number of points in the residue field gotten by taking the quotient of the ring of integers by some prime ideal, so one way to divide up the curves into probable isogeny classes is just to count its points over the residue fields of a bunch of primes.

In the tables, we have chosen to record the traces of Frobenius instead of the number of point; if two curves are isogenous the trace of this map will be the same in each residue field, and the number of points in the finite field can be determined by knowing this trace.

The tables we generated follow. Each line is of the form

N*letter*   [A, B]   C   trace of Frobp1   trace of Frobp2        ...
where N is the norm of the conductor, A and B are the coefficients of the curve, and C is the actual conductor as above; and the remaining columns are the traces of the Frobenius map over the finite field corresponding to a certain prime ideal; if the elliptic curve has bad reduction over that prime ideal, we write "bad" and the trace of Frobenius is not computed. The *letter*s indicate how the curves of a given conductor norm are divided up: if the trace of the Frobenius map matches at each prime for two curves with the same conductor norm, then those curves will be listed with the same letter; for example, in the table for x2+7, we have