The Segre Embedding. Daniel Murfet May 16, 2006


 Agnes Parks
 2 years ago
 Views:
Transcription
1 The Segre Embedding Daniel Murfet May 16, 2006 Throughout this note all rings are commutative, and A is a fixed ring. If S, T are graded Aalgebras then the tensor product S A T becomes a graded Aalgebra in a canonical way with the grading given by (TES,Lemma 13). That is, S A T is the coproduct of the morphisms of Amodules S d A T e S A T for d, e 0. The canonical morphisms p 1 : S S A T, p 2 : T S A T are then morphisms of graded Aalgebras. Definition 1. Let S, T be graded Aalgebras. We define their cartesian product, denoted S A T, to be the following graded Aalgebra: as an Amodule it is the sum of the images of the Amodule morphisms S d A T d S A T for all d 0. This is an Asubalgebra of S A T which is a graded Aalgebra with grading (S A T ) d = Sd A T d for d 0. The scheme P roj(s A T ) is covered by open subsets D + (f g) for f S, g T homogenous of the same degree d > 0. It is not hard to check that the following are welldefined morphisms of Aalgebras ϕ f,g : S (f) (S A T ) (f g) ψ f,g : T (g) (S A T ) (f g) s/f n (s g n )/(f g) n t/g n (f n t)/(f g) n If h S, k T are homogenous of the same degree e > 0 then it is readily checked that the following diagram commutes (the vertical morphisms are the canonical ring morphisms) ϕ f,g S (f) (S A T ) (f g) ψ f,g T (g) S (fh) ϕ fh,gk (S A T ) (fh gk) T (gk) ψ fh,gk Therefore the morphisms Spec(ϕ f,g ) and Spec(ψ f,g ) glue to give morphisms of schemes over A Φ : P roj(s A T ) P rojs, Ψ : P roj(s A T ) P rojt Here Φ is the unique morphism of schemes making the left square in the following diagram commute for every pair of homogenous elements of the same positive degree f S, g T, and similarly for Ψ and the right square P rojs Φ Ψ P roj(s A T ) P rojt SpecS (f) Spec(ϕ f,g ) Spec((S A T ) (f g) ) Spec(ψ f,g ) SpecT (g) 1
2 Lemma 1. Let S be a graded ring and f S d for some d > 0. If h S e for e > 0 then the isomorphism D + (f) = SpecS (f) identifies the open subsets D + (fh) and D(h d /f e ). P rojs D + (f) SpecS (f) D +(fh) ( ) h d D f e Proof. If p P rojs is a homogenous prime ideal with f / p then the image of p in SpecS (f) is the prime ideal ps f S (f). It is clear that this prime belongs to D(h d /f e ) if and only if h d / p, so if and only if p D + (fh) = D + (f) D + (h). Lemma 2. Let S, T be graded Aalgebras and Φ, Ψ as above. If f S, g T are homogenous of degree d > 0 then Φ 1 D + (f) Ψ 1 D + (g) = D + (f g). Proof. The inclusion is obvious, since by construction we have Φ(D + (f g)) D + (f) and Ψ(D + (f g)) D + (g). For the reverse inclusion let p be a homogenous prime of S A T with Φ(p) D + (f) and Ψ(p) D + (g). There exists homogenous h S, k T of the same degree e > 0 such that p D + (h k). Using Lemma 1 and the definition of the morphisms ϕ h,k, ψ h,k we see that h d g e / p and f e k d / p. Therefore (f e g e )(h d k d ) = f e h d g e k d / p and hence f g / p, as required. Proposition 3. Let S, T be graded Aalgebras, and suppose that S is generated by S 1 as an S 0  algebra and that T is generated by T 1 as a T 0 algebra. Then P roj(s A T ) = P rojs A P rojt, so we have a pullback diagram P roj(s A T ) Ψ P rojt Φ P rojs SpecA Proof. By the hypotheses on S, T the open sets of the form D + (f), D + (g) for f S 1, g T 1 give open covers of P rojs and P rojt respectively. By the local nature of products and Lemma 2 it is enough to show that D + (f g) = D + (f) A D + (g) or equivalently Spec((S A T ) (f g) ) = Spec(T (g) ) A Spec(S (f) ), for every pair of homogenous elements f S 1, g T 1. This amounts to showing that the following diagram is a pushout of rings A S (f) (1) T (g) ϕ f,g ψ f,g (S A T ) (f g) We show (1) is a pushout by showing that the ring morphism S (f) A T (g) (S A T ) (f g) defined by s/f n t/g m (sf m g n t)/(f g) n+m is an isomorphism of rings. The proof is motivated by the technique used in (TPC,Proposition 15). Consider the following welldefined Abilinear map S f T g (S A T ) f g (s/f n, t/g m ) (sf m tg n )/(f g) n+m 2
3 This induces a morphism of Aalgebras S f A T g (S A T ) f g. The canonical maps S S f, T T g are morphisms of Aalgebras, so we have a morphism of Aalgebras S A T S f A T g defined by s t s/1 t/1. This sends f g to a unit, so there is an induced morphism of Aalgebras (S A T ) f g S f A T g given by (s t)/(f g) n s/f n t/g n. Since we have already constructed the inverse, this is an isomorphism of Aalgebras. The rings S f, T g are graded, and are therefore graded Amodules. Hence S f A T g is a graded Amodule and therefore also a graded ring. It is not hard to check that (S A T ) f g = S f A T g is an isomorphism of graded rings, so it induces an isomorphism of degree zero subrings (S A T ) (f g) = (Sf A T g ) 0. The injective morphism of Aalgebras S A T S A T, which certainly does not preserve grade, nonetheless localises and restricts to give an injective ring morphism (S A T ) (f g) (S A T ) (f g) = (Sf A T g ) 0 defined by (s t)/(f g) n s/f n t/g n for s S n, t T n. Let α : S f T g S f A T g be the canonical morphism of groups (GRM,Section 6). The kernel of α is the abelian group P generated by elements (a x) y x (a y) where x, y are homogenous. The morphism S (f) T (g) S f T g is injective since S (f), T (g) are direct summands of S f, T g respectively, and tensor products preserve colimits. Therefore the group S (f) T (g) is isomorphic to its image in S f T g, which is mapped by α onto the image of (S A T ) (f g) in (S f A T g ) 0. So there is an isomorphism of abelian groups (S (f) T (g) )/P = (S A T ) (f g) where P = P (S (f) T (g) ). We can write S f T g as the following direct sum S f T g = (S f ) p (T g ) q p,q Therefore it is not hard to see that P is generated as an abelian group by elements (a x) y x (a y) where x, y are homogenous of degree zero, that is, x S (f), y T (g). Hence there is an isomorphism of abelian groups S (f) A T (g) = (S(f) T (g) )/P = (S A T ) (f g) s/f n t/g m (sf m g n t)/(f g) n+m This shows that (1) is a pushout, and completes the proof. Lemma 4. Let S, T be graded Aalgebras. If S is generated by elements {s i } i I S 1 as an S 0 algebra and T is generated by {t j } j J T 1 as a T 0 algebra, then S A T is generated by {s i t j } (S A T ) 1 as an (S A T ) 0 algebra. Corollary 5. Let A be a ring and fix integers m, n 1. There is a canonical closed immersion P m A A P n A of schemes over A, called the Segre embedding. A Proof. The pullback we have in mind is P roj(a[x 0,..., x m ] A A[y 0,..., y n ]) = P m A A P n A. Consider the following morphism of graded Aalgebras γ : A[{z ij } 0 i m,0 j n ] A[x 0,..., x m ] A A[y 0,..., y n ] z ij x i y j which is surjective since the latter ring is generated as an Aalgebra by the elements x i y j. Therefore the morphism of Aschemes induced by γ is the desired closed immersion. Proposition 6. Let be a scheme and fix integers m, n 1. There is a canonical closed immersion P m P n of schemes over, called the Segre embedding. Proof. When we say canonical we mean that once you select specific pullbacks P m, Pn, Pm the definition of the closed immersion involves no arbitrary choices. Consider P n and Pmn+m+n 3
4 the following commutative diagram P n P m α P n Pm P n P n P m P m Spec where α is induced into the bottom pullback to make the diagram commute. Using standard properties of pullbacks, we see that every face of this cube is a pullback. That is, P n P m = P m P m (P n P m ) P n P m = P n P n (P n P m ) Therefore there is a unique morphism of schemes over, P n P m following diagram commute P n P m P mn+m+n making the (2) α P n Pm P mn+m+n where the bottom morphism is the closed immersion of Corollary 5. Once again using standard properties of pullbacks we see that (2) is a pullback, and therefore the top morphism is a closed immersion, which completes the proof. Corollary 7. Let be a scheme and fix integers m, n 1. There is a canonical closed immersion P mn+m+n of schemes over. P n P m Proof. By definition we have P n P m = Pm P n = P m P n Let α : P m Pn be the Segre embedding. Then the morphism 1 α : P n P m = (Pm P n ) P mn+m+n is the desired closed immersion (LocP,Proposition 1). = P mn+m+n 4
5 Proposition 8. The composition of projective morphisms is projective. Proof. Let f : Y and g : Y be projective morphisms, so that we have integers m, n 1 and a commutative diagram f P m Y f Y g P n g where f, g are closed immersions. The morphism P m g : Pm Y Pm P of (TPC,Section 5) is a closed n immersion, and using Corollary 7 we have a commutative diagram with the top morphism also a closed immersion P m P n P mn+m+n P m g P m Y P n f g Y This shows that gf is projective and completes the proof. f Lemma 9. Projective morphisms are stable under pullback. That is, if f : Y is projective and there is a pullback diagram g f Y f Y then f is projective. Proof. This follows immediately from the construction of the morphisms P n f and the fact that closed immersions are stable under pullback. in (TPC,Section 5) Proposition 10. If f : Y and g : Y are quasiprojective with Y noetherian, then g f is quasiprojective. Proof. Use the proof of Proposition 8, except now f, g are immersions and we use the stability of immersions under pullback (SI,Lemma 15) and composition (SI,Lemma 16). We need Y noetherian so that P m Y is noetherian, which is the technical condition of (SI,Lemma 16). Proposition 11. Let P be a property of morphisms of schemes such that (a) a closed immersion has P. (b) the composition of two morphisms having P has P. (c) P is stable under base extension. Then the following holds (d) the product of two morphisms having P has P. (e) if f : Y and g : Y are two morphisms, and if g f has P and g is separated, then f has P. 5
6 Proof. (d) Let f : Y and f : Y be morphisms of schemes over a scheme S and form the following diagram S Y (Y S Y f S f ) Y (Y S Y ) Y S Y Y f f Y S Using (b) and (c) it is easy to check that f S f has P. For (e) we consider, Y as schemes over and f as a morphism of schemes. Since g is separated over the graph morphism Γ f : Y is a closed immersion. Therefore Γ f has P and using the definition of the graph morphism and (b), (c) we see that f also has P. Corollary 12. We have the following properties of projective morphisms (a) a closed immersion is projective. (b) the composition of two projective morphisms is projective. (c) projective morphisms are stable under base extension. (d) the product of projective morphisms is projective. (e) if f : Y and g : Y are two morphisms, and if g f is projective and g is separated, then f is projective. 6
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 informationSection Higher Direct Images of Sheaves
Section 3.8  Higher Direct Images of Sheaves Daniel Murfet October 5, 2006 In this note we study the higher direct image functors R i f ( ) and the higher coinverse image functors R i f! ( ) which will
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasicoherent O Y module.
More informationSection Projective Morphisms
Section 2.7  Projective Morphisms Daniel Murfet October 5, 2006 In this section we gather together several topics concerned with morphisms of a given scheme to projective space. We will show how a morphism
More informationMath 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 Ngraded ring (we ollows French terminology here, even though outside o France it is commonly accepted that N does
More informationThe Relative Proj Construction
The Relative Proj Construction Daniel Murfet October 5, 2006 Earlier we defined the Proj of a graded ring. In these notes we introduce a relative version of this construction, which is the Proj of a sheaf
More information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an Amorphism then L = φ O P n
12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an Amorphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationSection Blowing Up
Section 2.7.1  Blowing Up Daniel Murfet October 5, 2006 Now we come to the generalised notion of blowing up. In (I, 4) we defined the blowing up of a variety with respect to a point. Now we will define
More informationRelative 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 informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationCohomology 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 halfexact if whenever 0 M M M 0 is an exact sequence of Amodules, the sequence T (M ) T (M)
More information(1) is an invertible sheaf on X, which is generated by the global sections
7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationModules over a Ringed Space
Modules over a Ringed Space Daniel Murfet October 5, 2006 In these notes we collect some useful facts about sheaves of modules on a ringed space that are either left as exercises in [Har77] or omitted
More informationModules over a Scheme
Modules over a Scheme Daniel Murfet October 5, 2006 In these notes we collect various facts about quasicoherent sheaves on a scheme. Nearly all of the material is trivial or can be found in [Gro60]. These
More informationSynopsis 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 quasicoherent O Y algebra. (3.1.1). Let Y be a prescheme. A sheaf
More informationConcentrated Schemes
Concentrated Schemes Daniel Murfet July 9, 2006 The original reference for quasicompact and quasiseparated morphisms is EGA IV.1. Definition 1. A morphism of schemes f : X Y is quasicompact if there
More informationMatrix factorisations
28.08.2013 Outline Main Theorem (Eisenbud) Let R = S/(f ) be a hypersurface. Then MCM(R) MF S (f ) Survey of the talk: 1 Define hypersurfaces. Explain, why they fit in our setting. 2 Define. Prove, that
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective Amodule such that the rank function Spec A N is constant with value 1.
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationFormal power series rings, inverse limits, and Iadic completions of rings
Formal power series rings, inverse limits, and Iadic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationWe can choose generators of this kalgebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a prespecified embedding in a projective space. However, an ample line bundle
More informationSynopsis of material from EGA Chapter II, 5
Synopsis of material from EGA Chapter II, 5 5. Quasiaffine, quasiprojective, proper and projective morphisms 5.1. Quasiaffine morphisms. Definition (5.1.1). A scheme is quasiaffine if it is isomorphic
More informationSection 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 informationMatsumura: Commutative Algebra Part 2
Matsumura: Commutative Algebra Part 2 Daniel Murfet October 5, 2006 This note closely follows Matsumura s book [Mat80] on commutative algebra. Proofs are the ones given there, sometimes with slightly more
More informationLecture 3: Flat Morphisms
Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 15]. 1.1 Open and Closed Subschemes If (X, O X ) is a
More informationSchemes via Noncommutative Localisation
Schemes via Noncommutative Localisation Daniel Murfet September 18, 2005 In this note we give an exposition of the wellknown results of Gabriel, which show how to define affine schemes in terms of the
More informationCHEAT 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 informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More informationLecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).
Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an Alinear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine nspace the collection A n k of points P = a 1, a,..., a
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationarxiv: v8 [math.ac] 19 Mar 2018
ON FINITE TYPE EPIMORPHISMS OF RINGS arxiv:1503.02876v8 [math.ac] 19 Mar 2018 ABOLFAZL TARIZADEH Abstract. In this note, finite type epimorphisms of rings are characterized. 1. Introduction In this paper
More informationGLUING 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 information214A HOMEWORK KIM, SUNGJIN
214A HOMEWORK KIM, SUNGJIN 1.1 Let A = k[[t ]] be the ring of formal power series with coefficients in a field k. Determine SpecA. Proof. We begin with a claim that A = { a i T i A : a i k, and a 0 k }.
More informationDescent on the étale site Wouter Zomervrucht, October 14, 2014
Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasicoherent sheaves. All will also be true on the larger pp and
More informationCurves on P 1 P 1. Peter Bruin 16 November 2005
Curves on P 1 P 1 Peter Bruin 16 November 2005 1. Introduction One of the exercises in last semester s Algebraic Geometry course went as follows: Exercise. Let be a field and Z = P 1 P 1. Show that the
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380F for Monday
More informationSCHEMES. David Harari. Tsinghua, FebruaryMarch 2005
SCHEMES David Harari Tsinghua, FebruaryMarch 2005 Contents 1. Basic notions on schemes 2 1.1. First definitions and examples.................. 2 1.2. Morphisms of schemes : first properties.............
More information14 Lecture 14: Basic generallities on adic spaces
14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationNotes on pdivisible Groups
Notes on pdivisible 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 informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an Sgroup. A representation of G is a morphism of Sgroups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationwhere Σ is a finite discrete Gal(K sep /K)set unramified along U and F s is a finite Gal(k(s) sep /k(s))subset
Classification of quasifinite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasifinite étale separated schemes X over a henselian local ring
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationLecture 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 informationINTRO 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 Amodules. For a third Amodule Z, consider the
More informationwhich is a group homomorphism, such that if W V U, then
4. Sheaves Definition 4.1. Let X be a topological space. A presheaf of groups F on X is a a function which assigns to every open set U X a group F(U) and to every inclusion V U a restriction map, ρ UV
More informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More information4. Images of Varieties Given a morphism f : X Y of quasiprojective varieties, a basic question might be to ask what is the image of a closed subset
4. Images of Varieties Given a morphism f : X Y of quasiprojective varieties, a basic question might be to ask what is the image of a closed subset Z X. Replacing X by Z we might as well assume that Z
More informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
More informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution LudwigMaximiliansUniversität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationφ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),
16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 20178: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationSEPARATED 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 informationVALUATIVE 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 informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
More informationLecture 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 pathconnected topological space, and
More informationVALUATIVE 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 informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationDerived Algebraic Geometry IX: Closed Immersions
Derived Algebraic Geometry I: Closed Immersions November 5, 2011 Contents 1 Unramified Pregeometries and Closed Immersions 4 2 Resolutions of TStructures 7 3 The Proof of Proposition 1.0.10 14 4 Closed
More information4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;
4 The path algebra of a quiver 41 Paths For definitions see section 21 (In particular: path; head, tail, length of a path; concatenation; oriented cycle) Lemma Let Q be a quiver If there is a path of length
More informationALGEBRAIC GEOMETRY CAUCHER BIRKAR
ALGEBRAIC GEOMETRY CAUCHER BIRKAR Contents 1. Introduction 1 2. Affine varieties 3 Exercises 10 3. Quasiprojective varieties. 12 Exercises 20 4. Dimension 21 5. Exercises 24 References 25 1. Introduction
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
More informationGALOIS CATEGORIES MELISSA LYNN
GALOIS CATEGORIES MELISSA LYNN Abstract. In abstract algebra, we considered finite Galois extensions of fields with their Galois groups. Here, we noticed a correspondence between the intermediate fields
More informationA course in. Algebraic Geometry. Taught by Prof. Xinwen Zhu. Fall 2011
A course in Algebraic Geometry Taught by Prof. Xinwen Zhu Fall 2011 1 Contents 1. September 1 3 2. September 6 6 3. September 8 11 4. September 20 16 5. September 22 21 6. September 27 25 7. September
More informationELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More informationLecture 7. This set is the set of equivalence classes of the equivalence relation on M S defined by
Lecture 7 1. Modules of fractions Let S A be a multiplicative set, and A M an Amodule. In what follows, we will denote by s, t, u elements from S and by m, n elements from M. Similar to the concept of
More information1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality
1 ecall Assume we have a locally small category C which admits finite products and has a final object, i.e. an object so that for every Z Ob(C), there exists a unique morphism Z. Note that two morphisms
More informationSEPARATED 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 informationOn Representability of a Finite Local Ring
Journal of Algebra 228, 417 427 (2000) doi:10.1006/jabr.1999.8242, available online at http://www.idealibrary.com on On Representability of a Finite Local Ring A. Z. Anan in Departamento de Matemática
More informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
More informationIn the special case where Y = BP is the classifying space of a finite pgroup, we say that f is a psubgroup inclusion.
Definition 1 A map f : Y X between connected spaces is called a homotopy monomorphism at p if its homotopy fibre F is BZ/plocal for every choice of basepoint. In the special case where Y = BP is the classifying
More information1. Valuative Criteria Specialization vs being closed
1. Valuative Criteria 1.1. Specialization vs being closed Proposition 1.1 (Specialization vs Closed). Let f : X Y be a quasicompact Smorphisms, and let Z X be closed nonempty. 1) For every z Z there
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48 RAVI VAKIL CONTENTS 1. The local criterion for flatness 1 2. Basepointfree, ample, very ample 2 3. Every ample on a proper has a tensor power that
More informationSpectra of rings differentially finitely generated over a subring
Spectra of rings differentially finitely generated over a subring Dm. Trushin Department of Mechanics and Mathematics Moscow State University 15 April 2007 Dm. Trushin () spectra of rings April 15, 2007
More informationSUMMER COURSE IN MOTIVIC HOMOTOPY THEORY
SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY MARC LEVINE Contents 0. Introduction 1 1. The category of schemes 2 1.1. The spectrum of a commutative ring 2 1.2. Ringed spaces 5 1.3. Schemes 10 1.4. Schemes
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationAlgebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0
1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.
More informationRings 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 nonempty set. Let + and (multiplication)
More informationCONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams.
CONTINUITY Abstract. Continuity, tensor products, complete lattices, the Tarski Fixed Point Theorem, existence of adjoints, Freyd s Adjoint Functor Theorem 1. Continuity 1.1. Preserving limits and colimits.
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationTwosided multiplications and phantom line bundles
Twosided multiplications and phantom line bundles Ilja Gogić Department of Mathematics University of Zagreb 19th Geometrical Seminar Zlatibor, Serbia August 28 September 4, 2016 joint work with Richard
More informationSummer Algebraic Geometry Seminar
Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties
More informationThus, the integral closure A i of A in F i is a finitely generated (and torsionfree) Amodule. It is not a priori clear if the A i s are locally
Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an Aalgebra that is finitely generated and torsionfree as an Amodule with B also locally free
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More information