On local properties of non- Archimedean analytic spaces.

Size: px
Start display at page:

Download "On local properties of non- Archimedean analytic spaces."

Transcription

1 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. Applications. 1

2 1. Introduction. Let k be a non-archimedean field with nontrivial valuation. All analytic spaces considered are strictly k-analytic. Red : Germs bir k (X x X x ) Main results give criterions 1. for an analytic space X to be good at a point x X; 2. for a morphism Y X to be closed at a point y Y. Applications (W. Lütkebohmert, 1990, for k with discrete valuation): 1. f s : Y s X s is proper f η : Y η X η is proper. 2. X R is a separated morphism to an affinoid space any affinoid domain U X has an affinoid extension V X s.t. U Int(V/R). 2

3 2. Category bir k. In this section the base field k is arbitrary. Def: For a field K/k, P K = {ν k O ν K}, its topology basis consists of affine sets P K {f 1,..., f n } = {ν f 1,..., f n O ν }. Def: bir k is the category of maps X f X P K, where f X is a local homeomorphism and X is a connected quasi-compact and quasi-separated space. A morphism is a pair, an embedding i : K L and a commutative diagram Y f X h i # X f Y P L P K Def: (i,h) is separated (resp. proper) if Y P L PK X is injective (resp. bijective). 3

4 Def: V ar k is the category of dominant morphisms Spec(K) X, where X is integral of finite type over k. Morphisms are commutative diagrams Spec(L) i Spec(K) Y X f Def: A morphism (i, f) is 1. separated (resp. proper) if f is separated (resp. proper); 2. birational if i is an isomorphism and f is proper. 4

5 Construction: V al : V ar k bir k V al(spec(k) X) = {O ν K, Spec(O ν ) X}. Fact: V al(spec(k) X) lim Y, where the limit is taken over all birational morphisms Spec(K) Spec(K) In particular, it is quasi-compact and quasiseparated. Y X Fact: V al induces an equivalence of categories V ar k /{birational morphisms} bir k. 5

6 3. Reduction functor. Def: The spectrum M(A) of a Banach k- algebra A is the set of all bounded multiplicative seminorms on A. x M(A) χ x : A H(x), where χ x is bounded, H(x) is a non-archimedean field and H(x) = Q(χ x (A)). Analytic spaces are glued from spectra of affinoid algebras. An analytic space is good if any its point has an affinoid neighborhood. Fact: Y X are affinoid, y Y is a point H X (y) = H Y (y). Corollary: For any analytic space X and a point x X the morphism M(H(x)) i x X is well defined. 6

7 Construction: The reduction functor Red : Germs bir k (X x X x ) is defined as follows: X x Ob(Germs) Y x (with compact Y ) (Y, x Y ) (Spec( H(x)) ĩx Y s ) (Spec( H(x)) ĩx Im(ĩx)) Ob(V ar k) X x Ob(bir k) where Y is an admissible formal k -scheme and Y η Y. If Y is such that Y η Y, then Y proper over both Y and Y and such that Y η Y. Hence the result does not depend on the choice of Y. 7

8 Fact: Y X is an analytic subdomain, x Y Ỹx X x is an open embedding. Fact: x Y, Z X Y x Z x Ỹx Z x and Y x Z x Ỹx Z x ; if X = M(A) and f A, then X x {f} X x { f}. Th: {equiv. classes of subdomains Y x X x } {open quasi-comp. subsets of X x }. Remark: In Huber s adic spaces, X x x. 8

9 4. Main result. Th: A germ X x is good iff X x is affine. Proof (sketch): Step 1: We may assume, that X x = Y x Z x, Y x and Z x are good, Ỹx = X x { f} and Z x = X x { f 1 }. Step 2: Given step 1, X x is good. Lemma: Let X = M(B) M(C), M(A) = M(B) M(C), A = B{f 1 } = C{g}, k{t 1,..., T n, S, ps 1 } φ B : T i f i, S f k{t 1,..., T n, q 1 S, S 1 } ψ C : T i g i, S g p 1 q, f i g i A < 1, f g A < 1 and A is induced from k{t i, S, S 1 } X = M(D) and k{t i, q 1 S, ps 1 } D : T i h i, S h. 9

