On The Existence Of Flips

Size: px
Start display at page:

Download "On The Existence Of Flips"

Transcription

1 On The Existence Of Flips Hacon and McKernan s paper, arxiv alg-geom/ Brian Lehmann, February Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry of Algebraic Varieties What is the minimal model program? Looking for some good choice of birational model of smooth projective varieties. The term minimal model has a technical meaning, but we re going to ignore that for the moment. Brief verbal review of surfaces: structure of birational maps, Castelnuovo s theorem One way to generalize is to note that 1-curves have negative intersection with the canonical class K X. A higher-dimension generalization is the cone theorem, which says that we can contract curves for which C.K X is negative. Our goal: reduce to either K X nef, or a mori fiber space. A Mori Fiber Space is a map X Z to a space of smaller dimension, of relative Picard number one, such that K X is relatively ample. (Relative Picard number is: dimension of vector space of all irreducible curves contracted by map, up to numerical equivalence). Compare to situation with surfaces These varieties have special properties, i.e. positivity of K X or having a fibration with Fano fibers, and it s our hope that they will give us a better understanding of their birational equivalence class. In general we can t expect a unique ending point, but we hope to understand the different possibilities as well. Why do we expect that we can do this? If K X is not nef, then by definition there is an irreducible curve C with C.K X < 0. The cone theorem allows us to find a map contracting C. In particular, we come up with a map f : X Z of relative picard number one, with K X relatively ample. There are several possibilities: 1. The dimension of Z is less than that of X 2. dim(x) = dim(z), f is birational and the exceptional locus contains a divisor 1

2 3. dim(x) = dim(z), f is birational and the exceptional locus has codimension at least 2 We want to show that, no matter which category we fall in, we are closer to our goal than before. If we have case 1, then X Z is a Mori fiber space, so we are done. Otherwise, the map is birational. Say that it contracts a divisor. It is not hard to show that the exceptional locus is in fact a divisor, so we contract nothing else. Now Z may be singular, but it turns out that we can get a handle on these types of singularities. In particular, we know that K Z is still Q-Cartier, so we can replace X by Z and continue to run the program. Note that we have removed an obstruction to the nefness of K X. So, we hope that we are closer to a nef divisor than before. In fact, by contracting a divisor, we have reduced the picard number, so we know this type of contraction will have to stop at some point, which will leave us in one of the other cases. Finally, the map may contract something of codimension at least 2. In parallel to the previous case, we hope that we can somehow end up with a variety with canonical class more nef than before. It is this case that gives us the most trouble. Proposition 1.1 Suppose X is a normal proj. Q-factorial variety, and f : X Z is the contraction as in case 3. Then K Z is not Q-Cartier. Proof: If it were, say mk Z is a Cartier divisor, then we would have f (mk Z ) = mk X, except possibly over the contracted subset. Since this subset has codimension at least 2, these two divisors are actually equal. However, let C be a curve contracted by f. We have C.K X < 0 and C.f (K Z ) = 0, a contradiction. So, in case 3, we can no longer run the MMP on the resulting variety Z, since it no longer makes sense to ask whether K Z is nef or not. Flips are defined to give us a handle on this case. 2 Preliminaries Now, we start defining things more precisely. Definition 2.1 A log pair (X, ) is a pair consisting of a normal variety X and a Q-Weil divisor, such that K X + is Q-Cartier. We call the pair Q-factorial if X is. 2

