The interplay between theory and computation has been a vital force for progress throughout the long history of the arithmetic of elliptic curves. I have been fortunate to see at fairly close hand two marvellous examples of this interplay. Firstly, I remember my amazement as a student in Canberra and Paris in the mid 1960’s to see the conjecture of Birch and Swinnerton-Dyer evolve from a series of brilliant numerical experiments, which revolutionized arithmetical algebraic geometry. Secondly, I remember my fascination as a young post-doc at Harvard in the beginning of the 1970’s to see John Tate work on a daily basis by always mixing sophisticated theory with hand calculations of numerical examples. Of course, since this time, numerical computations have been greatly changed by the advent of ever faster computers, and the discovery of important practical applications via cryptography. Computational mathematics has rightly become a branch of mathematics in its own right. Nevertheless, the theme I want to stress in my lecture is that the ancient union between theory and computation is as potent a force as ever today. It is my strong personal view that the best computations on elliptic curves are those that lead to new insights for attacking the unsolved theoretical problems. Equally, I firmly believe that no abstract theorem about the arithmetic of elliptic curves is worth its salt unless illuminating numerical examples of it can be given.
[1]
J. Coates,et al.
Euler characteristics and elliptic curves II
,
2001
.
[2]
MODULES OVER IWASAWA ALGEBRAS
,
2001,
Journal of the Institute of Mathematics of Jussieu.
[3]
S. Howson.
STRUCTURE OF CENTRAL TORSION IWASAWA MODULES
,
2002
.
[4]
Jean-Pierre Serre.
Propriétés galoisiennes des points d'ordre fini des courbes elliptiques
,
1971
.
[5]
J. Björk.
Filtered Noetherian rings
,
1987
.
[6]
J. Coates,et al.
Galois Cohomology of Elliptic Curves
,
2000
.
[7]
M. Chamarie.
Anneaux de Krull non commutatifs
,
1981
.
[8]
O. Venjakob.
Iwasawa theory of p-adic Lie extensions
,
2001
.
[9]
R. Robson.
Cyclic and faithful objects in quotient categories with applications to noetherian simple or asano rings
,
1976
.
[10]
O. Venjakob.
On the structure theory of the Iwasawa algebra of a p-adic Lie group
,
2001,
math/0106269.
[11]
O. Venjakob,et al.
On the structure of Selmer groups over -adic Lie extensions
,
2002
.
[12]
Kazuya Kato,et al.
Completely Faithful Selmer Groups over Kummer Extensions
,
2003
.
[13]
M. Lazard,et al.
Groupes analytiques p-adiques
,
1965
.
[14]
Descent Calculations for the Elliptic Curves of Conductor 11
,
2003
.