1. Valuative Criteria Specialization vs being closed

Size: px
Start display at page:

Download "1. Valuative Criteria Specialization vs being closed"

Transcription

1 1. Valuative Criteria 1.1. Specialization vs being closed Proposition 1.1 (Specialization vs Closed). Let f : X Y be a quasi-compact S-morphisms, and let Z X be closed non-empty. 1) For every z Z there exits a generic point x Z of Z such that x x. 2) The following are equivalent: i) f(z) Y is a closed subset. ii) The set f(z) is closed under specialization inside Y. iii) If i Z, f( i ) f(z) are generic points, then f({ i }) = {f( i )} in Y. To 1): Let U = Spec B X for any affine open neigbourhood of z. Then Z U X is a closed subset of X with z Z U (WHY). Hence Z U = V (a) for some reduced ideal a B (WHY), and z Z U is a prime ideal of B with z a. And if z Spec B is minimal satisfying z z a [such z always exist (WHY)], then z Z is a generic point of Z U (WHY), and z { z } (WHY). We claim that z Z is a generic point of Z. Indeed, let x Z satisfy x z. Then x lies in all open neighborhoods of x (WHY), hence x Z U = V (a), thus a x z (WHY). Hence we conclude that x = z (WHY). To 2): The implication i) ii) follows from the fact that closed sets are closed under specialization (WHY), and ii) iii) is clear (WHY). For the implication iii) i), notice that we w.l.o.g., we can suppose that X = Z (WHY), and that Y = Spec C is affine (WHY). Hence f being quasi compact implies that Z = f 1 (Y ) is quasi comapact (WHY), thus: Z = α I Z α, I finite, Z α affine open (WHY), hence f(z) = α f(z α ) (WHY). Since Z = α Z α (WHY), and f(z) = α f(z α ), one has: If f(z α ) Y is closed for all α I, then f(z) Y is closed (WHY). Hence w.l.o.g. we can suppose that I = 1, that is, Z = U with U = Spec B, and f : U Y defined by some S-morphimsm ϕ : C B (WHY). Moreover, f(z) Y = Spec C being a closed subset, there exists a reduced ideal a C such that f(z) = V (a) Y (WHY). Hence w.l.o.g., we can suppose that Y = f(z), or equivalently, a = (0), hence ϕ : C B is injective, and C is a reduce ring, i.e., (0) = (0). Lemma. Let ϕ : C B be an injective ring homomorphism. Then the corresponding map ϕ top : Specmin(B) Specmin(C) is surjective. Proof. ex. [Hint: Let Σ C C be the multiplicative system of the non-zero divisors, and R C := Σ 1 C C be the total ring of fractions of C. ThenSpecmax(R C ) = Spec(R C ) = Specmin(C) (WHY), and correspondingly for B. Further, one has S-embeddings C R C, B R B, and R C R B (WHY). Further, Specmax(R C ) = Spec(R C ) = Specmin(C), and correspondingly for B, and R C R B gives rise to a surjective map Spec(R B ) Spec(R C ) (WHY).] We now conclude the proof of assertion 2) as follows: Let y Y = f(z). Further, let y Specmin C be such that z y, hence y y in Y. Finally let i Specmin B satisfy 1

