## Source of the curves

The elliptic curves over number fields other than $\Q$ come from several sources.

### Imaginary quadratic fields

The curves defined over the first five (Euclidean) imaginary quadratic fields of class number one include the curves in John Cremona's 1981 thesis, extended by him with Warren Moore in 2014 and subsequently. In 2021-2022 the other fields of class number one were included; for the fields of discriminant $-19$, $-43$, $-67$ (of class number $1$), some of the curves appeared first in Elise Whitley's 1990 PhD thesis. Also in 2021-2022, all fields of absolute discriminant up to \(100\) were included. For the field of discriminant $-20$ (of class number $2$), some of the curves appeared first in Jeremy Bygott's 1999 PhD thesis; for the fields of discriminant $-23$ and $-31$ (of class number $3$), some of the curves appeared first in Mark Lingham's 2005 PhD thesis. In all cases, curves were found to match almost all the cuspidal Bianchi newforms (with trivial character, weight \(2\) and rational coefficients) in the database, originally using custom code by Cremona and Moore, but with the vast majority found by Magma's `EllipticCurveSearch` function written by Steve Donnelly; in the remaining cases it has been proved that there is no matching curve. Additionally, curves with CM by the field in question, which are not associated to cuspidal Bianchi newforms, were found from their $j$-invariants by Cremona.

### Totally real fields

Over $\Q(\sqrt{5})$ the curves of conductor norm up to about $5000$ were provided by Alyson Deines from joint work of Jonathan Bober, Alyson Deines, Ariah Klages-Mundt, Benjamin LeVeque, R. Andrew Ohana, Ashwath Rabindranath, Paul Sharaba and William Stein (see http://arxiv.org/abs/1202.6612). All the other curves were found from their associated Hilbert newforms using Magma's `EllipticCurveSearch` function, using a script written by John Cremona. This process is complete for fields of degree \({}<6\), but a total of 12 isogeny classes of curves are still missing over 7 of the 55 sextic fields represented in the database. Otherwise the extent of the data matches that of the Hilbert Modular Form data for totally real fields of degrees 2, 3, 4, 5 and 6.

### Other fields

- Steve Donnelly, Paul E. Gunnells, Ariah Klages-Mundt, and Dan Yasaki provided the curves over the mixed cubic field 3.1.23.1.
- Marc Masdeu provided $\Q$-curves over quadratic fields.
- Haluk Sengun provided curves with everywhere good reduction over imaginary quadratic fields.
- S. Yokoyama and Masdeu provided curves with everywhere good reduction over real quadratic fields (see here).

In some cases the same curve occurs in more than one of the above sources, in which case efforts have been made not to include it more than once in the database.

## Source of the data for each curve

### Models

For each curve, the model in the database is a global minimal model where one exists (for example when the base field has class number one), and otherwise a semi-minimal model which is nonminimal at precisely one prime. These (semi-)minimal models we computed in SageMath using code written by John Cremona. Among all (semi-)minimal models we scale by units in order to minimize the archimedean embeddings of \(c_4\) and \(c_4\) simultaneously using a lattice basis reduction method, also implemented in SageMath by John Cremona.

### Local data

Conductors and local reduction data were computed using Tate's Algorithm, as implemented in SageMath by John Cremona, except for the local root numbers which were computed using Tim Dokchitser's implementation in Magma.

### Isogenies

Complete isogeny classes were computed using implementations in SageMath by John Cremona and Ciaran Schembri of Billerey's algorithm (to determine the reducible primes) and Kohel-Vélu formulas.

### Mordell-Weil groups and generators and Birch--Swinnerton-Dyer data

These were computed by John Cremona using Magma's `MordellWeilShaInformation` and `AnalyticRank` functions, implemented by Steve Donnelly and Mark Watkins.

### Galois representations

The images of mod-\(\ell\) Galois representations were computed using Andrew Sutherland's Magma implemention of his methods described in [10.1017/fms.2015.33, arXiv:1504.0761] (including a generalization to handle curves with complex multiplication).

### Base change and \(\mathbb{Q}\)-curves

The property of being the base change of an elliptic curve over \(\mathbb{Q}\) and of being a \(\mathbb{Q}\)-curve were computed by John Cremona using his implementation in SageMath of the algorithm described in [10.1007/s40993-021-00270-0, arXiv:2004.10054].

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by John Cremona on 2022-12-02 07:05:08

**Referred to by:**

**History:**(expand/hide all)

- 2022-12-02 07:05:08 by John Cremona (Reviewed)
- 2021-09-29 10:10:03 by John Cremona (Reviewed)
- 2021-09-29 09:58:07 by John Cremona
- 2021-06-18 04:29:45 by John Cremona (Reviewed)
- 2021-06-18 04:25:15 by John Cremona
- 2021-04-17 09:21:32 by Andrew Sutherland (Reviewed)

**Differences**(show/hide)