Rational points on curves of genus one

We recall that an elliptic curve is a curve of genus one with a rational point on it. Certain algorithms for determining the structure of the group of rational points on an elliptic curve produce a whole set of curves of genus one and then require that we determine which of these curves has a rational point.

Unfortunately no algorithm which has been proved to terminate is known for doing this. Such an algorithm or proof would probably have profound implications for the study of elliptic curves and may shed light on the Birch and Swinnerton-Dyer conjecture.

This talk will be about joint work with Samir Siksek (Warwick) on the development of a new algorithmic criterion for determining that a given curve of genus one has no rational points. Both the theory behind the criterion and recent attempts to make the criterion computationally practical, will be detailed.