then D 1 D n = D 1 D n.

Size: px
Start display at page:

Download "then D 1 D n = D 1 D n."

Transcription

1 Lecture 8. Intersection theory and ampleness: revisited. In this lecture, X will denote a proper irreducible variety over k = k, chark = 0, unless otherwise stated. We will indicate the dimension of X by n. As usual by the term variety we mean an irreducible and reduced scheme over k. We wish to define an itersection product n Div(X) Z (D 1, D 2,..., D n ) D 1 D 2 D n. In analogous way to the two-dimensional case, we would like for the intersection product to feature the following 3 basic properties: (1) the intesection product is symmetric and multilinear, i.e., it is linear in every component and it does not depend on the order in which divisors appear; (2) the intesection product only depends on the linear equivalence class of the divisors involved, i.e., if D i D i, i {1,..., n} then D 1 D n = D 1 D n; (3) if D 1,..., D n are all smooth divisor and all intersections are transverse, then D 1 D n = D 1 D n. Remember also that in the case of surfaces we showed that if C X is a curve in X and D a Cartier divisor on X, then D C = deg C (i O X (D)), where i: C X is the closed embedding of the curve in X. We would like to have an analogous property: given any irreducible subvariety V X then the intersection product of D 1,..., D dim V Div(X), (4) D 1 D dim V [V ] = (D 1 V D dim V V ) V. In particular, if H D, D, D 1,..., D n 1 Div(X), then (4 ) D D 1 D n 1 = D 1 D n 1 [H] = (D 1 H D n 1 H ) H. As we did before, we can simply compute intersection numbers by defining the intersection form in the algebraic realm in two different ways. Let D 1,..., D n Div(X) be Cartier divisors and assume that X is projective. Then we know very well at this point, that each of the D i can be written as a difference of very ample divisors D i Hi 1 H2 i, Hj i very ample i, j. Then, we can define the intersection number D 1 D n in the following way, by using very ample divisors and property (3): D 1 D n = Hi 2 Hj 1. I 1,...,n( 1) I From this definition properties (1)(-4) (and (4 ) as well) follow at once. What one needs to verify, though, is that the definition of the interesection product is independent of the choice of the veri ample divisors H j i. 1 j I

