The direct image functor is left exact, but usually not right exact. Hence one can consider the right derived functors of the direct image. They are called higher direct images and denoted Rq f∗.
One can show that there is a similar expression as above for higher direct images: for a sheaf F on X, Rq f∗(F) is the sheaf associated to the presheaves
Read more about this topic: Direct Image Functor
Famous quotes containing the words higher, direct and/or images:
“Thou shalt make thy house
The temple of a nations vows.
Spirits of a higher strain
Who sought thee once shall seek again.
I detected many a god
Forth already on the road,
Ancestors of beauty come
In thy breast to make a home.”
—Ralph Waldo Emerson (18031882)
“Bryan is the least of a liar I know in public life. I have always found him direct and honest, and he never goes back on what he has said to me in privatea rare thing, if found, in public men. I found him purely frank.”
—William Howard Taft (18571930)
“The romance and mystery is [sic] gone. Computer-processed images have no delicacy, no craftsmanship, no substance, and no soul. No love.”
—Kim Nibblett (b. c. 1969)