Monday, November 19th, 2012 | Author: Konrad Voelkel
I recently came across a paper using a "universal domain" to discuss "generic points" of a variety, using Weil's foundations of algebraic geometry instead of Grothendieck's. First I had to learn that stuff, then I wanted to translate it. This lead to a more systematic study of what it means to be a point of a variety or scheme, in the various different definitions.
So in this post I will explain closed points, generic points, points in general position, schematic points, generalized points, rational points, geometric points, and in particular, which of these notions can be considered a particular case of another of these. I will try to give you a hint why one wants to generalize the ordinary (closed) points of a variety that much, to answer the question in the title: "What's the point of this?".
To make it very short: closed points are generic points; "the" generic point of a scheme which isn't a point itself is not a closed point, but a generic point; schematic point is a synonym for generic points, probably used to not confuse "the" generic point of a scheme with more general generic points; general position refers to not lying in some closed subset and is related to the concept of "the" generic point; generalized points are morphisms, in the Yoneda-embedding/functor-of-points sense; rational points are generalized points which are morphisms from honest points, i.e. topologically they're just points, not something more/else.
Now for the longer version. I will assume that you know the definitions of with the corresponding Zariski topologies and for -algebras . I will only talk about affine varieties/schemes , since it should be obvious how one generalizes. I guess Hartshorne's Chapter II.3 will be a sufficient background.
Generalized points: closed points as rational points
Definition: A closed point of a scheme is an element which is its own closure in the Zariski topology: . This amounts to the same as saying that a closed point corresponds to a maximal ideal. So, consists of precisely the closed points of .
Example: is the maximal ideal corresponding to the point .
Definition: A generalized -point of a scheme is a scheme morphism (in the affine context, we could just say a ring morphism ). Therefore, the set of all (generalized) -points is . Consequently, is a (contravariant) functor from the category of commutative rings to the category of sets, and we call this functor "functor of points". We can also consider the map that yields a (covariant) functor from the category of rings to the category of contravariant set-valued functors on rings, called "Yoneda embedding".
Comparison: So, to understand a closed point as a generalized -point, we need to specify a ring and a morphism .
We start with the case of schemes defined over a field , which is algebraically closed (), where we take and define by the morphism of topological spaces which sends the unique point of to the point and the morphism of sheaves (which is just on global sections, and that's all there is) defined by the surjective homomorphism to the residue field of , i.e. the homomorphism , when we consider as a maximal ideal in .
If is not algebraically closed (or the ring is not even a -algebra), the residue field of a point might not be , but some algebraic field extension. In that case, we need to take and then the homomorphism to the residue field defines a sheaf morphism that, together with the continuous map , constitutes a -morphism . So, we get a generalized point for each closed point.
For schemes over a field , we could have just used to define the generalized point corresponding to a closed point . In fact, every algebraic field extension of does the job. This means that there are many generalized points , with some field, whose image in is the same closed point.
Definition: A -rational point of a scheme is a morphism of schemes , in other words, a generalized -point, for a scheme. If is a field extension (so we have ) and is an -rational point that factors over a -rational point , we call this point also and say that is defined over . If a scheme is defined over some field , one calls a -rational point colloquially just a rational point. If a scheme is defined over some field , one calls a -rational point a geometric point (where is the separable closure, which in characteristic is just the algebraic closure ).
To summarize, we just understood how a closed point corresponds to a unique -rational point.
Generic points and the general position
Definition: A generic point of a scheme is an element (which is not necessarily closed, i.e. it corresponds to a prime ideal which isn't necessarily a maximal ideal). The term "schematic point" is a synonym (which emphasizes looking at topological spaces, not generalized points). The closure of in the Zariski topology is some closed subspace which contains . If the closure is the whole , we call the generic point of . In general, a scheme might not have a "the" generic point, but each irreducible component will have one. For an affine scheme this corresponds to the prime ideal , so for varieties this is just the -ideal.
Every generic point is "the" generic point of a subscheme of with underlying topological space . The closed points are generic points of single-point subschemes.
Explanation of general position: Suppose you have a space with some curve . Then, we can say "take a point in general position" to really mean "take a point not on the curve". Maybe more common would be "take another curve, in general position" to really mean "take a curve which intersects the other curve only in finitely many points". In each of these examples, one has a parameter space (in the first example just , in the second the space of all curves on ) and some closed subset of the parameter space to avoid. So, in some sense, "in general position" means "avoiding some closed subset of the parameter space". Avoiding a closed set means being in an open set.
Comparison: The generic point of doesn't sit in some small closed subset, since by definition its closure is the whole and not any smaller closed subset. This means that the generic point is contained in the complement of any closed (proper) subset of , i.e. the generic point is contained in every open subset. Let's say we have some property of schematic points that depends only on the local ring of that point and is stable under further localization. Then, if such a property holds for a point , it automatically holds for all points in . In this sense, such a property of the generic point is a generic property of .
Comparison: Generic points yield generalized points, too. I suppose you can figure it out yourself, but for clarity I'll do it here: Take , then define , where means quotienting out the Nilradical of a ring , to get a nilpotent-free ring , and is the quotient field of . We obtain a morphism as composition and this yields , a -rational point with image exactly .
Sure, we could've just taken to define a morphism , which would be a generalized -point, but not a rational point. In particular, the image wouldn't be just the point but in fact the whole .
Easy exercise: For figure out how residue fields of prime ideals look like and how the global function fields of the subvarieties look like. In particular, for , what is , what is the generic point of and what is their relation?
Why rational points are better than closed points, and base change
Look at the -algebra . Its -rational points are a set isomorphic to , and we can write the multiplication in as a morphism of sets which comes from a morphism of rings which is defined by and (called comultiplication). There, "comes from" means that induces a map of sets and we see that and , so induces the multiplication.
We observe here that is defined over , i.e. we don't need any other coefficients in the definition of . We could as well define , have and define . We say that is "really" defined over .
Now look instead at the closed points of . There we have, for each a maximal ideal , so in some sense . But this is not the whole story, as there is also , which doesn't correspond to any point in . In fact, every point of corresponds to an equivalence class of a point in under complex conjugation. If we look at , we're in a better situation, as and the ideals are maximal ideals of . As noted earlier, the closed points of are precisely the -rational points, so as sets we have . We have just seen that this fails for non-algebraically closed base fields. And it also fails if the base is not even a field, as for example , the base of . The -rational points of however, are always , as a set. If we consider together with , the -rational points even carry the group structure of .
For the sake of completeness: together with is called the multiplicative group (scheme). I consider the functor-of-points approach as particularly useful in the theory of algebraic groups.
Fun exercise: How does the multiplication induced by look like on ? In particular, if we picture the topological space as an closed half-plane in with removed origin, what is the product of and ? This exercise shows that some things are more complicated in the world of schemes than in the world of topological spaces or sets. On the other hand, this complication doesn't appear if we look at generalized points.
Generalized points in Weil's Foundations
Definition: Let be a field extension of infinite transcendence degree, with algebraically closed. Then is called a universal domain for .
Comparison: We can embed any field extension of finite transcendence degree over into , so every homomorphism can be seen as homomorphism . In particular, every generalized point corresponding to any generic point for a -algebra can be seen as a generalized -point, which is defined over , since is a field extension of of finite transcendence degree.
It is my impression that, back in the days of Weil's foundations of algebraic geometry, one didn't care so much about the field of definition, but wrote just "let be a generic point". The problem is, that "the" generic point is not unique, so one had to write "a generic point", where one really didn't care about the choices. These choices are the embeddings , and they're completely irrelevant.
Fun: If you are unhappy with schematic/generic points, and want to stick to closed points without using the functor-of-points approach, there is a cute workaround. Take a -scheme (or just any , in fact) and look at the base change . For example, if we have and , so . The scheme is now a -scheme and the generic point of (which was a -rational point) now gives us (by base change) a -rational point of . In particular, it is a closed point of (which might be clear if you consider the base change to the algebraic closure instead). Using a universal domain we can thus write generic points as closed points of .
Fun with generalized points
Take (bad joke warning: is so small, its square is zero), and a -algebra, then a morphism corresponds to a -algebra homomorphism , which is given by choosing an image of , such that . The set is also called cotangent space of . As a topological space consists of two points: the maximal ideal and the prime ideal (the generic point) . A morphism is just a point of together with a tangent direction. The same game can be played with higher nilpotents, as .
This is useful to talk about Jets, in deformation theory, and I think one of the main reasons one should allow nilpotents in rings of functions in algebraic geometry (i.e. to use schemes and not just varieties).
Points I ignored
I could've talked about topos-theoretic points. A topos-theoretic point is something that allows building stalks and skyscraper sheaves (adjoint functions), so each generalized point gives us a topos-theoretic point for the Zariski topology. There are other Grothendieck topologies which are not so lucky, where there are not enough points, in the precise sense that one cannot check whether a sheaf morphism is an isomorphism by checking it on all stalks.
The valuative criteria for separatedness and properness, as in Hartshorne's book, can be seen more geometrically by interpreting a DVR as the spectrum of the local ring of a curve, in some sense a "curve germ". I always wanted to investigate that a bit more, but don't have the time right now.
Did I miss something else?