18 1. Affine and Projective Varieties Definition 1.2.3. Let (X, OX) and (Y, OY ) be geometric spaces. A mor- phism ϕ : (X, OX) → (Y, OY ) is a continuous map ϕ : X → Y such that for every open subset U of Y and every f ∈ OY (U), the function ϕ∗(f) := f ◦ ϕ belongs to OX(ϕ−1(U)). Example 1.2.4. Let X be an affine variety. To each nonempty open set U ⊂ X we assign the ring OX(U) of regular functions on U. Then (X, OX) is a geometric space. Moreover the two notions of morphism agree. Let (X, OX) be a geometric space and let Z be a subset of X with the induced topology. We can make Z into a geometric space by defining OZ(V ) for an open set V ⊂ Z as follows: a function f : V → C is in OZ(V ) if and only if there exists an open covering V = ∪iVi in Z such that for each i we have f|V i = gi|V i for some gi ∈ OX(Ui) where Ui is an open subset of X containing Vi. It is not difficult to check that OZ is a sheaf of functions on Z. We will refer to it as the induced structure sheaf and denote it by OX |Z . Note that if Z is open in X then a subset V ⊂ Z is open in Z if and only if it is open in X, and OX(V ) = OZ(V ). Let X be a topological space and let X = ∪iUi be an open cover. Given sheaves of functions OU i on Ui for each i, which agree on each Ui ∩ Uj, we can define a natural sheaf of functions OX on X by ”gluing” the OU i . Let U be an open subset in X. Then OX(U) consists of all functions on U, whose restriction to each U ∩ Ui belongs to OU i (U ∩ Ui). Let (X, OX) be a geometric space. If x ∈ X we denote by vx the map from the set of C-valued functions on X to C obtained by evaluation at x: vx(f) = f(x). Definition 1.2.5. A geometric space (X, OX) is called an abstract affine variety if the following three conditions hold. a) OX(X) is a finitely generated C-algebra, and the map from X to the set HomC(OX(X), C) of C-algebra morphisms defined by x → vx is a bijection. b) For each f ∈ OX(X), f = 0, the set Xf := {x ∈ X : f(x) = 0} is open, and every nonempty open set in X is a union of some Xf’s. c) OX(Xf) = OX(X)f, where OX(X)f denotes the C-algebra OX(X) lo- calized at f.
Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2011 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.