June 22, 2006

Varieties and Schemes for Dummies, Part III

Posted by Urs Schreiber

Still more details on how varieties form a subcategory of schemes.

Last time I ended with mentioning properties of schemes that come from varieties. Now I need to say a few words about what these properties mean and why this is true.

In particular, I need to say what (quasi-)projective schemes are.

1) Projective schemes.

Recall that a (quasi-)affine variety was defined to be an (open subset of an) irreducible closed subset of affine space ${A}_{k}^{n}$.

There is a very popular slight generalization of this.

Instead of using affine space, we can use a projective space, something that only locally looks like an affine space.

Like ${A}_{k}^{n}$ is the space of all $n$-tuples with entries in $k$, equipped with the Zariski topology, projective space ${P}_{k}^{n}$ is the space of all lines through the origin in ${A}_{k}^{n}$, equipped with a similar topology.

More concretely, ${P}_{k}^{n}$ is the set of equivalence classes of $\left(n+1\right)$-tuples of elements of $k$, not all of them vanishing, under the relation

(1)$\left({a}_{0},\cdots ,{a}_{n}\right)\simeq \left(\lambda {a}_{0},\cdots ,\lambda {a}_{n}\right)$

for all $\lambda \ne 0$ in $k$.

Polynomials on this space are polynomials on ${A}_{k}^{n+1}$ whose sets of zeros respect this symmetry. This are the homogeneous polynomials.

The ring $S=k\left[{X}_{0},\cdots ,{X}_{n}\right]$ of all polynomials on ${A}_{k}^{n}$ is graded, $S={\oplus }_{d\in ℕ}{S}_{d}$, with ${S}_{d}$ being the space of homogeneous polynomials of degree $d$.

We can hence proceed as before in the affine situation if we add the adjective “homogeneous” to (almost) everything in sight.

First of all, algebraic subsets of projective space are precisely the sets $S\left(\left\{{f}_{1},\cdots ,{f}_{r}\right\}\right)$ of common zeros of a collection of homogeneous polynomials.

The Zariski topology on ${P}_{k}^{n}$ is that which has precisely the complements of these algebraic subsets as open sets.

And so on:

A projective algebraic variety is an irreducible algebraic subset in ${P}_{k}^{n}$.

A quasi-projective algebraic variety is an open subset of an irreducible algebraic subset in ${P}_{k}^{n}$.

In a sense, projective varieties are like a first tiny step from affine varieties to schemes, since every projective variety can be covered by affine varieties. Simply take the coordinate patches ${U}_{i}$ to be consisting of all those classes of tuples $\left({a}_{0},\cdots ,{a}_{n}\right)$ with ${a}_{i}\ne 0$. These are isomorphic to ${A}_{k}^{n}$ by

(2)$\left({a}_{0},\cdots ,{a}_{n}\right)↦\left(\frac{{a}_{0}}{{a}_{i}},\cdots ,\frac{{a}_{n}}{{a}_{i}}\right)\phantom{\rule{thinmathspace}{0ex}}.$

Hence, in particular, we can regard (quasi-)affine varieties just as well as irreducible closed subsets not of ${A}_{k}^{n}$, but of ${P}_{k}^{n+1}$. This allows us to sum up

$•$ affine varietes

$•$ quasi-affine varietes

$•$ projective varietes

$•$ quasi-projective varietes

all in one single definition:

Definition.([Hart, p. 15; bottom of p. 104]) A variety is a locally closed subset of projective space.

Fine. The goal now is to similarly move from affine schemes to projective schemes. So instead of talking extrinsically about coordinates, we want to talk intrinsically about ideals ([Hart, pp. 76]).

We can essentially read off all there is to say from the properties of the graded ring $S={\oplus }_{d\in ℕ}{S}_{d}$, with ${S}_{d}$ containing the homogenous polynomials of grade $d$.

So let $S$ now be any graded ring. A homogeneous ideal in $S$ is any ideal which is a direct sum of homogeneous subspaces.

We want to copy the construction of the affine scheme $\mathrm{Spec}A$ for any ring $A$ now using the graded ring $S$ and replacing arbitrary ideals with homogeneous ideals everywhere.

So define the projective spectrum $\mathrm{ProjSpec}S$ of the graded ring $S$ to be

$•$ as a set the collection of all homogeneous prime ideals of $S$,

$•$ equipped with the topology whose closed sets are precisely the sets $V\left(𝔞\right)$ of all homogeneous prime ideals containing some homogeneous ideal $𝔞$,

