Last time, we defined locally ringed spaces and I linked back to an old post where I defined the notion of an abstract variety. We’re going to talk about these objects a bit more today, including, in particular, checking that our old quasi-projective varieties are all abstract varieties. We’re heading for another nice theorem over the next couple of posts, so these next few will be rather pointed.

First, we define a *prevariety* to be a locally ringed space such that there is a collection of open sets such that for each , we have is isomorphic as a locally ringed space to an affine variety. The restriction here is just the values of on the open sets contained in .

So, first off, any affine variety is a prevariety. What about projective varieties? Well, projective space itself is a prevariety, because we can take the collection where is the locus where . Each of these is isomorphic to . Now taking any projective variety, we can intersect it with these and get the appropriate open sets. We will call such a collection an *open affine cover* for short. From this, it’s not hard to see that quasi-projective varieties in general are prevarieties.

But why do we call them prevarieties rather than just varieties? For the answer, look at the projective lines . When we cover this with two copies of , we see that the function mapping from the first affine line to the second, on the overlap, is . What happens if we identified them along the function instead? Well, we get the affine line, but with an extra copy of the origin.

For a moment, to analyze this, we’re going to restrict to the complex numbers and look at things in the usual (or analytic) topology, where open sets are the ones such that every point has a disc around it contianed in the set. Now, we can label each point by other than the two origins, and we can denote them by . So now take any open set containing and call it and any open set containing and call it . The MUST intersect, because each must contain a disc centered at , and so one of these two discs will contain the other! This is an example of a topological space which is not *Hausdorff*. I link to the definition rather than give it because it inspires us to figure out how to throw away the line with the doubled origin, rather than being of direct value. The truth is, except for on finite collections of points, the Zariski topology is NEVER Hausdorff.

However, this lack of topological separation can be overcome, because unlike topologists, we have the arsenal of commutative algebra built into our objects. However, we will take a little bit more inspiration from them. It is a theorem (and not too hard to prove) that a toplogical space is Hausdorff if and only if the map given by has closed image. Now, THIS condition we can use. It requires that I mention something that, shamefully, I forgot to mention right when I defined products back in the Algebraic Groups post. Though we get the same point set as expected from topology, we do NOT get the same topology. Look at . The topology on would only allow finite collections of points and vertical and horizontal lines as closed sets, but yet we have all of the richness of plane curves. So we can see if the condition above (we will say that something is *separated* if it holds) works out for us with our new topologies.

In fact, it does. We define a *variety* (or an *abstract variety*, though we will tend to leave off the word abstract) to be a prevariety such that has closed image. So does this throw away the line with doubled origin? If we call the line , then we note that will be a plane, but with four copies of the origin. However, the image of will contain the diagonal elements, so it only hits and . However, the closure must contain and , and so is not separated, and therefore not a variety.

Are quasi-projective varieties separated? The answer is yes. First off, open and closed subsets of a separated space are separated, so we really only need to check projective space. If we look at the image of , then we can choose to call the variables on the first term of the product and on the second . Then a closed subset is given by a collection of polynomials which are homogeneous in each set of variables separately. The image is just the collection , and so is a variety, by the new definition.

So we have some collection of locally ringed spaces which contains our old notion of variety and excludes some pathological spaces. Does it extend our notion of variety? Well, the answer to this is also yes, but it will require some work to demonstrate it. Once we’ve got a bit more done here (and once I’ve gone through an example carefully on my own) we’ll see that there are varieties which are not quasi-projective. The big reason for it to be a pain, is that given the notion of a proper map and a complete variety (that’s next) it is true that every complete curve is projective and every complete nonsingular surface is projective. So though there are complete but nonprojective varieties, they will need to be singular surfaces or of at least dimension three. The real value in this definition of a variety is that it allows for some flexibility of technique. Extremely important is the fact that the structure sheaf is built in, as later we’ll be using it to define sheaves of modules, which will in turn lead us to turn the geometric subject of vector bundles into something algebraic.

Are there things you can do in the category of abstract varieties that you couldn’t do in the category of quasi-projective varieties? Some limits or colimits that exist in one but not the other?

Actually, its easy to come up with some non-projective abstract varieties, but only because I don’t think you included any finiteness or Noetherian-ness requirement. Then a countable union of quasi-projective varieties will still be locally a variety, and so its an abstract variety. This is also a partial answer to John’s question, since now arbitrary coproducts exist.

However, I think this isn’t really the point, since this ‘enrichment’ just leaving open the door to some silly examples. I think a better motivation for thinking about varieties abstractly rather than as quasi-projective varieties is conceptual. Saying a variety is quasi-projective means it either A) is a subobject of projective space, or B) is an equivalence class of subobjects of projective space (depending on the wording of the definition). This definition is as un-elegent as defining a ‘manifold’ to be a sufficiently nice sub-space of . Sure, it works, but then you need fancy embedding theorems to show that certain nice spaces are actually manifolds. Its better to have an intrinsic characterization, if only to make it more straightforward to check.

Greg beat me to the response. I should have put in some kind of finiteness requirement to avoid the countable disjoint union example, but I didn’t so that example is non-quasi-projective.

And as Greg said, the point is that, like with manifolds, we want an intrinsic definition, and then we can talk about embeddings and to the extrinsic geometry. Also, a lot of definitions are nicer in this language than in the old one (for instance, Cartier Divisors, which we will get to).

I’ve usually seen a variety defined as an integral separated scheme of finite type over a field. Doesn’t the integrality exclude such things as disjoint unions? In particular, you mentioned irreducibility in your earlier posts, but it is noticeably absent here.

I’ve been specifically avoiding using the word “scheme.” I did forget any finiteness or irreducibility condition, and when I get back to this (it will be a bit, some other things have come up) I will start the next post with a correction to the definition to account for things.

Pingback: Schemes « Rigorous Trivialities

Pingback: Representable Functors « Rigorous Trivialities