2 2 Exercise 1. Let X be a projective irreducible variety. Verify that the definition of the intersection product just given is independent of the choice of the very ample divisors H j i. (Hint: proceed as in the analogous check that we did in Lecture 5 for the 2-dimensional case) Alternatively, we can define the intersection number in terms of Euler characteristic. Remember that in case of surfaces, we showed that: D 1 D 2 = χ(x, O X ) χ(x, O X ( D 1 )) χ(x, O X ( D 2 )) + χ(x, O X ( D 1 D 2 )). Let H 1,..., H n be very ample divisors. Then by property 4) we know that H 1 H n = (H 2 H1 H n n ) H1. Using this property and induction, then we can compute inductively the right hand side term as (H 2 H1 H n n ) H1 = H 1 H n = I {2,...,n}( 1) I χ(h 1, O ( H1 H i H1 )). Using the short exact sequence 0 O X ( H 1 ) O X O H1 0 and for each I {2,..., n} taking the sequence obtained by tensoring each term with O X ( H i), we see immediately that H 1 H n = I {2,...,n}( 1) I (χ(x, O X ( H i )) χ(x, O X ( H 1 D i ))). Hence, we can try to adopt the following formula as the definition of the intersection product: D 1 D n = I {1,...,n}( 1) I χ(x, O X ( D i )). Exercise 2. Let X be a projective variety. Then show that the definition of the intersection product in terms of Euler characteristic is well defined and respects all the needed properties (1)-(4 ) stated above. (Hint: to prove linearity, you may want to prove the following fact: Let E, F, D 1,..., D dim X be Cartier divisors. Then I {2,...,n}( 1) I (χ(x, D i ) χ(x, E D i ) χ(x, F D i ) + χ(x, E F D i ) = 0. I suggest to try and prove this statement by induction on the dimension of X, using the usual reduction about very ample divisors.) The definition of intersection product that we just gave in terms of Euler characteristic does not actually require the variety X to be projective. Actaully, it does not even requiere X to be a variety but merely a scheme. In fact, the Euler characteristic is a well defined quantity on every scheme and moreover, even though we used the assumption on the projectivity of X in the previous exercise to check that such definition of intersection product makes it linear, it is possible to see that that it is actually unnecessary, cf. [D, Chap. 1]. Exercise 3. Let X be a projective variety. Let H be a very ample divisor on X. Then H n = deg H (X), where deg H (X) indicates the degree of X with respect to the embedding of X given by H.

3 3 Definition 0.1. Let X be as above. Let D be a Cartier divisor. Then D is said to be numerically equivalent to 0 if D C = 0, C curve in X. We will denote a divisor D numerically equivalent to 0 by D 0. We will denote by Num(X) Div(X) the subgroup given by all divisors numerically equivalent to 0 Lemma 0.2. Let X be as above and let D Num(X). Then D D 1 D n 1 = 0, D i Div(X), i = 1,..., n 1. Proof. By the usual arguments, it is enough to prove the statement when the D i are all very ample and effective on X. But then D Dn 1 is also a numerically trivial divisor and D D 1 D dim X 1 = D D 1 [D dim X 1 ] and the right hand side vanishes by induction on the dimension of X. The onedimensional case is trivial, by the definition of degree. From the definition of numerical equivalence and of intersection product, it follows that the latter is well defined on those classes in N 1 (X) that contain a representative which is a Cartier divisor. Exercise 4. Let X be a proper algebraic variety. (1) Assume that any Weil divisor D Div(X) is Cartier, then show that the intersection product is a symmetric multilinear form defined over N 1 (X). (2) Assume that for any Weil divisor D Div(X) there exists m N >0 s.t. md is Cartier. Can you still define the intersection product on N 1 (X)? If yes, how? Definition 0.3. Let X be as above. Then the Néron-Severi group of X, denoted N 1 (X), is the group of divisors modulo linear equivalence N 1 (X) := Div(X)/Num(X). Theorem 0.4. Let X be as above. Then N 1 (X) is a finitely generated torsion-free abelian group. The torsion-freeness of N 1 (X) is an immediate consequence of the definitions. In fact, if D is a Cartier divisor on X s.t. nd 0 for some n N >0, then nd C = 0 for any irreducible curve C X. This implies, by linearity of the intersection product, that D C = 0, proving the claim. Definition 0.5. Let X be as above. The Picard number of X, denoted by ρ(x), is the rank of the Néron-Severi group of X, ρ(x) := rank N 1 (X). Remark 0.6 (TBC). When X is a proper smooth complex variety X, then we can explain the Theorem 0.4 in terms of complex geometric data. In fact, in the euclidean topology, we have the following short exact sequence 0 Z O X an OX an 0.

4 4 By taking the associated long exact sequence in cohomology we see that... H 1 (X an, Z) H 1 (X an, O X an) H 1 (X an, O X an) c 1... H 2 (X an, Z) Why do we care about intersection products? Well, first of all, they provide a synthetic way to frame certain enumerative problems, such as counting the cardinality of the interesections of certain subvarieties of a fixed variety. We have seen that they also provide a generalization of the conept of degree of a variety. Let us give one more piece of motivation. Let X be a projective scheme over a noetherian ring A and let O X (1) be a very ample invertible sheaf. Then, recall that the Hilbert polynomial of X with respect to O X (1) is defined as the unique polynomial such that h 0 (X, O X (m)) = P (m), m 0. Moreover, the degree of this polynomial is equal to the dimension of X and the coefficient of the leading term is of the form deg O X (1) (X) dim X!, where deg OX (1)(X) is the degree of X with respect to the embedding given by O X (1). Via the intersection product just defined, we can extend this result to the more general case of all divisors on a projective variety X if we just consider the Euler characteristic rather than h 0 (X, D). Theorem 0.7 (Asymptotic Riemman-Roch). Let X be a normal projective variety. Let D be a Cartier divisor on X and E be a Weil divisor also on X. Then the Euler characteristic of O X (md+e) is a polynomial of degree dim X in m with rational coefficients. More precisely, it has the following (asymptotic) form: χ(x, O X (md + E)) = Dn n! mn + O(m n 1 ). Proof. We work by induction on dim X. The case dim X = 1 is nothing but Riemann-roch theorem for curves which we have already seen. Hence we can prove the inductive step and assume that the theorem has been proven for any normal projective variety of dimension dim X 1. Let H be a very ample divisor on X s.t. H + D is also very ample. Let H H, G H + D sufficiently general members of the corresponding complete linear systems given by theorem 0.8. In particular both this irreducible codimension 1 subvarieties are normal. Let us consider the two folliwng short exact sequences: 0 O X (md + E) O X (md + E + H) O H (md + E + H) 0, and 0 O X ((m 1)D + E) O X (md + E + H) O G (md + E + H) 0. Comparing Euler characteristics: χ(x, O X (md + E + H)) = χ(x, O X (md + E)) + χ(h, O H (md + E + H)) = = χ(x, O X ((m 1)D + E)) + χ(g, O G (md + E + H)).

5 5 Hence, χ(x, O X (md + E)) χ(x, O X ((m 1)D + E)) = = χ(g, O G (md + E + H)) χ(h, O H (md + E + H)) = = Dn 1 (G H) n 1! m n 1 + O(m n 2 ) = = Dn n 1! mn 1 + O(m n 2 ). The final formula now follows from the proof of [Har, Prop. I.7.3]. Theorem 0.8. Let X be a normal quasi projective variety and let H H be the general member of globally generated (finite dimensional) linear system on X. Then H is also normal. Exercise 5. (1) Is it possible to prove the Asymptotic Riemann-Roch formula in the case where X is just an irreducible projective variety? What if X is just a projective scheme? (2) Is it possible to identify the second term in the asymptotic Riemann-Roch formula above? That is, if we write χ(x, O X (md + E)) = Dn n! mn + b n 1 m n 1 + O(m n 2 ), what is b n 1? Try to give an answer in terms of intersection numbers. (Hint: use Riemann-Roch for surfaces to get a first inductive step and then try to argue as in the proof of the asymptotic Riemann-Roch formula). (3) Prove the following generalised form of Asymptotic Riemann-Roch. Let X be an irreducible projective variety. Let D be a Cartier divisor and F be a coherent sheaf on X. Then the Euler characteristic of F(mD) = F O X (md) is a polynomial of degree dim X in m with rational coefficients. More precisely, it has the following (asymptotic) form: χ(x, F(mD)) = rank(f) Dn n! mn + O(m n 1 ). Exercise 6. Let X d be a degree d hypersurface in P n. Compute P t (m) = χ(x d, O Xd (mt)). Exercise 7. Let F 1 be the blow-up of P 2 at one point. Recall that F 1 has a natural fibration π : F 1 P 1. Let F indicate a fibre of π, F P 1. Let E denote the exceptional curve E P 1, E 2 = 1 for the blow-up. (1) Show that all effective divisors on F 1 are linearly equivalent to ae + bf for some choice of a, b N 2. (2) Compute the asymptotic Riemann-Roch formula for divisors of the above form. What can you say about the growth-rate of the higher cohomology groups of such divisors? References [D] O. Debarre, Higher-Dimensional Algebraic Geometry, Springer. [Har] R. Hartshorne, Algebraic Geometry. Springer, GTM 52,

the 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

the 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 k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:

More information

ALGEBRAIC GEOMETRY I, FALL 2016.

ALGEBRAIC 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 information

Under these assumptions show that if D X is a proper irreducible reduced curve with C K X = 0 then C is a smooth rational curve.

Under these assumptions show that if D X is a proper irreducible reduced curve with C K X = 0 then C is a smooth rational curve. Example sheet 3. Positivity in Algebraic Geometry, L18 Instructions: This is the third and last example sheet. More exercises may be added during this week. The final example class will be held on Thursday

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37

FOUNDATIONS 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 information

The Cone Theorem. Stefano Filipazzi. February 10, 2016

The Cone Theorem. Stefano Filipazzi. February 10, 2016 The Cone Theorem Stefano Filipazzi February 10, 2016 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will give an overview

More information

7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical

7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical 7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical divisor. Definition 7.1. We say that a smooth projective surface is minimal if K S is nef. Warning:

More information

Part III Positivity in Algebraic Geometry

Part 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 information

P m 1 P(H 0 (X, O X (D)) ). Given a point x X, let

P 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 information

Algebraic Geometry Spring 2009

Algebraic 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 information

SEPARABLE RATIONAL CONNECTEDNESS AND STABILITY

SEPARABLE RATIONAL CONNECTEDNESS AND STABILITY SEPARABLE RATIONAL CONNECTEDNESS AND STABILIT ZHIU TIAN Abstract. In this short note we prove that in many cases the failure of a variety to be separably rationally connected is caused by the instability

More information

Asymptotic invariants of line bundles, semiampleness and finite generation

Asymptotic invariants of line bundles, semiampleness and finite generation UNIVERSITÀ DEGLI STUDI ROMA TRE FACOLTÀ DI SCIENZE MM. FF. NN. Graduation Thesis in Mathematics by Salvatore Cacciola Asymptotic invariants of line bundles, semiampleness and finite generation Supervisor

More information

LINE BUNDLES ON PROJECTIVE SPACE

LINE 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

Preliminary Exam Topics Sarah Mayes

Preliminary 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 information

The Grothendieck Ring of Varieties

The Grothendieck Ring of Varieties The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define

More information

On the properties of the Integral Part of Ample and Big Divisors

On the properties of the Integral Part of Ample and Big Divisors FACOLTÀ DI SCIENZE MATEMATICHE FISICHE NATURALI Graduation Thesis in Mathematics by Stefano Urbinati On the properties of the Integral Part of Ample and Big Divisors Supervisor Prof. Angelo Felice Lopez

More information

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism 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 A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s

More information

Algebraic Geometry Spring 2009

Algebraic 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 information

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48

FOUNDATIONS 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 information

Math 797W Homework 4

Math 797W Homework 4 Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics STABLE REFLEXIVE SHEAVES ON SMOOTH PROJECTIVE 3-FOLDS PETER VERMEIRE Volume 219 No. 2 April 2005 PACIFIC JOURNAL OF MATHEMATICS Vol. 219, No. 2, 2005 STABLE REFLEXIVE SHEAVES

More information

INTERSECTION THEORY CLASS 7

INTERSECTION THEORY CLASS 7 INTERSECTION THEORY CLASS 7 RAVI VAKIL CONTENTS 1. Intersecting with a pseudodivisor 1 2. The first Chern class of a line bundle 3 3. Gysin pullback 4 4. Towards the proof of the big theorem 4 4.1. Crash

More information

PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013

PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 1. Problems on moduli spaces The main text for this material is Harris & Morrison Moduli of curves. (There are djvu files

More information

COMPLEX ALGEBRAIC SURFACES CLASS 9

COMPLEX 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 information

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X). 3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)