2 f( i ) = y, thus f( i ) = y y. Then y f(z) is a generic point of f(z) = Y (WHY), and i Z is a generic point of Z such that f( i ) = y, and y f({ i }) Closeness via Valuation rings Notations. O K is an S-valuation ring of an S-field K, and m are the generic point, respectively the closed point of T O := Spec O, thus ı : T O canonical. The valuative criteria for being separated and/or universally closed involve / are based on S-valuation rings O K of S-fields K, via diagrams of morphisms in Sch S of the form: ( ) f X f Y ı TO And given such commutative diagrams, the valuative criteria are about existence/uniqueness of morphisms f O : T O X, which make the resulting diagram below commutative: ( ) f X f Y f O ı TO We begin by announcing the following: Proposition 1.2 (Closeness vs Valuation rings). Let f : X Y be a quasi compact S-morphism. Then the following hold: 1) For y, y 0 Y the following are equivalent: i) y y 0 ii) There exists a local Y -domain R, p and a morphism Spec R Y, (0) y, p y 0. 2) For a closed subset Z X, set Σ := { i Z i Z, f( i ) f(z) are generic points }. Then the following are equivalent: i) f(z) Y is a closed subset. ii) For every ( ) with f () Z, there exists ( ) with f O (m) Z. iii) The same assertion, for all Y -isomorphisms f : i := f () with i Σ. 3) Finally one has: f : X Y is closed iff for every generic point i X and all diagrams ( ) in which f : i are Y -isomorphisms, diagrams ( ) exist. Proof. To 1): For the implication i) ii), let y y 0. Equivalently, for every open neighborhood V of y 0, one has y V. Hence if V = Spec C is affine, and y, y 0 Spec(C), one has: y y 0 iff y y 0 as ideals. Thus if O y0 = C y0 is the local ring of y 0, it follows that y Spec C Y lies actually in the image of the canonical S-morphism [which is a topological embedding (WHY)]: Spec O y0 Spec C Y. 2

3 Hence R := O y0 /y y0 endowed with p := (y 0 /y) y0 is a local domain, and C C y0 = O y0 R are S-morphisms giving rise to an S-morphism: Spec R Spec O y0 Spec C X top which is a topological embedding (WHY), such that (0) y, p y 0. For the implication ii) i), let R, p be a local domain, and f R : Spec R X with (0) y, p y 0. Then (0) p implies that y = f R (0) f R (p) = y 0 (WHY). To 2): For y, y 0 Y, by the discussion above above, one has: y y 0 iff there exists a local domain R, p and an S-morphism f R : Spec R Y with (0) y, p y 0. For y = f( i ), i Z generic point, consider the canonical Y -embedding f # i : κ(y) := Quot(R) κ( i ), and set R := f # i (R), p := f # i (p). Then R, p is a local Y -subring of κ( i ). Hence by Chevalley s Theorem, there exists a valuation Y -rin, m of the Y -field κ( i ) which dominates the given local subring R, p of κ( i ). Hence f # i : R R O is a Y -morphism of local rings (WHY), such that the corresponding Y -morphism f O : T O = Spec O Spec R Z satisfies: f ( f O ( i ) ) = y, f ( f O (m) ) = y 0. Finally apply Proposition 1.1, 2), etc. To 3): Let Z X be a closed subset. By assertion 2), one has: f(z) is closed, provided for all i Z, f( i) f(z) generic points, and every diagram ( ) in which f : i is a Y -isomorphism, diagrams ( ) exist. Now let such a situation be given, and i X be a generic point with i i. Consider any affine open subset U = Spec B X with i U. Then i U and i i as prime ideals of B (WHY), and one has a canonical Y -morphisms: B B/ i Quot(B/ i ) = κ( i ). Let i/ i B/ i κ( i ) be the images of i B under B κ( i ), and notice that one has canonical identifications κ( i ) = Quot(B/ i), κ( i) = κ( i/ i ) (WHY). Using Chevalley s Thm, let O 1, m 1 be a valuation ring of K := κ( i ) such that O 1, m 1 dominates B/ i, i/ i and the residue field κ(m 1 ) is an algebraic extension of κ( i) = κ( i/ i ). Then considering any prolongation O, m of O, m under the (algebraic) field extension κ( i) κ(m 1 ), one has: The preimage O, m of O, m under O 1 κ(m 1 ) is a valuation ring of K = ( i ) satisfying: - m 1 Spec O, and O 1 = O m1. - O/m 1 = O, m/m 1 = m. Therefore one has: - O O gives a closed immersion Spec O Spec O = T O with (0) m 1, m 0 m. Let Spec O = T O be the generic point, and f : i be the identity Y -map K κ( i ). Then we get a diagram ( ), and consider the resulting commutative diagram: ( ) f X f Y f O ı TO Since B B/ i O 1, the canonical S-morphisms Spec O 1 Spec B/ i Spec B = U satisfy: m 1 i/ i i (WHY), hence f O (m 1 ) = i Z (WHY). Hence m 1 m in T O, 3

