This semester in Berkeley, we have been running a learning seminar on Weil conjecture and perverse sheaves following the book by Kiehl and Weissauer. All of this business with “weights” used to scare me a great deal, but after this semester, I feel I understand a bit. I thought I would try to share with everyone a bit of what we have been learning. It will also give me an opportunity to make sure that I understand this stuff.

Let denote a variety over a finite field and let denote its base change to the algebraic closure.

The first important point is that if X is such a variety, then there is a well behaved etale cohomology of X, . This cohomology behaves like you would expect it too — in particular, if there is an obvious version of X over the complex numbers, then typically this etale cohomology will agree with the ordinary cohomology of the complex points of X. The development of etale cohomology is actually quite complicated and was not the subject of our seminar and will not be the subject of this post.

Since comes from by base change, comes with a Frobenius map . For example if , then . Now, this Frobenius map gives us a endomorphism of the etale cohomology .

If is smooth and proper, then the following amazing theorem is true: The eigenvalues of acting on are all algebraic integers of size (this is the “Riemann hypothesis” part of the Weil conjecture).

(There are some notes online of a talk by Beilinson which give some complex geometry motivation for this statement.)

Let us abstract this notion. If is a vector space with an endomorphism , then we say that is **pure** of weight w if all eigenvalues of have size . We say that V has **weight** if all eigenvalues of F have size . So if X is proper, then is pure of weight i.

Now, we consider more general constructible sheaves on , which you can think of as coming from gluing local system on subvarieties. If A is such a sheaf, and , then F acts on the stalk . We say that A has **weight** , if all stalks of have weight . Then the above theorem generalizes as follows: If is a morphism, and the weight of A is less than w, then the weight of is also less than .

(Actually I’ve overly simplified this definition of weight. You have to check not just the points, but also the points over all and the corresponding Frobenii.)

Let us now generalize some more. We consider complexes of sheaves A on . We say that A has **weight** , if each has weight . We say that A has **weight** , if has weight (here D denote Verdier duality). We say that A is **pure** if it has weight and weight .

The Riemann hypothesis part of the Weil conjecture generalizes as: if is a morphism and A has weight , then has weight . In particular, using duality we see that if f is proper and A is pure of weight w, then is pure of weight w.

Now we move to perverse sheaves, which form an interesting abelian subcategory of the derived category of constructible sheaves, closed under Verdier dual. Perverse sheaves interact nicely with weights. Here are two lemmas which illustrate this interaction and then the two main theorems of this post.

__Lemma__ Every simple perverse sheaf is pure.

__Lemma__ If A and B are pure perverse sheaves with wt(A) < wt(B), then there are no non-trivial extensions of A by B.

__Theorem__ (Weight filtration) Any perverse sheaf has a canonical weight filtration. This is a filtration by subobjects such that all subquotients are pure of increasing weight.

__Theorem__ (Decomposition) Any pure perverse sheaf on X is isomorphic to a direct sum of simple perverse sheaves.

Let me illustrate the weight filtration and decomposition theorems with a couple of examples.

__Example 1__

If f is the inclusion of into , then has the following weight filtration . We have that is pure of weight 1 and the quotient is pure of weight 2 (here is the skyscraper sheaf at , and denotes Tate twist).

Generalizing this example, we may more generally consider the inclusion of an open subset U into a smooth variety whose complement is a divisor. I’ve heard that the corresponding weight filtration on can be “seen” for varieties over using Deligne’s log complex. Does anyone have a reference for that?

__Example 2__

Consider the map . Here, denotes the nilpotent cone for the Lie algebra sl(2). Then f is proper and semismall and so is a pure perverse sheaf on and hence by the decomposition theorem it is a direct sum of simple perverse sheaves. In fact .

Note for experts: to simplify things, throughout this post I’ve fixed an isomorphism between and and I’ve assumed that all sheaves are mixed.

The link to your learning seminar doesn’t seem to work…

Thanks! It is fixed now.