3 Suppose we have a birational map g : Y X, with Y normal. Say that g 1 : X Y is defined on the open set U. For any prime Weil divisor D on X, we define g 1 (D) to be the closure of the image of D U under g 1. In particular, we can extend to = (a i D i ) in the natural way. Then, we have K Y + g 1 ( ) = g (K X + ) + E a(e, )E for some exceptional divisors E. This is because the two sides are isomorphic away from the exceptional locus. These values of a(e, ) give some measure of how singular is. We will deal with two types of singularities of divisors. A divisor (X, ) is purely log terminal if the infimum of such a(e, ) is greater than 1. A divisor (X, ) is Kawamata log terminal if it is purely log terminal, and in addition is 0. Although it seems like these conditions are very hard to confirm, they only really need to be checked on a good log resolution. In particular, is KLT if and only if its multiplier ideal is all of O X. If you re not familiar with these notions, you should think of them as giving some bound on how singular the divisor can be. For example, if is purely log terminal, then is a disjoint union of irreducible normal components. These aren t every type of singularity that comes up in the MMP, but these are sufficient for the purposes of this talk. Definition 2.2 A small contraction is a birational map f : X Z, such that f has connected fibers and the exceptional locus has codimension at least two. The following definition has some minor variants between different authors. Definition 2.3 A flipping contraction for a Q-Cartier divisor D on a normal X is a projective birational map f : X Z such that 1. Z is normal 2. f is a small contraction 3. D is relatively ample If in addition f has relative picard number 1, the contraction is called extremal. Note that our case 3 above meets all of these criteria. So, we re really going to be interested in constructing flips for K X or, more generally, K X +, where is a slightly singular divisor. 3

4 Definition 2.4 Suppose f : X Z is a flipping contraction for D. Then the flip of D, if it exists, is the diagram with X normal, X X birational, and the strict transform D of D is relatively ample and Q-Cartier. We also require that X Z be small. Conceptually speaking, we are doing the following: instead of contracting the exceptional locus, we remove it, and replace it with something which does not have negative intersection with the canonical divisor. So, rather than passing to Z and running the MMP, we have constructed a space X which we hope has K X more nef than before, and we continue running the program there. One can prove that if such an X exists, it shares many of the same properties as X. Proposition 2.5 Let (X, ) be a projective, Q-factorial klt pair, and g : X Z a (flipping) contraction of a (K X + )-negative extremal ray. Suppose that the flip X Z exists. Then 1) X is Q-factorial, and the picard numbers of X and X are the same. 2) The pair (X, ) is also klt. Proof: For 1), we ll need to use a corollary of the cone theorem: Suppose R is the extremal ray which we are contracting. Let C X be a curve generating R. Then we have an exact sequence 0 Pic(Z) Pic(X) Z Where the first map is L g L and the second is M (M.C). Now, since φ : X X is an isomorphism in codimension 1, it induces an isomorphism of Weil divisors. If D is a Weil divisor on X, corresponding to D on X. Then for some rational number r we have R.(D + r(k X + )) = 0. By the above, there is a Cartier divisor D Z on Z such that m(d + r(k X + )) g D Z So, md = mφ (D) (g ) D Z mr(k X + ) is Q-Cartier. I won t prove 2 - the general idea is to take a common resolution of X and X and show the positivity of certain coefficients using the Hodge Index Theorem. The most important questions regarding flips are existence and termination. Existence Conjecture: Let (X, ) be a kawamata log terminal pair, with X Q-factorial. Suppose f : X Z is a flipping contraction for K X +. Then the flip of K X + exists. 4

