The four functors of Grothendieck in examples

Tuesday, May 01st, 2012 | Author:

This post will discuss the definition of the four functors "pushforward" f_\ast, "pullback" f^\ast, "pushforward with compact support" f_{!} and "exceptional pullback" f^{!} of sheaves of abelian groups, associated to a continuous morphism f : X \to Y of topological spaces X and Y. Then we will look at maps f which are open immersions or closed immersions, and calculate in the example of \mathbb{C}^\times \to \mathbb{C} and its closed complement \{0\} \to \mathbb{C} exactly what happens. This is intended to give some intuition what the general four functor calculus is about.

The four functor formalism arises as part of the six functor formalism (add Hom and Tensor to make it six) in certain (co)homological set-ups. Where I encountered it first was in a paper I tried to read, about the stable motivic homotopy category, but most likely you'll see this stuff in papers dealing with perverse sheaves or motives and their realisations.

Disclaimer: We'll stay in the topological category for this post, i.e. the objects are topological spaces and the morphisms continuous maps. Sheaves are ordinary sheaves of abelian groups (no fancy Grothendieck topology necessary here), not \mathcal{O}-modules of some sort. However, the discussion doesn't change too much if you translate into the algebraic category, so this should be a good exercise for the bored reader.

Pushforward

Pushforward of sheaves is straightforward: given a space X, a sheaf F on X and a continuous map f : X \to Y, the sheaf f_\ast F on Y should be a sheaf that does on open subsets Y what F had done on the corresponding open subsets of X, i.e. (f_\ast F)(U) := F(f^{-1}U). Check that this definition gives again a sheaf. Observe that the constant map c : X \to pt yields (c_\ast F)(pt) = F(X), so c_\ast is almost the global section functor and we should think of any f_\ast as some kind of generalized global section functor.

Pullback

I want to define the pullback functor f^\ast : Sh(Y) \to Sh(X) as the left adjoint to f_\ast. Of course, I have to show existence.
If f would be an open embedding, we would have f(U) open in Y for all open subsets U of X, and it would be natural to define (f^\ast G)(f(U)) := G(U). To see that we indeed have a left adjoint by this definition is up to you, but it fails for a general f, since f(U) needn't be open in general.
So, given a sheaf G on Y I define a new presheaf on X by U \mapsto \lim_{\rightarrow} G(V), where the limit ranges over all open subsets V such that V contains f(U). By this "trick" we circumvent the given problem (and introduce new behaviour) and it turns out that this is a correct definition, in the technical sense that we really have found a left adjoint to f_\ast.

Proof of the adjunction  Hom(f^\ast G, F) = Hom(G,f_\ast F):
for an open subset U of X, a homomorphism from (f^\ast G)(U) to F(U) is just a homomorphism from \lim_{\rightarrow} G(V) to F(U) and a homomorphism from G(V) to (f_\ast F)(V) is just a homomorphism from G(V) to F(f(V)). So you see, if we have homomorphisms G(V) \to F(f(V)) for all V, this gives in the limit homomorphisms \lim_{\rightarrow} G(V) \to \lim_{\rightarrow} F(f(V)) = F(U).
For the other direction, observe that if we have homomorphisms \lim_{\rightarrow} G(V) \to F(U) for all U, we certainly have this for all U=f(V), where the limit is just G(V), i.e. where we have just G(V) \to F(f(V)).

Pushforward with compact support

We have already seen how pushforward generalizes global sections. As global sections give (as derived functor) cohomology of sheaves, there is a global section with compact support functor, which gives cohomology with compact support. For the locally constant sheaf \mathbb{Z} this gives back "singular" cohomology with compact support, as it appears in Poincaré duality. I will explain this in some more detail now, although I won't explain how to move from global sections to cohomology.

Poincaré duality states, for a smooth compact complex n-dimensional manifold X

 H^k(X;\mathbb{R}) \simeq H_{2n-k}(X;\mathbb{R})


and if X is not compact, there is still Poincaré duality:

 H^k_c(X;\mathbb{R}) \simeq H_{2n-k}(X;\mathbb{R})


where H^k_c is the cohomology with compact support,
which is related to the functor of global sections with compact support,
just as ordinary cohomology is related to the ordinary global section functor.

The functor of global sections with compact support \Gamma_c is defined as

 \Gamma_c(F,U) := \{ s \in F(U) | supp(s) \text{ compact} \} \subset F(U) = \Gamma(F,U).

