When I was a graduate student, Zev Rosengarten (a former student of Brian Conrad) and I used to eat dinner at Stanford’s Arrillaga dining hall a lot. We’d talk about math for hours, but one thing that will forever be ingrained in my mind is how Zev was able to do all these complicated spectral sequence arguments off the top of his head – without ever writing anything down!
In today’s post, we’ll be calculating the étale cohomology of curves over finite fields. You guessed it: We’ll be using a goddamn spectral sequence. More specifically, for and a smooth, proper, geometrically connected curve, we’ll calculate .
Caution to the reader: you cannot use Artin vanishing or Poincaré duality, because we are not over a separably closed field. In addition, is not torsion/lcc/constructible.
Why would anyone want to calculate anyway? Well, it turns out that this is exactly what you need to prove the fundamental exact sequence of Brauer groups of global functions fields! When I learned class field theory, the proofs were a nightmare. God only knows how to construct the Artin map in the global situation, and in the local situation you fool around with Tate cohomology. The point is I don’t remember any of this stuff, and of course I don’t know how to prove the fundamental exact sequence for Brauer groups in general. But for function fields, this last fact is literally just pure algebraic geometry. For more details, see this mathoverflow post here.
Theorem 1: Define and let be a smooth, proper, geometrically connected curve. Then
To prove the theorem, we will record a couple of lemmas. Throughout, our cohomology will be étale cohomology (unless stated otherwise). In addition, will always denote a finite field of cardinality .
Lemma 1: Let be an abelian variety. Then for all .
Proof: When , this is Lang’s theorem. Now let be any positive integer (not necessarily prime to the characteristic of ), and consider the exact sequence of sheaves in the fppf topology
Since is perfect, we have
which vanishes for by cohomological dimension considerations. It follows that multiplication by is an isomorphism on for . But is also torsion and hence the result.
Remark 1: A similar argument using the Kummer sequence shows that for , noting that in the case, we use Hilbert’s Theorem 90 instead of Lang’s theorem.
Lemma 2: Let be as in the statement of the theorem. Then for all .
Proof: It is enough to show that the stalk of at the geometric point is zero. We have
An argument using the divisor exact sequence shows that this injects into , which vanishes for by Tsen’s theorem and we win.
Remark 2: In general, we need to be a little careful when we identify the stalk of the higher direct image as above, simply because the pullback of is not always in general. However, the identification above is still valid as the sheaf is “compatible” with filtered colimits of étale maps.
Lemma 3: Consider the discrete group as the trivial -module. Then:
Let us first deal with the case. Since the Galois action is trivial,
of which there are none since is profinite while is discrete. Why? Let be a continuous homomorphism. Since has the discrete topology, is open in . On the other hand, an open subgroup of is of finite index. In summary, we have an injection from a finite group and therefore .
Now observe for any that multiplication by on is an isomorphism. But is also torsion, and therefore for all . We deduce that
When , by triviality of the Galois action the left hand side is again continuous homomorphisms from to . This is none other than . When , the cohomology vanishes by cohomological dimension considerations since is torsion. This completes the proof of Lemma 3.
We can now prove Theorem 1.
Proof of Theorem 1: For , this is simply the fact that the global sections of a proper, geometrically connected and geometrically reduced scheme over are just . For , this is usual descent theory for line bundles. Therefore, from now on we will concentrate on what happens for . Consider the Leray spectral sequence
By construction of the Leray spectral sequence, the abutment admits a filtration
Now first I claim that the only quotients we need to care about are and . Indeed, by Lemma 2 above we have for , and hence the same is true of the abutment .
We now turn to the term. You guessed it, we’ll look at the page first. By cohomology and base change, and therefore which vanishes for by Remark 1 above. Therefore, we also have .
Now this is great! You’d think there would be lots of ugly crap with differentials, but boom! Lots of stuff is straight up zero.
Ok, so finally we must deal with the quotient . Unfortunately, we now have to look at differentials (sad face here). Let’s look at the page first. By definition,
But that image in the denominator is zero by Lemma 2. On the other hand, the kernel in the numerator is just because is zero by Remark 1. In conclusion, . I’ll leave it to you to convince yourself that in fact
The essential point is that as we keep “turning the pages” of the spectral sequence, that image term comes from something “higher and higher up in the plane”, and hence is always zero by Lemma 2. In addition, the kernel term on the -th page is just , because now the differential out of it points to things in negative degree (in the -axis).
We can now concentrate fully on calculating . To this end, let us recall that can be identified with the Picard functor , with identity component represented by an abelian variety of dimension over . Note that and fit into an exact sequence
where the last map sends a line bundle to its degree.
Now take the cohomology of this exact sequence. We get
The thing on the left is zero for all by Lemma 1, and thereforefor all . It follows using Lemma 3 that
This completes the proof of Theorem 1.