5 Termination conjecture: Let (X, ) be a kawamata log terminal pair, with X Q-factorial. Then there is no infinite sequence of K X + flips. We can make essentially the same conjectures with R-divisors, if we change our definitions slightly. We restrict ourselves to Q-factorial X, since one can show that this case implies similar results for non-q-factorial X. If these two conjectures are true, then it s clear that the MMP will in fact give us our goal. The goal of this paper is to show that existence and termination in dimension (n 1) leads to existence of flips in dimension n. A warning: although we work almost exclusively with Q-divisors, we need the strength of the conjectures for R-divisors to run the induction. In fact, one can show that existence of flips for Q-divisors implies that of R-divisors. This is not the best result known; the recent paper by Birkar Cascini Hacon McKernan shows the existence of a canonical model for pairs (X, ) with K X + big. In particular this implies the existence of some kind of minimal models for smooth projective varieties. So, why bother with this paper? Well, it introduces many of the ideas that used, and it s still an important result. 3 Basic Properties of Flips What is the general strategy of showing the existence of flips? There are two fundamental propositions that we will need. Proposition 3.1 Let Z be a normal variety, and D a Weil divisor on Z. Then the following are equivalent: 1. m 0 O Z (md) is finitely generated. 2. There exists a projective small contraction g : Y Z such that Y is normal, and the Weil divisor D = g 1 (D) is Q-Cartier and relatively ample. In this case, there is a unique g : Y Z satisfying condition 2. Corollary 3.2 Suppose that (X, ) is a klt, Q-factorial pair, and that f : X Z is a flipping contraction for K X +. Let r Z >0 be such that r(k X + ) is a Cartier divisor. Then, the flip exists if and only if m 0 f O X (mr(k X + )) is a finitely-generated sheaf of O Z ) algebras. If the flip exists, it is unique. 5

6 Proof: Assume 1. By replacing D by some multiple, we may assume that O Z (D) generates m 0 O Z (md). Thus, we may define Y = Proj Z m 0 O Z (md). We need to check the properties given in 2. The natural g : Y Z is birational; in fact, it is an isomorphism on any open set where D is principal. It s clear that Y is normal, and g 1 (D) is the twisting sheaf O Y (1). We just need to show that g : Y Z is a small contraction. Suppose that there were an exceptional divisor E. We would have O Y O Y (E). Then for some sufficiently large m, O Z (md) = g O Y (m) g (O Y (m)(e)). However, O Z (md) is reflexive, i.e. it is the dual of its dual. If a reflexive sheaf and some other sheaf are isomorphic on any open set whose complement has codimension at least 2, then they are isomorphic everywhere. These two sheaves are isomorphic away from the image g(ex(g)). This set has codimension at least 2, giving us our contradiction. Conversely, we first show that O Z (md) = g O Y (md ). Note that g O Y (md ) O Z (md) is an injection: Since g 1 (D) g (D), we have g (g 1 (D)) g g (D) = D. For surjectivity, note a section of O Z (md) on an open set U Z lifts to a section of O Y (md ) on g 1 (U) Ex(g). Since the exceptional locus has codimension at least 2, we can extend the section to all of g 1 (U). Thus the map is also surjective. Now, since D is relatively ample, m 0 O Z (md) is finitely generated (this is just the relative version of the usual fact that the ring of sections of an ample line bundle is finitely generated). Furthermore, Y = Proj m 0 O Z (md), showing that Y is unique. (This is the relative version of the familiar fact from Hartshorne). Because of the local nature of the construction, we will usually assume that Z is affine. Another important idea is the following reduction, due to Shokurov: Definition 3.3 Let f : X Z be a flipping contraction for K X +. We say that this is a pl flipping contraction (for prelimiting) if in addition 1. X is Q-factorial 2. (X, ) is plt 3. S = is irreducible, and S is relatively ample Shokurov also introduced an idea called special termination, a special case of termination of flips. I don t want to get into the exact definition now 6

7 - the only thing we need to know for this paper is that special termination in dimension n is implied by the existence and termination conjectures in dimension n 1. Theorem 3.4 To prove the existence of flips for KLT pairs in dimension n, it suffices to construct flips for pl flipping contractions and prove special termination in dimension n. This idea is useful, because it opens the door for an inductive argument. Specifically, the existence of an irreducible divisor S = allows us to relate dimension n to smaller dimensions. At last, we ve come to a point where we can understand the gist of Hacon and McKernan s proof. They aim to show that pl flips exist in dimension n, assuming existence and termination of flips in lower dimensions. They will prove this by showing that the appropriate algebra is finitely generated. They prove this by induction on dimension, reducing the question to finite generation of a restricted algebra on the divisor S. More explicitly, they: 1. Construct a log resolution Y X under which the transform T of S has nice properties. 2. Find a good birational model T of T, using the induction hypothesis of the MMP in dimension n Show that some algebra on T is finitely generated, using the relationship between T and T. 4. Show that this is equivalent to finite generation of the algebra we started with. Although the proofs of these steps are subtle, they are not too long. 7

On deformation of nef values. Jaros law A. Wiśniewski

On deformation of nef values. Jaros law A. Wiśniewski On deformation of nef values Jaros law A. Wiśniewski Introduction. Let L be an ample line bundle over a smooth projective variety X. It follows from a theorem of Kawamata that if the canonical divisor

More information

GEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE

GEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE GEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE SIJONG KWAK AND JINHYUNG PARK Abstract. We study geometric structures of smooth projective varieties of small degree in birational geometric

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it

More information

FIBER PRODUCTS AND ZARISKI SHEAVES

FIBER PRODUCTS AND ZARISKI SHEAVES FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also

More information

Row Ideals and Fibers of Morphisms

Row Ideals and Fibers of Morphisms Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion

More information

INTRODUCTION TO MORI THEORY. Cours de M2 2010/2011. Université Paris Diderot

INTRODUCTION TO MORI THEORY. Cours de M2 2010/2011. Université Paris Diderot INTRODUCTION TO MORI THEORY Cours de M2 2010/2011 Université Paris Diderot Olivier Debarre March 11, 2016 2 Contents 1 Aim of the course 7 2 Divisors and line bundles 11 2.1 Weil and Cartier divisors......................................

More information

Analytic cohomology groups in top degrees of Zariski open sets in P n

Analytic cohomology groups in top degrees of Zariski open sets in P n Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction

More information

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 24

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 24 INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 24 RAVI VAKIL Contents 1. Degree of a line bundle / invertible sheaf 1 1.1. Last time 1 1.2. New material 2 2. The sheaf of differentials of a nonsingular curve

More information

SINTESI DELLA TESI. Enriques-Kodaira classification of Complex Algebraic Surfaces

SINTESI DELLA TESI. Enriques-Kodaira classification of Complex Algebraic Surfaces Università degli Studi Roma Tre Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Magistrale in Matematica SINTESI DELLA TESI Enriques-Kodaira classification of Complex Algebraic Surfaces

More information

A result of Gabber. by A.J. de Jong

A result of Gabber. by A.J. de Jong A result of Gabber by A.J. de Jong 1 The result Let X be a scheme endowed with an ample invertible sheaf L. See EGA II, Definition 4.5.3. In particular, X is supposed quasi-compact and separated. 1.1 Theorem.

More information

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific

More information

11 Ideals. 11.1 Revisiting Z

11 Ideals. 11.1 Revisiting Z 11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

More information

RESEARCH STATEMENT AMANDA KNECHT