10 5. Applications. Def: Let A be a k-affinoid algebra and φ : B D a bounded A-homomorphism, where B is A-affinoid and D is A-Banach. Then φ is inner w.r.t. A if ψ : A{T 1,..., T n } B s.t. φ(ψ(t i )) sup < 1. Notation: Let M(B) = Y Y = M(B ) be affinoid spaces over X = M(A) s.t. B B is inner w.r.t. A, then one writes Y X Y. Def (Kiehl): Y f X is locally proper if X = X i and f 1 (X i ) = j Ji Y ij = j Ji Y ij s.t. Y ij Xi Y ij ; if J i may be chosen finite, then f is proper. 10

11 f Def: Given M(B) = Y X = M(A) and y Y, suppose that B χ y H(y) is inner w.r.t. A, then y Int(Y/X) and f is closed at y. Def: A morphism f : Y X of good spaces is closed if Y = Int(Y/X); f is proper if in addition it is a proper map of topological spaces. Def: f : Y X is closed (resp. proper) if for any morphism X X with good X, the base change morphism f : Y X X X is a closed (resp. proper) morphism of good spaces. 11

12 Recall, that a germ X x is good iff X x is affine. Corollary: A morphism Y y X x is closed (resp. separated) iff its reduction Ỹy X x is proper (resp. separated). Corollary: Y X is a proper (resp. locally proper) morphism of admissible formal k -schemes Y η X η is proper (resp. closed) in the sense of Berkovich Y rig X rig is proper (resp. locally proper) in the sense of Kiehl. 12

13 Th: X R, R is affinoid, M(D) = U Int(X/R) U R U = M(D ) and U is a Weierstrass domain in U. Proof (sketch): Step 1: We may assume, that U{f} and U{f 1 } have analogous extensions. Step 2: Reduction to the relative version of the previous lemma. 13

14 Rigid definition of good spaces: X is good if it is separated and X = I X i = I X i s.t. X i, X i are affinoid and X i X X i, i.e. for any affinoid Y X and i I we have (X i Y ) Y (X i Y ). Conjecture: If X is good, then for any affinoid subdomain Y X there exists a bigger affinoid subdomain Y s.t. Y X Y. 14

NON-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, 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 information

Rigid Geometry and Applications II. Kazuhiro Fujiwara & Fumiharu Kato

Rigid 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 (= quasi-compact and quasi-separated) (analog. compact Hausdorff) U

More information

Adic Spaces. Torsten Wedhorn. June 19, 2012

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

More information

15 Lecture 15: Points and lft maps

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

More information

A Mini-Course on Formal and Rigid Geometry

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 information

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

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

More information

Constructible isocrystals (London 2015)

Constructible 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 information

Adic Spaces. 1 Huber rings. Notes by Tony Feng for a talk by Torsten Wedhorn. April 4, 2016

Adic 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 information

INTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES

INTEGRATION 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

14 Lecture 14: Basic generallities on adic spaces

14 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 information

Toric coordinates in relative p-adic Hodge theory

Toric coordinates in relative p-adic Hodge theory Toric coordinates in relative p-adic Hodge theory Kiran S. Kedlaya in joint work with Ruochuan Liu Department of Mathematics, Massachusetts Institute of Technology Department of Mathematics, University

More information

Problems on adic spaces and perfectoid spaces

Problems on adic spaces and perfectoid spaces Problems on adic spaces and perfectoid spaces Yoichi Mieda 1 Topological rings and valuations Notation For a valuation v : A Γ {0} on a ring A, we write Γ v for the subgroup of Γ generated by {v(a) a A}

