X is a Noetherian scheme, F is an injective object in the category of quasicoherent sheaves on X. U is an open subset of X. Why F's restriction on U is still an injective object in the category of quasicoherent sheaves on U?

The restrictionbyzero type arguments can actually be made to work, with some effort and an extra hypothesis. Suppose $X$ is locally Noetherian, $j: U \to X$ the inclusion of an open subscheme. Let $Mod(X)$ and $QCoh(X)$ be the categories of $O_X$modules, and quasicoherent $O_X$modules, respectively. The "some effort" is the following Lemma Lemma If $X$ is locally Noetherian, then the injective objects in $QCoh(X)$ are precisely the injective objects of $Mod(X)$ which are quasicoherent as sheaves of modules. Pf: Any injective object of $Mod(X)$ which is quasicoherent must certainly be injective in the smaller category $QCoh(X)$. For the converse, it suffices to show that any injective object $I$ of $QCoh(X)$ injects into some $I'$ which is a quasicoherent injective object of $Mod(X)$, for then $I$ will be a retract of $I'$ and so injective in $Mod(X)$. This seems tricky, but is proved in Theorem 7.18 of Hartshorne's "Residues and duality". Now, let's prove the result using the Lemma: If $J$ is an injective object in $QCoh(X)$, then the hard direction of the Lemma implies that it is injective in $Mod(X)$. The restrictionbyzero argument applies in this category, allowing us to conclude that $j^* J$ is injective in $Mod(U)$. It's clearly quasicoherent, so applying the easy direction of the Lemma we see that it is injective in $QCoh(U)$ as desired. [Aside: On a Noetherian scheme, any quasicoherent sheaf is a union of its coherent subsheaves and one can "extend" coherent sheaves on U to coherent sheaves on X (see e.g., Hartshorne Ex. II.5.15). Using these facts, one should be able to give a more direct argument in the Noetherian case.] 


This is false is general. In particular, if $X = SpecA$ is affine, this would imply that given an injective $A$module $M$ and $f \in A$, one would have $M_f$ is injective over $A_f$; this is FALSE in general (see, for example, "Localization of Injective Modules" by Everett C. Dade (it's in Journal of Algebra ~ April 1981)). Maybe you need to assume that $X$ is locally Noetherian, or even Noetherian? 


Restriction to an open subset has an exact left adjoint (extension by zero). 


Hey, I am the asker for the question, I want to say two points:


