Quasi-Coherent Sheaves

Quasi-coherent sheaves are the geometrically natural sheaves of modules on a scheme — those locally presented by an exact sequence of free modules. On an affine scheme

Spec A

they correspond exactly to

A

-modules via

M \mapsto M

. They form the abelian category in which all of cohomological algebraic geometry takes place, and they were systematized by Serre (1955) and Grothendieck (EGA, 1960s).

A sheaf $F$ of $O_{X}$ -modules on a scheme $X$ is quasi-coherent if $X$ is covered by affine opens $Spec A_{i}$ on which $F$ is isomorphic to the sheaf $M_{i}$ associated to some $A_{i}$ -module $M_{i}$ . They generalize vector bundles (the locally free coherent sheaves) by permitting modules that are not finitely generated and presentations that need not terminate. Their importance is structural: the global-sections functor on quasi-coherent sheaves is the source of sheaf cohomology, and the equivalence $QCoh (Spec A) ≃ A -Mod$ converts geometry into pure module theory. A surprising fact is that on a noetherian scheme every quasi-coherent sheaf is a filtered colimit of its coherent subsheaves — the category, though built from infinitary objects, is controlled entirely by finitely generated data.

The Core Insight

The functor $M \mapsto M$ glues local module data into a sheaf, and quasi-coherence is precisely the condition that a sheaf of modules be of this form locally. The deep payoff is that quasi-coherence is intrinsic — it does not depend on the chosen affine cover — because localization commutes with the formation of $M$ , i.e. $M ∣_{D (f)} = M_{f}$ . This single compatibility lets us pass freely between local algebra and global geometry.

Formal Statement

The sheaf associated to a module

Let $A$ be a ring, $X = Spec A$ , and $M$ an $A$ -module. The associated sheaf $M$ is the $O_{X}$ -module whose sections over a basic open $D (f) = {p : f \in / p}$ are the localization $M_{f} = M \otimes_{A} A_{f}$ :

M (D (f)) = M_{f}, M_{p} = M_{p} .

⟳define a presheaf on the basis

{D (f)}

D (f) \mapsto M_{f}

with restrictions the localization maps

M_{f} \to M_{f g}

, then sheafify; exactness of localization shows the presheaf is already a sheaf on the basis.

Here $A_{f} = S^{- 1} A$ for $S = {1, f, f^{2}, \dots}$ , and $M_{p} = M_{A ∖ p}$ is the stalk. Symbols: $p$ ranges over prime ideals; $O_{X} = A$ is the structure sheaf.

Quasi-coherent sheaf

An $O_{X}$ -module $F$ on a scheme $X$ is quasi-coherent if there exists an open affine cover $X = ⋃_{i} U_{i}$ , $U_{i} = Spec A_{i}$ , and $A_{i}$ -modules $M_{i}$ with

F ∣_{U_{i}} ≅ M_{i} as O_{U_{i}} -modules.

⟳equivalently,

F

admits, locally, a presentation

O_{X}^{(J)} \to O_{X}^{(I)} \to F \to 0

with

I, J

possibly infinite index sets — take a free resolution of

M_{i}

and apply

(-)

, which is exact.

F

is coherent if in addition

X

is noetherian and each

M_{i}

is finitely generated (equivalently, finitely presented).

F

is locally free of rank $n$ if each

M_{i}

may be taken to be

A_{i}^{\oplus n}

Equivalence of categories on affines

Let $A$ be a ring, $X = Spec A$ . The functor $M \mapsto M$ is an exact, fully faithful embedding inducing an equivalence of abelian categories

A - Mod \sim QCoh (X), M \mapsto M,

with quasi-inverse $F \mapsto Γ (X, F)$ . Moreover $(-)$ commutes with arbitrary direct sums, colimits, tensor products, and on a noetherian scheme with finite limits.

⟳full faithfulness reduces to

Hom_{A} (M, N) ≅ Hom_{O_{X}} (M, N)

via global sections; essential surjectivity is the definition; exactness follows from flatness of localization.

Why It Holds / Derivation

That quasi-coherence is intrinsic and $\widetilde{(-)}$ is a sheaf

We prove the foundational claims in numbered steps.

(1) $M$ is a sheaf on the basis of distinguished opens. Cover

D (f) = ⋃_{j} D (g_{j})

. We must show

0 \to M_{f} \to j \prod M_{g_{j}} \to j, k \prod M_{g_{j} g_{k}}

is exact. Since $D (f)$ is quasi-compact we may take finitely many $g_{j}$ ; the $D (g_{j})$ cover $D (f)$ iff $f \in (g_{1}, \dots, g_{n})$ in $A_{f}$ , i.e. $1 \in (g_{1}, \dots, g_{n}) A_{f}$ . Then exactness is a partition-of-unity argument: a compatible family $(m_{j} / g_{j}^{N})$ glues because $\sum a_{j} g_{j} = 1$ in $A_{f}$ .

⟳this is the module version of the standard structure-sheaf gluing; write

1 = \sum a_{j} g_{j}^{N}

and set

m = \sum a_{j} g_{j}^{N - 1} m_{j}

(2) Localization commutes with $(-)$ . For

f \in A

M_{D (f)} ≅ M_{f} as sheaves on Spec A_{f} .

⟳

D (f) ≅ Spec A_{f}

and

(M_{f})_{g} = M_{f g}

, so the section rings on basic opens agree.

(3) Intrinsic character. Quasi-coherence can be tested on any affine open and need not refer to a chosen cover. If

F ∣_{U} ≅ M

for one affine

U = Spec A

, then for every

f

F ∣_{D (f)} ≅ M_{f}

by (5). A theorem (EGA I, 1.4) then shows: an

O_{X}

-module is quasi-coherent iff for every affine open

Spec A

it restricts to some

M

. The two definitions agree because the gluing data is forced by the stalks.

⟳reduce to the case of two affine opens whose intersection is again affine; compare the modules

M_{f}

and

N_{g}

over

A_{f} ≅ B_{g}

on the overlap.

(4) Closure under kernels and cokernels. Given

ϕ : M \to N

, by full faithfulness

ϕ = ψ

for

ψ : M \to N

. Then

ker ϕ = ker ψ

and

coker ϕ = coker ψ

because

(-)

is exact. Hence

QCoh (X)

is an abelian subcategory of

O_{X}

-modules, closed under kernels, cokernels, extensions, and arbitrary direct sums.

■

The exactness subtlety

The inclusion $QCoh (X) ↪ Mod (O_{X})$ is exact and closed under kernels/cokernels/extensions, but it is generally not closed under arbitrary products or under taking the sheaf-Hom $H o m$ unless the source is coherent. On a noetherian scheme coherence is stable under $H o m$ when both arguments are coherent; on non-noetherian schemes even "coherent" must be defined with care (finite type is not enough).

Alexander Grothendieck | 1928–2014

Though the sheaf-theoretic reformulation of algebraic geometry began with Jean-Pierre Serre's 1955 paper Faisceaux Algébriques Cohérents (FAC), it was Grothendieck who, in Éléments de Géométrie Algébrique (EGA, with Dieudonné, 1960–67), placed quasi-coherent sheaves at the center of the theory. Grothendieck recognized that allowing non-finitely-generated modules — quasi-coherence rather than mere coherence — was essential to obtain a category with arbitrary colimits, enough injectives, and good base-change behavior. His insistence on relative geometry (working over an arbitrary base scheme $S$ ) made the functoriality of $f_{*}$ and $f^{*}$ on quasi-coherent sheaves the technical heart of EGA III and IV. The slogan "geometry = the category of quasi-coherent sheaves" later matured into the Tannakian and derived-categorical reconstructions of schemes.

Building Intuition

Think of a quasi-coherent sheaf as a family of modules varying algebraically over the points of $X$ . Over each point $x$ you have a fiber $F_{x} \otimes κ (x)$ (a vector space over the residue field), and quasi-coherence guarantees these fibers are knit together by genuine algebraic relations — the local presentations by free modules. A locally free sheaf is the case where the fiber dimension is locally constant: a vector bundle. General quasi-coherent sheaves allow the fiber dimension to jump — for instance a skyscraper sheaf concentrated at a point, or the structure sheaf of a closed subscheme pushed forward to $X$ . The condition " $M ∣_{D (f)} = M_{f}$ " is the statement that zooming in on an open subset corresponds to inverting functions: geometry restricts, algebra localizes.

Quasi-coherent sheaf as algebraically varying fibers over $\operatorname{Spec} A$, with restriction = localization

Worked Examples

Computing $\widetilde{M}$ for a module over $\mathbb{Z}$

Given:

A = Z