4 implies that i = f O (m 1 ) f O (m). Thus Z being closed under specialization, i Z implies that f O (m) Z. Hence setting f O := f O (T O T O ), we get: f O ( ) = f O (m 1 ) = i Z, f O (m ) = f O (m) Z Valuative Criterion for Separated In the notation from the previous subsections one has: Theorem 1.3 (Valuative criterion for separated). For a quasi compact S-morphism f : X Y the following are equivalent: i) The morphism f is separated. ii) For every diagram ( ) as above, there exists at most one Y -morphism f O : T O X making the diagram ( ) commutative. iii) The same assertion for all Y -isomorphisms f : i with i X the generic points. Proof. i) ii): Suppose that f : X Y is separated, and a diagram ( ) be given. Let f, f : T O X be Y -morphisms making the diagram ( ) commutative. Then there exits a unique f : T O X Y X such that p X f = f, p X f = f (WHY). Further, since f () = f K () = f () (WHY), it follows that f() = f K () (WHY). Finally, recalling that p for all p T O, it follows that f() f(p) for all p T O (WHY). Since (X) X Y X is closed, and f() (X), by Proposition 1.1, above, it follows that f(p) (X). Hence im( f) (X), and therefore, f (p) = p X f(p) = p X f(p) = f (p), p T O, thus concluding that f = f (WHY). ii) iii): Clear. iii) i): We have to show that (X) X Y X is a closed subset. First notice that since f : X Y is quasi compact, so is : X X Y X (WHY). Hence by the Proposition 1.1 above, (X) X Y X is closed iff for every generic point i X, letting Z i := { i } X be the closure of i in X, one has: - (Z i ) X Y X is closed under specialization inside X Y X (WHY). Since the canonical embedding Z i Y Z i X Y X is a closed immersion (WHY), it suffices to prove that (Z i ) Z i Y Z i is closed. Equivalently, w.l.o.g., we can suppose that X = Z i is irreducible (WHY), with generic point X. Then (X) has generic point := ( X ), and consider the induced morphism of Y -fields # X : κ( ) κ( X ). Now let z inside X Y X. Let O z, m z be the local ring of z, and O, m κ( X ) be its image under # X. Proceeding as in the proof of Proposition 1.2, let O, m κ( X ) be a valuation ring which dominates O, m. Then the morphism of local Y -rings O z O O gives rise to a Y -morphism f : T O Spec O z X Y 4 X

