MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

Transcription

1 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f : X Y for the structure morphism which is assumed to be of finite type. To show that X is Noetherian, it suffices to show that it is quasi-compact and locally Noetherian. Since Y is quasi-compact, it can be covered by finitely many affine open subsets, say V,..., V n. Then f (V j ) s cover X. Now f is quasi-compact, so each f (V j ) is quasicompact and hence their finite union X is quasi-compact. To show that every point in X has a Noetherian neighborhood, let x X. Since Y is locally Noetherian, f(x) is contained in an affine open subset V = Spec B of Y such that B is Noetherian. Let U = Spec A be an affine neighborhood of x such that U f (V ). Then since f is of finite-type, A is a finitely generated B-algebra, hence A is Noetherian. Moreover, in the above notation, if Y has finite dimension, then dim B < and so by Corollary the finitely generated B-algebra A has finite dimension. So every x X has a neighborhood with finite dimension. Since X is quasi-compact, X itself has finite dimension Show that any open immersion into a localy Noetherian scheme is a morphism of finite type. Let f : X Y be an open immersion where Y is locally Noetherian. Let V be an affine open subscheme of Y. Then by Exercise V is Noetherian. Let U = f (V ), then clearly the restriction f U : U V is also an open immersion; hence by Proposition (a) U is Noetherian. By definition, U is then a finite union of affine open (hence quasi-compact) subschemes, therefore U = f (V ) is quasi-compact. This shows that f is quasi-compact. Let {V i } i be an open covering of Y by affine open subsets. Via f, we can identify X as an open subset of Y. For each i, f (V i ) is quasi-compact by above. Identifying X as an open subscheme of Y, f (V i ) = V i X is an open subset of the affine scheme V i and hence by quasi-compactness can be covered by finitely many principal open sets U ij of V i. We can make the identifications V i = Spec A i for some ring A i and U ij = D(g ij ) where g ij A i. Observe that O Y (V i ) = A i and O X (U ij ) = O Y (U ij ) = O Vi (U ij ) = (A i ) gij such that the induced map O Y (V i ) O X (U ij ) is the localization A i (A i ) gij. In general, if A is a ring and g A, A[X] surjects on A g by the A-algebra homomorphism X /g, so the localization A A g makes A g into a finitely generated A-algebra. Thus O X (U ij ) is a finitely generated algebra over O Y (V i ) for every j. Hence by Proposition f is of finite type.

2 MATH 8253 ALGEBRAIC GEOMETRY WEEK An immersion of schemes is a morphism which is an open immersion followed by a closed immersion. (a) Let f : X Y be an immersion. Show that it can be decomposed into a closed immersion followed by an open immersion. (b) Show that the converse of (a) is true if f is moreover quasi-compact (e.g. if Y is locally Noetherian). Use the scheme-theoretic closure of f (Exercise 2.3.7). (c) Let f : X Y, g : Y Z be two immersions with g quasi-compact. Show that g f is an immersion. (a) Y has a closed subscheme C such that there is an open immersion h : X C such that when composed with the closed immersion i : C Y we get f, that is, f = i h. Identify X as an open subspace of C. Then Y has an open subset V such that X = C V. Since f(x) V and V is open, f restricts to a scheme morphism g : X V, that is, if we write j : V Y for the open immersion, then f = j g. Since X is identified with the closed subspace C V of V via f, the morphism g is a closed immersion of schemes. So j g is a decomposition of the desired form. (b) LATER (c) Write g = a b and f = c d where b, d are open immersions and a, c are closed immersions. Since g is quasi-compact and a is an open immersion b is also quasicompact. Also c, being an open immersion is quasi-compact. Thus the composite b c is quasi-compact. Now by (b), b c = b c where b is an open immersion and c is a closed immersion. Thus?????????????????????????? g f = (a b ) (c d) Let X, Y be schemes over a locally Noetherian scheme S, with Y of finite type over S. Let x X. Show that for any morphism of S-schemes f x : Spec O X,x Y, there exist an open subset U x of X and a morphism of S-schemes f : U Y such that f x = f i x, where i x : Spec O X,x U is the canonical morphism (in other words, the morphism f x extends to an open neighborhood of x). We have a commutative diagram of schemes f x Spec O X,x Y where the diagonal morphism is given by the structure morphism h : X S Consider the image of x in S under the diagonal arrow and find an affine open neighborhood V around it. Then h (V ) is an open subset in X containing x so it contains an affine neighborhood U of x in X. Then since O X (U) maps to O X,x, Spec O X,x S factors through the restriction U V. That is, the diagonal arrow maps to an affine open subset of S. Then making the same argument for f x by taking an affine open W in Y which maps to V and shrinking U if necessary, we reduce to the case where all X, Y and S are affine. S.

