10
$\begingroup$

The question title says it all.

I am looking for a geometric proof for the fact that the group law defined on elliptic curves is associative.

I've heard somewhere about something on the internet about 2 cubics intersecting at 8 points must have a ninth point in common but I've never understood what that meant. Maybe this is what I'm looking for.

If a well-known reference has this result and I could easily find it in a library (or better yet over the internet, which I did not manage to find), then I'd accept this as an answer too.

Thanks in advance,

  • 0
    @JeanMarie : Thanks!2018-12-12

2 Answers 2

9

There is a geometric proof of associativity in the elementary undergraduate book by Silverman and Tate Rational Points on Elliptic Curves.
The proof there is indeed along the lines you suggest of considering a pencil of cubics with nine base points, and is illustrated by a nice drawing.
The textbook derives from 1961 lectures by Tate, one of the best specialists ever in elliptic curves (he received the prestigious Abel prize in 2010).

  • 0
    Yeah, Silverman's more advanced book is beautiful, but not at all appropriate for undergraduates. His undergraduate book with Tate, however, is amazingly accessible. I've never taught a course with it, but I have a colleague who has several times, and the (not very well prepared) students really liked it.2011-10-29
4

This is contained in any intro book on elliptic curves. Here are two ones which are accessible to undergraduates:

  1. McKean and Moll, "Elliptic Curves: Function Theory, Geometry, Arithmetic".
  2. Silverman and Tate, "Rational points on elliptic curves"
  • 1
    Whoops, that's an e$m$barrassing lacunae!2011-10-28