RESEARCH STATEMENT AMANDA KNECHT RESEARCH STATEMENT AMANDA KNECHT 1. Introduction A variety X over a field K is the vanishing set of a finite number of polynomials whose coefficients are elements of K: X := {(x 1,..., x n ) K n : f i

More information

Lectures on rationally connected varieties

Lectures on rationally connected varieties Lectures on rationally connected varieties by Joe Harris at the EAGER Advanced School in Algebraic Geometry in Levico Terme, Trento, September 2001. Notes by Joachim Kock. Contents 1 Definition and good

More information

On Smooth Surfaces of Degree 10 in the Projective Fourspace

On Smooth Surfaces of Degree 10 in the Projective Fourspace On Smooth Surfaces of Degree 10 in the Projective Fourspace Kristian Ranestad Contents 0. Introduction 2 1. A rational surface with π = 8 16 2. A rational surface with π = 9 24 3. A K3-surface with π =

More information

A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE

A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE DANIEL A. RAMRAS In these notes we present a construction of the universal cover of a path connected, locally path connected, and semi-locally simply

More information

Lecture 4 Cohomological operations on theories of rational type.

Lecture 4 Cohomological operations on theories of rational type. Lecture 4 Cohomological operations on theories of rational type. 4.1 Main Theorem The Main Result which permits to describe operations from a theory of rational type elsewhere is the following: Theorem

More information

The Ideal Class Group

The Ideal Class Group Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned

More information

Math 231b Lecture 35. G. Quick

Math 231b Lecture 35. G. Quick Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by

More information

it is easy to see that α = a

it is easy to see that α = a 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

More information

GROUPS ACTING ON A SET

GROUPS ACTING ON A SET GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

More information

Finite covers of a hyperbolic 3-manifold and virtual fibers.

Finite covers of a hyperbolic 3-manifold and virtual fibers. Claire Renard Institut de Mathématiques de Toulouse November 2nd 2011 Some conjectures. Let M be a hyperbolic 3-manifold, connected, closed and oriented. Theorem (Kahn, Markovic) The fundamental group

More information

CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction

CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

More information

7. Some irreducible polynomials

7. Some irreducible polynomials 7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of

More information

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement

More information

TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS

TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS VIPUL NAIK Abstract. In this journey, we are going to explore the so called separation axioms in greater detail. We shall try to understand how these axioms

More information

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).

More information

THE DIMENSION OF A VECTOR SPACE

THE DIMENSION OF A VECTOR SPACE THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field

More information

ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE

ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE Illinois Journal of Mathematics Volume 46, Number 1, Spring 2002, Pages 145 153 S 0019-2082 ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE J. HUISMAN Abstract. Let C be a

More information

FIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3

FIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3 FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges

More information

How To Prove The Dirichlet Unit Theorem

How To Prove The Dirichlet Unit Theorem Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

More information

SOLUTIONS TO ASSIGNMENT 1 MATH 576

SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts

More information

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9 Homework #01, due 1/20/10 = 9.1.2, 9.1.4, 9.1.6, 9.1.8, 9.2.3 Additional problems for study: 9.1.1, 9.1.3, 9.1.5, 9.1.13, 9.2.1, 9.2.2, 9.2.4, 9.2.5, 9.2.6, 9.3.2, 9.3.3 9.1.1 (This problem was not assigned

More information

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

More information

Ideal Class Group and Units

Ideal Class Group and Units Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

More information

Notes on Factoring. MA 206 Kurt Bryan

Notes on Factoring. MA 206 Kurt Bryan The General Approach Notes on Factoring MA 26 Kurt Bryan Suppose I hand you n, a 2 digit integer and tell you that n is composite, with smallest prime factor around 5 digits. Finding a nontrivial factor

More information

3. Prime and maximal ideals. 3.1. Definitions and Examples.

3. Prime and maximal ideals. 3.1. Definitions and Examples. COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,

More information

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a

More information

Kenji Matsuki and Martin Olsson

Kenji Matsuki and Martin Olsson Mathematical Research Letters 12, 207 217 (2005) KAWAMATA VIEHWEG VANISHING AS KODAIRA VANISHING FOR STACKS Kenji Matsuki and Martin Olsson Abstract. We associate to a pair (X, D), consisting of a smooth

More information

1 Chapter I Solutions

1 Chapter I Solutions 1 Chapter I Solutions 1.1 Section 1 (TODO) 1 2 Chapter II Solutions 2.1 Section 1 1.16b. Given an exact sequence of sheaves 0 F F F 0 over a topological space X with F flasque show that for every open

More information

Surface bundles over S 1, the Thurston norm, and the Whitehead link

Surface bundles over S 1, the Thurston norm, and the Whitehead link Surface bundles over S 1, the Thurston norm, and the Whitehead link Michael Landry August 16, 2014 The Thurston norm is a powerful tool for studying the ways a 3-manifold can fiber over the circle. In

More information

Mathematische Zeitschrift

