I’m giving up on the p-divisible group posts for awhile. I would have to be too technical and tedious to write anything interesting about enlarging the base. It is pretty fascinating stuff, but not blog material at the moment.
I’ve been playing around with counting fibration structures on K3 surfaces, and I just noticed something I probably should have been aware of for a long time. This is totally well-known, but I’ll give a slightly anachronistic presentation so that we can use results from 2013 to prove the Birch and Swinnerton-Dyer conjecture!! … Well, only in a case that has been known since 1973 when it was published by Artin and Swinnerton-Dyer.
Let’s recall the Tate conjecture for surfaces. Let be a finite field and a smooth, projective surface. We’ve written this down many times now, but the long exact sequence associate to the Kummer sequence
(for ) gives us a cycle class map
In fact, we could take Galois invariants to get our standard
The Tate conjecture is in some sense the positive characteristic version of the Hodge conjecture. It conjectures that the first map is surjective. In other words, whenever an -adic class “looks like” it could come from an honest geometric thing, then it does. But if the Tate conjecture is true, then this implies the -primary part of is finite. We could spend some time worrying about independence of , but it works, and hence the Tate conjecture is actually equivalent to finiteness of .
Suppose now that is an elliptic K3 surface. This just means that there is a flat map where the fibers are elliptic curves (there are some degenerate fibers, but after some heavy machinery we could always put this into some nice form, we’re sketching an argument here so we won’t worry about the technical details of what we want “fibration” to mean). The generic fiber is a genus curve that does not necessarily have a rational point and hence is not necessarily an elliptic curve.
But we can just use a relative version of the Jacobian construction to produce a new fibration where is a K3 surface fiberwise isomorphic to , but now and hence is an elliptic curve. Suppose we want to classify elliptic fibrations that have as the relative Jacobian. We have two natural ideas to do this.
The first is that etale locally such a fibration is trivial, so you could consider all glueing data to piece such a thing together. The obstruction will be some Cech class that actually lives in . In fancy language, you make these things as -gerbes which are just twisted relative moduli of sheaves. The class in is giving you the obstruction the existence of a universal sheaf.
A more number theoretic way to think about this is that rather than think about surfaces over , we work with the generic fiber . It is well-known that the Weil-Chatelet group: gives you the possible genus curves that could occur as generic fibers of such fibrations. This group is way too big though, because we only want ones that are locally trivial everywhere (otherwise it won’t be a fibration).
So it shouldn’t be surprising that the classification of such things is given by the Tate-Shafarevich group:
Very roughly, I’ve now given a heuristic argument (namely that they both classify the same set of things) that Ш , and it turns out that Grothendieck proved the natural map that comes form the Leray spectral sequence Ш is an isomorphism (this rigorous argument might actually have been easier than the heuristic one because we’ve computed everything involved in previous posts, but it doesn’t give you any idea why one might think they are the same).
Theorem: If is an elliptic curve of height (occuring as the generic fiber of an elliptic K3 surface), then satisfies the Birch and Swinnerton-Dyer conjecture.
Idea: Using the machinery alluded to before, we spread out to an elliptic K3 surface over a finite field. As of this year, it seems the Tate conjecture is true for K3 surfaces (the proofs are all there, I’m not sure if they have been double checked and published yet). Thus is finite. Thus Ш is finite. But now it is well-known that if Ш being finite is equivalent to the Birch and Swinnerton-Dyer conjecture.