More information

Curves on P 1 P 1. Peter Bruin 16 November 2005

Curves 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 information

CHAPTER 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 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 information

Math 248B. Applications of base change for coherent cohomology

Math 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 so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).

More information

INTERSECTION THEORY CLASS 6

INTERSECTION 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. Pseudo-divisors 3 2. Intersecting with divisors 4 2.1.

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27

FOUNDATIONS 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 information

Chern classes à la Grothendieck

Chern 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 information

Higher-Dimensional Varieties

Higher-Dimensional Varieties Higher-Dimensional Varieties Lecture notes for the CIMPA CIMAT ICTP School on Moduli of Curves February 22 March 4, 2016 Guanajuato, México Olivier Debarre March 11, 2016 Contents 1 Divisors 3 1.1 Weil

More information

SESHADRI CONSTANTS ON SURFACES

SESHADRI CONSTANTS ON SURFACES SESHADRI CONSTANTS ON SURFACES KRISHNA HANUMANTHU 1. PRELIMINARIES By a surface, we mean a projective nonsingular variety of dimension over C. A curve C on a surface X is an effective divisor. The group

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44 RAVI VAKIL CONTENTS 1. Flat implies constant Euler characteristic 1 2. Proof of Important Theorem on constancy of Euler characteristic in flat families