3 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 3 Writing X = Spec A, Y = Spec B and S = Spec C and x = p Spec A, the commutative diagram of (now affine) schemes above correspond to the following commutative diagram of rings: A p B In addition to this, there is a ring homomorphism from C to A which is compatible with the above picture. So more compactly, both A and B are C-algebras and ϕ : B A p is a C-algebra homomorphism. We want to find an f A p such that ϕ factors through the canonical map A f A p ; because on the scheme level this amounts to extending the map from Spec O X,x to the principal open set D(f). Note that since C came from an affine open subset of a locally Noetherian scheme, we may assume C is Noetherian. And the finite type assumption ensures that B is a finitely generated C-algebra. So there exists n N such that there is a surjective C-algebra homomorphism C π : C[T,..., T n ] B say with kernel I. Because C is noetherian, so is C[T,..., T n ] (Hilbert basis theorem) therefore I is finitely generated. So I = (g,... g r ) for some polynomials g,..., g r C[T,..., T n ]. Write π(t i ) = b i i =,..., n. B and ϕ(b i ) = a i s i A p (so a i A and s i A p) for each Fix j {,..., m}. Now we know that g j (b,..., b n ) = 0 in B, therefore g j ( a s,... an s n ) = 0 in A p. Clearing the denominators in the latter equation, we get a polynomial g j A[T,..., T n ] such that hence there exists t j A p such that in A (we may take g j = ( n i= s i ) g j ). Now let g j (a,..., a n ) = 0 A p t j g j (a,..., a n ) = 0 n m f = s i t j A p. i= j= Since f is invertible in A f, every s i is invertible in A f. So we can define a C-algebra homomorphism Now since every t j in A f, we have ψ : C[T,..., T n ] A f g j (a,..., a n ) T i s i a i. = 0 A f

4 so by decomposing back we get MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 4 g j (s a,..., s n a n ) = 0. Therefore the polynomial g j C[T,..., T n ] lies in the kernel of ψ. Since this is true for every j =,..., m we get I ker ψ. Thus ψ uniquely factors through B, that is, we get a C-algebra homomorphism B A f which by construction makes B ϕ A p A f commute. This is what we wanted Let S be a locally Noetherian scheme. Let X, Y be S-schemes of finite type. Let us fix s S. Let ϕ : X S Spec O S,s Y S Spec O S,s be a morphism of S-schemes. Show that there exist an open set U s and a morphism of S- schemes f : X S U Y S U such that ϕ is obtained from f by the base change Spec O S,s U. If ϕ is an isomorphism, show that there exists such an f which is moreover an isomorphism. We first solve the problem for for S = Spec A, X = Spec B, Y = Spec C are all affine. By the assumptions, A is Noetherian and B, C are finitely generated A-algebras. Write s = p. So we have an A-algebra map ϕ : B p C p. Let s write ψ : B C p for the composition of ϕ with the localization B B p. Say b,..., b n generate B as an A-algebra. Write ψ(b j ) = c j f j for each j where c j C and f j A p. Let f = n j= f j A p. So ψ factors through B f, say via σ : B f C p Let f : X Y be a morphism of integral schemes. Let ξ be the generic point of X. We say that f is birational if f # ξ : K(Y ) K(X) is an isomorphism. Let us suppose that X and Y are of finite type over a scheme S, and that f is a morphism of S-schemes. Show that f is birational if and only if there exists a non-empty open subset U of X and an open subset V of Y such that f induces an isomorphism from U onto V Let k be a field and k the algebraic closure of k. Let X, Y be algebraic varieties over k, f a morphism from X to Y. Show that there exist a finite extension K of k, algebraic varieties X, Y over K, and a morphism f : X Y, such that X k = X, Y k = Y, and f = f k Let f : X Y be a morphism of schemes. We say that f has finite fibers if f (y) is a finite set for every y Y. We say that f is quasi-finite ([4], II and ErrIII, 20) if, moreover, O X,x is finite over k(y) for every x X y. Show that a morphism of finite type with finite fibers is quasi-finite. Give an example of a morphism with finite fibers which is not quasi-finite.