5 such that f() = and f(m) = z. Then f := p X f and f := p X f are Y -morphisms T O X which satisfy: f () = X = f () (WHY). By the uniqueness of T O X as in diagram ( ), it follows that f = f, and therefore, p X(z) = p X f(z) = f (m) = f (m) = p X f(z) = p X(z) thus concluding that z (X). Hence finally (X) is closed, as claimed Valuative criterion for universally closed In the notation from the previous subsections one has: Theorem 1.4 (Valuative criterion for universally closed). For a quasi compact S-morphism f : X Y the following are equivalent: i) The morphism f is universally closed. ii) For every diagram ( ) as above, there exists at least one Y -morphism f O : T O X making the diagram ( ) commutative. iii) The same assertion for all Y -isomorphisms f : i with i X the generic points. Proof. i) ii): In the notations of the Theorem 1.4, let x := f (), hence f # : κ(x ) K is an Y -isomorphism. The Y -morphisms f : X, T O define a unique Y -morphism f : X Y T O such that p X f = f, p TO f = ı, as in the diagram below X f p X f ı X Y T O Then := f() satisfies: p X ( ) = x, and p TO ( ) =, thus one has Y -isomorphism of fields: T O p TO f # κ(x ) κ() p# T O κ( ) (WHY) Let Z X Y T O be the closure of Z := f() in X Y T O. Then Z is the generic point of Z (WHY), and Z := {z X Y T O Z z}. Hence f being universally closed, implies that p TO (Z) T O is closed (WHY). Since = p TO f () = p TO ( Z ) (WHY), it follows that p TO (Z) = T O (WHY). Let z Z be a preimage of m under p TO. Then Spec O Z,z Z satisfies: First, p TO (Spec O Z,z ) T O. Second, since Z Z is (by definition) the generic point of Z, one has Z Spec O Z,z (WHY). Hence O Z,z κ( Z ) is a local Y -subring of κ( Z ) with Quot(O Z,z ) = κ( Z ), and p TO : Spec O Z,z T O is defined by a Y -morphism of local rings p # T O : O O Z,z (WHY), giving rise to a fraction field Y -isomorphism Quot(O) = κ() p# T O κ(z ) = Quot(O Z,z ). Since O is a valuation ring, conclude that local ring morphism p # T O : O O Z,z must be an isomorphism (WHY). Finally, the inverse ı O : O Z,z O of p # T O gives rise to a Y -morphism f ıo : T O = Spec O Spec O Z,z Z X Y T O such that p TO f ıo = id TO. Hence f O := p X f TO : T O X is an Y -morphism as in diagram ( ) (WHY). 5

6 ii) iii): Clear. iii) i): Let g : T Y be an S-morphism, and setting X T := X Y T, we have to show that p T : X T T is closed, i.e., given any Z X T = X Y T closed subset, p T (Z) T is closed. Consider the following reduction steps: - Y = i I V i be a affine open covering of Y, and X i := f 1 (X i ) X, T i := g 1 (V i ) T. Then X i X, T i T are open subsets (WHY), and one has canonically X i Y T i = p 1 X (X i) p 1 T (T i) X Y T (WHY). Finally, Z i := Z (X i Y T i ) is closed in X i Y T i, and p T (Z) T i = p T (Z i ); and p T (Z) T is closed iff p T (Z i ) T i is closed (WHY). Hence w.l.o.g., Y is affine, and X = f 1 (Y ) implies: X is quasi compact (WHY). - p T (Z) T is closed iff p T (Z) U is closed in U for all affine open subsets U = Spec C of T (WHY). Hence w.l.o.g., T = Spec C is affine, thus quasi compact (WHY). Conclude that w.l.o.g., Y, T are affine S-schemes, X is a quasi-compact, hence X Y T is quasi compact, and p T, p X are quasi compact morphism (WHY). Finally, we have to show that p T : X Y T T is closed. Hence by Proposition 1.2, 3), we have to show that for every generic point i X Y T, and every commutative diagram of morphisms of T -schemes ( ) X Y T p T T f ı TO there exist f O : T O X Y T making the corresponding diagrams ( ) commutative. First notice that for the given i X Y T, the points i := p X ( i ) X, i := p T ( i ) T are generic points of X, respectively T (WHY). Hence setting : T O T p T Y, f : X Y T p X X, one has f () = i (WHY), and the diagram ( ) above gives rise to ( ) X f Y p X f ı TO g O Next recall that p X f : f i i gives rise to a Y -embedding of fields K := κ( i) κ( i ) κ() =: K. Hence letting m, O K be the preimages of m O under π, one has Y -morphisms p : T O = Spec O Spec O =: T O such that p() = and p(m) = m, and O, m is a valuation ring of K. Finally, i i factors uniquely as i and i is an isomorphism (WHY), and T O T Y 6

