Take the 2-minute tour ×

Let $X$ be an arbitrary scheme. A quasi coherent sheaf $\cal F$ is said to be injective if $Hom_{ O_X}(-, \cal F)$ is exact. We can also regard a quasi coherent sheaf $\cal G$ on $X$ such that for all open subset $U$ of $X$, $\cal G(U)$ is an injective $\cal O_X$-module. So we can ask a question that

1) Is there any relation between these two kind of sheaves?

2) Which conditions on $X$ (or on $\cal F$) are needed to regard the first kind of these sheaves ($\cal F$) equivalent to the second one?

share|improve this question
Please fix the TeX formulas. –  Martin Brandenburg Mar 13 '11 at 12:39

1 Answer 1

up vote 3 down vote accepted

The condition you want is $X$ a locally noetherian scheme. Then by Hartshorne's "Residues & Dualities," Proposition 7.17, $\cal{F}$ is an injective ${\cal O}_X$-module if and only if for each $x \in X$, the stalks ${\cal F}_x$ are injective ${\cal O}_x$-modules. If the sections are injective ${\cal O}_X(U)$-modules, that should give injectivity on the stalks (abelian groups form a locally noetherian Grothendieck category, so use e.g., Henning Krause's "The Spectrum of a Module Category" Proposition A.11, which says direct limits of injective objects are injective). For the reverse question, I think you need $X$ to be noetherian.

share|improve this answer
To be more precise, it is Proposition 7.17 in II §7. –  Martin Brandenburg Oct 24 '12 at 14:39

Your Answer


