Counting Points on Elliptic Curves (Part 3)
Posted by John Baez
In Part 1 of this little series I showed you Wikipedia’s current definition of the -function of an elliptic curve, and you were supposed to shudder in horror. In this definition the -function is a product over all primes . But what do we multiply in this product? There are 4 different cases, each with its own weird and unmotivated formula!
In Part 2 we studied the 4 cases. They correspond to 4 things that can happen when we look at our elliptic curve over the finite field : it can stay smooth, or it can become singular in 3 different ways. In each case we got a formula for number of points the resulting curve over the fields .
Now I’ll give a much better definition of the -function of an elliptic curve. Using our work from last time, I’ll show that it’s equivalent to the horrible definition on Wikipedia. And eventually I may get up the nerve to improve the Wikipedia definition. Then future generations will wonder what I was complaining about.
I want to explain the -function of an elliptic curve as simply as possible — thus, with a minimum of terminology and unmotivated nonsense.
The -function of an elliptic curve is a slight tweak of something more fundamental: its zeta function. So we have to start there.
The zeta function of an elliptic curve
You can define the zeta function of any gadget that assigns a finite set to any finite commutative ring . It goes like this:
where is a complex number and the sum will converge if is big enough.
What’s ? A ring that’s a finite product of finite fields is called a finite semisimple commutative ring. An element of is a way to make the set into a finite semisimple commutative ring, say , and choose an element of .
So, to define the zeta function of an elliptic curve, we just need a way for an elliptic curve to assign a finite set to any finite semisimple commutative ring . This is not hard. By an elliptic curve I simply mean an equation
where is a cubic equation with integer coefficients and distinct roots. When is a finite field, this equation will have a finite set of solutions in , and we take those and one extra ‘point at infinity’ to be the points of our set . When is a general finite semsimple ring, it’s a product of finite fields, say
and we define
Then the zeta function of our elliptic curve is
The L-function of an elliptic curve
Later today we will calculate the zeta function of an elliptic curve. And we’ll see that it always has a special form:
where is the Riemann zeta function. The denominator here is called the L-function of our elliptic curve, . That’s all there is to it!
In short:
You should think of the -function as the ‘interesting part’ of the zeta function of the elliptic curve — but flipped upside down, just to confuse amateurs. That’s also why we write in the formula for the zeta function instead of : it’s a deliberately unnatural convention designed to keep out the riff-raff.
Arbitrary conventions aside, I hope you see the -function of an elliptic curve is a fairly simple thing. You might wonder why the zeta function is defined as it is, and why the zeta function of the elliptic curve has a factor of in it. Those are very good questions, with good answers. But my point is this: all the gory complexity of the -function arises when we actually try to compute it more explicitly.
Now let’s do that.
The Euler product formula
An elliptic curve gives a finite set for each finite semisimple commutative ring . We need to count these sets to compute the zeta function or -function of our elliptic curve. But we have set things up so that
Since every finite semisimple commutative ring is a product of finite fields, this lets us focus on counting when is a finite field. And since every finite field has a prime power number of elements, we can tackle this counting problem ‘one prime at a time’.
If we carry this through, we get an interesting formula for the zeta function of an elliptic curve. In fact it’s a very general thing:
Euler Product Formula. Suppose is any functor from finite commutative rings to finite sets such that . Then
where we take the product over all primes , and is the field with elements.
I wrote up a proof here:
so check it out if you want. I was not trying to make the argument look as simple as possible, but it’s really quite easy given what I’ve said: you can probably work it out yourself.
So: the zeta function of an elliptic curve is a product over primes. The factor for the prime is called the local zeta function
To compute this, we need to know the numbers . Luckily we worked these out last time! But there are four cases.
In every case we have
where is some sort of ‘correction’. If the correction is zero, we get
I did the sum pretty fast, but not because I’m good at sums — merely to keep you from getting bored. To do it yourself, all you need to know is the Taylor series for the logarithm.
To get the zeta function of our elliptic curve we multiply all the local zeta functions . So if all the corrections were zero, we’d get
Here I used the Euler product formula for the Riemann zeta function.
This is precisely why folks define the -function of an elliptic curve to be
It lets us focus on the effect of the corrections!. Well, it doesn’t explain that stupid reciprocal on the left-hand side, which is just a convention — but apart from that, we’re taking the zeta function of the elliptic curve and dividing out by what we’d get if all the corrections were zero. So, if you think about it a bit, we have
It’s like the Euler product formula for the zeta function, but using only the corrections instead of the full count of points .
As you can see, the -function is a product of local L-functions
So let’s work those out! There are four cases.
The local zeta function of an elliptic curve: additive reduction
If our elliptic curve gets a cusp over , we say it has additive reduction. In this case we saw in Theorem 2 last time that
So in this case the correction vanishes:
This makes the local -function very simple:
The local zeta function of an elliptic curve: split multiplicative reduction
If our elliptic curve gets a node over and the two lines tangent to this node have slopes defined in , we say our curve has split multiplicative reduction. In this case we saw in Theorem 3 last time that
So in this case, the correction is :
This gives
Again I used my profound mastery of Taylor series of the logarithm to do the sum.
The local zeta function of an elliptic curve: split multiplicative reduction
If our elliptic curve gets a node over and the two lines tangent to this node have slopes that are not defined in , we say our curve has nonsplit multiplicative reduction. In this case we saw in Theorem 4 last time that
In this case the correction is more interesting:
This gives
Again, I just used the Taylor series of the log function.
The local zeta function of an elliptic curve: good reduction
If our elliptic curve stays smooth over , we say it has good reduction. Ironically this gives the most complicated local zeta function. In Theorem 1 last time we saw
where is a complex number with . We didn’t prove this, we literally just saw it: it’s a fairly substantial result due to Hasse.
So, in this case the correction is
This gives
Again I just used the Taylor series of the log function. I’m sure glad I went to class that day.
But we can get a bit further using :
At this point people usually notice that
so
Thus, you can compute this number using just the number of points of our curve over . And to be cute, people call this number something like . So in the end, for elliptic curves of good reduction over the prime we have
Whew, we’re done!
The L-function of an elliptic curve, revisited
Okay, now we can summarize all our work in an explicit formula for the -function of an elliptic curve.
Theorem. The -function of an elliptic curve equals
where:
1) if remains smooth over . Here is minus the number of points of over .
2) if gets a cusp over .
3) if gets a node over , and the two tangent lines to this node have slopes that are defined in .
4) if we gets a node over , but the two tangent lines to this node have slopes that are not defined in .
My god! This is exactly what I showed you in Part 1. So this rather elaborate theorem is what some people run around calling the definition of the -function of an elliptic curve!
Re: Counting Points on Elliptic Curves (Part 3)
Is this really called a “simple ring”? Wouldn’t semisimple be a better name?
Great stuff by the way.