structure sheaf
Let be an irreducible algebraic variety over a field , together with the Zariski topology
. Fix a point and let be any affine open subset of containing . Define
where is the coordinate ring of and is the fraction field of . The ring is independent of the choice of affine open neighborhood of .
The structure sheaf on the variety is the sheaf of rings whose sections
on any open subset are given by
and where the restriction map for is the inclusion map
.
There is an equivalence of categories under which an affine variety with its structure sheaf corresponds to the prime spectrum of the coordinate ring . In fact, the topological embedding gives rise to a lattice
–preserving bijection11Those who are fans of topos theory will recognize this map as an isomorphism
of topos. between the open sets of and of , and the sections of the structure sheaf on are isomorphic to the sections of the sheaf .