More information

mult 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

mult 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 quasi-projective variety

More information

Holomorphic line bundles

Holomorphic line bundles Chapter 2 Holomorphic line bundles In the absence of non-constant 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 information

BASE POINT FREE THEOREMS SATURATION, B-DIVISORS, AND CANONICAL BUNDLE FORMULA

BASE POINT FREE THEOREMS SATURATION, B-DIVISORS, AND CANONICAL BUNDLE FORMULA BASE POINT FREE THEOREMS SATURATION, B-DIVISORS, AND CANONICAL BUNDLE FORMULA OSAMU FUJINO Abstract. We reformulate base point free theorems. Our formulation is flexible and has some important applications.

More information

FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES

FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES JORDAN RIZOV Abstract. Let X be a scheme over a field K and let M X be the intersection of all subfields L of K such that X has a L-valued point. In

More information

Positivity in Algebraic Geometry I

Positivity in Algebraic Geometry I Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics 48 Positivity in Algebraic Geometry I Classical Setting: Line Bundles and Linear Series Bearbeitet

More information

Néron Models of Elliptic Curves.

Néron Models of Elliptic Curves. Néron Models of Elliptic Curves. Marco Streng 5th April 2007 These notes are meant as an introduction and a collection of references to Néron models of elliptic curves. We use Liu [Liu02] and Silverman