Mathematische Zeitschrift Math. Z. (212 27:871 887 DOI 1.17/s29-1-83-2 Mathematische Zeitschrift Modular properties of nodal curves on K3 surfaces Mihai Halic Received: 25 April 21 / Accepted: 28 November 21 / Published online:

More information

16.3 Fredholm Operators

16.3 Fredholm Operators Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact operators is the closure of the set of finite rank operator in operator norm. In this

More information

ABEL-JACOBI MAP, INTEGRAL HODGE CLASSES AND DECOMPOSITION OF THE DIAGONAL

ABEL-JACOBI MAP, INTEGRAL HODGE CLASSES AND DECOMPOSITION OF THE DIAGONAL J. ALGEBRAIC GEOMETRY 22 (2013) 141 174 S 1056-3911(2012)00597-9 Article electronically published on May 23, 2012 ABEL-JACOBI MAP, INTEGRAL HODGE CLASSES AND DECOMPOSITION OF THE DIAGONAL CLAIRE VOISIN

More information

Errata for Higher-Dimensional Algebraic Geometry by Olivier Debarre

Errata for Higher-Dimensional Algebraic Geometry by Olivier Debarre Errata for Higher-Dimensional Algebraic Geometry by Olivier Debarre page 2 page 4 page 9 I thank A. Alzati, H. Argüz, A. Chambert-Loir, J.-L. Colliot-Thélène, D. Conduché, S. Druel, A. Höring, A. Küronya,

More information

Classification of Cartan matrices

Classification of Cartan matrices Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms

More information

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom. Some Polynomial Theorems by John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.com This paper contains a collection of 31 theorems, lemmas,

More information

Algebraic Geometry. Keerthi Madapusi

Algebraic Geometry. Keerthi Madapusi Algebraic Geometry Keerthi Madapusi Contents Chapter 1. Schemes 5 1. Spec of a Ring 5 2. Schemes 11 3. The Affine Communication Lemma 13 4. A Criterion for Affineness 15 5. Irreducibility and Connectedness

More information

Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces

Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche

More information

o-minimality and Uniformity in n 1 Graphs

o-minimality and Uniformity in n 1 Graphs o-minimality and Uniformity in n 1 Graphs Reid Dale July 10, 2013 Contents 1 Introduction 2 2 Languages and Structures 2 3 Definability and Tame Geometry 4 4 Applications to n 1 Graphs 6 5 Further Directions

More information

Prime Numbers and Irreducible Polynomials

Prime Numbers and Irreducible Polynomials Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.

More information

TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS

TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS OSAMU SAEKI Dedicated to Professor Yukio Matsumoto on the occasion of his 60th birthday Abstract. We classify singular fibers of C stable maps of orientable

More information

Unique Factorization

Unique Factorization Unique Factorization Waffle Mathcamp 2010 Throughout these notes, all rings will be assumed to be commutative. 1 Factorization in domains: definitions and examples In this class, we will study the phenomenon

More information

CONTINUED FRACTIONS AND FACTORING. Niels Lauritzen

CONTINUED FRACTIONS AND FACTORING. Niels Lauritzen CONTINUED FRACTIONS AND FACTORING Niels Lauritzen ii NIELS LAURITZEN DEPARTMENT OF MATHEMATICAL SCIENCES UNIVERSITY OF AARHUS, DENMARK EMAIL: niels@imf.au.dk URL: http://home.imf.au.dk/niels/ Contents

More information

4. Expanding dynamical systems

4. Expanding dynamical systems 4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,

More information

OSTROWSKI FOR NUMBER FIELDS

OSTROWSKI FOR NUMBER FIELDS OSTROWSKI FOR NUMBER FIELDS KEITH CONRAD Ostrowski classified the nontrivial absolute values on Q: up to equivalence, they are the usual (archimedean) absolute value and the p-adic absolute values for

More information

Fiber sums of genus 2 Lefschetz fibrations

Fiber sums of genus 2 Lefschetz fibrations Proceedings of 9 th Gökova Geometry-Topology Conference, pp, 1 10 Fiber sums of genus 2 Lefschetz fibrations Denis Auroux Abstract. Using the recent results of Siebert and Tian about the holomorphicity

More information

Factoring of Prime Ideals in Extensions

Factoring of Prime Ideals in Extensions Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree

More information

COMPUTING DYNAMICAL DEGREES OF RATIONAL MAPS ON MODULI SPACE

COMPUTING DYNAMICAL DEGREES OF RATIONAL MAPS ON MODULI SPACE COMPUTING DYNAMICAL DEGREES OF RATIONAL MAPS ON MODULI SPACE SARAH KOCH AND ROLAND K. W. ROEDER Abstract. The dynamical degrees of a rational map f : X X are fundamental invariants describing the rate

More information

SMALL SKEW FIELDS CÉDRIC MILLIET

SMALL SKEW FIELDS CÉDRIC MILLIET SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite

More information

Non-unique factorization of polynomials over residue class rings of the integers

Non-unique factorization of polynomials over residue class rings of the integers Comm. Algebra 39(4) 2011, pp 1482 1490 Non-unique factorization of polynomials over residue class rings of the integers Christopher Frei and Sophie Frisch Abstract. We investigate non-unique factorization

More information

Group Theory. Contents

Group Theory. Contents Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation

More information

A Short Proof that Compact 2-Manifolds Can Be Triangulated

A Short Proof that Compact 2-Manifolds Can Be Triangulated Inventiones math. 5, 160--162 (1968) A Short Proof that Compact 2-Manifolds Can Be Triangulated P. H. DOYLE and D. A. MORAN* (East Lansing, Michigan) The result mentioned in the title of this paper was

More information

INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

More information

ORIENTATIONS. Contents

ORIENTATIONS. Contents ORIENTATIONS Contents 1. Generators for H n R n, R n p 1 1. Generators for H n R n, R n p We ended last time by constructing explicit generators for H n D n, S n 1 by using an explicit n-simplex which

More information

On the representability of the bi-uniform matroid

On the representability of the bi-uniform matroid On the representability of the bi-uniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every bi-uniform matroid is representable over all sufficiently large

More information

An Innocent Investigation

An Innocent Investigation An Innocent Investigation D. Joyce, Clark University January 2006 The beginning. Have you ever wondered why every number is either even or odd? I don t mean to ask if you ever wondered whether every number

More information

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is

More information

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly

More information

Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

More information

Singular fibers of stable maps and signatures of 4 manifolds

Singular fibers of stable maps and signatures of 4 manifolds 359 399 359 arxiv version: fonts, pagination and layout may vary from GT published version Singular fibers of stable maps and signatures of 4 manifolds OSAMU SAEKI TAKAHIRO YAMAMOTO We show that for a

More information

How To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl)

