Math 2.0

Algebraic geometry Definition

Quasi-coherent sheaf

Builds on SchemeAffine schemeSheaf of modulesModule over a ring

Definition

Let AA be a ring and MM an AA-module. For f∈Af \in A, let D(f)D(f) be the basic open set of Spec⁡A\operatorname{Spec} A where ff does not vanish. The sheaf M~\widetilde{M} on Spec⁡A\operatorname{Spec} A is the unique sheaf of modules with M~(D(f))=Mf\widetilde{M}(D(f)) = M_f for every f∈Af \in A, with restriction maps given by localization. Let XX be a scheme. A sheaf of 𝒪X\mathcal{O}_X-modules ℱ\mathcal{F} is quasi-coherent if XX has a cover by open sets UU with the following property. Each UU is an affine scheme Spec⁡A\operatorname{Spec} A, and ℱ∣U≅M~\mathcal{F}|_U \cong \widetilde{M} for some AA-module MM.

Remarks

On X=Spec⁡AX = \operatorname{Spec} A, the sheaf I~\widetilde{I} of an ideal I⊆AI \subseteq A is quasi-coherent, with the cover by XX itself. Let RR be a discrete valuation ring with fraction field KK, and X=Spec⁡R={η,s}X = \operatorname{Spec} R = \set{\eta, s}, with η\eta the generic point. The sheaf ℱ\mathcal{F} with ℱ(X)=0\mathcal{F}(X) = 0 and ℱ({η})=K\mathcal{F}(\set{\eta}) = K is an 𝒪X\mathcal{O}_X-module but is not quasi-coherent. The only open set containing ss is XX, so ℱ≅M~\mathcal{F} \cong \widetilde{M} would force M=ℱ(X)=0M = \mathcal{F}(X) = 0 and then ℱ({η})=0\mathcal{F}(\set{\eta}) = 0. If ℱ\mathcal{F} is quasi-coherent, then ℱ∣U≅ℱ(U)~\mathcal{F}|_U \cong \widetilde{\mathcal{F}(U)} for every affine open UU, not only for those of the chosen cover. On a general ringed space, ℱ\mathcal{F} is called quasi-coherent if it is locally the cokernel of a map between free modules; on schemes the two definitions agree.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Affine scheme concept
  2. Module over a ring concept
  3. Scheme concept
  4. Sheaf of modules concept
  5. Quasi-coherent sheaf definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Coherent_sheaf
About this page
TagPT8PN4CS1H
URIm2://PT8PN4CS1H
Kinddefinition
WritingW0 stub
MSC14F06
DefinesQuasi-coherent sheaf
UsesScheme, Affine scheme, Sheaf of modules, Module over a ring
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.