Definitions

A locally ringed space is a topological space together with a sheaf of rings with the property that, for every point , the stalk is a local ring ¹.

A morphism of locally ringed spaces from to is a continuous map together with a morphism of sheaves with respect to such that, for every point , the induced ring homomorphism on stalks is a local homomorphism. That is,

    for every 

Applications

Locally ringed spaces are encountered in many natural contexts. Basically, every sheaf on the topological space consisting of continuous functions with values in some field is a locally ringed space. Indeed, any such function which is not zero at a point is nonzero and thus invertible in some neighborhood of , which implies that the only maximal ideal of the stalk at is the set of germs of functions which vanish at . The utility of this definition lies in the fact that one can then form constructions in familiar instances of locally ringed spaces which readily generalize in ways that would not necessarily be obvious without this framework. For example, given a manifold and its locally ringed space of real-valued differentiable functions, one can show that the space of all tangent vectors to at is naturally isomorphic to the real vector space , where the indicates the dual vector space. We then see that, in general, for any locally ringed space , the space of tangent vectors at should be defined as the -vector space , where is the residue field and denotes dual with respect to as before. It turns out that this definition is the correct definition even in esoteric contexts like algebraic geometry over finite fields which at first sight lack the differential structure needed for constructions such as tangent vector.

Another useful application of locally ringed spaces is in the construction of schemes. The forgetful functor assigning to each locally ringed space the ring is adjoint to the “prime spectrum” functor taking each ring to the locally ringed space , and this correspondence is essentially why the category of locally ringed spaces is the proper building block to use in the formulation of the notion of scheme.

Footnotes

...¹

All rings mentioned in this article are required to be commutative.