More information

Geometric motivic integration

Geometric 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 information

Locally G-ringed spaces and rigid spaces

Locally 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 information

1 Notations and Statement of the Main Results

1 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 information

Factorization of birational maps on steroids

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 information

Half a Century of Rigid Analytic Spaces

Half 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 information

Lecture 3: Flat Morphisms

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

More information

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1

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

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

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

More information

An Introduction to Rigid Analytic Geometry

An Introduction to Rigid Analytic Geometry An Introduction to Rigid Analytic Geometry Hans Schoutens Ohio State University http://www.math.ohio-state.edu/~schoutens June 2002 Abstract These notes 1 are intended to be a short course in rigid analytic

More information

7 Lecture 7: Rational domains, Tate rings and analytic points

7 Lecture 7: Rational domains, Tate rings and analytic points 7 Lecture 7: Rational domains, Tate rings and analytic points 7.1 Introduction The aim of this lecture is to topologize localizations of Huber rings, and prove some of their properties. We will discuss

More information

Factorization of birational maps for qe schemes in characteristic 0

Factorization 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 information

Notes on p-divisible Groups

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

More information

BEZOUT S THEOREM CHRISTIAN KLEVDAL

BEZOUT 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 information

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

Boolean Algebras, Boolean Rings and Stone s Representation Theorem Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to

More information

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

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

More information

SCHEMES. David Harari. Tsinghua, February-March 2005

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

More information

Synopsis of material from EGA Chapter II, 5

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

More information

MOISHEZON SPACES IN RIGID GEOMETRY

MOISHEZON 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 information

ADIC SPACES FLORENT MARTIN

ADIC SPACES FLORENT MARTIN ADIC SPACES FLORENT MARTIN Contents 1. Affinoid rings and spaces 1 2. (Pre)-Sheaves 3 3. The closed disc and the affine line 5 3.1. The closed disc vs. the affine line 5 3.2. Points of type 1 to 5 6 3.3.

More information

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

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

More information

CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES

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

More information

1. Valuative Criteria Specialization vs being closed

1. 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 quasi-compact S-morphisms, and let Z X be closed non-empty. 1) For every z Z there

More information

Lecture 6: Etale Fundamental Group

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

More information

Wild coverings of Berkovich curves. Conference in honor of Arthur Ogus

Wild coverings of Berkovich curves. Conference in honor of Arthur Ogus Wild coverings of Berkovich curves M. Temkin September 24, 2015 Conference in honor of Arthur Ogus M. Temkin (Hebrew University) Wild coverings of Berkovich curves 1 / 27 Introduction The goals Fix a complete

More information

SEPARATED AND PROPER MORPHISMS

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

More information

Vanishing cycles for formal schemes. II

Vanishing 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 information

NONSINGULAR CURVES BRIAN OSSERMAN

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

More information

Lecture 9 - Faithfully Flat Descent

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

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

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

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

More information

Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic 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 information

RELATIVE AMPLENESS IN RIGID-ANALYTIC GEOMETRY

RELATIVE 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 information

VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS

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

More information

Reflexivity of Locally Convex Spaces over Local Fields

Reflexivity of Locally Convex Spaces over Local Fields Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric

More information

NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY

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

More information

Algebraic varieties and schemes over any scheme. Non singular varieties

Algebraic 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 information

Basic notions of rigid analytic geometry. Peter Schneider

Basic notions of rigid analytic geometry. Peter Schneider Basic notions of rigid analytic geometry Peter Schneider 1 The purpose of my lectures at the conference was to introduce the newcomer to the eld of rigid analytic geometry. Precise denitions of the key

More information

UNIFORM STRUCTURES AND BERKOVICH SPACES

UNIFORM 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 information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED 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 information

Duality, Residues, Fundamental class

Duality, Residues, Fundamental class Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class

More information

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

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

More information

