then D 1 D n = D 1 D n.
|
|
- Malcolm Waters
- 5 years ago
- Views:
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
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 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 informationUnder 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 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 informationThe 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 information7. 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 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 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 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 informationSEPARABLE 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 informationAsymptotic 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 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 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 informationThe 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 informationOn 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 information12. 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 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: 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 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 informationMath 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 informationPacific 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 informationINTERSECTION 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 informationPROBLEMS 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 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 information3. 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 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 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 so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
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. Pseudo-divisors 3 2. Intersecting with divisors 4 2.1.
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 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 informationHigher-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 informationSESHADRI 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 informationFOUNDATIONS 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 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 quasi-projective variety
More informationHolomorphic 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 informationBASE 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 informationFIELDS 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 informationPositivity 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 informationNé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 informationTopics 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 informationVanishing 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 informationA 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 informationLECTURES 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 informationIntersection 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 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 informationLECTURE 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 informationarxiv: 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 informationAlgebraic 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 informationChern 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 informationDivisor 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 informationDiagonal 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 informationCOMPLEX 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 informationAPPLICATIONS 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 informationTHE 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 informationNOTES 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 informationProof 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 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 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
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 informationOral 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 informationRemarks 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 informationFOUNDATIONS 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 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 quasi-projective morphism over an affine base. We develop in this article a technique
More informationNé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 informationAPPENDIX 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 informationBott 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 informationContents. 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 informationMATH 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 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 informationStructure 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 informationarxiv: 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 informationCharacteristic 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 informationis 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 informationALGEBRAIC 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 informationBjorn 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 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. Base-point-free, ample, very ample 2 3. Every ample on a proper has a tensor power that
More informationBRILL-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 informationCOMPLEX 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 informationMinimal 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 informationThe 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 informationFields 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 informationDivisors 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 informationIf 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 informationPacific 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 informationPorteous 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
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 informationAN 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 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 informationLines 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 informationMA 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 informationSERRE 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 informationLocally 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 informationON 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 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 informationlocus 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 informationINDRANIL 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 informationBasic 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 informationThe 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 informationThe 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 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 information