Back to the index. Or to the chambers

This article has 34 links. View as Cloud or List.

1	Category
1	Isomorphism
1	Functor
1	Commutative Diagram
1	Polygon
1	Topological Space
1	Basic Polynomial
1	Property
1	Sequence
1	Class
1	Universe
1	Function
1	Inclusion Mapping
1	Set
1	Subfunction
1	Relation Theory
1	Difference
2	Category Of Sets
2	Categorical Direct Product
2	Natural Transformation
2	Direct Limit
2	Site
2	Small
2	Russells Paradox
2	Generalized Cartesian Product
3	Abelian Category
3	Sheaf
4	Image Of A Morphism
4	Topos
4	Universe Of Discourse
4	Lie Algebra Cohomology
6	Etale Morphism
6	Fibre Product
9	Derived Functor

Loading ...

Planetmath Browser (2008—2009)

BSD licence | A django site

All articles taken from PlanetMath.org snapshot under CC-BY-SA licence.

→ The original article on PlanetMath.org

Other Formats: LaTeX

New! You can click on formulas to copy the LaTeX source to your clipboard. | Math Videos

Sheaf

Definition 1 Let be a category, and let be another category. Then a presheaf on is a contravariant functor $F:T\to C$ . If $U\overset{i}{\to} V$ is a morphism in , we call $F(i):F(V)\to F(U)$ the restriction map obtained from . A morphism of presheaves is a natural transformation.

To understand this definition, and what it has to do with the more familiar definition of a presheaf, let be a site. Then a presheaf maps the “open sets” to objects in and provides restriction maps whenever the underlying “open sets” have an “inclusion”. Of course, on a site, there may be many non-isomorphic inclusions.

In practice, to avoid set-theoretic difficulties, one usually fixes a universe $\mathcal{U}$ and then requires to be a small category.

Remark 1 If is a small category and is a $\mathcal{U}$ -category, then presheaves on form a category.

If is not small, that is if the isomorphism classes of objects do not form a $\mathcal{U}$ -set, then (normally) there are as many functors as subsets of , which leads to the resulting category failing to be a $\mathcal{U}$ -category. If one removes the various qualifications in terms of universes, this means that there are too many functors: Russell's paradox arises. If one uses universes, and qualifies everything in sight appropriately, a problem remains: there are too many functors from sets to sets to be allowed. While your answer is described in terms of sets, they are too big to be inside the universe of discourse. This problem underlies the set-theoretic problems with direct limits.

Let be a site, and suppose either is an abelian category or is the category of sets.

Definition 2 Let $F\colon T\to C$ be a presheaf. Then is a sheaf if for every covering ${U_i\to U}$ in , the products $\prod_{U_i} F(U_i)$ and $\prod_{U_i \times_U U_j} F(U_i \times_U U_j)$ exist, and the sequence

$\displaystyle F(U)\to \prod_{U_i} F(U_i) \rightrightarrows \prod_{U_i \times_U U_j} F(U_i \times_U U_j)$

is exact.

This “exactness” really needs explaining. First of all, for every , we have a morphism $F(U)\to F(U_i)$ obtained from the covering. The map on the left (call it ) is the product of all these maps. Second, for each pair and , we have a morphism $g_1\colon F(U_i)\to F(U_i\times_U U_j)$ and a morphism $g_2\colon F(U_j)\to F(U_i\times_U U_j)$ obtained from the two projection maps of the fibred product. The two maps on the right-hand side are obtained as products of all the and respectively.

If is the category of sets, then the exactness condition requires that the left-hand map is injective and that the two right-hand maps agree exactly on its image.

If is an abelian category, then the kernel of the left-hand map should be zero, and the kernel of the difference of the two right-hand maps should be its image. Perhaps this would be clearer if the diagram added a “ $0\to$ ” on the left, but this usage is very standard.

This definition of a sheaf is the motivation for the definition of a site: a site captures precisely those features of a topological space that are required to form sheaves. The category of sheaves on a topological space is an example of a topos; the original definition of a topos was “a category equivalent to the category of sheaves on a site”, although the concept was generalized in later work. The motivation was that while a site may be badly behaved and pose set-theoretic difficulties, the topos associated to it is generally better behaved.

The category of sheaves on a site has a long list of nice properties; among them is “has enough injectives”, so that derived functors can be extracted and cohomology calculated. This is how, for example, étale cohomology is obtained.

Bibliography

1

Grothendieck et al., Séminaires en Gèometrie Algèbrique 4, tomes 1, 2, and 3, available on the web at http://www.math.mcgill.ca/˜archibal/SGA/SGA.html