TOPICS
Search

Quasi-Coherent Sheaf


A quasi-coherent sheaf on a scheme X is a sheaf F of O_X-modules, where O_X is the structure sheaf, such that on every open subscheme U=Spec(R) that is an affine scheme, its restriction is isomorphic to M^~ for a unital R-module M. Here M^~ is the associated sheaf: on the open set D(f)={p in Spec(R):f not in p}, its sections form M_f, the localization of M obtained by inverting f in R (The Stacks Project Authors 2026).

The association M|->M^~ translates algebraic constructions on modules into geometric constructions on sheaves. In particular, quasi-coherent ideal sheaves correspond to closed subschemes.


See also

Affine Scheme, Coherent Sheaf, Ideal Sheaf, Module, Open Subscheme, Sheaf, Subscheme

Explore with Wolfram|Alpha

References

Grothendieck, A. and Dieudonné, J. "Éléments de géométrie algébrique. I. Le langage des schémas." Publ. Math. IHES 4, 5-228, 1960. https://doi.org/10.1007/BF02684778.The Stacks Project Authors. "Quasi-Coherent Modules." §17.10 in The Stacks Project, Tag 01BD, 2026. https://stacks.math.columbia.edu/tag/01BD.The Stacks Project Authors. "Quasi-Coherent Sheaves on Affines." §26.7 in The Stacks Project, Tag 01I6, 2026. https://stacks.math.columbia.edu/tag/01I6.

Cite this as:

Weisstein, Eric W. "Quasi-Coherent Sheaf." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Quasi-CoherentSheaf.html

Subject classifications