X = Spec Z

, and the module

M = Z /6 Z

. Describe the quasi-coherent sheaf

M

and its stalks. Steps:

The points of $Spec Z$ are $(0)$ and the primes $(p)$ .
Stalk at $(p)$ : $M_{(p)} = M_{(p)} = (Z /6 Z)_{(p)}$ .

- For

p = 2

: invert all odd numbers in

Z /6

. The class

3

becomes a unit's multiple, and

(Z /6)_{(2)} ≅ Z /2

. - For

p = 3

(Z /6)_{(3)} ≅ Z /3

. - For

p \neq = 2, 3

6

is invertible, so

M_{(p)} = 0

Stalk at the generic point $(0)$ : $M_{(0)} = M \otimes Q = 0$ (since $M$ is torsion).
Hence $M$ is supported on ${(2), (3)}$ — a "double skyscraper."

Answer:

M_{(p)} = ⎩ ⎨ ⎧ Z /2 Z /3 0 p = 2 p = 3 else Γ (X, M) = Z /6

This illustrates a quasi-coherent (here even coherent) sheaf with jumping, non-constant fiber dimension and finite support.

Cohomology of $\mathcal{O}(d)$ on $\mathbb{P}^1$ via global sections

Given:

X = P_{k}^{1}

with homogeneous coordinates

x_{0}, x_{1}

, and the invertible (locally free rank 1) quasi-coherent sheaf

O (d)

d \in Z

. Compute

dim_{k} H^{0}

and

H^{1}

. Steps:

$O (d)$ corresponds to the graded module $S (d)$ where $S = k [x_{0}, x_{1}]$ ; its degree- $0$ part of global sections is the space of homogeneous polynomials of degree $d$ .
For $d \geq 0$ : $H^{0} (P^{1}, O (d)) = S_{d}$ , with basis $x_{0}^{d}, x_{0}^{d - 1} x_{1}, \dots, x_{1}^{d}$ , so $dim = d + 1$ .
By Serre duality $H^{1} (O (d)) ≅ H^{0} (O (- 2 - d))^{\lor}$ (since $ω_{P^{1}} = O (- 2)$ ).
For $d \geq - 1$ : $H^{1} = 0$ . For $d \leq - 2$ : $dim H^{1} = (- d - 2) + 1 = - d - 1$ .

Answer:

h^{0} (O (d)) = max (d + 1, 0), h^{1} (O (d)) = max (- d - 1, 0)

Euler characteristic check:

χ (O (d)) = h^{0} - h^{1} = d + 1

, matching Riemann–Roch on

P^{1}

Common Misconceptions

Quasi-coherent ≠ coherent

