Motivating the Zariski Topology

Act I: Where polynomials take over

It is a large theme in commutative algebra that the only thing standing in the way of two rings is what polynomials in these rings look like. Think about this briefly: the only difference between {{\mathbb Z}} and {{\mathbb Z}/p{\mathbb Z}} is that, in the latter ring, the polynomial {x^p-1} is always the zero function, while in the former it is never the zero function.

This idea motivates a lot of the definitions in ring theory, usually phrased in language like (though often not identical to) “a ring {A} is said to have property {\mathcal P} if the roots of polynomials with property {\mathcal Q} always are in {A}.” Fine examples of this include:

  • The definition of an integral domain: we say that {A} is a domain if, for all {a \in A} nonzero, the function {ax} has no roots in {A};
  • The definition of a field: we say that {A} is a field if, whenever {a \in A} is nonzero, the function {ax-1} has a root in {A};
  • The definition of being algebraically closed: we say that a field {A} is algebraically closed if every polynomial in {A[x]} has a root in {A};
  • The definition of a separable field extension: we say an extension {L/K} of fields is separable if every element of {L} has a separable minimal polynomial in {K[x]};
  • The definition of a normal field extension: we say an extension {L/K} of fields is normal if {L} is the splitting field of a family of polynomials in {K[x]};
  • The definition of an integrally closed domain: we say that an integral domain {A} with field of fractions {K} is integrally closed if, any root in {K} of a monic polynomial in {A[x]} is actually an element of {A}.

And so on. Roots of polynomials say an enormous amount about the rings they take their coefficients in! Hence they are more than sensible things to study — they are, in a very real sense, the only thing to study.

Act II: Where geometry arises

So we have now become interested in sets of the form

\displaystyle  \{a \in A : f(a) = 0 \text{ for all } f \in S\} \text{ where } S \subseteq A[x] \mathrm.

A natural generalization of this is to allow polynomials in several variables, so that we start looking at sets of the form

\displaystyle  \{(a_1,...,a_n) \in A^n : f(a_1,...,a_n) = 0 \text{ for all } f \in S\} \text{ where } S \subseteq A[x_1,...,x_n] \mathrm.

Sets of this form are called affine varieties, and they are the first step in the study of classical algebraic geometry. Rather conveniently, affine varieties happen to satisfy the axioms of closed sets for a topology: the empty set and the whole space are both affine varieties, and the collection of affine varieties is closed under arbitrary intersection and finite union. This observation defines the (classical) Zariski topology on {A^n}.

Act III: A formulation using ideals

Classically it was entirely common to work with {A = {\mathbb C}}, which has the desirable property that (since {{\mathbb C}} is algebraically closed) affine varieties tend to be non-empty (they are only empty if {S} contains a constant, non-zero function).

Working with algebraically closed fields one is eventually lead to Hilbert’s Nullstellensatz, which one can use to formulate a theory of varieties entirely in terms of maximal ideals in {A[x_1,...,x_n]}. In this formulation, one defines

\displaystyle  \mathfrak{m}\text{Spec} A[x_1,...,x_n] = \{\text{maximal ideals of } A[x_1,...,x_n]\}

and then one creates a topology — still called the Zariski topology — on {\mathfrak{m}\text{Spec} A[x_1,...,x_n]} where a set is closed if it is of the form

\displaystyle  \{\mathfrak m : \mathfrak m \supseteq I\} \text{ where } I \subseteq A[x_1,...,x_n] \text{ is any ideal.}

When {A} is algebraically closed, this topology on {\mathfrak{m}\text{Spec}} is homeomorphic to the classical Zariski topology on {A^n} by the map {(a_1,...,a_n) \mapsto (x_1 - a_1,...,x_n - a_1)} (this is a consequence of the Nullstellensatz). Suddenly we have a formulation of the Zariski topology entirely in the language of ideals.

Act IV: Functoriality leads to {\text{Spec}}

There are some obvious ways to generalize the work in Act III. First, there’s no reason in particular to only look at polynomial rings like {A[x_1,...,x_n]}; we may as well consider arbitrary rings and look at their {\mathfrak{m}\text{Spec}}, which we can define and topologize in the same way.

