This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: FIBER PRODUCTS; SEPARATED AND PROPER MORPHISMS PETE L. CLARK 1. Fiber products and base change A very important tool across geometry is the fibered product. Here the basic state ment is simple: given two Sschemes X and Y , the fiber product X S Y exists in the category of schemes. Namely, this is an Sscheme, endowed with Smorphisms X , Y to X and Y , satisfying the following universal mapping property: given any Sscheme Z and Smorphisms f : Z X , g : Z Y , there exists a unique morphism f S g : Z X S Y making the usual diagram (see e.g. Liu, p. 79) commutative. As usual, the first thing to do is consider the affine case with all the arrows re versed. In this case, the object which makes the diagram commute is nothing other than the tensor product R A S . The general case is, as usual, reduced to the affine case by glueing (and, as is often the case, this requires some nontrivial work). Most often we take fiber products over an affine scheme Spec A , and we will abuse notation by writing X A Y rather than X Spec A Y . In particular, for any field (or indeed any ring) k we have A m k k A n k = A m + n k , this being the geometric analogue of the usual statement about tensor products of polynomial rings. A useful fact, which follows immediately from the universal property, is: ( X S Y )( S ) = X ( S ) Y ( S ) . If X is an Sscheme and S is another Sscheme, then we can form the fiber prod uct X S S . This is still an Sscheme, but it is also an Sscheme via the second projection map. This process preciesly, of starting with a scheme over S taking the fiber product with a second scheme S over S , and regarding the fiber product as an Sscheme, is called base change . We denote the base change by X /S . In the case of a field extension k , l and a kscheme X , the base change X /l is a scheme over l . When X is an affine kvariety, this recovers our previous process of base extension by tensorization from k to l . Note that in general a base change from a Spec R scheme to a Spec S involves a homomorphism R S which need not be injective, hence we use the term base change rather than base extension. An extremely important application of base change is to the notion of fibers of a morphism. Let f : X Y be a morphism of schemes, and y Y be any point (closed or otherwise). We want to define a scheme X y , the fiber of f over y in a 1 2 PETE L. CLARK way which generalizes the usual idea of fibers of a map of sets. The key to this is to use the canonical morphism Spec k ( y ) , Y . Then we can define X y := X Y Spec k ( y ) , which is a scheme over the field Spec k ( y )....
View
Full
Document
This note was uploaded on 10/26/2011 for the course MATH 8320 taught by Professor Clark during the Fall '10 term at University of Georgia Athens.
 Fall '10
 Clark
 Algebra, Geometry

Click to edit the document details