# February 18, 2010

## Why spectrum of category?

In commutative algebraic geometry, spectrum of a commutative ring plays basically important roles. Once we have , naturally we have Zariski topology on this spectrum. We can define sheaf of rings on the open sets(in particular, basis ,). Then we can recover by so called global section functor as . Geometrically, we glued bunches of pieces together to reconstruct affine schemes. What we did can be described by the following diagrams:

(sheaf of rings), then if we take prime spectrum, we got the underlying space of original affine schemes.

Then,if we switch to consider category of modules(in particular, quasi-coherent modules). Then the picture should become:

The reason to consider this picture is that the first reconstruction process works only for affine case. Another less important reason is that sheaves of modules is usually easy to deal with than sheaves of rings.

For the second picture, one need to define a “spectrum” for to get the underlying space of schemes. So this is why we can not avoid the notion , or more naturally, ,where is category of quasi coherent sheaves on scheme . In fact, not only we can reconstruct the underlying space of the schemes but only the structure sheaf. Before going to the reconstruction theorem, I will explain the definition of .

## Leave a Reply