By analogy, we define the pushforward with compact support f_{!} as a subfunctor of f_\ast (which just means that f_{!} F will be a subsheaf of f_\ast F for every F, which in turn just means that (f_{!}F) U is a subset of (f_\ast F) U for every open set U).

 (f_{!}F)(U) := \{ s \in F(f^{-1}U) | f|supp(s) : supp(s) \to U \text{ proper}\}.


This really gives a sheaf and for f the constant map to a point,
the values are exactly \Gamma_c(F,X).

An example:
Let f be an open embedding f : U \to X, then f_{!} F is just the "extension by zero", i.e. the stalks at all points of U are just the same as those of F, and all other/new stalks (over X \setminus U) are plain 0.

Another example:
Let f be a proper map f : Y \to X, then f_{!} = f_\ast, as you can see from the definition.

A comprehensive example:
If f can be factored into f = p \circ j with j an open embedding and p proper, we have f_{!} = p_\ast \circ j_{!}, which gives a very explicit description of f_{!}.

Exceptional inverse image

We define a functor f^{!} called exceptional inverse image, as the right adjoint to f_{!}, if it exists. We should say straightforward, that it doesn't exists, in general, on the level of sheaves and this is one of the things that makes working with complexes of sheaves necessary (in fact, the derived category).

However, for innocent maps f, we can actually define a functor that is right adjoint to f_{!} and thus deserves to be called f^{!}.

For f an open embedding f : U \to X, we have just f^{!} = f^\ast, i.e. the functor f^\ast is the left adjoint to f_\ast and also the right adjoint to f_{!}.
The proof is similar to the proof of the adjointness of f^\ast with f_\ast, so I leave it out.

Now I want to make clear why a right adjoint to f_{!} doesn't exist (on the level of sheaves) in general, for categorical reasons.

Every left adjoint functor preserves colimits, since an adjunction like

 Hom(f_{!} F, G) \simeq Hom(F, f^{!} G)


means that one can compute Hom(f_{!}(-), G) as the Hom-functor Hom(-, f^{!}G), where colimits in the first argument are obviously preserved (now apply Yoneda lemma). There we use that the Hom-functor turns colimits in its first argument into limits, which doesn't work with limits, so left adjoints needn't preserve limits. Exercise: apply the same reasoning to see that right adjoints preserve limits.

Now being right-exact is a special case of preserving colimits, since it means to preserve cokernels (which are special colimits). Clearly, f_{!} is not right-exact, since it has cohomology: let X be a compact space and f the constant map to a point. Then for f_{!} = f_\ast = c_\ast \simeq \Gamma to be right-exact, the cohomology on X must vanish.

The salvation consists of enlarging the category of sheaves to the category of chain complexes of sheaves, only to make it smaller again by introducing the appropriate definition of morphisms, which in the end gives what is called the derived category of abelian sheaves. There, a general f^{!} exists.

Concrete examples for four functors

Let us look at the embedding j : \mathbb{C}^\times \to \mathbb{C} and its closed complement i : \{0\} \to \mathbb{C}.

First we will look at a skyscraper sheaf on \{0\} with stalk some abelian group A over 0. We denote the skyscraper sheaf by F. By definition, we have i_{!} F = i_\ast F a skyscraper sheaf with stalk A over 0. Now j^{!} i_\ast F = j^\ast i_\ast F = 0, since j^\ast throws away all information from the stalk over 0.

Okay, let's look at a local system on \mathbb{C}, i.e. a locally constant sheaf F.
This is the same data (an equivalent category) as the monodromy representation of the fundamental group, in this case \pi_1(\mathbb{C}^\times,1) \simeq \mathbb{Z}.
We have as j_{!} F a sheaf with stalks just F_x where x \neq 0, and (j_{!} F)_0 = 0, since every section with compact support is away from an arbitrarily small ball around the origin.
The sheaf j_\ast F has the same stalks F_x where x \neq 0 but it has a new one at the origin, given by the usual stalk-limit-formula you would write down - and in general, this is non-zero.

Cleary i^\ast j_{!} F vanishes, since i^\ast picks the stalk at the origin and throws away everything else. Of course, i^\ast j_\ast F contains exactly the "new" stalk which might be interesting.
Thinking about it, the sheaves i^{!} j_{!} F and i^{!} j_\ast F are both zero, by the same argument we had for (j_{!} F)_0. Here you can also use the adjunction for reasoning!

Last words

The nice thing about this setting is that it generalizes to give the following:

Take V a closed subspace in X and U its open complement, then you have an open embedding j and a closed embedding i which behave very much like our j and i from the last examples. It presents the category of sheaves on X as an extension of the sheaves on V by the sheaves on U. The same happens for the derived category. The magic word for this situation is "Recollement".


Category: English, Mathematics

You can leave a response.

 

Leave a Reply

*