$•$ together with the sheaf of regular homogeneous functions which is defined as for affine spectra, but with homogeneous ideals used everywhere.

Like the spectrum $\mathrm{Spec}A$ for $A=k\left[{X}_{1},\cdots ,{X}_{n}\right]$ is the affine scheme corresponding to affine space ${A}_{k}^{n}$, the projective spectrum $\mathrm{ProjSpec}S$ for $S=k\left[{X}_{0},{X}_{1},\cdots ,{X}_{n}\right]$ is the projective scheme corresponding to projective space ${P}_{k}^{n}$.

It is obvious what a quasi-projective scheme should be, namely something that is like an open subset in some $\mathrm{ProjSpec}S$. The right formulation of schemes that are “like open subsets” is

Definition. ([Hart, p. 85]) A morphism of schemes $F:\left(X,{𝒪}_{X}\right)\to \left(Y,{𝒪}_{Y}\right)$ is a closed immersion if

$•$ on the underlying topological spaces $f:X\to Y$ is a homeomorphism onto a closed subset;

$•$ and the morphism of sheaves ${f}^{♯}:{𝒪}_{Y}\to {f}_{*}{𝒪}_{X}$ is surjective (on fibers, I guess).

So, like a general variety over $k$ is any locally compact irreducible subset of projective space ${P}_{k}^{n}$, we say

Definition. ([Hart, p. 103 (here only for the simple subcase needed in prop. 4.10)]) A quasi-projective scheme over $k$ is a scheme over $k$ $\left(X,{𝒪}_{X}\right)\to \mathrm{Spec}k$ which factors by a closed immersion through the projective scheme $\cdots =\left(X,{𝒪}_{X}\right)\stackrel{\text{closed imm.}}{\to }\mathrm{ProjSpec}k\left[{X}_{0},\cdots ,{X}_{n}\right]\to \mathrm{Spec}k\phantom{\rule{thinmathspace}{0ex}}.$

2) Some more properties of schemes.

Schemes coming from varieties turn out to be in particular integral, seperated and of finite type. Here some words on what all these properties mean (following [Hart, section 3]).

First of all, a remark on the notion of dimension.

How do we measure the dimension of some space using a purely algebraic measurement apparatus?

Roughly, we check if its points are subsets of 1-dimensional closed subsets, which are subsets of 2-dimensional closed subsets, which are subsets of 3-dimensional, subsets, and so on. The maximum $n$ we find this way is the dimension of our space.

The sequence of inclusions constructed this way should terminate if our space is to have finite dimension, which is all we want to consider at the moment. Since Emmy Noether was the first to realize the importance of such finiteness conditions in algebraic geometry, objects of finite dimension in this sense are called noetherian.

So, a topological space is noetherian ([Hart, p. 5]) if any sequence of inclusions of closed subsets

(3)${X}_{1}\subset {X}_{2}\subset {X}_{3}\subset \cdots$

stabilizes at some point, such that from there on all ${X}_{i}$ are equal (known as the ascending chain condition).

Definition. ([Hart, p. 5]) The dimension of a topological space $X$ is the length minus 1 of the longest chain of inclusions of distinct irreducible closed subsets $X$.

Algebraically the situation is the same, but the other way around. Closed subsets $X$ correspond to ideals $I\left(X\right)$ (of polynomials vanishing on $X$), and larger closed subset correspond to smaller ideals.

(4)$\left(X\subset Y\right)⇔\left(I\left(Y\right)\subset I\left(X\right)\right)\phantom{\rule{thinmathspace}{0ex}}.$

So, a (coordinate) ring is a noetherian ring if it contains only finitely long chains of distinct (prime?) ideals.

For instance, a maximum chain of distinct prime ideals in the affine space ${A}_{k}^{3}$ would be

(5)$\left(0\right)\subset \left({X}_{1}-1\right)\subset \left({X}_{1}-1,{X}_{2}-5\right)\subset \left({X}_{1}-1,{X}_{2}-5,{X}_{3}-999\right)\phantom{\rule{thinmathspace}{0ex}},$

which is indeed of length $3+1=4$, as expected. It describes the point with coordinates $\left(1,5,999\right)$ sitting inside the line $t↦\left(1,5,t\right)$ which again is a subset of the surface $\left(s,t\right)↦\left(1,s,t\right)$, which, finally, is a subset of the total space.

Hence, we can just as well speak about the dimension of a ring (called the Krull dimension), which is (one less than) the maximum length of chains of inclusions of distinct prime ideals in that ring.