7 factors uniquely as T O T O Y (WHY). Conclude that ( ) gives rise canonically to ( ) f X f Y ı T O with f : i a Y -isomorphism. Hence since i X is (by construction) a generic point of X, by the hypothesis iii), there exists f O : T O X making the corresponding diagram ( ) commutative: ( ) f X f Y f O ı T O f O Therefore, the Y -morphism f O : T O T O X together with : T O T give rise to a unique Y -map f O : T O X Y T such that p T f O =, p X f O = f O. Hence we get a commutative diagram of T -morphims ( ) Department of Mathematics University of Pennsylvania DRL, 209 S 33rd Street Philadelphia, PA USA address: pop@math.upenn.edu URL: X Y T p T T f f O ı TO 7

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More 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

Lecture 3: Flat Morphisms

Lecture 3: Flat Morphisms Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a

More information

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show

More information

NONSINGULAR CURVES BRIAN OSSERMAN

NONSINGULAR CURVES BRIAN OSSERMAN NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that

More information

DEFORMATIONS VIA DIMENSION THEORY

DEFORMATIONS VIA DIMENSION THEORY DEFORMATIONS VIA DIMENSION THEORY BRIAN OSSERMAN Abstract. We show that standard arguments for deformations based on dimension counts can also be applied over a (not necessarily Noetherian) valuation ring

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about

More information

The Proj Construction

The Proj Construction The Proj Construction Daniel Murfet May 16, 2006 Contents 1 Basic Properties 1 2 Functorial Properties 2 3 Products 6 4 Linear Morphisms 9 5 Projective Morphisms 9 6 Dimensions of Schemes 11 7 Points of

More information

Lecture 9 - Faithfully Flat Descent

Lecture 9 - Faithfully Flat Descent Lecture 9 - Faithfully Flat Descent October 15, 2014 1 Descent of morphisms In this lecture we study the concept of faithfully flat descent, which is the notion that to obtain an object on a scheme X,

More information

PROBLEMS, MATH 214A. Affine and quasi-affine varieties

PROBLEMS, MATH 214A. Affine and quasi-affine varieties PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset

More information

Adic Spaces. Torsten Wedhorn. June 19, 2012

Adic Spaces. Torsten Wedhorn. June 19, 2012 Adic Spaces Torsten Wedhorn June 19, 2012 This script is highly preliminary and unfinished. It is online only to give the audience of our lecture easy access to it. Therefore usage is at your own risk.

More information

Synopsis of material from EGA Chapter II, 3

Synopsis of material from EGA Chapter II, 3 Synopsis of material from EGA Chapter II, 3 3. Homogeneous spectrum of a sheaf of graded algebras 3.1. Homogeneous spectrum of a graded quasi-coherent O Y algebra. (3.1.1). Let Y be a prescheme. A sheaf

More information

VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS

VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where

More information

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)]. Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.

More information

Extension theorems for homomorphisms

Extension theorems for homomorphisms Algebraic Geometry Fall 2009 Extension theorems for homomorphisms In this note, we prove some extension theorems for homomorphisms from rings to algebraically closed fields. The prototype is the following

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

Lecture 6: Etale Fundamental Group

Lecture 6: Etale Fundamental Group Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and

More information

NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY

NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc

More information

VALUATIVE CRITERIA BRIAN OSSERMAN

VALUATIVE CRITERIA BRIAN OSSERMAN VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not

More information

SEPARATED AND PROPER MORPHISMS

SEPARATED AND PROPER MORPHISMS SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.

More information

Algebraic Geometry I Lectures 14 and 15

Algebraic Geometry I Lectures 14 and 15 Algebraic Geometry I Lectures 14 and 15 October 22, 2008 Recall from the last lecture the following correspondences {points on an affine variety Y } {maximal ideals of A(Y )} SpecA A P Z(a) maximal ideal

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

SEPARATED AND PROPER MORPHISMS

SEPARATED AND PROPER MORPHISMS SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN The notions o separatedness and properness are the algebraic geometry analogues o the Hausdor condition and compactness in topology. For varieties over the

More information

On the vanishing of Tor of the absolute integral closure

On the vanishing of Tor of the absolute integral closure On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset

More information

