Hartshorne, Residues and Duality

[posic]

Chapter II, Theorem 7.18 on page 133: "Let X be a locally noetherian prescheme. Then every quasi-coherent O_X-module F can be embedded into a quasi-coherent, injective O_X-module I." Proof: "Indeed, we will show that the injective hull I of a quasi-coherent sheaf F is quasi-coherent. <...>"

Example on page 135: "If X is a locally Noetherian prescheme, the category Qco(X) of quasi-coherent sheaves on X may not be locally noetherian. Thus we do not know the structure of injectives in that category, and we do not know whether every injective object in Qco(X) is injective in Mod(X)."

Курсив мой. Типа, вложите этот ваш инъективный квазикогерентный пучок в инъективный O_X-модуль, являющийся квазикогерентным пучком (согласно теореме), и он там будет прямым слагаемым. И класс инъективных O_X-модулей замкнут относительно прямых слагаемых.

Мораль: не только я один берусь, не умея.

Comments

[roma.livejournal.com]

ну это тогда было внове. У Ленглендса есть текст, где ему понадобилось немного когомологии посчитать, и он, перефразируя Джерома К. Джерома, просит читателя его извинить, если что, так как он "has never cocycled before"