Mazur observed that in many cases where an elliptic curve E has a non-trivial element C in its Tate-Shafarevich group, one can find another elliptic curve E' such that ExE' admits an isogeny that kills C. For elements of order 2 and 3 one can prove that such an E' always exists. However, for order 4 this leads to a question about rational points on certain K3-surfaces. We show how to explicitly construct these surfaces and give some results on their rational points.
This is joint work with Tom Fisher.
- Number Theory Seminar