Synopsis of material from EGA Chapter II, 5

Synopsis of material from EGA Chapter II, 5 Synopsis of material from EGA Chapter II, 5 5. Quasi-affine, quasi-projective, proper and projective morphisms 5.1. Quasi-affine morphisms. Definition (5.1.1). A scheme is quasi-affine if it is isomorphic

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

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients

More information

MASTERARBEIT. Titel der Masterarbeit. Zariski s Main Theorem. Verfasser Christopher Heng Chiu, BSc

MASTERARBEIT. Titel der Masterarbeit. Zariski s Main Theorem. Verfasser Christopher Heng Chiu, BSc MASTERARBEIT Titel der Masterarbeit Zariski s Main Theorem Verfasser Christopher Heng Chiu, BSc angestrebter akademischer Grad Master of Science (MSc) Wien, 2015 Studienkennzahl lt. Studienblatt: A 066

More information

Smooth morphisms. Peter Bruin 21 February 2007

Smooth morphisms. Peter Bruin 21 February 2007 Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,

More information

Written Homework # 2 Solution

Written Homework # 2 Solution Math 517 Spring 2007 Radford Written Homework # 2 Solution 02/23/07 Throughout R and S are rings with unity; Z denotes the ring of integers and Q, R, and C denote the rings of rational, real, and complex

More information

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the

More information

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski

More information

Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,

Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.

More information

HARTSHORNE EXERCISES

HARTSHORNE EXERCISES HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

More information

15 Lecture 15: Points and lft maps

15 Lecture 15: Points and lft maps 15 Lecture 15: Points and lft maps 15.1 A noetherian property Let A be an affinoid algebraic over a non-archimedean field k and X = Spa(A, A 0 ). For any x X, the stalk O X,x is the limit of the directed

More information

Lecture 6. s S} is a ring.

Lecture 6. s S} is a ring. Lecture 6 1 Localization Definition 1.1. Let A be a ring. A set S A is called multiplicative if x, y S implies xy S. We will assume that 1 S and 0 / S. (If 1 / S, then one can use Ŝ = {1} S instead of

More information

AN INTRODUCTION TO AFFINE SCHEMES

AN INTRODUCTION TO AFFINE SCHEMES AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,

More information

ABSTRACT NONSINGULAR CURVES

ABSTRACT NONSINGULAR CURVES ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a

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

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local

More information

214A HOMEWORK KIM, SUNGJIN

214A HOMEWORK KIM, SUNGJIN 214A HOMEWORK KIM, SUNGJIN 1.1 Let A = k[[t ]] be the ring of formal power series with coefficients in a field k. Determine SpecA. Proof. We begin with a claim that A = { a i T i A : a i k, and a 0 k }.

More information

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y

More information

CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES

CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES BRIAN OSSERMAN The purpose of this cheat sheet is to provide an easy reference for definitions of various properties of morphisms of schemes, and basic results

More information

Concentrated Schemes

Concentrated Schemes Concentrated Schemes Daniel Murfet July 9, 2006 The original reference for quasi-compact and quasi-separated morphisms is EGA IV.1. Definition 1. A morphism of schemes f : X Y is quasi-compact if there

More information

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample

More information

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring

More information

Cohomology and Base Change

Cohomology and Base Change Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)

More information

3 Lecture 3: Spectral spaces and constructible sets

3 Lecture 3: Spectral spaces and constructible sets 3 Lecture 3: Spectral spaces and constructible sets 3.1 Introduction We want to analyze quasi-compactness properties of the valuation spectrum of a commutative ring, and to do so a digression on constructible

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society

Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society unisian Journal of Mathematics an international publication organized by the unisian Mathematical Society Ramification groups of coverings and valuations akeshi Saito 2019 vol. 1 no. 3 msp msp UNISIAN

More information

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion

More information

Sections of tropicalization maps (joint work with Walter Gubler and Joe Rabinoff)

