Definition
Let X be a scheme, and let F, H be sheaves (of modules) on X. An extension of H by F is a short exact sequence of sheaves
Note that an extension is not determined by the sheaf G alone: The morphisms are also important.
A simple example of an extension of H by F is the sequence
where the second arrow is the inclusion and the fourth arrow is the projection onto the second summand. This extension is sometimes called trivial.
Read more about this topic: Sheaf Extension
Famous quotes containing the word definition:
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)
“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)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)