This is a post from here.
I have become very interested in algebraic geometry (only the terminology makes it kind of confusing), and I revised what little I knew (or used to know when I wrote the original post) about étale cohomology. Here I’ll try to give a brief introduction and some motivation as to why étale cohomology arose and how it’s been applied. I’ll be closely following Kiran Kedlaya’s notes on OCW MIT for this post.
Let be a morphism of schemes. There is a canonical map defined by any morphism and a closed subscheme defined by a nilpotent ideal of . If this map is always bijective then is called formally étale. If is also locally of finite presentation then we simply say is étale.
It turns out that étale morphisms in algebraic geometry are like the notion of a covering space in topology! So we can define a cohomology theory, called étale cohomology. But there’s more motivation than this, namely the Weil conjectures.
Let be a variety over a finite field . Define the zeta function as follows:
The product is taken over the closed points of . This zeta function isn’t too hard to compute, and it’s a nice exercise to write down the zeta function for or and elliptic curve (the latter is harder). Weil predicted that this zeta function can always be interpreted as the power series expansion of a rational function of .
There’s something more significant than that, though. Look at the coefficients of the zeta function when is an elliptic curve, for example. Then the degrees of the factors are . Where have we seen these before? These are the Betti numbers of a genus Riemann surface! So Weil conjectured that if is obtained from a smooth proper scheme over some arithmetic ring, reducing modulo a prime, then the degrees of factors of correspond to the Betti numbers of .
Weil conjectured a cohomology theory for varieties over taking values in some finite dimensional verctor space over a field of characteristic , such that the number of -rational points (fixed points of the -power Frobenius map) can be computed by the following formula: , which implies the rationality of the zeta function.
It might seem like coherent sheaf cohomology might be useful. But apparently it’s not, for two reasons: it lives in characteristic but not characteristic (so we can prove rationality mod ), and dimensions don’t match Betti numbers. It’s now that Grothendieck came in; he decided to find an analogue of topological cohomology with étale maps, corresponding to local homeomorphisms (we now see how étale maps correspond to covering spaces). For example, from GAGA, every finite covering space map for a smooth proper variety over comes from a unique finite étale cover of . So the profinite completion of the topological fundamental group can be recovered as the inverse limit of the Galois groups of these étale covers (this example is taken straight from the lecture notes referred to above).
Now, Grothendieck was forced to modify the notion of a topology, leading to the notion of a Grothendieck topology. Let be a topological space. Then a presheaf on is simply a map . So one can state all the sheaf axioms in terms of that category!
Let be a category admitting finite products. A Grothendieck topology consists of coverings for each satisfying the following conditions:
- is a covering of
- If for , is a cover, then is a cover
- If is a cover and for each , is a cover, then is also a cover.
This is actually a Grothendieck pretopology, as Kedlaya notes, and one should take the coverings “generated” by this pretopology/basis. There are many other Grothendieck topologies, like the fppf, fpqc, smooth, flat, Nisnevich (which I’m trying to study with K-theory), and syntomic topologies.
Now I’m going to define the big and small étale sites, and I may rant a bit here. The big étale site of a scheme is a subcategory of spanned by the schemes over with coverage given by étale covers. The small étale site is the subcategory of the big étale site whose objects are schemes whose structure map to is étale. A covering in is a covering in the big étale site, such that .
Let be a presheaf on . A sheaf on this site is a presheaf such that for any cover , there is an exact sequence .
There is also the notion of sheafification, and it becomes very interesting here because there’s no notion of a point. But, what is a point but a decreasing family of open sets? Points can be defined in that way, and that brings us to the concept of a topos. I won’t go into that here, but at least now there’s some more motivation for studying topoi.
We should really get around to defining étale cohomology. Let be a scheme and its small étale site. Then let be an -valued sheaf on . The global sections functor, is left exact and the right derived functors of the global sections functor gives us étale cohomology.
Now, what about the Weil conjectures? Let be a prime. Then define (the Weil cohomology) as . These are finite dimensional vector spaces, and they have a Lefschetz trace formula, implying rationality of the zeta function. I won’t go into much detail here because I think I’ve conveyed the general idea across.