(1) is an invertible sheaf on X, which is generated by the global sections


 April Jenkins
 3 years ago
 Views:
Transcription
1 7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one wors over an arbitrary scheme S. As a compromise we wor over an arbitrary affine variety S = Spec A. As most statements are local on the base, we don t lose any generality. It is customary to say X is a scheme over a ring A, as shorthand for X is a scheme over the corresponding scheme S = Spec A. Theorem 7.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an Amorphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s 1,..., s n, where s i = φ x i. (2) If L is an invertible sheaf on X, which is generated by the global sections s 0, s 1,..., s n, then there is a unique Amorphism φ: X P n A such that L = φ O P n A (1) and s i = φ x i. Proof. It is clear that L is an invertible sheaf. Since x 0, x 1,..., x n generate the ring A[x 0, x 1,..., x n ], it follows that x 0, x 1,..., x n generate the sheaf O P n A (1). Thus s 0, s 1,..., s n generate L. Hence (1). Now suppose that L is an invertible sheaf generated by s 0, s 1,..., s n. Let X i = { p X s i / m p L p }. Then X i is an open subset of X and the sets X 0, X 1,..., X n cover X. Define a morphism φ i : X i U i, where U i is the standard open subset of P n A, as follows: Since U i = Spec A[y 0, y 1,..., y n ], where y j = x j /x i, is affine, it suffices to give a ring homomorphism A[y 0, y 1,..., y n ] Γ(X i, O Xi ). We send y j to s j /s i, and extend by linearity. The ey observation is that the ratio is a welldefined element of O Xi, which does not depend on the choice of isomorphism L Xi O Xi. It is then straightforward to chec that the set of morphisms {φ i } glues to a morphism φ with the given properties. Example 7.2. Let X = P 1, A =, L = O P 1 (2). In this case, global sections of L are generated by S 2, ST and T 2. This morphism is represented globally by [S : T ] [S 2 : ST : T 2 ]. 1
2 The image is the conic XZ = Y 2 inside P 2. More generally one can map P 1 into Pn by the invertible sheaf O P 1(n). More generally still, one can map P m into Pn using the invertible sheaf O P m (1). Corollary 7.3. Aut(P n ) PGL(n + 1, ). Proof. First note that PGL(n+1, ) acts naturally on P n and that this action is faithful. Now suppose that φ Aut(P n ). Let L = φ O P n (1). Since Pic(P n ) Z is generated by O P n (1), it follows that L O P n (±1). As L is globally generated, we must have L O P n (1). Let s i = φ x i. Then s 0, s 1,..., s n is a basis for the vector space H 0 (P n, O P n (1)). But then there is a matrix A = (a ij ) GL(n + 1, ) such that s i = ij a ij x j. Since the morphism φ is determined by s 0, s 1,..., s n, it follows that φ is determined by the class of A in GL(n + 1, ). Lemma 7.4. Let φ: X P n A be an Amorphism. Then φ is a closed immersion if and only if (1) X i = X si is affine, and (2) the natural map of rings A[y 0, y 1,..., y n ] Γ(X i, O Xi ) which sends y i s i s j, is surjective. Proof. Suppose that φ is a closed immersion. Then X i is isomorphic to φ(x) U i, a closed subscheme of affine space. Thus X i is affine. Hence (1) and (2) follows as we have surjectivity on all of the localisations. Now suppose that (1) and (2) hold. Then X i is a closed subscheme of U i and so X is a closed subscheme of P n A. Theorem 7.5. Let X be a projective scheme over an algebraically closed field and let φ: X P n be a morphism over, which is given by an invertible sheaf L and global sections s 0, s 1,..., s n which generate L. Let V Γ(X, L) be the space spanned by the sections. Then φ is a closed immersion if and only if (1) V separates points: that is, given p and q X there is σ V such that σ m P L p but σ / m q L q. 2
3 (2) V separates tangent vectors: that is, given p X the set spans m p L p /m 2 pl p. { σ V σ m p L p }, Proof. Suppose that φ is a closed immersion. Then we might as well consider X P n as a closed subscheme. In this case (1) is clear. Just pic a linear function on the whole of P n which vanishes at p but not at q (equivalently pic a hyperplane which contains p but not q). Similarly linear functions on P n separate tangent vectors on the whole of projective space, so they certainly separate on X. Now suppose that (1) and (2) hold. Then φ is clearly injective. Since X is proper over Spec and P n is separated over Spec it follows that φ is proper. In particular, φ(x) is closed and φ is a homeomorphism onto φ(x). It remains to show that the map on stals O P n,p O X,x, is surjective. But the same piece of commutative algebra as we used in the proof of the inverse function theorem, wors here. Definition 7.6. Let X be a noetherian scheme. We say that an invertible sheaf L is ample if for every coherent sheaf F there is an integer n 0 > 0 such that F O X L n is globally generated, for all n n 0. Lemma 7.7. Let L be an invertible sheaf on a Noetherian scheme. The following are equivalent: (1) L is ample. (2) L m is ample for all m > 0. (3) L m is ample for some m > 0. Proof. (1) implies (2) implies (3) is clear. So assume that M = L m is ample and let F be a coherent sheaf. For each 0 i m 1, let F i = F L i. By assumption there is an integer n i such that F i M n is globally generated for all n n i. Let n 0 be the maximum of the n i. If n n 0 m, then we may write n = qm + i, where 0 i m 1 and q n 0 n i. But then F L m = F i M q, which is globally generated. Theorem 7.8. Let X be a scheme of finite type over a Noetherian ring A and let L be an invertible sheaf on X. Then L is ample if and only if L m is very ample for some m > 0. 3
4 Proof. Suppose that L m is very ample. Then there is an immersion X P r A, for some positive integer r, and Lm = O X (1). Let X be the closure. If F is any coherent sheaf on X then there is a coherent sheaf F on X, such that F = F X. By Serre s result, F() is globally generated for some positive integer. It follows that F() is globally generated, so that L m is ample, and the result follows by (7.7). Conversely, suppose that L is ample. Given p X, pic an open affine neighbourhood U of p so that L U is free. Let Y = X U, give it the reduced induced strucure, with ideal sheaf I. Then I is coherent. Pic n > 0 so that I L n is globally generated. Then we may find s I L n not vanishing at p. We may identify s with s O U and then p U s U, an affine subset of X. By compactness, we may cover X by finitely many such open affines and we may assume that n is fixed. Replacing L by L n we may assume that n = 1. Then there are global sections s 1, s 2,..., s H 0 (X, L) such that U i = U si is an open affine cover. Since X is of finite type, each B i = H 0 (U i, O Ui ) is a finitely generated Aalgebra. Pic generators b ij. Then s n b ij lifts to s ij H 0 (X, L n ), for some positive integer n. Again we might as well assume n = 1. Now let P N A be the projective space with coordinates x 1, x 2,..., x and x ij. Locally we can define a map on each U i to the standard open affine, by the obvious rule, and it is standard to chec that this glues to an immersion. Definition 7.9. Let L be an invertible sheaf on a smooth projective variety over an algebraically closed field. Let s H 0 (X, L). The divisor (s) of zeroes of s is defined as follows: by assumption we may cover X by open subsets U i over which we may identify s Ui with f i O Ui. The defines a Cartier divisor {(U i, f i )}. It is a simple matter to chec that the Cartier divisor does not depend on our choice of trivialisations. Note that as X is smooth the Cartier divisor may safely be identified with the corresponding Weil divisor. Lemma Let X be a smooth projective variety over an algebraically closed field. Let D 0 be a divisor and let L = O X (D 0 ). (1) If s H 0 (X, L), s 0 then (s) D 0. (2) If D 0 and D D 0 then there is a global section s H 0 (X, L) such that D = (s). (3) If s i H 0 (X, L), i = 1 and 2, are two global sections then (s 1 ) = (s 2 ) if and only if s 2 = λs 1 where λ. Proof. As O X (D 0 ) K, the section s corresponds to a rational function f. If D 0 is the Cartier divisor {(U i, f i )} then O X (D 0 ) is locally 4
5 generated by f 1 i so that multiplication by f i induces an isomorphism with O Ui. D is then locally defined by ff i. But then D = D 0 + (f). Hence (1). Now suppose that D > 0 and D = D 0 + (f). Then (f) D 0. Hence f H 0 (X, O X (D 0 )) H 0 (X, K) = K(X), and the divisor of zeroes of f is D. This is (2). Now suppose that (s 1 ) = (s 2 ). Then D 0 + (f 1 ) = (s 1 ) = (s 2 ) = D 0 + (f 2 ). Cancelling, we get that (f 1 ) = (f 2 ) and the rational function f 1 /f 2 has no zeroes nor poles. Since X is a projective variety, f 1 /f 2 = λ, a constant. Definition Let D 0 be a divisor. The complete linear system associated to D 0 is the set We have seen that D 0 = { D Div(X) D 0, D D 0 }. D = P(H 0 (X, O X (D 0 ))). Thus D is naturally a projective space. Definition A linear system is any linear subspace of a complete linear system D 0. In other words, a linear system corresponds to a linear subspace, V H 0 (X, O X (D 0 )). We will then write V = { D D 0 D = (s), s V } P(V ) P(H 0 (X, O X (D 0 ))). Definition Let V be a linear system. The base locus of V is the intersection of the elements of V. Lemma Let X be a smooth projective variety over an algebraically closed field, and let V D 0 be a linear system. V generates O X (D 0 ) if and only if V is base point free. Proof. If V generates O X (D 0 ) then for every point x X we may find an element σ V such that σ(x) 0. But then D = (σ) does not contain x, and so the base locus is empty. Conversely suppose that the base locus is empty. The locus where V is not generated O X (D 0 ) is a closed subset Z of X. Pic x Z a closed point. By assumption we may find D V such that x / D. But then 5
6 if D = (σ), σ(x) 0 and σ generates the stal L x, a contradiction. Thus Z is empty and O X (D 0 ) is globally generated. Example Consider O P 1(4). The complete linear system 4p defines a morphism into P 4, where p = [0 : 1] and q = [1 : 0], given by P 1 P 4, [S : T ] [S 4 : ST 3 : S 2 T 2 : ST 3 : T 4 ]. If we project from [0 : 0 : 1 : 0 : 0] we will get a morphism into P 3, [S : T ] [S 4 : ST 3 : ST 3 : T 4 ]. This corresponds to the sublinear system spanned by 4p, 3p + q, p + 3q, 4q. Consider O P 2(2) and the corresponding complete linear system. The map associated to this linear system is the Veronese embedding P 2 P 5, [X : Y : Z] [X 2 : Y 2 : Z 2 : Y Z : XZ : XY ]. Note also the notion of separating points and tangent directions becomes a little clearer in this more geometric setting. Separating points means that given x and y X, we can find D V such that x D and y / D. Separating tangent vectors means that given any irreducible length two zero dimensional scheme z, with support x, we can find D V such that x D but z is not contained in D. In fact the condition about separating tangent vectors is really the limiting case of separating points. Thining in terms of linear systems also presents an inductive approach to proving global generation. Suppose that we consider the complete linear system D. Suppose that we can find Y D. Then the base locus of D is supported on Y. On the other hand suppose that I is the ideal sheaf of Y in X. Then there is an exact sequence 0 I O X O Y 0. As X is smooth D is Cartier and O X (D) is an invertible sheaf. Tensoring by locally free preserves exactness, so there are short exact sequences, 0 I(mD) O X (md) O Y (md) 0. Taing global sections, we get 0 H 0 (X, I(mD)) H 0 (X, O X (md)) H 0 (Y, O Y (md)). At the level of linear systems there is therefore a linear map D D Y. It is interesting to see what happens for toric varieties. Suppose that X = X(F ) is the toric variety associated to the fan F N R. Recall that we can associate to a T Cartier divisor D = a i D i, a continuous piecewise linear function φ D : F R, 6
7 where F N R is the support of the fan, which is specified by the rule that φ D (v i ) = a i. We can also associate to D a rational polyhedron P D = { u M R u, v i a i i } = { u M R u φ D }. Lemma If X is a toric variety and D is T Cartier then H 0 (X, O X (D)) = χ u. u P D M Proof. Suppose that σ F is a cone. Then, we have already seen that H 0 (U σ, O Uσ (D)) = χ u, where u P D (σ) M P D (σ) = { u M R u, v i a i v i σ }. These identifications are compatible on overlaps. Since H 0 (X, O X (D)) = σ F H 0 (U σ, O Uσ (D)) and the result is clear. P D = σ F P D (σ), It is interesting to compute some examples. First, suppose we consider P 1. A T Cartier divisor is a sum ap+bq (p and q the fixed points). The corresponding function is { ax x > 0 φ(x) = bx x < 0. The corresponding polytope is the interval [ a, b] R = M R. There are a + b + 1 integral points, corresponding to the fact that there are a + b + 1 monomials of degree a + b. For P 2 and dd 3, P D is the convex hull of (0, 0), ( d, 0) and (0, d). The number of integral points is (d + 1) 2 + d + 1 (d + 2)(d + 1) =, which is the usual formula. 7
8 Let D be a Cartier divisor on a toric variety X = X(F ) given by a fan F. It is interesting to consider when the complete linear system D is base point free. Since any Cartier divisor is linearly equivalent to a T Cartier divisor, we might as well suppose that D = a i D i is T Cartier. Note that the base locus of the complete linear system of any Cartier divisor is invariant under the action of the torus. Since there are only finitely many orbits, it suffices to show that for each cone σ F the point x σ U σ is not in the base locus. It is also clear that if x σ is not in the base locus of D then in fact one can find a T Cartier divisor D D which does not contain x σ. Equivalently we can find u M such that u, v i a i, with strict equality if v i σ. The interesting thing is that we can reinterpret this condition using φ D. Definition The function φ: V R is upper convex if φ(λv + (1 λ)w) λφ(v) + (1 λ)w v, w V. When we have a fan F and φ is linear on each cone σ, then φ is called strictly upper convex if the linear functions u(σ) and u(σ ) are different, for different maximal cones σ and σ. Theorem Let X = X(F ) be the toric variety associated to a T Cartier divisor D. Then (1) D is base point free if and only if ψ D is upper convex. (2) D is very ample if and only if ψ D is strictly upper convex and the semigroup S σ is generated by { u u(σ) u P D M }. Proof. (1) follows from the remars above. (2) is proved in Fulton s boo. For example if X = P 1 and φ(x) = { ax x > 0 bx x < 0. so that D = ap + bq then φ is upper convex if and only if a + b 0 in which case D is base point free. D is very ample if and only if a+b > 0. When φ is continuous and linear on each cone σ, we may restate the upper convex condition as saying that the graph of φ lies under the graph of u(σ). It is strictly upper convex if it lies strictly under the graph of u(σ), for all ndimensional cones σ. 8
9 Using this, it is altogether too easy to give an example of a smooth proper toric variety which is not projective. Let F N R = R 3 given by the edges v 1 = e 1, v 2 = e 2, v 3 = e 3, v 4 = e 1 + e 2 + e 3, v 5 = v 3 + v 4, v 6 = v 1 + v 4 and v 7 = v 2 + v 4. Now connect v 1 to v 5, v 3 to v 7 and v 2 to v 6 and v 5 to v 6, v 6 to v 7 and v 7 to v 5. It is not hard to chec that X is smooth and proper (proper translates to the statement that the support F of the fan is the whole of N R ). Suppose that ψ is strictly upper convex. Let w be the midpoint of the line connecting v 1 and v 5. Then w = v 1 + v 5 = v 3 + v Since v 1 and v 5 belong to the same maximal cone, ψ is linear on the line connecting them. In particular ψ(w) = ψ( v 1 + v 5 ) = ψ(v 1) ψ(v 5). Since v 1, v 5 and v 3 belong to the same cone and v 6 does not, by strict convexity, ψ(w) = ψ( v 3 + v 6 ) > ψ(v 3) ψ(v 6). Putting all of this together, we get By symmetry ψ(v 1 ) + ψ(v 5 ) > ψ(v 2 ) + ψ(v 6 ). ψ(v 1 ) + ψ(v 5 ) > ψ(v 3 ) + ψ(v 6 ) ψ(v 2 ) + ψ(v 6 ) > ψ(v 1 ) + ψ(v 7 ) ψ(v 3 ) + ψ(v 7 ) > ψ(v 2 ) + ψ(v 5 ). But adding up these three inequalities gives a contradiction. 9
12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an Amorphism then L = φ O P n
12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an Amorphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationALGEBRAIC GEOMETRY I, FALL 2016.
ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationSection Projective Morphisms
Section 2.7  Projective Morphisms Daniel Murfet October 5, 2006 In this section we gather together several topics concerned with morphisms of a given scheme to projective space. We will show how a morphism
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 RAVI VAKIL CONTENTS 1. A little more about cubic plane curves 1 2. Line bundles of degree 4, and Poncelet s Porism 1 3. Fun counterexamples using elliptic curves
More informationCurves on P 1 P 1. Peter Bruin 16 November 2005
Curves on P 1 P 1 Peter Bruin 16 November 2005 1. Introduction One of the exercises in last semester s Algebraic Geometry course went as follows: Exercise. Let be a field and Z = P 1 P 1. Show that the
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More information4. Images of Varieties Given a morphism f : X Y of quasiprojective varieties, a basic question might be to ask what is the image of a closed subset
4. Images of Varieties Given a morphism f : X Y of quasiprojective varieties, a basic question might be to ask what is the image of a closed subset Z X. Replacing X by Z we might as well assume that Z
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. 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
More informationPreliminary Exam Topics Sarah Mayes
Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition
More information14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski
14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski topology are very large, it is natural to view this as
More informationSynopsis of material from EGA Chapter II, 5
Synopsis of material from EGA Chapter II, 5 5. Quasiaffine, quasiprojective, proper and projective morphisms 5.1. Quasiaffine morphisms. Definition (5.1.1). A scheme is quasiaffine if it is isomorphic
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationthe complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X
2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of kcycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:
More informationPart III Positivity in Algebraic Geometry
Part III Positivity in Algebraic Geometry Theorems with proof Based on lectures by S. Svaldi Notes taken by Dexter Chua Lent 2018 These notes are not endorsed by the lecturers, and I have modified them
More informationWe can choose generators of this kalgebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a prespecified embedding in a projective space. However, an ample line bundle
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of nonconstant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationmult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending
2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasiprojective variety
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Quasicoherent sheaves of ideals, and closed subschemes 1 2. Invertible sheaves (line bundles) and divisors 2 3. Some line bundles on projective
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationP m 1 P(H 0 (X, O X (D)) ). Given a point x X, let
3. Ample and Semiample We recall some very classical algebraic geometry. Let D be an integral Weil divisor. Provided h 0 (X, O X (D)) > 0, D defines a rational map: φ = φ D : X Y. The simplest way to define
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 18
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 18 CONTENTS 1. Invertible sheaves and divisors 1 2. Morphisms of schemes 6 3. Ringed spaces and their morphisms 6 4. Definition of morphisms of schemes 7 Last day:
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective Amodule such that the rank function Spec A N is constant with value 1.
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasicoherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationHomogeneous Coordinate Ring
Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationLecture 3: Flat Morphisms
Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 15]. 1.1 Open and Closed Subschemes If (X, O X ) is a
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationINTERSECTION THEORY CLASS 6
INTERSECTION THEORY CLASS 6 RAVI VAKIL CONTENTS 1. Divisors 2 1.1. Crash course in Cartier divisors and invertible sheaves (aka line bundles) 3 1.2. Pseudodivisors 3 2. Intersecting with divisors 4 2.1.
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationTopology of Toric Varieties, Part II
Topology of Toric Varieties, Part II Daniel Chupin April 2, 2018 Abstract Notes for a talk leading up to a discussion of the HirzebruchRiemannRoch (HRR) theorem for toric varieties, and some consequences
More informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 79 December 2010 1 The notion of vector bundle In affine geometry,
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an Sgroup. A representation of G is a morphism of Sgroups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationSCHEMES. David Harari. Tsinghua, FebruaryMarch 2005
SCHEMES David Harari Tsinghua, FebruaryMarch 2005 Contents 1. Basic notions on schemes 2 1.1. First definitions and examples.................. 2 1.2. Morphisms of schemes : first properties.............
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY Email address: alex.massarenti@sissa.it These notes collect a series of
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Application of cohomology: Hilbert polynomials and functions, Riemann Roch, degrees, and arithmetic genus 1 1. APPLICATION OF COHOMOLOGY:
More informationwhere Σ is a finite discrete Gal(K sep /K)set unramified along U and F s is a finite Gal(k(s) sep /k(s))subset
Classification of quasifinite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasifinite étale separated schemes X over a henselian local ring
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the socalled cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationThe Segre Embedding. Daniel Murfet May 16, 2006
The Segre Embedding Daniel Murfet May 16, 2006 Throughout this note all rings are commutative, and A is a fixed ring. If S, T are graded Aalgebras then the tensor product S A T becomes a graded Aalgebra
More informationAN INTRODUCTION TO AFFINE SCHEMES
AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,
More informationdiv(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:
Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 9
COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution
More information214A HOMEWORK KIM, SUNGJIN
214A HOMEWORK KIM, SUNGJIN 1.1 Let A = k[[t ]] be the ring of formal power series with coefficients in a field k. Determine SpecA. Proof. We begin with a claim that A = { a i T i A : a i k, and a 0 k }.
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationALGEBRAIC GEOMETRY CAUCHER BIRKAR
ALGEBRAIC GEOMETRY CAUCHER BIRKAR Contents 1. Introduction 1 2. Affine varieties 3 Exercises 10 3. Quasiprojective varieties. 12 Exercises 20 4. Dimension 21 5. Exercises 24 References 25 1. Introduction
More informationClassification of Complex Algebraic Surfaces
ALGANT Master Thesis in Mathematics Classification of Complex Algebraic Surfaces Alberto Corato Advised by Prof. Dajano Tossici Università degli Studi di Padova Université de Bordeaux Academic year 2017/2018
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48 RAVI VAKIL CONTENTS 1. The local criterion for flatness 1 2. Basepointfree, ample, very ample 2 3. Every ample on a proper has a tensor power that
More information1 Flat, Smooth, Unramified, and Étale Morphisms
1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An Amodule M is flat if the (rightexact) functor A M is exact. It is faithfully flat if a complex of Amodules P N Q
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine nspace the collection A n k of points P = a 1, a,..., a
More informationProjective Varieties. Chapter Projective Space and Algebraic Sets
Chapter 1 Projective Varieties 1.1 Projective Space and Algebraic Sets 1.1.1 Definition. Consider A n+1 = A n+1 (k). The set of all lines in A n+1 passing through the origin 0 = (0,..., 0) is called the
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for nonstablerationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationMATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1
MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show
More informationINTERSECTION THEORY CLASS 12
INTERSECTION THEORY CLASS 12 RAVI VAKIL CONTENTS 1. Rational equivalence on bundles 1 1.1. Intersecting with the zerosection of a vector bundle 2 2. Cones and Segre classes of subvarieties 3 2.1. Introduction
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasicoherent O Y module.
More informationHYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA
HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA OFER GABBER, QING LIU, AND DINO LORENZINI Abstract. Let X/S be a quasiprojective morphism over an affine base. We develop in this article a technique
More informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More informationLINE BUNDLES ON PROJECTIVE SPACE
LINE BUNDLES ON PROJECTIVE SPACE DANIEL LITT We wish to show that any line bundle over P n k is isomorphic to O(m) for some m; we give two proofs below, one following Hartshorne, and the other assuming
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Proper morphisms 1 2. Schemetheoretic closure, and schemetheoretic image 2 3. Rational maps 3 4. Examples of rational maps 5 Last day:
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasiprojective varieties over a field k Affine Varieties 1.
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationSPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e in a general complete intersection of multidegree
More informationMODULI SPACES OF CURVES
MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background
More informationk k would be reducible. But the zero locus of f in A n+1
Math 145. Bezout s Theorem Let be an algebraically closed field. The purpose of this handout is to prove Bezout s Theorem and some related facts of general interest in projective geometry that arise along
More informationIntroduction to toric geometry
Introduction to toric geometry Ugo Bruzzo Scuola Internazionale Superiore di Studi Avanzati and Istituto Nazionale di Fisica Nucleare Trieste ii Instructions for the reader These are workinprogress notes
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationBasic facts and definitions
Synopsis Thursday, September 27 Basic facts and definitions We have one one hand ideals I in the polynomial ring k[x 1,... x n ] and subsets V of k n. There is a natural correspondence. I V (I) = {(k 1,
More informationInfinite root stacks of logarithmic schemes
Infinite root stacks of logarithmic schemes Angelo Vistoli Scuola Normale Superiore, Pisa Joint work with Mattia Talpo, Max Planck Institute Brown University, May 2, 2014 1 Let X be a smooth projective
More information3.1. Derivations. Let A be a commutative kalgebra. Let M be a left Amodule. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETR CLASS 24 RAVI VAKIL CONTENTS 1. Normalization, continued 1 2. Sheaf Spec 3 3. Sheaf Proj 4 Last day: Fibers of morphisms. Properties preserved by base change: open immersions,
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationVanishing theorems for toric polyhedra
RIMS Kôkyûroku Bessatsu 4x (200x), 000 000 Vanishing theorems for toric polyhedra By Osamu Fujino Abstract A toric polyhedron is a reduced closed subscheme of a toric variety that are partial unions of
More informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
More informationLogarithmic geometry and rational curves
Logarithmic geometry and rational curves Summer School 2015 of the IRTG Moduli and Automorphic Forms Siena, Italy Dan Abramovich Brown University August 2428, 2015 Abramovich (Brown) Logarithmic geometry
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x
More informationFormal power series rings, inverse limits, and Iadic completions of rings
Formal power series rings, inverse limits, and Iadic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationPOSITIVITY FOR TORIC VECTOR BUNDLES
POSITIVITY FOR TORIC VECTOR BUNDLES MILENA HERING, MIRCEA MUSTAŢĂ, AND SAM PAYNE Abstract. We show that a T equivariant vector bundle on a complete toric variety is nef or ample if and only if its restriction
More informationThis is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:
Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties
More information12 Hilbert polynomials
12 Hilbert polynomials 12.1 Calibration Let X P n be a (not necessarily irreducible) closed algebraic subset. In this section, we ll look at a device which measures the way X sits inside P n. Throughout
More informationSection Blowing Up
Section 2.7.1  Blowing Up Daniel Murfet October 5, 2006 Now we come to the generalised notion of blowing up. In (I, 4) we defined the blowing up of a variety with respect to a point. Now we will define
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #15 10/29/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #15 10/29/2013 As usual, k is a perfect field and k is a fixed algebraic closure of k. Recall that an affine (resp. projective) variety is an
More informationarxiv: v1 [math.ag] 14 Mar 2019
ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIHWEI CHANG AND SHINYAO JOW Abstract. Let be a complete variety of dimension n over an algebraically
More information