structure sheaf

A bare topological space carries no notion of 'function'. The structure sheaf is the extra layer of data that says, for each open set, which functions count as regular there — and how they restrict and patch together. It is what upgrades a space into a geometric object on which one can actually compute.

On the spectrum Spec R the structure sheaf O is built from localization: on a distinguished open set D(f) it assigns the localized ring R[1/f], the functions allowed to have poles only along f = 0, and these are glued by the sheaf axioms so that sections over an arbitrary open set are determined locally. Its stalk at a prime p is the local ring R localized at p, encoding the germs of regular functions near that point.

The pair (Spec R, O) is a locally ringed space, and a scheme is by definition a space that looks locally like one of these. Crucially, the ring of global sections recovers R itself for an affine scheme, so no information is lost in passing from algebra to geometry. Morphisms of schemes are maps of spaces together with a compatible map of structure sheaves respecting the local rings, which is what makes the geometry genuinely sheaf-theoretic rather than merely topological.