Ring theory conventions - Zero ring, local homomorphisms

The empty scheme is initial in the category of schemes, and the zero ring is not a local ring, since it does not have a unique maximal ideal (it does not have any maximal ideal!). There is no special convention needed here--this all just follows from the general definitions.

In particular, there is no issue with what the unique map out of the empty scheme does on stalks. If $X$ and $Y$ are locally ringed spaces, then a morphism $X\to Y$ is a continuous map $f:X\to Y$ together with a morphism of sheaves of rings $\mathcal{O}_Y\to f_*\mathcal{O}_X$ such that for each $x\in X$ the induced map on stalks $\mathcal{O}_{Y,f(x)}\to \mathcal{O}_{X,x}$ is a local homomorphism. When $X$ is empty, there are no points $x\in X$ at which to check this condition, and so it holds vacuously.


  1. The empty scheme is the initial object.

  2. The zero ring is not a local ring.

  3. Conventionally local ring homomorphisms are between local rings, but we may extend the definition to general rings by defining “local” to mean that an element becomes invertible in the codomain if and only if it is invertible in the domain. Under this definition a ring homomorphism to the zero ring is local if and only if the domain is the zero ring. Anyway this is irrelevant to your question about the empty scheme: it has no points, so its structure sheaf has no stalks, so the condition is vacuous.


The category of schemes has an initial object, which is affine, given by the spectrum of the zero ring, which empty. The zero ring is not a local ring; a local ring has to have a unique maximal ideal, and the zero ring doesn’t have any (it’s the only ring with this property), because it is not a field.

If you take out the empty scheme then the resulting category will fail to have fiber products.