Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $f:X\to Y$ be a morphism of schemes. Then there exists a functor $f_*:{Sh}X\to {Sh}Y$ with $f_*\mathcal{F}(U)=\mathcal{f^{-1}(U)}$ whenever $\mathcal{F}$ is asheaf on $X$.

It is proved that the direct image functor is a left adjoint functor. Now the question is which conditions are needed to impose on $f$, $X$, $Y$ or sheaves on $X$ to deduce that the direct image functor translate an exact sequence of sheaves on $X$ to an exact sequence of sheaves on $Y$? i.e. When the direct image functor is an exact functor?

share|improve this question

migrated from mathoverflow.net Aug 15 '13 at 17:08

This question came from our site for professional mathematicians.

The direct image functor is a right adjoint functor, which means it is left exact. –  Zhen Lin Aug 15 '13 at 14:12
Vote to close (too elementary for mathoverflow). Read about sheaf cohomology, higher direct images, etc. –  Martin Brandenburg Aug 15 '13 at 14:30

1 Answer 1

If $f$ is the inclusion of a closed subspace of $Y$, then there is a natural isomorphism $f_* \cong f_!$, so $f_*$ would be exact.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.