Once we’ve done this, we have a mapping, where rings give us topological spaces. In the modern world it is natural to ask this mapping to be functorial — that is, if rings are going to give us topological spaces, we may as well ask that ring homomorphisms give us continuous maps.

Let’s set {\mathfrak{m}\text{Spec}} aside for a moment and simply consider what this functor might look like. Our experience with {\mathfrak{m}\text{Spec}} suggests that it is profitable to have a topological space whose points are ideals of {A}, so we’ll stick with this idea, trying to dial it in to something more precise.

First we need to ask ourselves: should our functor be co- or contravariant? As it happens, if we want our topological spaces to have points corresponding to ideals, then our hand is forced: we need only look at the initial and terminal objects in Ring and Top.

  • The terminal object in Ring is the zero ring, which has no proper ideals. It should therefore correspond to the empty topological space, which is the initial object in Top.
  • If {k} is a field, then {k} has only one ideal (the zero ideal), hence should be sent to a topological space with only one point (the final object in Top).

Thus the map {k \rightarrow 0} needs to correspond to the map {\{\} \rightarrow \cdot}, which is a contravariant relationship. Thus our functor is going to be contravariant.

Luckily, there is a good, contravariant way for ring homomorphisms to move around ideals: if {f : A \rightarrow B} is a ring homomorphism, and {\mathfrak b \subseteq B} is an ideal, then {f^{-1}(\mathfrak b) \subseteq A} is also an ideal (often called the contraction of {\mathfrak b}).

With this in mind we now return to {\mathfrak{m}\text{Spec}}. If {f : A \rightarrow B} is a ring homomorphism, it is sadly the case that the contraction of a maximal ideal in {B} is not likely to be a maximal ideal in {A} (that is, the map {\mathfrak b \mapsto f^{-1}(\mathfrak b)} is not likely to be a function {\mathfrak{m}\text{Spec} B \rightarrow \mathfrak{m}\text{Spec} A}). The standard example of this is to look at the inclusion map {{\mathbb Z} \hookrightarrow {\mathbb Q}}, noting that the unique maximal ideal of {{\mathbb Q}} does not pull back to a maximal ideal in {{\mathbb Z}}.

It is true, however, that if {\mathfrak b} is a maximal ideal, then {f^{-1}(\mathfrak b)} will be a prime ideal. In fact, this is true even if {\mathfrak b} is just a mere prime ideal itself (not necessarily maximal). In particular, if we allow ourselves to expand {\mathfrak{m}\text{Spec}} a little, generalizing to the set

\displaystyle  \text{Spec} A = \{\mathfrak p : \mathfrak p \subseteq A \text{ a prime ideal}\}

then contraction does induce a function {\text{Spec} B \rightarrow \text{Spec} A}. Furthermore, if we endow {\text{Spec} A} with a topology in exactly the same way we did with {\mathfrak{m}\text{Spec} A}, then contraction will be continuous. We’ve thus developed a contravariant functor from Ring to Top!

Act V: Curtains, and on to schemes

And so the journey to schemes begins. I won’t define schemes here; my point was to motivate, not elucidate. I’ll just say what’s missing.

In the classical theory of varieties, one is lead to consider functions from a variety in {A^n} back down to {A}. There’s a reasonable definition for what it means for a function to be “well behaved” enough to be worth looking at — continuity is a part of it, but obviously it wouldn’t be algebra unless there was an algebraic condition as well.

This definition, after a good deal of modernization, lends itself quite well to generalization. One defines what the class of “good functions” on {\text{Spec} A} should be, in such a way that both the topology of {\text{Spec} A} and the algebra of {A} are incorporated, then creates a new structure on {\text{Spec} A} which carries around this data. This combination — {\text{Spec} A} and the extra structure that describes the “good functions” — are what we call an affine scheme. A scheme is a topological space (again with some structure that describes the “good functions”) which is locally isomorphic to affine schemes.

The handwaving above suggests why it is so time-consuming to define schemes: not only do we need to define {\text{Spec} A}, but we also need to introduce the extra structure for tracking the “good functions,” as well as a characterization of these functions (so that the structure can track it!)

But once one has managed through this process (experience suggests this is where most would-be algebraic geometers give up and decide to study something else), one is left with a powerful theory indeed — in no small part due to the functor from Act IV.

Leave a comment

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: