Rigid Geometry and Applications II. Kazuhiro Fujiwara & Fumiharu Kato
|
|
- Bonnie Jacobs
- 6 years ago
- Views:
Transcription
1 Rigid Geometry and Applications II Kazuhiro Fujiwara & Fumiharu Kato
2 Birational Geometry from Zariski s viewpoint S U D S : coherent (= quasi-compact and quasi-separated) (analog. compact Hausdorff) U = S \ D S quasicompact open immersion (U: dense in S ). I I D = defining ideal of D
3 Basic Question: Extension problem P: a property of morphisms (e.g. P = flat ) f U : X U U: finitely presented /U with property P. Assume f : X S : an extension of f U. Can one find such an f with P? NO in general. Need to allow birational changes of S preserving U.
4 Modifications MD (S,U) : Category of U-admissible modifications: dense Objects: U S proper S Morphisms: S S S The category MD (X,U) is cofiltered.
5 BL (S,U) : Full subcategory of U-admissible blowups: Objects: S S : a blow-up with the center S \ U (set-theoretically). Example: S = Spec A, D = V(I) S = Proj n 0 Jn, I k J for k.
6 Strict Transform S S : U-admissible modification. f : X S : a morphism. X X S = X S S S S f S f X S X : dividing out I D -torsions. X
7 Modified Extension Problem f U : X U U: finitely presented /U with the property P. Assume f : X S : an extension of f U. Can one find a U-admissible modification (resp. blow-up) S S such that the strict transform f : X S has P?
8 Flattening Theorem Case: P=flat Theorem (Gruson-Raynaud, 1970). f U : X U U: flat, finitely presented = S S : U-admissible blow-up such that f : X S : flat, finitely presented.
9 Corollary. BL (S,U) is cofinal in MD (S,U). Comments on Flattening Theorem Clear if S = Spec V, V: DVR. If V: valuation ring, flatness is clear, while finite presentation is rather difficult.
10 Proof - Revival of Zariski s idea Zariski-Riemann space (Zariski, 1939) U cpt = lim S S BL (S,U) Projective limit taken in the category of local ringed spaces (1) Generalization of abstract Riemann surface: S : regular curve = U cpt = S (Dedekind-Weber) (2) Zariski s motivation: resolution of singularities
11 Points and local rings x U cpt U x U = O U cpt,x = O U,x. x U = V x : valuation ring (of height 1) with 1 α: Spec V x S x = {p S } S BL (S,U) : compatible system of points. (p S : the image of the closed points of Spec V x.) S
12 O U cpt : I D -valuative ring A composite of local rings of U and valuation rings. Notice: The valuation rings are not necessarily of height 1 (even when S : algebraic variety /k). One has to consider valuation rings of higher height.
13 Example of valuation rings S :algebraic surface ht. rat. rk. 0 0 trivial valuation 1 1 divisorial non-divisorial non-divisorial composite of two divisorial valuations
14 V: Valuation ring Intuitive Description Spec V = Long Curve S U D T D/S U cpt = U T D/S : The set of long curves passing through D: Tubular neighborhood
15 Fundamental Property Theorem (Zariski, 1944). U cpt is quasi-compact. Flattening theorem: consequence of the quasicompactness. Proofs: (1) lim coherent topoi = coherent topos (cf. lim cpt Hausdorff spaces = cpt Hausdorff space) + Deligne s theorem (existence of points) (2) Stone s representation theorem for distributive lattices.
16 Proof of flattening theorem Idea: Reduction to long curves using the quasi-compactness (1) True for long curves, i.e. S=Spec V. (2) True for S=Spec local ring of a point of U cpt. (Follows from (1) and true on U by patching.) (1), (2), and P: locally finitely presented = Claim is true locally on U cpt, i.e., x U cpt, U x Claim is true on U x. (3) Quasi-compactness = Done by birational patching S S U-Admissible blow-up
17 Other applications Embedding theorem for algebraic spaces (Nagata (1963): for Noetherian schemes). Resolution of singularities of quasi-excellent surfaces (Zariski).
18 Contents of the Book (Vol. I) 1. Preliminaries 2. Formal geometry 3. Basics on rigid geometry 4. Formal flattening theorem 5. Enlargement theorem
19 To be discussed (Vol. II)? 1. Etale topology 2. Lefschetz trace formula 3. Relationship with logarithmic geometry & ramification theory
20 Why de we do this? 1. Arithmetic geometry of Shimura varieties (local models, p-adic modular forms). 2. Cohomology theory of schemes (l-adic Lefschetz trace formula, rigid cohomology of Berthelot). 3. Mirror symmetry (expected construction of Mirror partner (Kontsevich, Fukaya,...)).
21 Recall: Our approach Birational geometry of formal spaces = Rigid geometry Raynaud s viewpoint of rigid geometry Zariski s viewpoint of birational geometry Geometry of models Rigid analytic geometry Zariski-Riemann space Geometry of Formal Schemes
22 Birational approach to Rigid Geometry Birational Geometry p-adic Rigid Geometry S U D D: p = 0 S Spf Z p
23 Adequate Formal schemes Defined ring theoretically. Noetherian outside the ideal of definition. Objects contain: Spf V, V: a-adically complete valuation ring. Noetherian formal schemes. Functoriality: Closed under finite type extensions. Base change by finite type morphisms.
24 Fs adq Fs Noe Fs fin /DVR Noe Fs fin /V Notice: The height of V can be arbitrary. Includes formal models of Tate s affinoid algebras. Nice Point: Can generalize Theorems in EGA III (Finitudes, GFGA Comparison, GFGA Existence) in derived categorical language.
25 Coherent Rigid Spaces CFs adq = the category of coherent (= quasi-compact and quasi-separated) adequate formal schemes. Notion of admissible blow-ups. Definition. The category of coherent rigid spaces: CRf = CFs adq /{admissible blow-ups}. Quotient functor CFs adq CRf X X rig.
26 Admissible Topology U X: (coherent) open immersion formal model U X: open immersion. {U α X}: (finite) covering formal models U α X such that X = U α. Proposition. Any representable presheaf on CRf ad is a sheaf. (Proof: By birational patching of formal models.)
27 General Rigid Spaces Definition. General Rigid Space = a sheaf F of sets on CRf ad such that (1) surjective map of sheaves ( Y) i F, ( ) i I where Y i : coherent rigid spaces. (2) For i, j I, Y i Y j Y i : ( ) an increasing sequence of open immersions. Rf = the category of general rigid spaces.
28 Relationship with algebraic spaces Theorem. { GAGA functor} Algebraic spaces of finite type /Q p Rf. Ingredients for the proof: Embedding theorem for algebraic spaces. Equivalence Theorem:
29 { } Equivalence Theorem. S : coherent adequate formal scheme X/S : formal algebraic space of {adm. blow-ups} / finite type { } / X/S : formal scheme {adm. blow-ups} of finite type Follows from: Theorem. S : as above, X/S : formal algebraic space of finite type. = π: X X: admissible blow-up such that X : formal scheme.
30 Visualization The ring used yesterday X = X rig : coherent rigid space X = lim X X X (projective limit of all admissible blow-ups). Specialization map sp X : X X. O int (Integral Structure Sheaf): limit of O X. X O Rigid Structure Sheaf: O X = lim Hom O int(i n, O int X ), X n 0 where I: ideal of definition. X In p-adic situation: O X = O int X X O O X [1 p ].
31 I O int X is the canonical integral model of O X. Zariski-Riemann triple ZR(X) = ( X, O int X, O X). X X Defined similarly for general rigid spaces Remark. Notice the analogy: (E, ) : Hermitian bundle O X E with integral model OE X int. Proposition. Topos associated to X admissible topos X ad.
32 Relation with other theories ( ( ) ) Tate s rigid ( ) spaces Affinoid in Rf = ( Rf affinoids affinoids. ( ( ) (1) Tate s rigid spaces are naturally objects of Rf (via Raynaud s theorem & patching). Coherent rigid space of the form (Spf A) rig. (2) Zariski-Riemann triples are regarded as Huber s adic spaces.
33 ( Tate s rigid spaces ) Diagram Rf f.f. ZR Not f.f. f.f. ( ) Huber s adic spaces Birational Geometry f.f. = fully faithful f.f. ( ) Berkovich spaces Spectral Geometry
34 Formal Flattening Theorem Theorem (Bosch-Raynaud, Fujiwara). f : X S : finite type between coherent adequate formal schemes. = the following conditions are equivalent: (1) f rig : X rig S rig : flat ( def f rig : flat as a morphism of local ringed spaces). (2) S S : admissible blow-up such that the strict transform f : X S is flat. Proof: Similar to the algebraic case.
35 Corollaries Corollary. Admissible blow-ups are cofinal in the category of formal modifications. Corollary (Gerritzen-Grauert). In Tate s rigid analytic geometry, sep. étale inj. open imm.
36 Properness in Rigid Geometry Three different definitions 1. Universally closed, separated, of finite type. 2. Raynaud properness; i.e., having proper formal model. 3. Kiehl properness; i.e., existence of affinoid enlargements of coverings for each relatively compact affinoid open subset. Difficult: 2. = 3.
37 For f : X Spf V: of finite type, Showing 2. = 3. Theorem. U X: affine open such that U: proper = π: X X: admissible blow-up and W X : open such that π 1 (U) W, W Spf A: contraction to an affine formal scheme. Remark. Proved by Lütkebohmert, when V = DVR (1990).
38 Formal Geometry and Rigid Geometry General Principle e.g. GFGA theorems GAGA theorems
39 Finiteness Theorem Formal Geometry Y: quasi-compact adequate and amenable f : X Y: proper of finite presentation = R f maps D coh (X) to D coh (Y) for =, +,, b. Rigid Geometry Y: quasi-compact ϕ: X Y: proper = Rϕ maps D coh (X) to D coh (Y) for =, +,, b.
40 Comparison Theorem Formal Geometry (Y, Z): universal adhesive pair, amenable f : X Y: proper of finite presentation = D (X) for coh D ( X) Rigid Geometry (B, I): complete t.u.a., U = Spec B \ V(I). f : X Y: proper U- morphisms. = D coh (X) rig D coh (Xan ) R f D coh (Y) for R f D (Ŷ) R f D coh (Y) rig R f an D (Y an )
41 Existence Theorem Formal Geometry (B, I): complete t.u.a. pair, univ. top. coh. f : X Y = Spec B: proper of finite presentation = D b coh (X) D b coh ( X) Rigid Geometry (B, I): complete t.u.a., U = Spec B \ V(I). f : X Y: proper U- morphisms. = D b coh (X) D b coh (X an )
A Mini-Course on Formal and Rigid Geometry
A Mini-Course on Formal and Rigid Geometry Padova April/May 2010 Siegfried Bosch (Münster) http://wwwmath.uni-muenster.de/u/bosch/frg-padova.pdf 1 Outline 1 Introduction Naive approach to non-archimedean
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 informationHalf a Century of Rigid Analytic Spaces
Pure and Applied Mathematics Quarterly Volume 5, Number 4 (Special Issue: In honor of John Tate, Part 1 of 2 ) 1435 1467, 2009 Half a Century of Rigid Analytic Spaces Siegfried Bosch Dedicated to John
More informationThe overconvergent site
The overconvergent site Bernard Le Stum 1 Université de Rennes 1 Version of April 15, 2011 1 bernard.le-stum@univ-rennes1.fr 2 Abstract We prove that rigid cohomology can be computed as the cohomology
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 informationarxiv: v1 [math.ag] 2 Feb 2017
On Henselian Rigid Geometry arxiv:1702.00679v1 [math.ag] 2 Feb 2017 Fumiharu Kato Abstract. We overview some of the foundations of the so-called henselian rigid geometry, and show that henselian rigid
More informationRELATIVE AMPLENESS IN RIGID-ANALYTIC GEOMETRY
RELATIVE AMPLENESS IN RIGID-ANALYTIC GEOMETRY BRIAN CONRAD 1. Introduction 1.1. Motivation. The aim of this paper is to develop a rigid-analytic theory of relative ampleness for line bundles, and to record
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 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 informationCOMPACTIFICATION OF TAME DELIGNE MUMFORD STACKS
COMPACTIFICATION OF TAME DELIGNE MUMFORD STACKS DAVID RYDH Abstract. The main result of this paper is that separated Deligne Mumford stacks in characteristic zero can be compactified. In arbitrary characteristic,
More informationOn 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 informationFactorization 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 informationSynopsis 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 informationConference in Honor of Joseph Steenbrink. Nijmegen, May 31 - June 2, 2007
Conference in Honor of Joseph Steenbrink Nijmegen, May 31 - June 2, 2007 Deligne s tubular neighborhoods in étale cohomology, after Gabber and Orgogozo Luc Illusie Université Paris-Sud 1 O. Gabber, Finiteness
More informationNAGATA COMPACTIFICATION FOR ALGEBRAIC SPACES. To the memory of Masayoshi Nagata
NAGATA COMPACTIFICATION FOR ALGEBRAIC SPACES BRIAN CONRAD, MAX LIEBLICH, AND MARTIN OLSSON Abstract. We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact
More informationFactorization of birational maps for qe schemes in characteristic 0
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
More informationIntersecting valuation rings in the Zariski-Riemann space of a field
Intersecting valuation rings in the Zariski-Riemann space of a field Bruce Olberding Department of Mathematical Sciences New Mexico State University November, 2015 Motivation from Birational Algebra Problem:
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 informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationFrom Tate s Elliptic Curve to Abeloid Varieties
Pure and Applied Mathematics Quarterly Volume 5, Number 4 (Special Issue: In honor of John Tate, Part 1 of 2 ) 1385 1427, 2009 From Tate s Elliptic Curve to Abeloid Varieties W. Lütkebohmert Dedicated
More informationMOISHEZON SPACES IN RIGID GEOMETRY
MOISHEZON SPACES IN RIGID GEOMETRY BRIAN CONRAD Abstract. We prove that all proper rigid-analytic spaces with enough algebraically independent meromorphic functions are algebraic (in the sense of proper
More informationNon characteristic finiteness theorems in crystalline cohomology
Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015
More informationTHE 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 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 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 information1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim
Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories
More information1 Existence of the Néron model
Néron models Setting: S a Dedekind domain, K its field of fractions, A/K an abelian variety. A model of A/S is a flat, separable S-scheme of finite type X with X K = A. The nicest possible model over S
More information1. Motivation: search for a p-adic cohomology theory
AN INTRODUCTION TO RIGID COHOMOLOGY CHRISTOPHER LAZDA 1. Motivation: search for a p-adic cohomology theory Let k be a perfect field of characteristic p > 0, W = W (k) the ring of Witt vectors of k, and
More informationThe Overconvergent Site I. Coefficients
The Overconvergent Site I. Coefficients Bernard Le Stum To cite this version: Bernard Le Stum. The Overconvergent Site I. Coefficients. 53 pages. 2006. HAL Id: hal-00078432 https://hal.archives-ouvertes.fr/hal-00078432
More informationAdic Spaces. 1 Huber rings. Notes by Tony Feng for a talk by Torsten Wedhorn. April 4, 2016
Adic Spaces Notes by ony Feng for a talk by orsten Wedhorn April 4, 2016 1 Huber rings he basic building blocks of adic spaces are Huber rings. Definition 1.1. A Huber ring is a topological ring A, such
More informationCohomological Descent of Rigid Cohomology for Etale Coverings.
REND. SEM. MAT. UNV. PADOVA, Vol. 109 (2003) Cohomological Descent of Rigid Cohomology for Etale Coverings. BRUNO CHARELLOTTO (*) - NOBUO TSUZU (**) 1. ntroduction. Rigid cohomology (introduced by P. Berthelot
More informationNON-ARCHIMEDEAN ANALYTIC SPACES. Vladimir G. BERKOVICH. Department of Mathematics, The Weizmann Institute of Science P.O.B. 26, Rehovot, ISRAEL
NON-ARCHIMEDEAN 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 informationALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.
ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)
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 l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
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 informationMINIMAL MODELS FOR ELLIPTIC CURVES
MINIMAL MODELS FOR ELLIPTIC CURVES BRIAN CONRAD 1. Introduction In the 1960 s, the efforts of many mathematicians (Kodaira, Néron, Raynaud, Tate, Lichtenbaum, Shafarevich, Lipman, and Deligne-Mumford)
More informationFOUNDATIONS 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 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 informationLocally G-ringed 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 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 informationNotes 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 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 informationWeight functions on non-archimedean analytic spaces and the Kontsevich Soibelman skeleton
Algebraic Geometry 2 (3) (2015) 365 404 doi:10.14231/ag-2015-016 Weight functions on non-archimedean analytic spaces and the Kontsevich Soibelman skeleton Mircea Mustaţă and Johannes Nicaise Abstract We
More informationUNIVERSAL PROPERTY OF NON-ARCHIMEDEAN ANALYTIFICATION
UNIVERSAL PROPERTY OF NON-ARCHIMEDEAN ANALYTIFICATION BRIAN CONRAD 1. Introduction 1.1. Motivation. Over C and over non-archimedean fields, analytification of algebraic spaces is defined as the solution
More information6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not
6. Lecture 6 6.1. cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not only motivic cohomology, but also to Morel-Voevodsky
More informationarxiv: v1 [math.ag] 25 Feb 2018
ON HIGHER DIRECT IMAGES OF CONVERGENT ISOCRYSTALS arxiv:1802.09060v1 [math.ag] 25 Feb 2018 DAXIN XU Abstract. Let k be a perfect field of characteristic p > 0 and W the ring of Witt vectors of k. In this
More informationRigid-analytic geometry and the uniformization of abelian varieties
Rigid-analytic geometry and the uniformization of abelian varieties Mihran Papikian Abstract. The purpose of these notes is to introduce some basic notions of rigid-analytic geometry, with the aim of discussing
More informationTHE KEEL MORI THEOREM VIA STACKS
THE KEEL MORI THEOREM VIA STACKS BRIAN CONRAD 1. Introduction Let X be an Artin stack (always assumed to have quasi-compact and separated diagonal over Spec Z; cf. [2, 1.3]). A coarse moduli space for
More informationLEFSCHETZ THEOREMS FOR TAMELY RAMIFIED COVERINGS
LEFSCHETZ THEOREMS FOR TAMELY RAMIFIED COVERINGS HÉLÈNE ESNAULT AND LARS KINDLER Abstract. As is well known, the Lefschetz theorems for the étale fundamental group of quasi-projective varieties do not
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 informationVanishing cycles for formal schemes. II
Submitted for publication in Inventiones Mathematicae Manuscript no. (will be inserted by hand later) Vanishing cycles for formal schemes. II Vladimir G. Berkovich Department of Theoretical Mathematics,
More information15 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 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 information1.6.1 What are Néron Models?
18 1. Abelian Varieties: 10/20/03 notes by W. Stein 1.6.1 What are Néron Models? Suppose E is an elliptic curve over Q. If is the minimal discriminant of E, then E has good reduction at p for all p, in
More informationp-adic UNIFORMIZATION OF CURVES
p-adic UNIFORMIZATION OF CURVES EVAN WARNER 1. Introduction: why bother? Let us presume that we have at our disposal the fully-formed theory of rigidanalytic spaces., as setched in my last tal. Why would
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, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a
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 T-Structures 7 3 The Proof of Proposition 1.0.10 14 4 Closed
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 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 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 informationarxiv: v1 [math.ag] 26 Jan 2016
Constructible isocrystals Bernard Le Stum Version of January 27, 2016 arxiv:1601.07046v1 [math.ag] 26 Jan 2016 Abstract We introduce a new category of coefficients for p-adic cohomology called constructible
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 informationA QUICK NOTE ON ÉTALE STACKS
A QUICK NOTE ON ÉTALE STACKS DAVID CARCHEDI Abstract. These notes start by closely following a talk I gave at the Higher Structures Along the Lower Rhine workshop in Bonn, in January. I then give a taste
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationConcentrated 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 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 quasi-coherent O Y algebra. (3.1.1). Let Y be a prescheme. A sheaf
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 quasi-coherent O Y -module.
More informationNOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE
NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE GUFANG ZHAO Contents 1. Introduction 1 2. What is a Procesi bundle 2 3. Derived equivalences from exceptional objects 4 4. Splitting of the
More informationTHE HILBERT STACK. T is proper, flat, and of finite presentation. Let HS mono
THE HILBERT STACK JACK HALL AND DAVID RYDH ABSTRACT. Let π : X S be a morphism of algebraic stacks that is locally of finite presentation with affine stabilizers. We prove that there is an algebraic S-stack
More informationNOTES ON THE CONSTRUCTION OF THE MODULI SPACE OF CURVES
NOTES ON THE CONSTRUCTION OF THE MODULI SPACE OF CURVES DAN EDIDIN The purpose of these notes is to discuss the problem of moduli for curves of genus g 3 1 and outline the construction of the (coarse)
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 informationPERFECTOID SPACES: A SURVEY
1 PERFECTOID SPACES: A SURVEY PETER SCHOLZE Abstract. This paper, written in relation to the Current Developments in Mathematics 2012 Conference, discusses the recent papers on perfectoid spaces. Apart
More informationNéron models of abelian varieties
Néron models of abelian varieties Matthieu Romagny Summer School on SGA3, September 3, 2011 Abstract : We present a survey of the construction of Néron models of abelian varieties, as an application of
More informationArtin Approximation and Proper Base Change
Artin Approximation and Proper Base Change Akshay Venkatesh November 9, 2016 1 Proper base change theorem We re going to talk through the proof of the Proper Base Change Theorem: Theorem 1.1. Let f : X
More informationCANONICAL EXTENSIONS OF NÉRON MODELS OF JACOBIANS
CANONICAL EXTENSIONS OF NÉRON MODELS OF JACOBIANS BRYDEN CAIS Abstract. Let A be the Néron model of an abelian variety A K over the fraction field K of a discrete valuation ring R. Due to work of Mazur-Messing,
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 informationON WITT VECTOR COHOMOLOGY FOR SINGULAR VARIETIES
ON WITT VECTOR COHOMOLOGY FOR SINGULAR VARIETIES PIERRE BERTHELOT, SPENCER BLOCH, AND HÉLÈNE ESNAULT Abstract. Over a perfect field k of characteristic p > 0, we construct a Witt vector cohomology with
More informationPART II.1. IND-COHERENT SHEAVES ON SCHEMES
PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image
More informationDERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites
DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisse-étale and the flat-fppf sites 1 4. Derived categories of quasi-coherent modules 5
More informationExploring the Exotic Setting for Algebraic Geometry
Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology
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 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 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 informationCOMPONANTES IRRÉDUCTIBLE D ESPACES RIGIDES
IRREDUCIBLE COMPONENTS OF RIGID SPACES BRIAN CONRAD This paper lays the foundations for the global theory of irreducible components of rigid analytic spaces over a complete field k. We prove the excellence
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
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 quasi-projective varieties over a field k Affine Varieties 1.
More informationHochschild homology and Grothendieck Duality
Hochschild homology and Grothendieck Duality Leovigildo Alonso Tarrío Universidade de Santiago de Compostela Purdue University July, 1, 2009 Leo Alonso (USC.es) Hochschild theory and Grothendieck Duality
More informationA p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1
A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection
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 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 informationBasic results on Grothendieck Duality
Basic results on Grothendieck Duality Joseph Lipman 1 Purdue University Department of Mathematics lipman@math.purdue.edu http://www.math.purdue.edu/ lipman November 2007 1 Supported in part by NSA Grant
More informationLOCAL STRUCTURE THEOREMS FOR SMOOTH MAPS OF FORMAL SCHEMES
LOCAL STRUCTURE THEOREMS FOR SMOOTH MAPS OF FORMAL SCHEMES LEOVIGILDO ALONSO TARRÍO, ANA JEREMÍAS LÓPEZ, AND MARTA PÉREZ RODRÍGUEZ Abstract. We deepen our study on infinitesimal lifting properties of maps
More informationUNIFORM STRUCTURES AND BERKOVICH SPACES
UNIFORM STRUCTURES AND BERKOVICH SPACES MATTHEW BAKER Abstract. A uniform space is a topological space together with some additional structure which allows one to make sense of uniform properties such
More informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
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 informationAdic 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 informationDIFFERENTIAL FORMS IN POSITIVE CHARACTERISTIC AVOIDING RESOLUTION OF SINGULARITIES
DIFFERENTIAL FORMS IN POSITIVE CHARACTERISTIC AVOIDING RESOLUTION OF SINGULARITIES ANNETTE HUBER, STEFAN KEBEKUS, AND SHANE KELLY Abstract. This paper studies several notions of sheaves of differential
More informationp-adic Modular Forms: Serre, Katz, Coleman, Kassaei
p-adic Modular Forms: Serre, Katz, Coleman, Kassaei Nadim Rustom University of Copenhagen June 17, 2013 1 Serre p-adic modular forms Formes modulaires et fonctions zêta p-adiques, Modular Functions of
More informationRigid cohomology and its coefficients
Rigid cohomology and its coefficients Kiran S. Kedlaya Department of Mathematics, Massachusetts Institute of Technology p-adic Geometry and Homotopy Theory Loen, August 4, 2009 These slides can be found
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 informationINTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES
INTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES VLADIMIR G. BERKOVICH Recall that there is a unique way to define for every comple manifold, every closed analytic one-form ω, and every continuous path
More information