MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question
Please fix the TeX formulas. – Martin Brandenburg Mar 13 '11 at 12:39
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|cite|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


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.