Sections of tropicalization maps (joint work with Walter Gubler and Joe Rabinoff) Sections of tropicalization maps (joint work with Walter Gubler and Joe Rabinoff) Annette Werner Goethe Universität Frankfurt am Main AMS Summer Institute in Algebraic Geometry 2015 1 / 32 Sections of

More information

10. Smooth Varieties. 82 Andreas Gathmann

10. Smooth Varieties. 82 Andreas Gathmann 82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

More information

GLUING SCHEMES AND A SCHEME WITHOUT CLOSED POINTS

GLUING SCHEMES AND A SCHEME WITHOUT CLOSED POINTS GLUING SCHEMES AND A SCHEME WITHOUT CLOSED POINTS KARL SCHWEDE Abstract. We first construct and give basic properties of the fibered coproduct in the category of ringed spaces. We then look at some special

More information

The Segre Embedding. Daniel Murfet May 16, 2006

The Segre Embedding. Daniel Murfet May 16, 2006 The Segre Embedding Daniel Murfet May 16, 2006 Throughout this note all rings are commutative, and A is a fixed ring. If S, T are graded A-algebras then the tensor product S A T becomes a graded A-algebra

More information

INVERSE LIMITS AND PROFINITE GROUPS

INVERSE LIMITS AND PROFINITE GROUPS INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological

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

Rings and Fields Theorems

Rings and Fields Theorems Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)

More information

Math 216A. A gluing construction of Proj(S)

Math 216A. A gluing construction of Proj(S) Math 216A. A gluing construction o Proj(S) 1. Some basic deinitions Let S = n 0 S n be an N-graded ring (we ollows French terminology here, even though outside o France it is commonly accepted that N does

More information

MATH XYZ. 1. Basics: Sets, Maps, Relations,...

MATH XYZ. 1. Basics: Sets, Maps, Relations,... MATH XYZ 1. Basics: Sets, Maps, Relations,... The axiomatic point of view: All entities are sets. For any sets X, A one has: - Either X A [read X belongs to A or X is element of A ]. - Or X / A [read X

More information

Section Projective Morphisms

Section Projective Morphisms Section 2.7 - Projective Morphisms Daniel Murfet October 5, 2006 In this section we gather together several topics concerned with morphisms of a given scheme to projective space. We will show how a morphism

More information

MATH 233B, FLATNESS AND SMOOTHNESS.

MATH 233B, FLATNESS AND SMOOTHNESS. MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)

More information

THE SMOOTH BASE CHANGE THEOREM

THE SMOOTH BASE CHANGE THEOREM THE SMOOTH BASE CHANGE THEOREM AARON LANDESMAN CONTENTS 1. Introduction 2 1.1. Statement of the smooth base change theorem 2 1.2. Topological smooth base change 4 1.3. A useful case of smooth base change

More information

Direct Limits. Mathematics 683, Fall 2013

Direct Limits. Mathematics 683, Fall 2013 Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry

More information

1 Flat, Smooth, Unramified, and Étale Morphisms

1 Flat, Smooth, Unramified, and Étale Morphisms 1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q

More information

Homological Methods in Commutative Algebra

Homological Methods in Commutative Algebra Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes

More information

Université Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM. Master 2 Memoire by Christopher M. Evans. Advisor: Prof. Joël Merker

Université Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM. Master 2 Memoire by Christopher M. Evans. Advisor: Prof. Joël Merker Université Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM Master 2 Memoire by Christopher M. Evans Advisor: Prof. Joël Merker August 2013 Table of Contents Introduction iii Chapter 1 Complex Spaces 1

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26 RAVI VAKIL CONTENTS 1. Proper morphisms 1 Last day: separatedness, definition of variety. Today: proper morphisms. I said a little more about separatedness of

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

Math 418 Algebraic Geometry Notes

Math 418 Algebraic Geometry Notes Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R

More information

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Finite group schemes

Finite group schemes Finite group schemes Johan M. Commelin October 27, 2014 Contents 1 References 1 2 Examples 2 2.1 Examples we have seen before.................... 2 2.2 Constant group schemes....................... 3 2.3

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

Section Blowing Up

Section Blowing Up Section 2.7.1 - Blowing Up Daniel Murfet October 5, 2006 Now we come to the generalised notion of blowing up. In (I, 4) we defined the blowing up of a variety with respect to a point. Now we will define

More information

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to

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

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

Relative Affine Schemes

Relative Affine Schemes Relative Affine Schemes Daniel Murfet October 5, 2006 The fundamental Spec( ) construction associates an affine scheme to any ring. In this note we study the relative version of this construction, which

More information

Algebraic function fields

Algebraic function fields Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which

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

x = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.

x = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z. ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space

More information

38 Irreducibility criteria in rings of polynomials

38 Irreducibility criteria in rings of polynomials 38 Irreducibility criteria in rings of polynomials 38.1 Theorem. Let p(x), q(x) R[x] be polynomials such that p(x) = a 0 + a 1 x +... + a n x n, q(x) = b 0 + b 1 x +... + b m x m and a n, b m 0. If b m

More information

SCHEMES. David Harari. Tsinghua, February-March 2005

SCHEMES. David Harari. Tsinghua, February-March 2005 SCHEMES David Harari Tsinghua, February-March 2005 Contents 1. Basic notions on schemes 2 1.1. First definitions and examples.................. 2 1.2. Morphisms of schemes : first properties.............

More information

This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:

This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map: Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties

More information

On Rational Points of Varieties over Complete Local Fields with Algebraically Closed Residue Field

On Rational Points of Varieties over Complete Local Fields with Algebraically Closed Residue Field On Rational Points of Varieties over Complete Local Fields with Algebraically Closed Residue Field Dissertation zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.)

