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:
“This might be the end of the world. If Joe lost we were back in slavery and beyond help. It would all be true, the accusations that we were lower types of human beings. Only a little higher than apes. True that we were stupid and ugly and lazy and dirty and, unlucky and worst of all, that God Himself hated us and ordained us to be hewers of wood and drawers of water, forever and ever, world without end.”
—Maya Angelou (b. 1928)
“As for your friend, my prospective reader, I hope he ignores Fort Sumter, and “Old Abe,” and all that; for that is just the most fatal, and, indeed, the only fatal weapon you can direct against evil ever; for, as long as you know of it, you are particeps criminis. What business have you, if you are an “angel of light,” to be pondering over the deeds of darkness, reading the New York Herald, and the like.”
—Henry David Thoreau (1817–1862)
“And images of self-confusednesses
Which hurt imaginations only see—
And from this nothing seen, tells news of devils,
Which but expressions be of inward evils.”
—Fulke Greville (1554–1628)