Let’s think about what is going on in a different way. So now let’s think of 
elements of the ring as functions with domain 
. We define the value of the function at a point in our space 
to be the residue class in 
. This looks weird at first, since the image space depends on the point that you are evaluating the function.
Before worrying about that too much, let’s see if we can get this notion to match up with what we did yesterday. We have the nice property that 
if and only if 
. (Remember that even though we think of f as a function, it is really an element of the ring).
Define for any subset of the ring S the zero set: 
. Now from what I just noted in the previous paragraph, we get that these are just precisely the elements of that contain S, i.e. the closed sets of the Zariski topology. Thus we can define our basis for the Zariski topology to be the collection of 
.
We also will want what is “an inverse” to the zero set. We want the ideal that vanishes on a subset of Spec. So given 
, define 
. Now this isn’t really an inverse, but we get close in the following sense:
If 
is an ideal, then 
. Taking the ideal of the zero set is the radical of the ideal. And the radical has two equivalent definitions: 
.
If we take the ideal and zero set in the other order we get that 
: the closure in the Zariski topology.
We can abstract one step further and put a sheaf on 
. Note that for any 
we have that 
is a multiplicative set, so we can localize at it. Since I haven’t talked at all about sheaves, I’m not sure if I want to go any further with this, so maybe I’ll do some more examples next time and possibly start to scratch this surface.
Like this:
Like Loading...
I am a mathematics graduate student fascinated in how all my interests fit together.
Pingback: Some Notions of Dimension « A Mind for Madness