This, then, allows us to easily transport the notion of dimension over to the world of schemes, simply by looking at the the Krull dimension of the coordinate rings of its affine subschemes (see [Hart, p. 83, p. 86]).

This notion of dimension reproduces the expected notion of dimension in standard cases of schemes. But on general schemes there can be counterintuitive phenomena regarding their dimension (see [Hart, Caution 3.2.8, p. 87]).

Example. Let the ring $A=ℕ$ be that of the natural numbers. Its prime ideals are all those generated by prime numbers (hence the name!), which are all maximal ideals, and the 0-ideal. So $\mathrm{Spec}\left(A\right)$ is a space that consists of countably many discrete points together with a generic open point which “touches” all of them. Every maximal chain of inclusions of distinct prime ideals looks like

(6)$\left(0\right)\subset \left(p\right)$

for $p>0$ a prime number. Hence this collection of discrete points actually has dimension $1$, in the above sense, not $0$.

Responsible for this is that funny “generic point” $\left(0\right)$, which somehow glues all the discrete points to something 1-dimensional.

3) Still more properties of schemes:

$•$ a scheme is integral if all its fibers ${𝒪}_{X}\left(U\right)$ are integral domains, meaning that all its coordinate rings are free of zero divisors.

$•$ a scheme is reduced if all its coordinate rings ${𝒪}_{X}\left(U\right)$ have no nilpotent elements.

(Nilpotent elements in rings correspond to “infinitesimal distances” in the associated geometry. Hence one can understand “reduced” in the sense that all infinitesimally close points are identified. I think.)

$•$ a scheme is locally noethrian (“locally finite dimensional”) if it can be covered by affine subschemes $\mathrm{Spec}{A}_{i}$ which come from noetherian rings.

$•$ a morphism of schemes $f:X\to \mathrm{Spec}R$ is of finite type if the pre-image of $f$ can be covered by by finitely many open affine subsets $\mathrm{Spec}{A}_{i}$, where each ${A}_{i}$ is a finitely generated $R$ algebra.

Note that ${A}_{i}$ is an $R$-algebra in any case. The crucial condition is that it be finitely generated.

Since we are concerned with the case of schemes over a field $k$, i.e. morphisms $f:X\to \mathrm{Spec}k$, we say these are of of finite type if this morphism satisfies the above condition.

$•$ A scheme is seperated if it has the same abstract behaviour as a Hausdorff topological space. Since the Zariski topology is never Hausdorff, this requires a little sophistication ([Hart, p. 96]). But for the moment I shall just skip this.

Recall that we are interested in understanding the nature of the image of the functor $t:\mathrm{Var}\left(k\right)\to \mathrm{Sch}\left(k\right)$, which sends any variety to the collection of its irreducible closed subsets (equivalently: to the collection of prime ideals of its coordinate ring).

Now, it is a fact ([Hart, prop. 4.3, p. 25]) that every variety $X$ can be covered by a finite number of open affine subvarieties. This means ([Hart, ex. 3.2.1, p. 84]) that $t\left(X\right)$ can be covered by a finite number of open affine schemes $\mathrm{Spec}{A}_{i}$, with ${A}_{i}$ being

$•$ an integral domain (because it is of the form $A=A/I\left({U}_{i}\right)$ with $I\left({U}_{i}\right)$ a prime ideal),

$•$ a finitely generated $k$-algebra (because it comes from a ring of polynomials),

$•$ hence noetherian (its spectrum is a finite dimensional space).

Moreover, since any variety $X$ is a locally closed subset of projective space, it follows that $t\left(X\right)$ is a quasi projective scheme. This again implies ([Hart, theor. 4.9, p. 103]) that it is of finite type and seperated.

Given all that, we suspect that the result that we are after (at least that’s what I am after) is this

Fact.([Hart, prop. 4.10, p. 104]) The image of the category of varieties over $k$ in the category of schemes over $k$ is exactly the subcategory of quasi-projective integral schemes. All these schemes are, in particular, integral, seperated and of finite type.

Indeed, that’s true. That everything in the image of $t$ is a quasi-projective integral scheme is essentially obvious, given that this are precisely the properties inherited from the very definition of varieties.

What remains to be shown is only the surjectity of $t$ on this subcategory, i.e. that every quasi-projective integral scheme really comes from some variety.

This follows after one notices that for every closed subscheme $Y$ of $\mathrm{ProjSpec}k\left[{X}_{0},\cdots ,{X}_{n}\right]$ the set of closed points is a dense set in $Y$, which (apparently) imlies that it is irreducible and hence in fact a variety.

