First Elliptic Curve in Nature – Why Is It Called That?

ag.algebraic-geometryarithmetic-geometrydiophantine equationselliptic-curvesho.history-overview

The LMFDB describes the elliptic curve 11a3 (or 11.a3) as "The first elliptic curve in nature". It has minimal Weierstraß equation
$$
y^2 + y = x^3 – x^2.
$$

My guess is that there is some problem in Diophantus' Arithmetica, or perhaps some other ancient geometry problem, that is equivalent to finding a rational point on this curve. What might it be?


Edit: Here's some extra info that I dug up and only mentioned in the comments. Alexandre Eremenko also mentions this in an answer below. The earliest-known example of an elliptic curve is one implicitly considered by Diophantus, in book IV of Arithmetica, problem 24 (Heath's translation): "To divide a given number into two numbers such that their product is cube minus its side". Actually this is a family of curves over the affine line, namely $y(a-y)= x^3-x$, though Diophantus, in his usual way, only provides a single rational point for the single curve corresponding to $a=6$. This curve is 8732.b1 in the L-functions and modular forms database (the Cremona label is 8732a1). So presumably the comment about 11a3 is not meant to mean "historically first".

Best Answer

I actually only wrote the part that says that this curve is a model for $X_1(11)$, not the first part, which I think was written by John Cremona.

It is standard to order elliptic curves by conductor (e.g. for statistics), and 11 is the smallest possible conductor. However, there are 3 curves with conductor 11, and no canonical way to order them as far as I know (though @François Brunault has an interesting point); for instance LMFDB labels do not order these 3 curves in the same way as Cremona labels.

This curve being the first one could maybe also be understood in terms of modular degree, although this is also ambiguous: if we order them by degree of parametrisation by $X_1(N)$, then this curve, being a model of $X_1(11)$, comes first, but if we order in terms of degree of parametrisation by $X_0(N)$, then 11.a2 comes first since it is a model for $X_0(11)$.

Related Question