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:
“There is one thing higher than Royalty: and that is religion, which causes us to leave the world, and seek God.”
—Elizabeth I (1533–1603)
“Of course it is of no use to direct our steps to the woods, if they do not carry us thither. I am alarmed when it happens that I have walked a mile into the woods bodily, without getting there in spirit.... What business have I in the woods, if I am thinking of something out of the woods?”
—Henry David Thoreau (1817–1862)
“Isn’t life a series of images that change as they repeat themselves?”
—Andy Warhol (c. 1928–1987)