Maybe more on all these technical details later. Now I have at least mentioned all the necessary ingredients.

Maybe in closing, just one remark on what the theorem buys us.

Consequence: abstract varieties.

One upshot of all this is that we get an intrinsic definition of what a variety is, one that does not rely on constructing it as a set of common zeros of a collection of polynomials.

Namely, we have that a variety over $k$ is a quasi-projective integral scheme over $k$.

Better yet, we may now generalize and remove the condition on quasi-projectivity: an abstract variety is an integral seperated scheme of finite type over an algebraically closed field $k$.

Posted at June 22, 2006 7:48 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/852

Re: Varieties and Schemes for Dummies, Part III

Dear Urs,
I am writing to thank you for providing a valuable service to student mathematical community by publishing these 3 very informative sets of notes. Please accept my sincere gratitude and compliments.
I wanted to ask you a question. Hartshorne claims that the introduction of schemes allowed ‘old problems to be solved by new methods’. Do you know any specifics? It would be most kind if you could point me to a problem or two that were solved using schemes and that wouldn’t be as easily or clearly solved without them.

Kind regards,
Grottie

Posted by: grottie on November 29, 2006 5:07 PM | Permalink | Reply to this

On the defining property of noetherian rings

Hi,

first of all, I appreciated the summary on schemes very much.

But one should say a few more things about noetherian and dimension, to fight misconceptions bevor they arise.

A ring is noetherian if all ascending chains of ideals (not just prime ideals!) get stationary - that is, if you have such a chain of inclusions (not necessarily proper) of ideals, after a finite number all inclusion will be equalities.

First of all, ascending is important - if you replace it by descending you get so called Artinian rings. One can show that Artinian rings are exactly the noetherian rings of dimension 0.

Second, it’s important to state it for chains of arbitrary ideals: there are non noetherian rings, which obey the ascending chain condition for prime ideals. Example: (Z + X Q[X])/(X2) (Z are the integers, Q the rationals, X a variable). It even has finite dimension - namely dimension 1. I think there are even non-noetherian rings of dimension 0, but I’ve so far never seen one myself.

To define dimension by the length of the longest ascending chain of proper included prime ideals minus 1 has some drawbacks - because there might be no longest ascending chain.

Take as some preliminaries for example the ring R=K[Xi|i in N] where K is some arbitrary field (take C, the complex numbers for convenience), the Xi are countably many free variables and take the prime ideals pi generated by the first i free variables. Then the pi are an ascending chain of proper included prime ideals in R. One can argue that this chain has length infinity, and it is not possible to find a prime ideal which can be somehow interposed between 2 ideals of this chain, so it is a longest chain. So the dimension should be: infinity. But as always with infinity, the term longest is problematic…

By the way, the ring R is another example of a non noetherian ring.

And now a second example, which is a bit more complicated, and where the definition of dimension via longest completely fails (I have it from some book, I think Mumford…):

Take the ring R as in the first example. Now define the prime ideals qi to be those, generated by all variables Xj with j ranging from i(i+1)/2 to (i+1)(i+2)/2 -1 including the bounds. Now define S to be the set of all elements of R, which avoid all the qi. The set S is a multiplicative set, so you can localize at this set to get T:=S-1R.

One can show (proofs are not that easy, so I omit them completeley):
1. T is noetherian, i.e. all ascending chains of ideals, especially of prime ideals, get stationary after finitely many steps
2. for every integer, one can find an ascending chain of mutually proper included prime ideals in T such that the length is precisely that given integer
So there is no longest chain of prime ideals, there is even not an infinitely long chain.

A way to avoid this situation is to define dimension as the supremum of lengths of all ascending chains of mutually proper included prime ideals. The old definition is equivalent to the same definition just supremum replaced by maximum - but as seen above you get problems, when there is (as allways is) a supremum but it is not attained as maximum.

With this new definition one sees, that T is an example of a noetherian ring of infinite dimension.

Clearly, for finite dimension it doesn’t change anything, wether you take maximum (longest) or supremum. If you are just dealing with very nice rings, i.e. noetherian of finite dimension - which are the ones you normally encounter in algebraic geometry - than you can stick to maximum, if you like.

Well, I admit, that it seems, mathematicians have to have a very perverted and twisted mind, to come up with noetherian rings of infinite dimension, or conversely non noetherian rings of finite dimension, even dimension 1 (or maybe 0?), but perhaps that’s just, because mathematics itself is twisted ;-)

Posted by: Thomas Preu on February 25, 2007 5:15 PM | Permalink | Reply to this

Post a New Comment