Let’s begin by reviewing the fact that when we work over we have a nice comparison theorem. Last time it was briefly mentioned that if is smooth over , then we can consider the analytic topology on the -valued points which we’ll call . Using GAGA and the degeneration of the Hodge-de Rham spectral sequence from last time we immediately get that .

Thus we have a comparison theorem that allows us to use purely algebraic methods to recover the topological information of the singular cohomology. But what happens if we work over a field that is not ? Well let’s assume that is smooth and of finite type over . If has characteristic , then the standard idea of the Lefschetz principle gives us that everything works out again and we can recover the singular cohomology.

Obviously lots can go wrong in positive characteristic. Say , then we’ll throw out the case of affine things because for instance if is an affine curve the de Rham cohomology is not even finitely generated. But if we assume is proper and have finite generatedness, we still have problems with de Rham. It doesn’t recover the correct topological information. For instance, we’d like a cohomology that gives us “correct” Betti numbers.

If we define the Hodge Betti numbers to be and the de Rham Betti numbers we can just look at the HdR SS and see that and we have equality if and only if the HdR SS degenerates at . Degeneration of this spectral sequence is related to having some sort of analogue of in characteristic , also known as a “lift” of . Even if this spectral sequence degenerates, it merely relates these two Betti numbers, but doesn’t fully relate back to the topological Betti numbers.

Also, despite the fact that there is still a Lefschetz fixed point formula for de Rham cohomology in positive characteristic, it only gives the right answer mod . We’ve seen that de Rham cohomology is a nice attempt at coming up with an algebraic way of defining singular cohomology (and is quite useful for lots and lots of things), but it seems very tied to smoothness and characteristic issues.

Anyway, it was good to point that out, but many of you might be frustrated because we already knew that de Rham was going to be a failure in characteristic . If you’ve been introduced to -adic cohomology, then you probably already realized that this was basically invented to solve some of these problems. Now we’ll impose the extra condition that be algebraically closed. Recall that we can just pick a prime and define . This is a -module.

Using the comparison theorem we see that if , then . This is quite nice. tells us exactly the topological information we sought, since we recover the rank of and the -primary torsion. Thus if we run through all primes we can completely recover up to isomorphism. Also, we see that the rank of is finite and independent of .

Here is the first of many problems. Although for a smooth projective scheme in positive characteristic we do get that the rank of is finite, it is unknown if this is a number independent of . The second much more severe problem is that we only have the reasonable properties listed in the previous paragraph for . So even though we can get a bunch of topological information about , we are unfortunately left clueless about the -torsion. We also lose a bunch of classical theorems (even when ) such as the Lefschetz hyperplane theorem. Or if we consider the induced map from on there may be powers of in the denominator of the characteristic polynomial that we won’t ever be able to get information about.

Clearly, -adic cohomology isn’t going to quite do the trick. All I seem to be doing is complaining about how these cohomology theories are failing what I want, but I haven’t ever told you exactly what it is that I do want from a cohomology theory. So next time we’ll start working on stating those properties and seeing if anything we’ve come across satisfies them and if not how we’re going to construct something that does.

Pingback: Sixth Linkfest

Pingback: Crystalline Site 1 « A Mind for Madness

August 20, 2011 at 5:41 pm

Is it really unknown if the rank of the -adic cohomology of a smooth proper variety over a finite field is independent of ? By the Weil conjectures, we have that the Frobenius action on has eigenvalues which are algebraic integers of absolute value . By the trace formula, the global zeta function of the variety (which is totally independent of ), is equal to the product of the determinants of on these cohomology groups (some in the numerator, some in the denominator). So it seems that if you look at the distribution of the roots of the zeta function (namely, how many there are on a given circle), you can recover the dimension of the -adic cohomology, no?

Also, there is a Lefschetz hyperplane theorem in -adic cohomology (proved in the same way Griffiths-Harris prove the one for complex cohomology: you use the fact that an *affine* variety of dimension has no cohomology in degrees — in the complex world, this is because the variety has the homotopy type of a -dimensional CW complex by Morse theory — and then using the Gysin sequence of the smooth pair (where is your smooth proj. variety, a hyperplane so that the section is smooth).

There’s even a hard Lefschetz in -adic cohomology, but it was only proved in Weil II (and generalized by BBD)! Statement: if a smooth projective variety of dim. , and the first Chern class of a very(?) ample line bundle, then cupping with gives an isomorphism between and (with some Tate twist).

August 20, 2011 at 5:58 pm

As for the hard Lefschetz theorem for -adic cohomology, I did learn about that since I posted this, so yes that does actually work. As for the independence statement, I’m pretty sure that when I posted this I meant to have these failings as things that we didn’t yet know on the blog and historically as motivation for crystalline cohomology. Rereading this post, I realize it doesn’t really come across that way.

This reminds me that I should probably understand why -adic is independent of considering I actually use this fact sometimes.