[Math] Flat versus etale cohomology

ag.algebraic-geometrycohomologyetale-cohomologygrothendieck-topology

Although the definition of etale ($\ell$-adic) cohomology is scary, I have at least some intuition for how it should behave: for instance, when it makes sense, I expect that it should be “similar'' to the classical (singular) cohomology.

I'm in a situation in which I'm wondering if I can generalize a result in the realm of etale cohomology by using flat cohomology instead. (For instance, I want to be able to consider varieties over characteristic 2 and take cohomology with coefficients in the sheaf $\mu_2$, as an analogue of the case where one of the 2's is replaced by $p \neq 2$.)

Unfortunately, I have no intuition whatsoever for how flat cohomology should behave, so I am looking for mental models, slogans, etc. An answer of "don't use flat cohomology because it is impossible to work with" would also be helpful (although a little disappointing). For the sake of concreteness, here are some specific questions (but my interest is not limited to these)

  1. Can I expect analogues of familiar nice things such as Poincare duality and cycle class maps?
  2. Should this behave like (or even coincide with) etale cohomology in “nice'' cases?
  3. What are non-trivial examples where flat cohomology can be effectively computed? Especially examples where the computation is not by formally showing that it must be the same as etale cohomology, and then computing the latter.
  4. Should I expect to have a good theory of characteristic classes?

Best Answer

Here is a good example of some pathological behaviour that will shatter all your hopes and dreams.

Claim. Let $k$ be a perfect field, and let $X$ be a smooth, proper, integral $k$-scheme. Then the cohomology $H^1(X,\alpha_p)$ is a $k^p$-vector space. In particular, it is only finite if it is $0$ or $k$ is finite.

For a proof, see this MO post.

The reason this is disappointing is that $\alpha_p$ should be a constructible sheaf on the flat site, and from étale cohomology we expect the cohomology of a constructible sheaf to be finite. But it isn't!

On the other hand, for $\mu_p$-coefficients, we do have a fairly nice theory, thanks to Milne's arithmetic duality theorems. The first paper in this direction was his Duality in the flat cohomology of a surface, and this has been extended and rewritten many times. Some references were already given in the comments; I am not aware of any others (but they might well exist).

There are many other interesting sheaves to consider other than just sheaves represented by finite group schemes over the ground field. But I don't think there is a nice and unified theory in the same that there is for étale cohomology.

Remark. A nice conceptual remark is the fact that flat cohomology can be computed by the quasi-finite flat site. This is discussed in Milne's étale cohomology book, Example III.3.4. Thus, even though the flat site seems infinitely larger than the étale site (flat morphisms can have arbitrary relative dimension), it somehow isn't as big as you would think.

Related Question