More information

Topics in Algebraic Geometry

Topics in Algebraic Geometry Topics in Algebraic Geometry Nikitas Nikandros, 3928675, Utrecht University n.nikandros@students.uu.nl March 2, 2016 1 Introduction and motivation In this talk i will give an incomplete and at sometimes

More information

Vanishing theorems and singularities in birational geometry. Tommaso de Fernex Lawrence Ein

Vanishing theorems and singularities in birational geometry. Tommaso de Fernex Lawrence Ein Vanishing theorems and singularities in birational geometry Tommaso de Fernex Lawrence Ein Mircea Mustaţă Contents Foreword vii Notation and conventions 1 Chapter 1. Ample, nef, and big line bundles 1

More information

A CONJECTURE ON RATIONAL APPROXIMATIONS TO RATIONAL POINTS

A CONJECTURE ON RATIONAL APPROXIMATIONS TO RATIONAL POINTS A CONJECTURE ON RATIONAL APPROXIMATIONS TO RATIONAL POINTS DAVID MCKINNON Abstract. In this paper, we examine how well a rational point P on an algebraic variety X can be approximated by other rational

More information

LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS

LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LAWRENCE EIN Abstract. 1. Singularities of Surfaces Let (X, o) be an isolated normal surfaces singularity. The basic philosophy is to replace the singularity

More information

Intersection Theory course notes

Intersection Theory course notes Intersection Theory course notes Valentina Kiritchenko Fall 2013, Faculty of Mathematics, NRU HSE 1. Lectures 1-2: examples and tools 1.1. Motivation. Intersection theory had been developed in order to

More information

Classification of Complex Algebraic Surfaces