"Quasi-coherent" does not mean "almost coherent." Coherent sheaves require finite generation (and a noetherian or coherent base); quasi-coherent sheaves explicitly allow infinitely generated modules, infinite direct sums, and presentations $O^{(J)} \to O^{(I)} \to F \to 0$ with infinite $I, J$ . The class $QCoh$ is closed under arbitrary direct sums and filtered colimits; the class $Coh$ is not. A common error is to assume every quasi-coherent sheaf has finite-dimensional cohomology — false in general; finiteness needs properness plus coherence (Serre's finiteness theorem).

A sheaf of modules that is NOT quasi-coherent

Let $X = Spec Z_{(p)}$ (local ring at $p$ ), a two-point space ${(0), (p)}$ with the generic point $(0)$ open. Define an $O_{X}$ -module $F$ by hand: put $F ((0)) = 0$ and $F (X) = Q$ , with the restriction map $Q \to 0$ . For a quasi-coherent sheaf $M$ on this affine, the restriction $Γ (X, M) = M \to M_{(0)} = M ((0))$ must be the localization map. But $M = Q$ localizes to $Q_{(0)} = Q \neq = 0$ , so no $M$ produces our hand-built $F$ . Hence $F$ is an $O_{X}$ -module that fails the localization compatibility (5) and is not quasi-coherent. The lesson: quasi-coherence is exactly the obstruction-free compatibility of sections with localization.

Connections

Quasi-coherent sheaves sit at the crossroads of several theories. They are the natural input for Sheaf Cohomology, where the derived functors $R^{i} Γ$ of global sections produce the cohomology groups $H^{i} (X, F)$ central to all of algebraic geometry. Their finite-type, locally free instances are precisely Vector Bundles, and the rank-1 case organizes into the Picard Group and the theory of Divisors. The pullback/pushforward adjunction $f^{*} ⊣ f_{*}$ along a morphism $f : X \to Y$ makes $QCoh$ a fibered category — the foundation of Descent Theory and the Functor of Points. Passing to the derived category $D_{qc} (X)$ links them to Derived Categories and Grothendieck Duality. Finally, the equivalence $QCoh (Spec A) ≃ A -Mod$ ties the subject directly to Commutative Algebra and Tensor and Tor.

Real-World Applications

Riemann–Roch and curve theory. Computing $h^{0}$ of line bundles (quasi-coherent invertible sheaves) on curves underlies the classification of algebraic curves, their gonality, and Brill–Noether theory.
Moduli spaces. Families of objects over a base $S$ are encoded as quasi-coherent sheaves on $X \times S$ ; the representability of moduli functors (e.g. the Hilbert and Quot schemes, built by Grothendieck) rests on quasi-coherence and flatness.
Coding theory. Goppa/algebraic-geometry codes are constructed from global sections $H^{0} (X, O (D))$ of line bundles on curves over finite fields, giving codes beating the Gilbert–Varshamov bound.
Cryptography. Divisor class groups (quasi-coherent $Pic^{0}$ ) of hyperelliptic curves furnish groups for discrete-log-based cryptosystems.
String theory / D-branes. B-branes are objects of $D^{b} (Coh (X))$ on Calabi–Yau threefolds; homological mirror symmetry equates this derived category of coherent sheaves with a Fukaya category.
Hodge theory and periods. The de Rham and Hodge cohomology of varieties are computed via hypercohomology of complexes of (quasi-)coherent sheaves like $Ω_{X}^{∙}$ .
Numerical algebraic geometry / Gröbner methods. Effective computation of sheaf cohomology and free resolutions (the engine of Macaulay2/Singular) operates directly on the module presentations defining coherent sheaves.

Historical Development

1850s–1860s. Riemann and Roch study spaces of meromorphic functions with prescribed poles — implicitly $H^{0}$ of line bundles on curves.
1930s. Oka and Cartan develop coherent analytic sheaves in several complex variables; "Theorems A and B" foreshadow the cohomological framework.
1945–1950. Leray introduces sheaves and sheaf cohomology; Cartan's seminar systematizes coherent analytic sheaves.
1955. Serre's Faisceaux Algébriques Cohérents (FAC) transports coherent sheaves into the Zariski topology of varieties, founding modern sheaf-theoretic algebraic geometry.
1957. Serre's GAGA theorem equates coherent algebraic and analytic sheaves on projective varieties.
1960–1967. Grothendieck and Dieudonné's EGA develops the full theory of quasi-coherent sheaves on arbitrary schemes, relative cohomology, base change, and duality.
1966. Hartshorne's Residues and Duality (after Grothendieck's notes) establishes Grothendieck–Serre duality in the derived category.
1977. Hartshorne's Algebraic Geometry makes quasi-coherent sheaves and their cohomology the standard graduate-level subject.
1990s–present. Derived/∞-categorical refinements (Bondal–Van den Bergh, Neeman, Lurie) reconstruct schemes from $D_{qc}$ and connect to noncommutative and derived algebraic geometry.

Subtleties & Limits

Several foundational and research questions surround quasi-coherent sheaves. (1) Non-noetherian pathology: on non-noetherian schemes the relation between "coherent," "finite type," and "finitely presented" sheaves fractures, and many finiteness theorems require extra hypotheses (e.g. coherent rings); a clean general theory remains delicate. (2) Compact generation: $D_{qc} (X)$ is compactly generated for quasi-compact quasi-separated $X$ (Neeman, Bondal–Van den Bergh), but the precise relationship between compact objects and perfect complexes, and the structure of $D_{qc}$ for general stacks, is an active area. (3) Tannakian reconstruction: to what extent does the symmetric monoidal category $QCoh (X)$ determine $X$ ? For nice schemes/stacks this holds (Lurie's Tannaka duality), but the boundary cases — non-quasi-compact, non-separated, or genuinely stacky targets — are subtle. (4) Vanishing and ampleness in positive characteristic: Kodaira-type vanishing for cohomology of quasi-coherent sheaves can fail in characteristic $p$ (Raynaud), and characterizing when it holds drives current research in birational geometry and the minimal model program.