Ebook: The Arithmetic of Elliptic Curves

The theory of elliptic curves is distinguished by its long history and by the diversity of the methods that have been used in its study. This book treats the arithmetic theory of elliptic curves in its modern formulation, through the use of basic algebraic number theory and algebraic geometry. The book begins with a brief discussion of the necessary algebro-geometric results, and proceeds with an exposition of the geometry of elliptic curves, the formal group of an elliptic curve, and elliptic curves over finite fields, the complex numbers, local fields, and global fields. Included are proofs of the Mordell–Weil theorem giving finite generation of the group of rational points and Siegel's theorem on finiteness of integral points.

For this second edition of The Arithmetic of Elliptic Curves, there is a new chapter entitled Algorithmic Aspects of Elliptic Curves, with an emphasis on algorithms over finite fields which have cryptographic applications. These include Lenstra's factorization algorithm, Schoof's point counting algorithm, Miller's algorithm to compute the Tate and Weil pairings, and a description of aspects of elliptic curve cryptography. There is also a new section on Szpiro's conjecture and ABC, as well as expanded and updated accounts of recent developments and numerous new exercises.

The book contains three appendices: Elliptic Curves in Characteristics 2 and 3, Group Cohomology, and a third appendix giving an overview of more advanced topics.

I found it fascinating, how the elements of general theory, explicit formulae and geometric ideas (the group law on an elliptic curve is constructed via means of geometry) are interwoven.

However, if you want to get a glimpse of such fundamental theorems like the Mordell-Weil theorem, you will need a solid understanding of the basics of algebraic number theory.

Also, if the author tells you "it is clear", it may take you two or three pages of your own thoughts and scribblings to actually see, why it is "clear". Sometimes it really is clear, but sometimes he might be referring to basic results from algebraic number theory. For example in VIII.$1 Proposition 1.6, a field is constructed, which is unramified outside a certain set of places of the number field K. The notion "It is clear .... is unramified if and only if ord_v(a) = 0 ..." had me puzzled for a while, until it dawned on me, that I needed a certain separability criterium for the polynomial to show what was needed.

All in all, still a great book.