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:
“Universal empire is the prerogative of a writer. His concerns are with all mankind, and though he cannot command their obedience, he can assign them their duty. The Republic of Letters is more ancient than monarchy, and of far higher character in the world than the vassal court of Britain.”
—Thomas Paine (1737–1809)
“It is possible to lead astray an entire generation, to strike it blind, to drive it insane, to direct it towards a false goal. Napoleon proved this.”
—Alexander Herzen (1812–1870)
“Imagination could hardly do without metaphor, for imagination is, literally, the moving around in one’s mind of images, and such images tend commonly to be metaphoric. Creative minds, as we know, are rich in images and metaphors, and this is true in science and art alike. The difference between scientist and artist has little to do with the ways of the creative imagination; everything to do with the manner of demonstration and verification of what has been seen or imagined.”
—Robert A. Nisbet (b. 1913)