How To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl) Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness

More information

LOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO

LOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO LOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO PETER MÜLLER AND MICHAEL E. ZIEVE Abstract. Planar functions over finite fields give rise to finite projective planes and other combinatorial objects.

More information

ALGEBRA HW 5 CLAY SHONKWILER

ALGEBRA HW 5 CLAY SHONKWILER ALGEBRA HW 5 CLAY SHONKWILER 510.5 Let F = Q(i). Prove that x 3 and x 3 3 are irreducible over F. Proof. If x 3 is reducible over F then, since it is a polynomial of degree 3, it must reduce into a product

More information

136 CHAPTER 4. INDUCTION, GRAPHS AND TREES

136 CHAPTER 4. INDUCTION, GRAPHS AND TREES 136 TER 4. INDUCTION, GRHS ND TREES 4.3 Graphs In this chapter we introduce a fundamental structural idea of discrete mathematics, that of a graph. Many situations in the applications of discrete mathematics

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

Finite dimensional topological vector spaces

Finite dimensional topological vector spaces Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the

More information

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

More information

So let us begin our quest to find the holy grail of real analysis.

So let us begin our quest to find the holy grail of real analysis. 1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers

More information

ON THE EMBEDDING OF BIRKHOFF-WITT RINGS IN QUOTIENT FIELDS

