Definition
Suppose given a sheaf on Y and that we want to transport to X using a continuous map f : X → Y. We will call the result the inverse image or pullback sheaf . If we try to imitate the direct image by setting for each open set U of X, we immediately run into a problem: f(U) is not necessarily open. The best we can do is to approximate it by open sets, and even then we will get a presheaf, not a sheaf. Consequently we define to be the sheaf associated to the presheaf:
(U is an open subset of X and the colimit runs over all open subsets V of Y containing f(U)).
For example, if f is just the inclusion of a point y of Y, then is just the stalk of at this point.
The restriction maps, as well as the functoriality of the inverse image follows from the universal property of direct limits.
When dealing with morphisms f : X → Y of locally ringed spaces, for example schemes in algebraic geometry, one often works with sheaves of -modules, where is the structure sheaf of Y. Then the functor f−1 is inappropriate, because (in general) it does not even give sheaves of -modules. In order to remedy this, one defines in this situation for a sheaf of -modules its inverse image by
- .
Read more about this topic: Inverse Image Functor
Famous quotes containing the word definition:
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)