Skip to main content Accessibility help
×
Home
  • Print publication year: 2016
  • Online publication date: March 2016

Appendix B - Direct images, cohomology and base change

Summary

Can you define a bundle by its fibers?

To study the lines on a cubic surface back in Section 5.1, we needed to construct “the” vector bundle on the Grassmannian of lines in ℙ3 whose fiber at the point representing a line L is the space of cubic forms on L. This specification is at best incomplete: the condition determines only the rank of the bundle. In the example we needed an additional property: we wanted the restriction map from the space of cubic forms on ℙ3 to the line L to be induced by a map of bundles on the Grassmannian; that is, we needed the construction to be functorial in some reasonable sense.

To make things precise in this and many similar cases, we constructed the desired sheaves as direct images, and used the theorem on cohomology and base change to justify their properties. In this appendix we will give a gentle treatment of these important ideas. Much of the material is derived from Mumford [2008]; see also Arbarello et al. [1985, Chapter 4].

To state the problem more generally, suppose that we are given a family of varieties Xb with sheaves Fb on them, parametrized by the points b of a base variety B. As usual, by a family of varieties we mean a map π : XB, the “members” of the family being the fibers Xb : π-1(b). Similarly, by a family of sheaves we mean a sheaf F on X, with the members of the family being the sheaves F|Xb. We can expect nice results only if the members of the family “belong” together in some reasonable sense, which we generally take to be the condition that F is flat over B. Given such data, we ask whether there is a functorial construction of a sheaf G on B whose fiber Gb at a point b is the space of global sections of Fb.

Such a sheaf G may or may not exist, as we shall soon see. Nevertheless, under very general circumstances we can define a sheaf π*F on B, called the direct image of F under π, […]