(Working over the complex numbers) If j:U -> X is an open immersion with X proper smooth and Y = X\U a normal crossings divisor, then computing the de Rham cohomology of U is quasi-isomorphic to the log de Rham complex thanks to Grothendieck’s algebraic de Rham theorem. The complex L admits two filtrations: the stupid one (brutally truncate the complex) and the weight one (filter the terms by order of poles that show up). The former gives rise to a spectral sequence defining the Hodge filtration on the cohomology of U, while the latter gives rise to the weight spectral sequence which goes (essentially) from the cohomology of repeated fibre powers of Y over X to the cohomology of U. The filtration it defines is the weight filtration on U. If you’re working instead with a family over a DVR, then I think this goes under the name of the Rapoport-Zink spectral sequence (and is cool because it tells you the etale cohomology of a smooth variety with *bad* reduction over Q_p essentially in terms of varieties over finite fields). A reference for the Hodge theoretic weight spectral sequence is section 3 of Deligne’s “Theorie de Hodge II” paper.

whoops, can someone correct my latex screwup? thanks.

Great. That is the kind of result I was alluding to above. Now, my question is:

Why is this weight filtration (for varieties over C) defined by the order of poles related to the weight filtration (for varieties over finite characteristic) defined using the eigenvalues of the Frobenius?

Perhaps I should read Hodge II.

Hmm, I don’t know a reference for the weight filtrations matching up. Here’s how I’d try to say it (except one detail which I haven’t checked):

Let be an open immersion and let the complement of U. Assume that X is smooth projective of equidimension n, and Y is a sncd (so repeated intersections of irreducible components of Y are smooth projective).

First off, has a natural mixed Hodge structure coming from the obvious proper hypercover — take to be the disjoint union of components of Y, and take to be the p-fold fibre product of over Y. This describes the cohomology of Y in terms of the cohomology of the smooth projective varieties which are simply p-fold intersections of components of Y.

Secondly, we have an exact sequence of (constructible) sheaves on X. Therefore, we obtain (the homotopy kernel) which defines as an object of the derived category of mixed Hodge structures (the subscript indicates compactly supported cohomology). Duality tells us we should define as to get a mixed Hodge structure on the cohomology of U given one on the compactly supported version. The weight filtration on thus defined agrees with the one defined using the de Rham complex because of the Poincare residue formula (3.1.5.2 of Hodge II) describing the associated graded of the weight filtration on the log de Rham complex, and the explicit description of the cohomology of Y in terms of that of the — I haven’t checked this last statement.

The upshot of this is that we have described as the kernel of in Hodge land. The same description is equally valid in Galois land (i.e.: take a spread to everything in sight, reduce mod a suitably chosen prime and work with etale cohomology). Therefore, the weight filtration on is the same in the Hodge and Galois worlds provided the same statement is true for and . But this latter statement is clearly true because we know that the i-th cohomology group of a smooth projective variety has weight i in both worlds (for Y use the same argument on the hypercover).

In short, the requirement that have weight i and geometry force uniqueness of the weight filtration while resolution of singularities guarantees existence.

another latex screwup on my part: can someone make wordpress parse what it thinks is unparseable (an R\Gamma is the common feature of all mistakes, i think)? also, can “latex” be inserted before the two R\Gamma’s in the second to last sentence of the second to last paragraph? thanks. to avoid future trouble, i’ll avoid latex from now. sorry!

Etale cohomology require l-adic coefficients.

I fixed the latex fixed in comment 6. Actually the problem was that you were writing \Q, not \mathbb{Q}. No shortcuts allowed in blog latex!

Joel: whoops! thanks for fixing it.

ninguem: i used rational coeffecients for mixed Hodge structures (where it’s okay!), but was careful to use l-adic coeffecients for etale cohomology.

Ninguem: I wasn’t careful to use l-adic coefficients in my post. As I said in the last line of my post, I’ve fixed an isomorphism between and .

bb: Very nice argument in 6. Essentially you are relating both weight filtrations to the one coming from the hypercover, and this one works well in both worlds.

What do you think about this article on Weil II?:

It looks pretty good. I don’t particularly recommend the book by Kiehl and Weissauer by the way. I think that it (the book) has an excellent selection of topics but the material isn’t always presented in the most comprehensible way.

are you missing some +i’s (e.g., weight of R^i f_!(A) is <= w+i rather than just w; similarly for complexes we say that having

weight <= w means having weight of H^i(A) <= w+i …?)

Oops you are right. I’ll fix it.

Hi. What is a filtration by subobjects?