More information

INTRO TO TENSOR PRODUCTS MATH 250B

INTRO TO TENSOR PRODUCTS MATH 250B INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the

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

VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP

VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP CHRISTIAN PAULY AND ANA PEÓN-NIETO Abstract. Let X be a smooth complex projective curve of genus g 2 and let K be its canonical bundle. In this note

More information

Section Divisors

Section Divisors Section 2.6 - Divisors Daniel Murfet October 5, 2006 Contents 1 Weil Divisors 1 2 Divisors on Curves 9 3 Cartier Divisors 13 4 Invertible Sheaves 17 5 Examples 23 1 Weil Divisors Definition 1. We say a

More information

Commutative Algebra. Contents. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...

Commutative Algebra. Contents. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals... Commutative Algebra B Totaro Michaelmas 2011 Contents 1 Basics 4 1.1 Rings & homomorphisms.............................. 4 1.2 Modules........................................ 6 1.3 Prime & maximal ideals...............................

More information

On local properties of non- Archimedean analytic spaces.

On local properties of non- Archimedean analytic spaces. On local properties of non- Archimedean analytic spaces. Michael Temkin (talk at Muenster Workshop, April 4, 2000) Plan: 1. Introduction. 2. Category bir k. 3. The reduction functor. 4. Main result. 5.

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

SMA. Grothendieck topologies and schemes

SMA. Grothendieck topologies and schemes SMA Grothendieck topologies and schemes Rafael GUGLIELMETTI Semester project Supervised by Prof. Eva BAYER FLUCKIGER Assistant: Valéry MAHÉ April 27, 2012 2 CONTENTS 3 Contents 1 Prerequisites 5 1.1 Fibred

More information

1. Algebraic vector bundles. Affine Varieties

1. Algebraic vector bundles. Affine Varieties 0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

More information

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

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

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes! ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.

More information

NOTES ON ABELIAN VARIETIES

NOTES ON ABELIAN VARIETIES NOTES ON ABELIAN VARIETIES YICHAO TIAN AND WEIZHE ZHENG We fix a field k and an algebraic closure k of k. A variety over k is a geometrically integral and separated scheme of finite type over k. If X and

More information