5 MATH 8253 ALGEBRAIC GEOMETRY WEEK Let A be an integral domain with field of fractions K, and let B be a finitely generated A-algebra. We suppose that B A K is finite over K. (a) For any b B, show that there exists a g A {0} such that gb is integral over A. (b) Show that there exists an h A {0} such that B h is finite over A h. (a) Write S = A {0}. So S B is finite over K = S A. Then for every b B, b/ S B is integral over S A so there exists a 0, a,..., a n A and s 0, s,..., s n S such that Ç å b n + a n s n Ç å b n + + a b s + a 0 = 0. s 0 Write t = n k=0 s k S. Then multiplying the above equation by t n we obtain Ç å tb n + a Ç å n t tb n n Ç å at tb + + a 0t n = 0. s 0 s n Since s k t for every k = 0,..., n, we can write c k = a kt n k (tb) n + c n (tb) n + + c (tb) + c 0 = 0 in S B. So there exists s S such that in B. Then multiplying by s n, we get s(tb) n + sc n (tb) n + + sc (tb) + sc 0 = 0 (stb) n + s 2 c n (stb) n + + s n 2 c (stb) + s n c 0 = 0. Write g = st S. Then the monic polynomial is satisfied by gb. p(x) = X n + s 2 c n X n + + s n 2 c X + s n c 0 A[X] s s k A. So we have (b) Suppose B is generated by b,..., b m B as an A-algebra. By (a), there exists g,..., g m A {0} such that g j b j is integral over A. The elements g j B B are trivially integral over A, therefore if we write h = m j= g j A {0}, the element hb j B is integral over A for every j. Hence the element hb j B h is integral over A h. But h is a unit in A h, so multiplying by /h we obtain that each b j B h is integral over A h. But these elements generate B h over A h ; thus B h is finite over A h (recall that finitely generated + integral implies finite) Let Y be an irreducible scheme with generic point ξ, and let f : X Y be a dominant morphism of finite type (Exercise 2.4.). (a) Let x be a closed point of X ξ. Let Z be the reduced subscheme {x} of X. Show that there exists a dense open subset V of Y such that f (V ) Z V is surjective (use Exercises 2.6 and 2..8). (b) Deduce from this that f(x) contains a dense open subset of Y.

6 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 6 (c) Show that f(x) is a constructible subset of Y, that is f(x) is a finite disjoint union of sets Z i, with each Z i the intersection of an open subset and a closed subset (see [43], Exercise II.3.8) Let B be a finitely generated algebra over a ring A. Show that there exist a subring A 0 of A that is finitely generated over Z and a finitely generated A 0 -algebra B 0 such that B = B 0 A0 A. If B is homogenous, we can take B 0 as homogenous. Remark. We can show, more generally, that if X is a scheme of finite type over A with A Noetherian, then there exist A 0 as above and an A 0 -scheme of finite type X 0 such that X = X 0 Spec A0 Spec A. See [4], IV (ii) Let X S be a proper morphism. Let f : X Y be an open immersion of S-schemes. Let us suppose that Y is separated over S and connected. Show that f is an isomorphism. It suffices to show that f is surjective, since by the definition of open immersion f(x) is an open subset of Y and f factors as (X, O X ) (f(x), O Y f(x) ) (Y, O Y ) Write g : Y S for the structure morphism of Y. We are given that g is separated and g f is proper. Then by Proposition 3.6(e), f is proper. In particular, f is a closed map. Thus f(x) is both open and closed in Y. So f(x) is a nonempty (X should be nonempty for the question to make sense) subset which is both open and closed in Y. Since Y is connected, this forces f(x) = Y Let S be a locally Noetherian scheme, s S. Let Y be a scheme of finite type over Spec O S,s. Show that there exist an open neighborhood U of s and a scheme of finite type X U such that Y = X U Spec O S,s. Moreover, if Y is separated, we can take X U separated Let X be a Y -scheme. (a) Show that for any Y -scheme Z, X red Y Z X Y Z is a closed immersion and a homoeomorphism on the underlying topological spaces. Deduce from this that X Y separated X red Y separated X red Y red separated. (b) Let {F i } i be a finite number of closed subsets of X such that X = i F i. Let us endow F i with the structure of reduced closed subschemes. Show that X Y is separated if and only if F i Y is separated for every i. (c) Let us suppose X is of finite type over Y. Show that X Y proper X red Y proper X red Y red proper. Also show that (b) is true for proper morphisms (by supposing X Y of finite type) Let f : X Y be a surjective morphism. We suppose that Y is connected and that all of the fibers X y are connected. (a) Show that if X is proper over Y, then X is connected. (b) Study the example Spec k[t, T 2 ]/T (T T 2 ) Spec k[t ], where k is a field. Deduce from this that (a) is false if f is not proper.

