Sorry about February, got rather caught up in schoolwork. My posts should resume, though still not with the frequency they used to. So, anyway, we now have sheaves and their morphisms, and even some morphisms that we get when we have continuous maps of our spaces. Today, we’re going to put it all together and look at spaces with a special sheaf of rings.
So now we will take to be a topological space and to be a sheaf of rings. So now we define the pair to be a ringed space. We call it a locally ringed space if each stalk is a local ring. A morphism of locally ringed spaces is then a pair such that is continuous and is a morphism of sheaves such that the induced morphism at each stalk is a local homomorphism (that is, the inverse image of the maximal ideal in the target is the maximal ideal in the domain). And, naturally, we define an isomorphism to be a morphism with a two-sided inverse.
Generally, we make a slight error in notation and call a locally ringed space. We also should notice that locally ringed spaces form a category, and includes all of the usual geometric and topological categories. Let’s look at some examples:
If is a variety, then is a locally ringed space.
If is a manifold (of whatever sort), then is a locally ringed space, where consists of functions to which are of whatever class the manifold is.
Next time we’re going to talk about the locally ringed spaces that we’re mostly going to be concerned with (at least for the near future), in the meantime, I’ll just link back to an old post where I talked about locally ringed spaces (and also about abstract varieties, which I’ll write more about next time).