We have already shown that is irreducible; this argument behaves well under gluing yielding the fact that behaves well under gluing. If there is some property of schemes that is "open", then to check if all points of the quasicompact scheme have , it is sufficient to check just the closed points. In many good situations, the closed points are dense.
A scheme is said to be quasiseparated if the intersection of any two quasicompact subsets is quasicompact. We will later realize that this is a property of morphisms, not schemes.
Reducedness and integrality
Recall that a ring is said to be reduced if it has no nonzero nilpotents. A scheme is said to be reduced if is reduced for every open set . The scheme is nonreduced, as we have already seen as a fuzz around the origin.
A scheme is said to be an integral if it is nonempty and if is an integral domain for every open subset of . Be cautioned that integrality is not a stalk-local property, since
Irreducible varities have the convenient property that sections over different open subsets can be considered as subrings of the same ring. In particular, restriction maps are always considered inclusions, and gluing is easy: on a cover of glue iff they are the same element of .
Properties of schemes that can be checked affine-locally
We have defined a scheme to be a topological space with a sheaf of rings, that can be covered by affine schemes. Hence, we have all affine open sets in the cover, and the Affine Communication Lemma will provide us a way for communicating between them.
Affine-local properties can be checked on any affine cover; i.e. a covering by affine open sets. If a scheme is quasicompact, we only need to check a finite number of affine open sets.
Suppose and are affine local subschemes. Then, is the union of open sets that are simultaneously distinguished open subschemes of and . To prove this, notice that given any point , we can produce the open neighborhood of that is simultaneously distinguished in both and . Let be the distinguished open subset in that is contained in and contains . Let be the distinguished open subset of contained in and containing . Then, restricts to an element . The points of where vanishes are precisely the points of where vanishes, so
If , then , and we are done.
Affine Communication Lemma: Let be some property enjoyed by some affine open subsets of scheme , such that:
If an affine open subset has property , then for any , does too.
If , and has property for all , then so does .
Suppose where each has property . Then, every affine open subset of also has property . We say that such a property is affine-local: indeed, we can check it on any affine open cover. For example, reducedness is an affine-local property. If is an affine open subscheme of , then inherits any affine-local property of . Note that any property that is stalk-local is affine-local as well. To prove this, let be an affine subscheme of . Cover with a finite number of distinguished open sets , each of which is distinguished in some . By (i), each has property , and by (ii), each does too.
Suppose is a scheme. If can be covered by affine open sets where is Noetherian, we say that is a locally Noetherian scheme. If is quasicompact, or equivalently, can be covered by a finite number of such open sets, we say that is a Noetherian scheme. The underlying topological space of a Noetherian scheme is Noetherian, and all finite open subsets of a Noetherian scheme are quasicompact.
Since we will be interested in working with schemes over a particular ring , we define an -scheme, where is a ring, as a scheme where all rings of sections over the structure sheaf are -algebras, and all restriction maps are -algebras. Now suppose is an -scheme. If can be covered by where each is an -algebra, we say that is a locally finite type -scheme. If, furthermore, is quasicompact, then it is a finite type -scheme. Note that a scheme of locally finite type over or is locally Noetherian, and similarly, a scheme of finite type over a Noetherian ring is Noetherian. To give a couple of examples, and are finite type schemes.
An affine scheme that is reduced and of affine type over is said to be an affine -variety. A reduced (quasi-)projective -scheme is a (quasi-)projective -variety. The degree of a locally finite type -scheme (eg. a -variety) is the degree of the field extension . For example, in , the point , irreducible, is . If is algebraically closed, then the degree of all closed points is .
Suppose is a ring, and .
If is Noetherian, then so is . If each is Noetherian, then so is .
If be a finitely-generated -algebra, then so is . If each is a finitely-generated -algebra, then so is .
We divide the proof into parts (i) and (ii) in accordance with the Affine Communication Lemma. To prove (a)(i), consider the strictly increasing chain of ideals of . Then, we can verify that is a strictly increasing chain of ideals of , where:
where means image of in lies in . Clearly is an ideal of . If , where , then and . For part (ii), consider the strictly increasing chain of ideals in . Then, for each :
is an increasing chain of ideals of . Then, . It remains to be shown that for each , , for some ; then the result will follow.
Now, (b)(i) is clear: if is generated over as , then is generated over as . For part (ii), since s generate , we can write for . We have generators of , where . Now, claim that generate as a -algebra. Suppose we have . Then in , we can write as some polynomial in s and , divided by some huge power of . So, in each , we have described in the obvious way, except for the huge denominator. Now use the partition of unity argument to combine all this expressions into a single expression killing the denominator. The resulting expression we build agrees with in each . Thus, it is indeed by identity axiom for the structure sheaf.
Normality and factoriality
We define a property of schemes that are "not too far from smooth", normality. Locally Noetherian normal schemes satisfy Hartogs's lemma: functions defined away from a set of codimension extend over that set. As a consequence, rational functions that have no poles are defined everywhere. An integral domain is integrally closed iff the zeros in to any monic polynomial in must lie in itself. We say that scheme is normal if all of its stalks are normal; i.e. are integral domains, and integrally closed in their fraction fields. By definition, normality is a stalk-local property, as is reducedness. If is an integrally closed domain, then is normal. For quasicompact schemes, normality can be checked at closed points. For such schemes, any point is a generization of a closed point. Normal schemes, however, need not be integral. Thus,
is normal, but its ring of global sections is not an integral domain.
To quote a result from commutative algebra, if is an integral domain, then the following statements are equivalent:
is integrally closed.
is integrally closed for prime ideal .
is integrally closed for maximal ideal .
If all stalks of a scheme are UFDs, we say that is factorial. Thus, if is a UFD, is factorial, but the converse need not hold. We will later see that elliptic curves are factorial, yet no affine open set is the Spec of a UFD. We can show factoriality by finding an appropriate affine open cover, but there need not be such a cover of a factorial scheme. There are few means of checking if a Noetherian integral domain is a UFD:
Localization of a UFD is also a UFD.
Height prime ideals are principal.
Normal and .
Moreover, factoriality implies normality.
Associated points and primes
Associated points of schemes capture some crucial information about the sheaf of functions over them. To start with a geometric intuition, we will think of them as "fuzzy attractors". In , the fuzz about origin captured nonreduced behavior there. This can be justified as: origin is the only point where the structure sheaf is nonreduced. Since irreducible closed subsets are in bijection with points, we may say that two keys points with respect to nonreducedness were the generic point and origin ; these will be the associated points in the scheme.
Another way to think about them: associated points are generic points of irreducible components of the support of sections. Recall that support of a function on a scheme is a closed subset. The fact that the same closed subsets arise in two different ways is no coincidence: their generic points are associated points of . When discussing associated points of , we consider to be a finitely generated -module, and to be Noetherian. When talking about rings rather than schemes, we discuss associated primes rather than associated points. We list three properties now:
The associated primes/points of are precisely the generic points of generic points of irreducible components of the support of some element of .
has a finite number of associated points/primes. For example, there are only a finite number of irreducible closed subsets of , such that the only possible functions of are unions of these. We can interpret this as Noetherianness forcing some kind of finiteness. This gives some meaning to the statement that generic points are the few crucial points of the scheme. We can completely describe which supports of are the support of an element of : precisely those subsets which are the closure of the subsets of the associated points.
We immediately see from (a) that, if , the generic points of the irreducible components of are the associated primes of , by considering the function . Other associated points of are called embedded points. Thus, in the case of , the only embedded point is the origin. Furthermore the map:
is injective (Once again, we see that the associated points are where all the action happens). We show this by showing that the kernel is . Suppose the function has a germ at each associated point, so its support contains no associated points. It is supported on a closed subset, which by (a), must be the union of closures of associated points. Thus, it must be supported nowhere, and be the zero function.
An element is a zerodivisor of iff it vanishes on some associated point in ; i.e. is contained within some associated prime of .
Associated points/primes can be determined locally. For example, associated points of can be checked by looking at the stalks of the structure sheaf. As another example, associated prime ideals of may be determined by working on a distinguished open cover of . We define the associated points of a locally Noetherian scheme to be those points such that, on any affine open set in containing , corresponds to the associated prime of . This notion is independent of the choice of open neighborhood of : if has two open neighborhoods and , corresponds to the associated prime of (say, corresponds to a prime ideal in and corresponds to a prime ideal in ) iff it corresponds to an associated prime iff it corresponds to an associated prime of .
Combining the properties above, we get the following list of facts:
A Noetherian scheme has finitely many associated points.
Each of the irreducible components of the support of any function of a locally Noetherian scheme is the union of closures of some subset of the associated points.
The generic points of the irreducible components of a locally Noetherian scheme are the associated points.
A reduced locally Noetherian scheme has no embedded points.
A nonreduced locus of a locally Noetherian scheme is the closure of those associated points that have nonreduced stalks.
Furthermore, note that for any integral scheme (for instance, an irreducible affine variety), that is not shared by all schemes, is that for any nonempty open subset , the natural map is an inclusion. Thus, sections over any nonempty open subset, and elements of all stalks, can be thought of as lying in , the stalk at the generic point. Associated primes allow us to generalize this idea.
A rational funtion on a locally Noetherian scheme is an element of the image of for some containing the associated primes. Equivalently, the set of rational functions is the colimit of over the open sets containing associated points. Another equivalent definition: a rational function is a function defined on the open set containing all associated points; i.e. an ordered pair with an open set containing all associated points, and . Two such data define the same rational function iff the restrictions of on are the same. If is reduced, it is the same as requiring that they be defined on an open set of each of the irreducible components. For example, in , is a rational function but is not.
A rational function has a maximal domain of definition because any two actual functions that agree as rational functions must be the same. We say that a rational function must be regular at point if is contained in this maximal domain of definition. For example, in , has domain of definition on everything except at . A rational function is regular if it is regular at all points.
A rational function forms a ring, called total fraction ring or total quotient ring of . If is affine, then this ring is called the total fraction ring of . If is integral, the total fraction ring is the total function field : the stalk at the generic point.
To augment our earlier definitions, let be an -module for arbitarary ring . Then:
A prime is said to be associated to if is an annihilator of element . Equivalently, is associated to iff has a submodule associated to . The set of prime ideals associated to is denoted by . Awkwardly, if is an ideal, the associated prime ideals of the module are said to be the associated prime ideals of .
The properties of associated prime ideals can be listed as follows. Given Noetherian ring and finitely generated:
The set is finite and nonempty.
The natural map is an injection.
The set of zerodivisors of is .
Association commutes with localization. If is a multiplicative set then
If is a Noetherian ring, then any element of any minimal prime is a zerodivisor. Suppose . Then, by minimality of , is a unique prime ideal in , so the element of is nilpotent, because it is contained in all prime ideals of . Thus, for , , so is a zerodivisor.
The associated prime ideals of an ideal turn out to be precisely the radicals of ideals in any primary decomposition.