Classification 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 information

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As

More information

arxiv: v1 [math.ag] 13 Mar 2019

arxiv: v1 [math.ag] 13 Mar 2019 THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show

More information

Algebraic Geometry. Andreas Gathmann. Notes for a class. taught at the University of Kaiserslautern 2002/2003

Algebraic Geometry. Andreas Gathmann. Notes for a class. taught at the University of Kaiserslautern 2002/2003 Algebraic Geometry Andreas Gathmann Notes for a class taught at the University of Kaiserslautern 2002/2003 CONTENTS 0. Introduction 1 0.1. What is algebraic geometry? 1 0.2. Exercises 6 1. Affine varieties

More information

Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point

More information

Divisor class groups of affine complete intersections

Divisor class groups of affine complete intersections Divisor class groups of affine complete intersections Lambrecht, 2015 Introduction Let X be a normal complex algebraic variety. Then we can look at the group of divisor classes, more precisely Weil divisor

More information

Diagonal Subschemes and Vector Bundles

Diagonal Subschemes and Vector Bundles Pure and Applied Mathematics Quarterly Volume 4, Number 4 (Special Issue: In honor of Jean-Pierre Serre, Part 1 of 2 ) 1233 1278, 2008 Diagonal Subschemes and Vector Bundles Piotr Pragacz, Vasudevan Srinivas

More information

COMPLEX ALGEBRAIC SURFACES CLASS 4

COMPLEX ALGEBRAIC SURFACES CLASS 4 COMPLEX ALGEBRAIC SURFACES CLASS 4 RAVI VAKIL CONTENTS 1. Serre duality and Riemann-Roch; back to curves 2 2. Applications of Riemann-Roch 2 2.1. Classification of genus 2 curves 3 2.2. A numerical criterion

More information

APPLICATIONS OF LOCAL COHOMOLOGY

APPLICATIONS OF LOCAL COHOMOLOGY APPLICATIONS OF LOCAL COHOMOLOGY TAKUMI MURAYAMA Abstract. Local cohomology was discovered in the 960s as a tool to study sheaves and their cohomology in algebraic geometry, but have since seen wide use

More information

THE MINIMAL MODEL PROGRAM FOR VARIETIES OF LOG GENERAL TYPE

THE MINIMAL MODEL PROGRAM FOR VARIETIES OF LOG GENERAL TYPE THE MINIMAL MODEL PROGRAM FOR VARIETIES OF LOG GENERAL TYPE CHRISTOPHER D. HACON Contents 1. Preliminaries 2 1.1. Resolution of singularities 2 1.2. Divisors 2 1.3. Ample divisors 5 1.4. Positivity of

More information

NOTES ON DIVISORS AND RIEMANN-ROCH

NOTES ON DIVISORS AND RIEMANN-ROCH NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as

More information

Proof of the Shafarevich conjecture

Proof of the Shafarevich conjecture Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel

More information

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle

Vector 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 7-9 December 2010 1 The notion of vector bundle In affine geometry,

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