7 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 7 (a) For the sake of contradiction, suppose that X is not connected. Then there exist disjoint nonempty closed subsets C and D of X such that X = C D. Since f is proper, in particular f is a closed map. So Y = f(x) is equal to the union of the nonempty closed subsets f(c) and f(d). As Y is connected, f(c) f(d). Pick a y from this intersection, so there exist x C and t D such that f(x) = f(t) = y. So x, y are both in f (y). Now we have x f (y) C and t f (y) D. So f (y) C and f (y) D are nonempty disjoint closed subsets of f (Y ) and they cover f (y). Thus f (y) is not connected. But by Proposition 3..6, f (y) is homeomorphic with the fiber X y, which is connected by assumption; a contradiction. (b) Let I and J be the ideals of the ring A = k[t, T 2 ] generated by T and T T 2, respectively. Since = T 2 T (T T 2 ), I and J are coprime, that is, I + J = A. Thus by the Chinese remainder we have A/IJ = A/I A/J. Write B = k[t ]. Consider the k-algebra homomorphism B A given by T T. Composing with the projections A A/I and A A/J, we get ring homomorphisms f : B A/I and g : B A/J. Note that A/I is isomorphic to B and A/J is isomorphic to the localization B T. Under these identifications, we get f to be given by the map T 0 and g to be the localization map B B T (T gets sent to T which is formally inverted with the inverse T 2 ). Let s consider two cases for a prime ideal in p in B: T p. On one hand, there is no prime in B T whose inverse image under g is p. On the other hand, since (T ) is maximal in B, we get p = (T ). Observe that for every q Spec B, we have p = f (0) f (q). But p is maximal and f (q) is prime in A, so p = f (q). T / p. Then there is a unique q Spec B T such that g (q) = p, namely q = p T. However, by what we have seen above, there is no prime ideal in B whose inverse image under f is p. Thus if we consider the ring homomorphism then h : B A/I A/J b (f(b), g(b)), Spec h : Spec A/I Spec A/J Spec B f (q) q g (q) if q Spec A/I if q Spec A/J Let p Spec B. By our analysis above, if T / p there is a unique q Spec A/IJ such that (Spec h)(q) = p, that is, (Spec h) (p) is a singleton, hence connected. And if T p, (Spec h) (p) = Spec B = A k is irreducible since B is a domain, and in particular connected. But Spec A/IJ = Spec A/I Spec A/J is not connected (Rational maps) Let X, Y be schemes over S, which are integral, with Y S separated. A rational map from X to Y, denoted by X Y, is an

8 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 8 equivalence class of morphisms of S-schemes from a non-empty open subscheme of X to Y. Two such morphisms U Y, V Y are called equivalent if they coincide on U V. Let us fix a rational map f : X Y. (a) Show that in every equivalence class, there exists a unique element f : U Y such that U is maximal for the inclusion relation, and that every element g : V Y of the class verifies g = f V. We call U the domain of definition of X Y. We then denote the rational map associated to f by f : X Y. (b) Let us suppose that f is dominant, that X, Y are of finite type over S, and that S is locally Noetherian. Let x X. Show that f is defined at x (i.e., x U) if and only if there exists a y Y such that the image of O Y,y under K(Y ) K(X) is a local ring dominated by O X,x. (c) Let Γ f be the closure in X S Y of the graph of f : U Y. We call it the graph of the rational map f. We endow Γ f with the structure of a reduced closed subscheme. Show that Γ f is integral and that the projection p : X S Y X induces a birational morphism from Γ f to X. (d) Show that there exist a birational morphism g : Z X and a morphism f : Z Y such that f = f g on g (U) (we say that we have eliminated the indetermination of X Y ). Moreover, if Y is proper (reps. projective) over S, we can choose g proper (resp. projective) Let X, Y be integral separated schemes over a Noetherian scheme S. Let f : X Y be a birational map (i.e. f comes from an isomorphism from a nonempty open subset U X onto an open subset of Y ). Show that f is defined everywhere if and only if Γ f X is an isomorphism We say that a morphism of schemes f : X Y is finite (resp. integral) if for every affine open subset V of Y, f (V ) is affine and O X (f (V )) is finite (resp. integral) over O Y (V ). Let f : X Y be a morphism such that there exists an affine open covering Y = i Y i with f (Y i ) affine and O X (f (Y i )) finite over O Y (Y i ). We want to show that f is finite. (a) Show that we can reduce to the case when Y is affine and that Y i = D(h i ) a principal open subset. (b) Show that X then verifies condition (3.2), Subsection Deduce from this that the canonical morphism X Spec O X (X) is an isomorphism (hence X is affine). (c) Show that O X (X) is finite over O Y (Y ) Present a statement analogous to that of Exercise 3.5 by replacing finite morphism with integral morphism Show that the following properties are true. (a) Any finite morphism is of finite type and quasi-finite. (b) The class of finite morphisms verifies hypotheses ()-(3) of Lemma 3.5. (c) Let ρ : A B be a finite ring homomorphism. Then for any ideal I of B, we have (Spec ρ)(v (I)) = V (ρ (I)). (d) Any finite morphism is proper (see also Exercise 3.22).

9 MATH 8253 ALGEBRAIC GEOMETRY WEEK Let K be a number field. We know that the ring of integers O K of K is finite over Z. Show that if X is separated connected scheme containing Spec O K as an open subscheme, then X = Spec O K (use Exercises 3.7(d) and 3.5) Let X be a proper algebraic variety over a field k. Let f : X Y be a morphism of k-schemes with Y affine. Show that f(x) is a finite set of closed points (hint: f factors into X Spec O X (X) Y ).