p-adic Modular Forms: Serre, Katz, Coleman, Kassaei

p-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 information

The overconvergent site

The 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 information

Homologically trivial and annihilator locally C -algebras

Homologically trivial and annihilator locally C -algebras Homologically trivial and annihilator locally C -algebras Yurii Selivanov Abstract. In this talk, we give a survey of recent results concerning structural properties of some classes of homologically trivial

More information

6 Lecture 6: More constructions with Huber rings

6 Lecture 6: More constructions with Huber rings 6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace

More information

Etale cohomology of fields by Johan M. Commelin, December 5, 2013

Etale cohomology of fields by Johan M. Commelin, December 5, 2013 Etale cohomology of fields by Johan M. Commelin, December 5, 2013 Etale cohomology The canonical topology on a Grothendieck topos Let E be a Grothendieck topos. The canonical topology T on E is given in

More information

VALUATIVE CRITERIA BRIAN OSSERMAN

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

More information

Math 731: Topics in Algebraic Geometry I Berkovich Spaces

Math 731: Topics in Algebraic Geometry I Berkovich Spaces Math 731: Topics in Algebraic Geometry I Berkovich Spaces Mattias Jonsson Fall 2016 Course Description Berkovich spaces are analogues of complex manifolds that appear when replacing complex numbers by

More information

ABSTRACT NONSINGULAR CURVES

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

More information

arxiv: v1 [math.ag] 29 Aug 2018

arxiv: v1 [math.ag] 29 Aug 2018 NON-ARCHIMEDEAN HYPERBOLICITY AND APPLICATIONS ARIYAN JAVANPEYKAR AND ALBERTO VEZZANI arxiv:1808.09880v1 [math.ag] 29 Aug 2018 Abstract. Inspired by the work of Cherry, we introduce and study a new notion

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25 RAVI VAKIL CONTENTS 1. Quasicoherent sheaves 1 2. Quasicoherent sheaves form an abelian category 5 We began by recalling the distinguished affine base. Definition.

More information

Smooth morphisms. Peter Bruin 21 February 2007

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

More information

Odds and ends on equivariant cohomology and traces

Odds and ends on equivariant cohomology and traces Odds and ends on equivariant cohomology and traces Weizhe Zheng Columbia University International Congress of Chinese Mathematicians Tsinghua University, Beijing December 18, 2010 Joint work with Luc Illusie.

More information

THE KEEL MORI THEOREM VIA STACKS

THE 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 information

AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES

AFFINE 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 C-linear. 1.

More information

214A HOMEWORK KIM, SUNGJIN

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

More information

Weight functions on non-archimedean analytic spaces and the Kontsevich Soibelman skeleton

Weight 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 information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

TROPICAL BRILL-NOETHER THEORY

TROPICAL BRILL-NOETHER THEORY TROPICAL BRILL-NOETHER THEORY 11. Berkovich Analytification and Skeletons of Curves We discuss the Berkovich analytification of an algebraic curve and its skeletons, which have the structure of metric

More information

The Overconvergent Site I. Coefficients

The 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 information

Eigenvarieties. Kevin Buzzard. August 2, 2006

Eigenvarieties. Kevin Buzzard. August 2, 2006 Eigenvarieties Kevin Buzzard August 2, 2006 Abstract We axiomatise and generalise the Hecke algebra construction of the Coleman-Mazur Eigencurve. In particular we extend the construction to general primes

More information

CONTINUOUS VALUATIONS AND THE ADIC SPECTRUM

