Factorization of birational maps for qe schemes in characteristic 0


 Naomi Ferguson
 3 years ago
 Views:
Transcription
1 Factorization of birational maps for qe schemes in characteristic 0 AMS special session on Algebraic Geometry joint work with M. Temkin (Hebrew University) Dan Abramovich Brown University October 24, 2014 Abramovich (Brown) Factorization of birational maps October 24, / 1
2 Factorization of birational maps: varieties Theorem (W lodarczyk, ℵKaruMatsukiW lodarczyk (2002)) Let φ : X 1 X 2 be the blowing up of a coherent ideal sheaf I on a variety X 2 over a field of characteristic 0 and let U X 2 be the complement of the support of I. Assume X 1, X 2 are regular. Then φ can be factored, functorially for smooth surjective morphisms on X 2, into a sequence of blowings up and down of smooth centers disjoint from U: X 1 = V 0 ϕ 1 V 1 ϕ 2... ϕ l 1 V l 1 ϕ l V l = X 2. Abramovich (Brown) Factorization of birational maps October 24, / 1
3 Factorization of birational maps: qe schemes Theorem (ℵTemkin) Let φ : X 1 X 2 be the blowing up of a coherent ideal sheaf I on a qe scheme X 2 over a field of characteristic 0 and let U X 2 be the complement of the support of I. Assume X 1, X 2 are regular. Then φ can be factored, functorially for regular surjective morphisms on X 2, into a sequence of blowings up and down of regular centers disjoint from U: X 1 = V 0 ϕ 1 V 1 ϕ 2... ϕ l 1 V l 1 ϕ l V l = X 2. Abramovich (Brown) Factorization of birational maps October 24, / 1
4 Regular morphisms and qe schemes Definition A morphism of schemes f : Y X is said to be regular if it is (1) flat and (2) all geometric fibers of f : X Y are regular. Definition A locally noetherian scheme X is a qe scheme if: for any scheme Y of finite type over X, the regular locus Y reg is open; and For any point x X, the completion morphism Spec Ô X,x Spec O X,x is a regular morphism. Qe schemes are the natural world for resolution of singularities. Abramovich (Brown) Factorization of birational maps October 24, / 1
5 Places where qe rings appear A of finite type over a field or Z, and localizations. A = the formal completion of the above. A = O(X ), where X is an affinoid germ 1 of a complex analytic space. A = O(X ), where X is an affinoid Berkovich kanalytic space, A = O(X ), where X is an affinoid rigid space over k. In all these geometries we deduce factorization in characteristic 0 from factorization over Spec A, which requires GAGA. 1 intersection with a small closed polydisc Abramovich (Brown) Factorization of birational maps October 24, / 1
6 Factorization step 1: birational cobordism We follow W lodarczyk s original ideas Given X 1 = Bl I (X 2 ). On B 0 = P 1 X 2 consider I = I + I 0, where I 0 is the defining ideal of {0} X 2. Set B 1 = Bl I B 0. It contains X 1 as the proper transform of {0} X 2, as well as X 2 Apply canonical resolution of singularities to B 1, resulting in a regular scheme B, projective over X 2, with G m action. So far, this works for schemes. Abramovich (Brown) Factorization of birational maps October 24, / 1
7 Factorization step 2: GIT Equivariant embedding B P X2 (E a1 E ak ), with a i < a i+1. B a1 G m = X 1, B ak G m = X 2. Denoting W ai = B ai G m, W ai + = B ai +ɛ G m, W ai = B ai ɛ G m we have and a sequence W ai + = W (ai+1 ) X 1 W a2 W a3 ϕ2 ϕ 2+ ϕ 3 W a2... ϕ (l 1)+ W al X 2 Abramovich (Brown) Factorization of birational maps October 24, / 1
8 Factorization step 3: local description B ss a i W ai is affine. If b Ba ss i is a fixed point, can diagonalize T B ss a i,b. Tangent eigenvectors lift to eigenfunctions. Locally on W ai get equivariant Ba ss i A dim +1. This chart is regular and inert. Abramovich (Brown) Factorization of birational maps October 24, / 1
9 Factorization step 4: Luna s fundamental lemma Definition (Special orbits) An orbit G m x B ss a i Definition (Inert morphisms) is special if it is closed in the fiber of B ss a i W ai. The G m equivariant Ba ss i A dim +1 is inert if (1) it takes special orbits to special orbits and (2) it preserves inertia groups. Theorem (Luna s fundamental lemma, [Luna,Alper,ℵTemkin]) The regular and inert G m equivariant Ba ss i equivariant, namely A dim +1 is strongly B ss a i = A dim +1 A dim +1 G m W ai. Abramovich (Brown) Factorization of birational maps October 24, / 1
10 Factorization step 4: torification This is compatible with W ai ± W ai. Locally on W i the transformations W ai ± W ai have toric charts. The process of torification allows us to assume they are toroidal transformations. Toroidal factorization is known [W lodarczyk, Morelli, ℵMatsukiRashid]. Abramovich (Brown) Factorization of birational maps October 24, / 1
11 Factorization in terms of ideals Recall that X 1 = Bl I (X 2 ). Our factorization X 1 = V 0 ϕ 1 V 1 ϕ 2... ϕ l 1 V l 1 ϕ l V l = X 2 gives a sequence of ideals J i such that V k = Bl Ji (X 2 ), and smooth Z i such that ϕ ±1 i is the blowing up of Z i. Abramovich (Brown) Factorization of birational maps October 24, / 1
12 Transporting to other categories 1: covering Assume X 1 X 2 is a blowing up of an ideal in one of our categories: local, formal, complex, Berkovich, rigid. Say we have a finite cover X 2 = U α X 2 by patches such that O(U α ) is a qe ring which determines U α : ideals correspond to closed subobjects, coherent sheaves are acyclic, correspond to modules, etc. In complex analysis, U α = X 2 D with D a closed polydisc with the restricted sheaf [Frisch, Bambozzi]. Write X 2 = Spec O(U α), write I corresponding to I, and X 1 = Bl I X 2, which is regular. Factorization of X 1 X 2 gives ideals J i and smooth Z i V k := Bl J i (X 2 ). Abramovich (Brown) Factorization of birational maps October 24, / 1
13 Transporting to other categories 2: GAGA Theorem (Serre s Théorème 3) In each of these categories, the pullback functor h : Coh(P r X 2 ) Coh(Pr X 2 ) is an equivalence which induces isomorphisms on cohomology groups and preserves regularity. Abramovich (Brown) Factorization of birational maps October 24, / 1
14 Transporting to other categories 2: patching X 2 cover X 2 h X 2 We had ideals J i O X 2 and smooth Z i V k := Bl J i (X 2 ) factoring X 1 X 2. We get ideals J i O X 2 and smooth Z i V k := Bl J i (X 2 ) factoring X 1 X 2. Functoriality and Temkin s trick ensure that these agree on X 2 X 2 X 2. Descent gives ideals J i O X2 and smooth Z i V k := Bl Ji (X 2 ) factoring X 1 X 2, as needed. Abramovich (Brown) Factorization of birational maps October 24, / 1
15 An analytic GAGA: statement Theorem (Serre s Théorème 3) Let D be a closed polydisk, A = O(D). The pullback functor h : Coh(P r A ) Coh(Pr D ) is an equivalence which induces isomorphisms on cohomology groups. Abramovich (Brown) Factorization of birational maps October 24, / 1
16 An analytic GAGA: lemmas Lemma (Dimension Lemma) We have H i (P r A, F) = Hi (P r D, h F) = 0 for i > r and all F. Proof. Use Çech covers of P r D by closed standard polydisks! Lemma (Structure Sheaf Lemma) We have H i (P r A, O) = Hi (P r D, O) for all i. Proof. Use proper base change for P r D P r CP n π ϖ D CP n. Abramovich (Brown) Factorization of birational maps October 24, / 1
17 An analytic GAGA: Serre s proof  cohomology Lemma (Twisting Sheaf Lemma) We have H i (P r A, O(n)) = Hi (P r D, O(n)) for all i, r, n. Proof. Induction on r and 0 O P r D (n 1) O P r D (n) O P r 1(n) 0 D H i 1 (P r 1, O(n)) A H i (P r A, O(n 1)) H i (P r A, O(n)) H i (P r 1, O(n)) A H i 1 (P r 1 D, O(n)) H i (P r D, O(n 1)) H i (P r D, O(n)) H i (P r 1 D, O(n)). So the result for n is equivalent to the result for n 1. By the Structure Sheaf Lemma it holds for n = 0 so it holds for all n. Abramovich (Brown) Factorization of birational maps October 24, / 1
18 An analytic GAGA: Serre s proof  cohomology Proposition (Serre s Théorème 1) Let F be a coherent sheaf on P r A. The homomorphism h : H i (P r A, F) Hi (P r D, h F) is an isomorphism for all i. Proof. Descending induction on i for all coherent P r A modules, the case i > r given by the Dimension Lemma. Choose a resolution 0 G E F 0 with E a sum of twisting sheaves. Flatness of h implies 0 h G h E h F 0 exact. H i (P r A, G) H i (P r A, E) H i (P r A, F) H i+1 (P r A, G) H i+1 (P r A, E) = = = H i (P r D, G) H i (P r D, E) H i (P r D, F) H i+1 (P r D, G) H i+1 (P r D, E) so the arrow H i (P r A, F) Hi (P r D, h F) surjective, and so also for G, and finish by the 5 lemma. Abramovich (Brown) Factorization of birational maps October 24, / 1
19 An analytic GAGA: Serre s proof  Homomorphisms Proposition (Serre s Théorème 2) For any coherent P r Amodules F, G the natural homomorphism Hom P r A (F, G) Hom P r D (h F, h G) is an isomorphism. In particular the functor h is fully faithful. Proof. By Serre s Théorème 1, suffices to show that h Hom P r A (F, G) Hom P r D (h F, h G) is an isomorphism. ( ) h Hom P r A (F, G) = Hom O x x (F x, G x ) Ox O x = Hom Ox (F x Ox O x, G x Ox O x ) = Hom P r X (h F, h G) x. by flatness. Abramovich (Brown) Factorization of birational maps October 24, / 1
20 An analytic GAGA: Serre s proof  generation of twisted sheaves Proposition (Cartan s Théorème A) For any coherent sheaf F on P r D there is n 0 so that F(n) is globally generated whenever n > n 0. Proof. Induction on r. Suffices to generate stalk at x. Choose H x, and get an exact sequence 0 O( 1) O O H 0. This gives F( 1) ϕ 1 F ϕ 0 F H 0 which breaks into 0 G F( 1) P 0 and 0 P F F H 0, where G and F H are coherent sheaves on H, Abramovich (Brown) Factorization of birational maps October 24, / 1
21 Serre s proof  generation of twisted sheaves (continued) Proof of Cartan s Théorème A, continued. 0 G F( 1) P 0 and 0 P F F H 0, so right terms in and H 1 (P r D, F(n 1)) H1 (P r D, P(n)) H2 (H, G(n)) H 1 (P r D, P(n)) H1 (P r D, F(n)) H1 (H, F H (n)) vanish for large n. So h 1 (P r D, F(n)) is descending, and when it stabilizes H 1 (P r D, P(n)) H1 (P r D, F(n)) is bijective so H 0 (P r X, F(n)) H0 (H, F H (n)) is surjective. Sections in H 0 (H, F H (n)) generate F H (n) by dimension induction, and by Nakayama the result at x H follows. Abramovich (Brown) Factorization of birational maps October 24, / 1
22 An analytic GAGA: Serre s proof  the equivalence Peoof of Serre s Théorème 3. Choose a resolution O( n 1 ) k ψ 1 O( n 0 ) k 0 F 0. By Serre s Théorème 2 the homomorphism ψ is the analytification of an algebraic sheaf homomorphism ψ, so the cokernel F of ψ is also the analytification of the cokernel of ψ. Abramovich (Brown) Factorization of birational maps October 24, / 1
Factorization of birational maps on steroids
Factorization of birational maps on steroids IAS, April 14, 2015 Dan Abramovich Brown University April 14, 2015 This is work with Michael Temkin (Jerusalem) Abramovich (Brown) Factorization of birational
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 information18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems
18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems References: [FvdP, Chapter 4]. Again, Kiehl s original papers (in German) are: Der
More informationResolving singularities of varieties and families
Resolving singularities of varieties and families Dan Abramovich Brown University Joint work with Michael Temkin and Jaros law W lodarczyk July 2018 Abramovich Resolving singularities of varieties and
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 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 informationLogarithmic geometry and rational curves
Logarithmic geometry and rational curves Summer School 2015 of the IRTG Moduli and Automorphic Forms Siena, Italy Dan Abramovich Brown University August 2428, 2015 Abramovich (Brown) Logarithmic geometry
More informationResolving singularities of varieties and families
Resolving singularities of varieties and families Dan Abramovich Brown University Joint work with Michael Temkin and Jaros law W lodarczyk Rio de Janeiro August 7, 2018 Abramovich Resolving varieties and
More informationLogarithmic geometry and moduli
Logarithmic geometry and moduli Lectures at the Sophus Lie Center Dan Abramovich Brown University June 1617, 2014 Abramovich (Brown) Logarithmic geometry and moduli June 1617, 2014 1 / 1 Heros: Olsson
More informationThe Grothendieck Ring of Varieties
The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define
More informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
More 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 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 informationAn Atlas For Bun r (X)
An Atlas For Bun r (X) As told by Dennis Gaitsgory to Nir Avni October 28, 2009 1 Bun r (X) Is Not Of Finite Type The goal of this lecture is to find a smooth atlas locally of finite type for the stack
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the socalled cohomology and base change theorem: Theorem 1.1 (Grothendieck).
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 informationTunisian 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 informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationAlgebraic Geometry 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 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 informationMOISHEZON SPACES IN RIGID GEOMETRY
MOISHEZON SPACES IN RIGID GEOMETRY BRIAN CONRAD Abstract. We prove that all proper rigidanalytic spaces with enough algebraically independent meromorphic functions are algebraic (in the sense of proper
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 information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationConstructible isocrystals (London 2015)
Constructible isocrystals (London 2015) Bernard Le Stum Université de Rennes 1 March 30, 2015 Contents The geometry behind Overconvergent connections Construtibility A correspondance Valuations (additive
More informationTHREE APPROACHES TO CHOW S THEOREM
THREE APPROACHES TO CHOW S THEOREM EVAN WARNER 1. Statement and overview The focus of this talk will be on Chow s theorem, a simple but very useful result linking complex analytic geometry to algebraic
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasicoherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationLocally Gringed spaces and rigid spaces
18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Rigid analytic spaces (at last!) We are now ready to talk about rigid analytic spaces in earnest. I ll give the
More informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are Clinear. 1.
More informationÉTALE π 1 OF A SMOOTH CURVE
ÉTALE π 1 OF A SMOOTH CURVE AKHIL MATHEW 1. Introduction One of the early achievements of Grothendieck s theory of schemes was the (partial) computation of the étale fundamental group of a smooth projective
More informationRigid Geometry and Applications II. Kazuhiro Fujiwara & Fumiharu Kato
Rigid Geometry and Applications II Kazuhiro Fujiwara & Fumiharu Kato Birational Geometry from Zariski s viewpoint S U D S : coherent (= quasicompact and quasiseparated) (analog. compact Hausdorff) U
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 informationUNIVERSAL PROPERTY OF NONARCHIMEDEAN ANALYTIFICATION
UNIVERSAL PROPERTY OF NONARCHIMEDEAN ANALYTIFICATION BRIAN CONRAD 1. Introduction 1.1. Motivation. Over C and over nonarchimedean fields, analytification of algebraic spaces is defined as the solution
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 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 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 information1. 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 quasiprojective varieties over a field k Affine Varieties 1.
More informationUniversité 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 informationLogarithmic resolution of singularities. Conference in honor of Askold Khovanskii
Logarithmic resolution of singularities M. Temkin July 7, 2017 Conference in honor of Askold Khovanskii M. Temkin (Hebrew University) Logarithmic resolution of singularities 1 / 24 Introduction The ultimate
More informationPART II.1. INDCOHERENT SHEAVES ON SCHEMES
PART II.1. INDCOHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Indcoherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. tstructure 3 2. The direct image functor 4 2.1. Direct image
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 informationarxiv: v2 [math.ag] 28 Jul 2016
HIGHER ANALYTIC STACKS AND GAGA THEOREMS MAURO PORTA AND TONY YUE YU arxiv:1412.5166v2 [math.ag] 28 Jul 2016 Abstract. We develop the foundations of higher geometric stacks in complex analytic geometry
More informationMATH 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 informationDELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES
DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES YIFEI ZHAO Abstract. We present the proofs of Deligne s theorems on degeneration of the Leray spectral sequence, and the algebraic Hodgede Rham
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 informationDESCENT THEORY (JOE RABINOFF S EXPOSITION)
DESCENT THEORY (JOE RABINOFF S EXPOSITION) RAVI VAKIL 1. FEBRUARY 21 Background: EGA IV.2. Descent theory = notions that are local in the fpqc topology. (Remark: we aren t assuming finite presentation,
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 informationPreliminary Exam Topics Sarah Mayes
Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition
More informationINTERSECTION THEORY CLASS 19
INTERSECTION THEORY CLASS 19 RAVI VAKIL CONTENTS 1. Recap of Last day 1 1.1. New facts 2 2. Statement of the theorem 3 2.1. GRR for a special case of closed immersions f : X Y = P(N 1) 4 2.2. GRR for closed
More informationNONARCHIMEDEAN ANALYTIC SPACES. Vladimir G. BERKOVICH. Department of Mathematics, The Weizmann Institute of Science P.O.B. 26, Rehovot, ISRAEL
NONARCHIMEDEAN ANALYTIC SPACES Vladimir G. BERKOVICH Department of Mathematics, The Weizmann Institute of Science P.O.B. 26, 76100 Rehovot, ISRAEL The following text is a short account of lectures at
More informationMatrix factorizations over projective schemes
Jesse Burke (joint with Mark E. Walker) Department of Mathematics University of California, Los Angeles January 11, 2013 Matrix factorizations Let Q be a commutative ring and f an element of Q. Matrix
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 informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationMATH 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 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 informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY Email address: alex.massarenti@sissa.it These notes collect a series of
More informationGeometry 9: SerreSwan theorem
Geometry 9: SerreSwan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
More informationALGEBRAIC 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 informationInfinite root stacks of logarithmic schemes
Infinite root stacks of logarithmic schemes Angelo Vistoli Scuola Normale Superiore, Pisa Joint work with Mattia Talpo, Max Planck Institute Brown University, May 2, 2014 1 Let X be a smooth projective
More informationThe Hitchin map, local to global
The Hitchin map, local to global Andrei Negut Let X be a smooth projective curve of genus g > 1, a semisimple group and Bun = Bun (X) the moduli stack of principal bundles on X. In this talk, we will present
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 informationLecture 7: Etale Fundamental Group  Examples
Lecture 7: Etale Fundamental Group  Examples October 15, 2014 In this lecture our only goal is to give lots of examples of etale fundamental groups so that the reader gets some feel for them. Some of
More informationDeformation Theory. Atticus Christensen. May 13, Undergraduate Honor s Thesis
Deformation Theory Undergraduate Honor s Thesis Atticus Christensen May 13, 2015 1 Contents 1 Introduction 3 2 Formal schemes 3 3 Infinitesimal deformations 7 4 Scheme with no deformation to characteristic
More informationCalculating deformation rings
Calculating deformation rings Rebecca Bellovin 1 Introduction We are interested in computing local deformation rings away from p. That is, if L is a finite extension of Q l and is a 2dimensional representation
More informationTHE ADIC TAME SITE KATHARINA HÜBNER
THE ADIC TAME SITE KATHARINA HÜBNER Abstract. For every adic space Z we construct a site Z t, the tame site of Z. For a scheme X over a base scheme S we obtain a tame site by associating with X/S an adic
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 informationCOMPLEX ALGEBRAIC SURFACES CLASS 9
COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution
More informationREFLEXIVITY AND RIGIDITY FOR COMPLEXES, II: SCHEMES
REFLEXIVITY AND RIGIDITY FOR COMPLEXES, II: SCHEMES LUCHEZAR L. AVRAMOV, SRIKANTH B. IYENGAR, AND JOSEPH LIPMAN Abstract. We prove basic facts about reflexivity in derived categories over noetherian schemes;
More informationRELATIVE AMPLENESS IN RIGIDANALYTIC GEOMETRY
RELATIVE AMPLENESS IN RIGIDANALYTIC GEOMETRY BRIAN CONRAD 1. Introduction 1.1. Motivation. The aim of this paper is to develop a rigidanalytic theory of relative ampleness for line bundles, and to record
More informationSERRE FINITENESS AND SERRE VANISHING FOR NONCOMMUTATIVE P 1 BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NONCOMMUTATIVE P 1 BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X bimodule of rank
More 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 informationContents. Chapter 3. Local Rings and Varieties Rings of Germs of Holomorphic Functions Hilbert s Basis Theorem 39.
Preface xiii Chapter 1. Selected Problems in One Complex Variable 1 1.1. Preliminaries 2 1.2. A Simple Problem 2 1.3. Partitions of Unity 4 1.4. The CauchyRiemann Equations 7 1.5. The Proof of Proposition
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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44 RAVI VAKIL CONTENTS 1. Flat implies constant Euler characteristic 1 2. Proof of Important Theorem on constancy of Euler characteristic in flat families
More informationLECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS
LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LAWRENCE EIN Abstract. 1. Singularities of Surfaces Let (X, o) be an isolated normal surfaces singularity. The basic philosophy is to replace the singularity
More informationAlgebraic v.s. Analytic Point of View
Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,
More informationLecture 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 informationIntroduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy  a version of the Eckmann Hilton argument
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 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 informationInseparable local uniformization. Conference on valuation theory, El Escorial
Inseparable local uniformization M. Temkin July 27, 2011 Conference on valuation theory, El Escorial Outline 1 General paradigm of desingularization The state of the art Main result of the talk Generalizations
More informationLast week: proétale topology on X, with a map of sites ν : X proét X ét. Sheaves on X proét : O + X = ν O + X ét
INTEGRAL padi HODGE THEORY, TALK 3 (RATIONAL padi HODGE THEORY I, THE PRIMITIVE OMPARISON THEOREM) RAFFAEL SINGER (NOTES BY JAMES NEWTON) 1. Recap We x /Q p complete and algebraically closed, with tilt
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 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 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 informationPARABOLIC SHEAVES ON LOGARITHMIC SCHEMES
PARABOLIC SHEAVES ON LOGARITHMIC SCHEMES Angelo Vistoli Scuola Normale Superiore Bordeaux, June 23, 2010 Joint work with Niels Borne Université de Lille 1 Let X be an algebraic variety over C, x 0 X. What
More informationCOHOMOLOGY AND DIFFERENTIAL SCHEMES. 1. Schemes
COHOMOLOG AND DIFFERENTIAL SCHEMES RAMOND HOOBLER Dedicated to the memory of Jerrold Kovacic Abstract. Replace this text with your own abstract. 1. Schemes This section assembles basic results on schemes
More informationDirect 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 informationVIII. Gabber s modification theorem (absolute case) Luc Illusie and Michael Temkin (i) version du à 13h36 TU (19c1b56)
VIII. Gabber s modification theorem (absolute case) Luc Illusie and Michael Temkin (i) version du 20161114 à 13h36 TU (19c1b56) Contents 1. Statement of the main theorem.......................................................
More informationIndCoh Seminar: Indcoherent sheaves I
IndCoh Seminar: Indcoherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means category ). This section contains a discussion of
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 informationAPPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP
APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP In this appendix we review some basic facts about étale cohomology, give the definition of the (cohomological) Brauer group, and discuss
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 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 informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
More informationGrothendieck ring of varieties I.
Grothendieck ring of varieties I. Eckart Viehweg, informal notes for a seminar talk, Essen 6.0.08 Based on [Nic] and on some of the references given there.. Basic definitions Definition.. Let S be a noetherian
More informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the ladic homology and cohomology of algebrogeometric objects of a more general nature than algebraic
More informationNote that the first map is in fact the zero map, as can be checked locally. It follows that we get an isomorphism
11. The Serre construction Suppose we are given a globally generated rank two vector bundle E on P n. Then the general global section σ of E vanishes in codimension two on a smooth subvariety Y. If E is
More informationMicrosupport of sheaves
Microsupport of sheaves Vincent Humilière 17/01/14 The microlocal theory of sheaves and in particular the denition of the microsupport is due to Kashiwara and Schapira (the main reference is their book
More informationUNIVERSAL LOG STRUCTURES ON SEMISTABLE VARIETIES
UNIVERSAL LOG STRUCTURES ON SEMISTABLE VARIETIES MARTIN C. OLSSON Abstract. Fix a morphism of schemes f : X S which is flat, proper, and fiberbyfiber semistable. Let IV LS be the functor on the category
More informationAPPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY
APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then
More information