ON THE EMBEDDING OF BIRKHOFF-WITT RINGS IN QUOTIENT FIELDS ON THE EMBEDDING OF BIRKHOFF-WITT RINGS IN QUOTIENT FIELDS DOV TAMARI 1. Introduction and general idea. In this note a natural problem arising in connection with so-called Birkhoff-Witt algebras of Lie

More information

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

More information

G = G 0 > G 1 > > G k = {e}

G = G 0 > G 1 > > G k = {e} Proposition 49. 1. A group G is nilpotent if and only if G appears as an element of its upper central series. 2. If G is nilpotent, then the upper central series and the lower central series have the same

More information

BANACH AND HILBERT SPACE REVIEW

BANACH AND HILBERT SPACE REVIEW BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but

More information

The cover SU(2) SO(3) and related topics

The cover SU(2) SO(3) and related topics The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of

More information

The Maximum Likelihood Degree

The Maximum Likelihood Degree arxiv:math/0406533v1 [math.ag] 25 Jun 2004 The Maximum Likelihood Degree Fabrizio Catanese, Serkan Hoşten, Amit Khetan, and Bernd Sturmfels Abstract Maximum likelihood estimation in statistics leads to

More information

Introduction to Finite Fields (cont.)

Introduction to Finite Fields (cont.) Chapter 6 Introduction to Finite Fields (cont.) 6.1 Recall Theorem. Z m is a field m is a prime number. Theorem (Subfield Isomorphic to Z p ). Every finite field has the order of a power of a prime number

More information

Lecture Notes on Polynomials

Lecture Notes on Polynomials Lecture Notes on Polynomials Arne Jensen Department of Mathematical Sciences Aalborg University c 008 Introduction These lecture notes give a very short introduction to polynomials with real and complex

More information

GROUP ALGEBRAS. ANDREI YAFAEV

GROUP ALGEBRAS. ANDREI YAFAEV GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite

More information

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

More information

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

More information

TAME AND WILD FINITE SUBGROUPS OF THE PLANE CREMONA GROUP

TAME AND WILD FINITE SUBGROUPS OF THE PLANE CREMONA GROUP TAME AND WILD FINITE SUBGROUPS OF THE PLANE CREMONA GROUP IGOR V. DOLGACHEV To the memory of Vasily Iskovskikh Abstract. We survey some old and new results about finite subgroups of the Cremona group Cr

More information

Bounds For the Effective Nullstellensatz Ideals in Italy

Bounds For the Effective Nullstellensatz Ideals in Italy Bounds for the Hilbert Function of Polynomial Ideals and for the Degrees in the Nullstellensatz Martín Sombra 1 Departamento de Matemática, Facultad de Ciencias Exactas, Universidad de Buenos Aires, 1428

More information

FIXED POINT SETS OF FIBER-PRESERVING MAPS

FIXED POINT SETS OF FIBER-PRESERVING MAPS FIXED POINT SETS OF FIBER-PRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 e-mail: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics

More information

A 2-factor in which each cycle has long length in claw-free graphs

A 2-factor in which each cycle has long length in claw-free graphs A -factor in which each cycle has long length in claw-free graphs Roman Čada Shuya Chiba Kiyoshi Yoshimoto 3 Department of Mathematics University of West Bohemia and Institute of Theoretical Computer Science

More information

Undecidable First-Order Theories of Affine Geometries

Undecidable First-Order Theories of Affine Geometries Undecidable First-Order Theories of Affine Geometries Antti Kuusisto University of Tampere Joint work with Jeremy Meyers (Stanford University) and Jonni Virtema (University of Tampere) Tarski s Geometry

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by

SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples

More information