CONTINUOUS VALUATIONS AND THE ADIC SPECTRUM CONTINUOUS VALUATIONS AND THE ADIC SPECTRUM TAKUMI MURAYAMA Abstract. Following [Hub93, 3], we introduce the spectrum of continuous valuations Cont(A) for a Huber ring A and the adic spectrum Spa(A, A

More information

arxiv: v2 [math.ag] 28 Jul 2016

arxiv: 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 information

p-adic Analysis in Arithmetic Geometry

p-adic Analysis in Arithmetic Geometry p-adic Analysis in Arithmetic Geometry Winter Semester 2015/2016 University of Bayreuth Michael Stoll Contents 1. Introduction 2 2. p-adic numbers 3 3. Newton Polygons 14 4. Multiplicative seminorms and

More information

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY S THEOREM AND COMPLETE VARIETIES CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized

More information

NAGATA COMPACTIFICATION FOR ALGEBRAIC SPACES. To the memory of Masayoshi Nagata

NAGATA 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 information

Homology and Cohomology of Stacks (Lecture 7)

Homology 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 information

EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES

EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES DUSTIN CARTWRIGHT Abstract. We study an obstruction to prescribing the dual complex of a strict semistable degeneration of an algebraic surface.

More information

MV-algebras and fuzzy topologies: Stone duality extended

MV-algebras and fuzzy topologies: Stone duality extended MV-algebras and fuzzy topologies: Stone duality extended Dipartimento di Matematica Università di Salerno, Italy Algebra and Coalgebra meet Proof Theory Universität Bern April 27 29, 2011 Outline 1 MV-algebras

More information

GLUING SCHEMES AND A SCHEME WITHOUT CLOSED POINTS

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

More information

DESCENT THEORY (JOE RABINOFF S EXPOSITION)

DESCENT 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 information

UNIVERSAL DERIVED EQUIVALENCES OF POSETS

UNIVERSAL DERIVED EQUIVALENCES OF POSETS UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for

More information

arxiv: v1 [math.ag] 2 Feb 2017

arxiv: 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 information

A locally convex topology and an inner product 1

A locally convex topology and an inner product 1 Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 12, Number 4 (2016, pp. 3327-3338 Research India Publications http://www.ripublication.com/gjpam.htm A locally convex topology and

More information

Cohomological Descent of Rigid Cohomology for Etale Coverings.

Cohomological 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 information

1 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

1 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 information

OFER GABBER, QING LIU, AND DINO LORENZINI

OFER GABBER, QING LIU, AND DINO LORENZINI PERIOD, INDEX, AND AN INVARIANT OF GROTHENDIECK FOR RELATIVE CURVES OFER GABBER, QING LIU, AND DINO LORENZINI 1. An invariant of Grothendieck for relative curves Let S be a noetherian regular connected

More information

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

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

More information

Hom M (J P (V ), U) Hom M (U(δ), J P (V )),

Hom M (J P (V ), U) Hom M (U(δ), J P (V )), Draft: October 10, 2007 JACQUET MODULES OF LOCALLY ANALYTIC RERESENTATIONS OF p-adic REDUCTIVE GROUS II. THE RELATION TO ARABOLIC INDUCTION Matthew Emerton Northwestern University To Nicholas Contents

More information

Math 203A - Solution Set 3

Math 203A - Solution Set 3 Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)

More information

Journal of Pure and Applied Algebra

Journal of Pure and Applied Algebra Journal of Pure and Applied Algebra 216 (2012) 1235 1244 Contents lists available at SciVerse ScienceDirect Journal of Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa On a theorem

More information

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

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

More information

MATRIX LIE GROUPS AND LIE GROUPS

MATRIX LIE GROUPS AND LIE GROUPS MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either

More information

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI. RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis

More information

THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS

THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS DANIEL LITT Let us fix the following notation: 1. Notation and Introduction K is a number field; L is a CM field with totally real subfield L + ; (A,

More information

Cohomology and Base Change

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

More information

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

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

More information

What is p-adic geometry?

What is p-adic geometry? What is p-adic geometry? Marta Panizzut Chow Lectures Leipzig November 5, 2018 Non-Archimedean valued fields Berkovich s theory Huber s theory Non-Archimedean valued fields Berkovich s theory Huber s theory

More information