(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 information

Oral exam practice problems: Algebraic Geometry

Oral exam practice problems: Algebraic Geometry Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n

More information

Remarks on the existence of Cartier divisors

Remarks on the existence of Cartier divisors arxiv:math/0001104v1 [math.ag] 19 Jan 2000 Remarks on the existence of Cartier divisors Stefan Schröer October 22, 2018 Abstract We characterize those invertible sheaves on a noetherian scheme which are

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves

More information

HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA

HYPERSURFACES 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 quasi-projective morphism over an affine base. We develop in this article a technique

More information

Néron models of abelian varieties

Néron models of abelian varieties Néron models of abelian varieties Matthieu Romagny Summer School on SGA3, September 3, 2011 Abstract : We present a survey of the construction of Néron models of abelian varieties, as an application of

More information

APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY

APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then

More information

Bott vanishing for algebraic surfaces

Bott vanishing for algebraic surfaces Bott vanishing for algebraic surfaces Burt Totaro For William Fulton on his eightieth birthday A smooth projective variety X over a field is said to satisfy Bott vanishing if H j (X, Ω i X L) = 0 for all

More information

Contents. Chapter 3. Local Rings and Varieties Rings of Germs of Holomorphic Functions Hilbert s Basis Theorem 39.

Contents. Chapter 3. Local Rings and Varieties Rings of Germs of Holomorphic Functions Hilbert s Basis Theorem 39. Preface xiii Chapter 1. Selected Problems in One Complex Variable 1 1.1. Preliminaries 2 1.2. A Simple Problem 2 1.3. Partitions of Unity 4 1.4. The Cauchy-Riemann Equations 7 1.5. The Proof of Proposition

More information

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

12. Hilbert Polynomials and Bézout s Theorem

12. 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 information

Structure of elliptic curves and addition laws

Structure of elliptic curves and addition laws Structure of elliptic curves and addition laws David R. Kohel Institut de Mathématiques de Luminy Barcelona 9 September 2010 Elliptic curve models We are interested in explicit projective models of elliptic

More information

arxiv: v1 [math.ra] 5 Feb 2015

arxiv: v1 [math.ra] 5 Feb 2015 Noncommutative ampleness from finite endomorphisms D. S. Keeler Dept. of Mathematics, Miami University, Oxford, OH 45056 arxiv:1502.01668v1 [math.ra] 5 Feb 2015 Abstract K. Retert Dept. of Mathematics,

More information

Characteristic classes in the Chow ring

Characteristic classes in the Chow ring arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic

More information

is a short exact sequence of locally free sheaves then

is a short exact sequence of locally free sheaves then 3. Chern classes We have already seen that the first chern class gives a powerful way to connect line bundles, sections of line bundles and divisors. We want to generalise this to higher rank. Given any

More information

ALGEBRAIC GEOMETRY CAUCHER BIRKAR

ALGEBRAIC GEOMETRY CAUCHER BIRKAR ALGEBRAIC GEOMETRY CAUCHER BIRKAR Contents 1. Introduction 1 2. Affine varieties 3 Exercises 10 3. Quasi-projective varieties. 12 Exercises 20 4. Dimension 21 5. Exercises 24 References 25 1. Introduction

More information

Bjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006

Bjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006 University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional (organized by Jean-Louis Colliot-Thélène, Roger Heath-Brown, János Kollár,, Alice Silverberg,

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48

FOUNDATIONS 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. Base-point-free, ample, very ample 2 3. Every ample on a proper has a tensor power that

More information

BRILL-NOETHER THEORY. This article follows the paper of Griffiths and Harris, "On the variety of special linear systems on a general algebraic curve.

BRILL-NOETHER THEORY. This article follows the paper of Griffiths and Harris, On the variety of special linear systems on a general algebraic curve. BRILL-NOETHER THEORY TONY FENG This article follows the paper of Griffiths and Harris, "On the variety of special linear systems on a general algebraic curve." 1. INTRODUCTION Brill-Noether theory is concerned

More information

COMPLEX ALGEBRAIC SURFACES CLASS 6

COMPLEX ALGEBRAIC SURFACES CLASS 6 COMPLEX ALGEBRAIC SURFACES CLASS 6 RAVI VAKIL CONTENTS 1. The intersection form 1.1. The Neron-Severi group 3 1.. Aside: The Hodge diamond of a complex projective surface 3. Riemann-Roch for surfaces 4

More information

Minimal Model Theory for Log Surfaces

Minimal Model Theory for Log Surfaces Publ. RIMS Kyoto Univ. 48 (2012), 339 371 DOI 10.2977/PRIMS/71 Minimal Model Theory for Log Surfaces by Osamu Fujino Abstract We discuss the log minimal model theory for log surfaces. We show that the

More information

The Canonical Sheaf. Stefano Filipazzi. September 14, 2015

The Canonical Sheaf. Stefano Filipazzi. September 14, 2015 The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over

More information

Fields of cohomological dimension 1 versus C 1 -fields

Fields of cohomological dimension 1 versus C 1 -fields Fields of cohomological dimension 1 versus C 1 -fields J.-L. Colliot-Thélène Abstract. Ax gave examples of fields of cohomological dimension 1 which are not C 1 -fields. Kato and Kuzumaki asked whether

More information

Divisors on a surface

Divisors on a surface Chapter 2 Divisors on a surface 2.1 Bezout s theorem Given distinct irreducible curves C, D P 2 C, C \ D is finite. The naive guess is that the number of points is the product of the degrees of (the defining

More information

If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,

If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2, Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics ON DEGENERATE SECANT VARIETIES WHOSE GAUSS MAPS HAVE THE LARGEST IMAGES Masahiro Ohno Volume 187 No. 1 January 1999 PACIFIC JOURNAL OF MATHEMATICS Vol. 187, No. 1, 1999 ON

More information

Porteous s Formula for Maps between Coherent Sheaves

Porteous s Formula for Maps between Coherent Sheaves Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for

More information

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

(1) is an invertible sheaf on X, which is generated by the global sections 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

More information

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,

More information

where 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

where 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 information

Lines on Projective Hypersurfaces

Lines on Projective Hypersurfaces Lines on Projective Hypersurfaces Roya Beheshti Abstract We study the Hilbert scheme of lines on hypersurfaces in the projective space. The main result is that for a smooth Fano hypersurface of degree

More information

MA 206 notes: introduction to resolution of singularities

MA 206 notes: introduction to resolution of singularities MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be

More information

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank

More information

Locally Free Sheaves

Locally Free Sheaves Locally Free Sheaves Patrick Morandi Algebra Seminar, Spring 2002 In these talks we will discuss several important examples of locally free sheaves and see the connection between locally free sheaves and

More information

ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF

ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical

More information

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY 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 information

locus such that Γ + F = 0. Then (Y, Γ = Γ + F ) is kawamata log terminal, and K Y + Γ = π (K X + ) + E + F. Pick H ample such that K Y + Γ + H is nef

locus such that Γ + F = 0. Then (Y, Γ = Γ + F ) is kawamata log terminal, and K Y + Γ = π (K X + ) + E + F. Pick H ample such that K Y + Γ + H is nef 17. The MMP Using the cone (16.6) and contraction theorem (16.3), one can define the MMP in all dimensions: (1) Start with a kawamata log terminal pair (X, ). (2) Is K X + nef? Is yes, then stop. (3) Otherwise

More information

INDRANIL BISWAS AND GEORG HEIN

INDRANIL BISWAS AND GEORG HEIN GENERALIZATION OF A CRITERION FOR SEMISTABLE VECTOR BUNDLES INDRANIL BISWAS AND GEORG HEIN Abstract. It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed

More information

Basic Algebraic Geometry 1

Basic Algebraic Geometry 1 Igor R. Shafarevich Basic Algebraic Geometry 1 Second, Revised and Expanded Edition Springer-Verlag Berlin Heidelberg New York London Paris Tokyo HongKong Barcelona Budapest Table of Contents Volume 1

More information

The geometry of Landau-Ginzburg models

The geometry of Landau-Ginzburg models Motivation Toric degeneration Hodge theory CY3s The Geometry of Landau-Ginzburg Models January 19, 2016 Motivation Toric degeneration Hodge theory CY3s Plan of talk 1. Landau-Ginzburg models and mirror

More information

The generalized Hodge and Bloch conjectures are equivalent for general complete intersections

The generalized Hodge and Bloch conjectures are equivalent for general complete intersections The generalized Hodge and Bloch conjectures are equivalent for general complete intersections Claire Voisin CNRS, Institut de mathématiques de Jussieu 0 Introduction Recall first that a weight k Hodge

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013

Introduction 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 information