# 14 Lecture 14: Basic generallities on adic spaces

Size: px
Start display at page:

Transcription

1 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 Two open questions We begin by pointing out two questions which naturally come as analogous to facts from classical rigid geometry, and are still open. Around noetherianity Huber shows in his paper [H1] that a strongly noetherian complete Huber ring yields a sheafy pre-adic space; i.e., its adic spectrum is an adic space in the sense that the natural presheaf of topological rings is a sheaf. It is not know if a noetherian complete Huber ring is always strongly noetherian. Rational open immersions In classical rigid geometry, given an affinoid algebra A and a rational domain Sp(A f/g ) Sp(A), it is known that A A f/g is flat. The reader can find the argument in Proposition Roughly, it is sufficient to show that the above natural ring map is an isomorphism of completed local rings at every maximal ideal. For a Huber pair (A, A + ) rather than an affinoid algebra A, one is led to ask if the natural map A A T/s is always flat when T A A is open. This is believed to be false in general. It seems unlikely that one can set up a theory of coherent sheaves on adic spaces without some noetherian assumptions (but note that on formal models of rigid spaces we do have a good theory of coherent sheaves despite the coordinate rings being non-noetherian in general) Complements on adic spaces Recall from last time that for a Huber pair (A, A + ) and X := Spa(A, A + ), we defined the functor on the category of rational domains of X: O A : W := X(T/s) A T/s where s A and T = {t 1,..., t n } is a non-empty finite subset of A such that T A A is open (and we saw that O A (W ) is intrinsic to W and is uniquely functorial with respect to inclusions among such W s). We extend O A to the whole category of open subsets U X by setting O A (U) := lim O A (W ) W U with W running over all rational domains of X contained in U. We know from Lecture 13 that O A is a sheaf if either A is stably uniform (i.e., A T/s 0 is bounded in A T/s for all choices of T and 1

2 s) or if A has a noetherian ring of definition or if A is strongly noetherian. The first of these three conditions is what we will need for the study of perfectoid spaces (but the latter two are extremely useful for adic spaces associated to noetherian formal schemes and to rigid-analytic spaces, each an important source of examples; keep in mind that non-reduced affinoid algebras are never uniform whereas perfectoid rings are always reduced!). Units in O A,x, x X Let us recall the proof that for x X the stalk O A,x is a local ring (and we do not try to put a topology on it). For any rational domain W := X(T/s) containing x we have a valuation : A Γ x {0} which factors uniquely continuously through a valuation v x : A (W ) = A T/s Γ x {0} (because it factors continuously through A[1/s] with the topology of A(T/s)). Such a factorization is natural in W in the obvious sense and therefore yields a valuation on the filtered colimit O A,x = lim O A (W ) Γ x {0} x W with W running over all rational domains containing x; this latter map will also be denoted without risk of confusion. Obviously ker is a proper ideal in O A,x, and we will show that any f O A,x outside this kernel is a unit (so the non-units form an ideal, making the stalk local). Consider f O A,x such that (f) 0. Certainly f comes from an element f O A (W ) =: A for some rational domain W, and if I is an ideal of definition of some ring of definition then upon replacing I with a large enough power if necessary we get for generators t 1,..., t m of I in A that (t i) (f ) 0 for all i. Define W := W (T /f ), with T := {t 1,..., t m} (which obviously generates in A an open ideal), so W W is a rational domain around x with f a unit in the completion A (W ) = A T /f, so f O A,x as desired. Caveat on residue fields Given that O A,x is a local ring for all x X, let us denoted by m x its maximal ideal, and define κ(x) := O A,x /m x. Clearly factors through a valuation κ(x) Γ x {0}, which we still call. Let us denote by κ(x) + the valuation ring of in κ(x). How do we concretely compute κ(x)? Geometrically, we consider rational domains W = X(T/s) in X = Spa(A, A + ) containing x with T A open in A. We know that : A Γ x {0} factors naturally through A T/s and the following diagram commutes: A A := A T/s Γ x {0} v x Thus, the support p of x in A is the contraction of the prime ideal support p of on A, yielding unique factorizations through the respective residue fields in the form of a commutative diagram of valued fields: Frac(A/p) Γ x {0} Frac(A /p ) v x 2

3 We conclude that κ(x) = lim Frac(A /p ) Spa(A,A + ) x with A = O A (W ) for rational W x as above. But in contrast with the case of schemes or of rigid-analytic spaces and classical points, the map of valued fields Frac(A/p v ) Frac(A /p v) will in general be a huge extension, so it is not clear how to compute the limit! (This is already seen for the closed unit ball with x the Gauss point.) The way out is the observation that each such map of valued fields has dense image for the valuation topology because A[1/s] = A(T/s) A T/s =: A has dense image for the topology defined by v x on A. Indeed, v x is continuous on A, and A[1/s] A has dense image for the Huber ring topology on A. The denseness of the images of such transition maps between valued fields implies that the completions all canonically coincide: the field k(x) := κ(x) coincides with the completion of Frac(A /p ) for every (A, A + ) as above. In other words, k(x) can be directly computed using any choice of rational domain containing x whereas κ(x) requires the consideration of arbitrarily small such rational domains. (The better behavior of the completed residue field over the actual residue field is also seen in the theory of Berkovich spaces.) Local integral structures We recall that we have the following commutative diagram of maps of rings: O A,x O + A,x κ(x) κ(x) + For all rational domains W = X(T/s) X we have O + A (W ) = A T/s + inside O A (W ) = A T/s, where A T/s + is the integral closure of the open image of A + T/s in A T/s. Finally, recall that we have a natural homeomorphism and the adic Nullstellensatz gives We prove the following: Spa(A T/s, A T/s + ) X(T/s) A T/s + = {f A(T/s) v(f) 1 for all v X(T/s)}. Proposition The commutative diagram O A,x O + A,x κ(x) κ(x) + is Cartesian; in other words, O + A,x = {f O A,x (f) 1}. 3

4 Proof. Consider f O A,x such that (f) 1. We have to show that f comes from O + A,x. There exists a rational domain W = X(T/s) X around x such that f comes from f A := O A (W ), and necessarily (f ) 1. We seek a rational domain U W around x such that f U O + A (U). Define U := {v W v(f ) v(1) = 1 0} = W (f /1); this contains x, is rational in W = Spa(A, A +) (hence is rational in X = Spa(A, A + ), by a nontrivial argument of Huber discussed earlier), and clearly does the job. We observe that as a consequence, the natural map O + A,x κ(x)+ is surjective and the full preimage of the units in κ(x) + is exactly (O + A,x ). This yields: Corollary The stalk O + A,x is local with residue field equal to that of the valuation ring κ(x)+. The adic Nullstellensatz applied to rational domains yields the following concrete formula for all open U Spa(A, A + ): O + A (U) = {f O A(U) (f) 1 for all x U}. (For rational U this literally is the adic Nullstellensatz.) 14.4 Global adic spaces To define adic spaces, a choice needs to be made in the axioms: do we prioritize the stalkwise valuations or the subsheaf + of integral elements? It seems a bit simpler to use stalkwise valuations in the axioms, so (following Huber) we shall proceed that way. Define C to be the category of triples (X, O, { } x X ) where (X, O) is a topologically locally ringed space (i.e., O is a presheaf of topological rings with local stalks and for any open U X and open cover {U i, i I} of U the diagram O(U) i I O(U i) i,j I O(U i U j ) is a topological equalizer) and is a valuation on the residue field κ(x) of O x for all x X. We now define morphisms between such triples. A morphism of such triples (X, O, {v x}) f (X, O, { }), is a map (X, O ) ϕ (X, O) of locally ringed spaces such that (1) O(U) O (ϕ 1 U) is continuous for all open subsets U X, (2) for all x X and x = ϕ(x ) X the natural map κ(x) κ(x ) is valuation-compatible; i.e., it induces a local map of valuation rings κ(x) + κ(x ) + or equivalently there exists a (necessarily unique) map of ordered abelian groups Γ x Γ x making the following diagram commute: κ(x) κ(x ) Γ x {0} Γ x {0} Example As an example, if (A, A + ) is a sheafy Huber pair, then (Spa(A, A + ), O A, { }) 4

5 is such a triple. Given a continuous map of Huber pairs f : (A, A + ) (B, B + ) we get a continuous map Y := Spa(B, B + ) ϕ Spa(A, A + ) =: X of topological spaces. Let us explain how to naturally enhance this to a morphism in C. Given W = X(T/s) a rational domain in X, its preimage under the continuous ϕ is an open set and so is covered by rational domains U = Y (T /s ) in Y. (Beware that this preimage is generally not a rational domain since Y (ϕ(t )/ϕ(s)) may not make sense as such: ϕ(t ) A might not be open! In general ϕ 1 (Y (T /s )) can fail to be quasi-compact.) By the universal mapping property for the A-algebra A T/s and B-algebra B T /s we get a unique commutative diagram of topological rings A B A T/s B T /s Varying U in ϕ 1 (W ) thereby defines a continuous map O A (W ) O B (ϕ 1 (W )) and by varying W this yields a map ϕ # : O A ϕ (O B ) which provides a map Y X as topologically ringed spaces. This is readily verified to be local on stalks and valuation-compatible, so in the sheafy case it is a morphism Spa(f) : Y X in C which is clearly functorial in f. We are finally ready to globalize the notion of affinoid adic space: Definition A triple (X, O, { }) is called an adic space if it is locally isomorphic to Spa(A, A+) for some sheafy Huber pair (A, A + ). Given an adic space X, we define O + O by: O + (U) := {f O(U) (f) 1 for all x U}. Remark If X = Spa(A, A + ) for some sheafy Huber pair (A, A + ) then the above definition of O + recovers O + A O A. By earlier considerations on O A and O + A, we deduce the following facts for general adic spaces: (1) O + X,x is local for all points x X. (2) O + X,x = {f O x (f) 1}. The following basic but important result is [H1, Prop. 2.1]: Proposition (1) If X and Y := Spa(A, A + ) are adic spaces with A complete, then is a bijection. (2) For adic spaces X and Y, a map Hom(X, Y ) Hom cont ((A, A + ), (O X (U), O + X (U))) f : (X, O X ) (Y, O Y ) of topologically locally ringed spaces respects valuations if and only if we can fill in the bottom of a commutative diagram f O X O Y O + Y f O + X 5

6 and the induced natural map of ringed spaces (X, O + X ) (Y, O+ Y ) is a map of locally ringed spaces. Part (2) provides an alternative viewpoint on how to think about morphisms of adic spaces, and it suggests that even the very definition of adic space can be given via axioms on triples (X, O, O + ), but this does not seem to be as elegant as axiomatizing with triples (X, O, { }). Comments on the proof. To prove (1), one reduces to the case X = Spa(B, B + ), and for f : Spa(B, B + ) Spa(A, A + ) inducing a continuous map on Huber pairs ϕ : A B, one checks that Spa(ϕ) = f by adapting the arguments one runs for schemes, but using rational domains and some extra care with topological aspects. The key ingredient in the proof of (2) is that valuation rings are maximal with respect to local domination among local domains with given fraction field. Example In Proposition (1), if we choose Y = D Z := Spa(Z[t], Z[t]) (giving Z[t] the discrete topology) then Hom(X, D Z ) = O + X (X); that is, D Z represents the functor X O + X (X) from the category of adic spaces (in which Spa(Z, Z) is the terminal object!) to the category of topological rings. Instead, if we choose Y = A 1,ad Z := Spa(Z[t], Z) (again giving Z[t] the discrete topology, so Z is an open subring) then Hom(X, Y ) = O X (X); that is, A 1,ad Z represents the functor X O X (X) from the category of adic spaces to the category of topological rings Analytic points Recall the following notion: Definition A point x Spa(A, A + ) is analytic if its support p x Spec(A) is not open, or equivalently, for some (equivalently, any) ring of definition A 0 for A and ideal of definition I A 0 we have (I) 0. Note that if A is Tate then all points in Spa(A, A + ) is analytic, as the only open ideal is the unit ideal (due to the existence of a topolocially nilpotent unit); see Corollary More generally, analyticity is of local nature in the affinoid case: Lemma For x X := Spa(A, A + ) and affinoid open subspace W = Spa(B, B + ) around x, the point x is analytic in X if and only if it is analytic in W. Proof. First consider the case that W is a rational domain X(T/s) for some s A and non-empty finite subset T A such that T A is open in A. Thus, B = A T/s and B + = A T/s +. Pick a pair (A 0, I) for A as usual, so B = A(T/s) has ring of definition B 0 = A 0 [T/s] A 0 [1/s] with ideal of definition I B 0. Clearly (I) = 0 if and only if (I B 0 ) = 0, due to commutativity of A B Γ x {0} 6

8 Proposition ([H1, Prop. 3.8]) Let f : X := Spa(B, B + ) Spa(A, A + ) =: Y be a morphism of adic spaces. (1) Assume B is complete, so f = Spa(ϕ) for a map of Huber pairs ϕ : (A, A + ) (B, B + ). If f(x a ) Y a then ϕ is adic. (2) If f = Spa(ϕ) for ϕ : (A, A + ) (B, B + ) adic then f is spectral (and in particular it is quasicompact!). A comment on the proof: in the proof of (1), if ϕ is not adic then one must construct a point x X na such that f(x) Y a if ϕ; this involves non-trivial valuation-theoretic arguments (with vertical and horizontal specializations) What is a point? Let X be an adic space, and x X a point. We want to understand what x actually is from various points of view, generalizing the identification of points of a scheme with morphisms from spectra of fields. Any such x yields a pair (κ(x), κ(x) + ), so the first question is whether or not this pair (or at least its completion (k(x), k(x) + )) is Huber; if so then Spa(κ(x), κ(x) + ) makes sense and would be a good candidate to encode x X via a morphism Spa(κ(x), κ(x) + ) X. However, we observe that if A is a noetherian ring with the discrete topology then for X := Spa(A, A) = {v Spv(A) v(a) 1 for all a A} we have no control on the nonzero topologically nilpotent elements in κ(x) + for typical x X. The situation is more promising when x lies in the analytic locus X a X. In such cases κ(x) is equipped with the topology induced by a rank-1 valuation and κ(x) + is an open valuation subring of the valuation ring κ(x) 0. Thus, the Huber property easily holds since the topology on κ(x) + is defined by powers of a pseudo-uniformizer chosen to lie inside κ(x) +. For any affinoid naighbourhood Spa(A, A + ) of such an x we get a canonical composite morphism of adic spaces j x : Spa(κ(x), κ(x) + ) Spa(A, A + ) X which is easily verified to be independent of the choice of affinoid neighborhood (compare through rational domains). Next time we will look more closely at j x, and in particular see that the source has a unique closed point s x (and unique generic point η x that is the unique rank-1 generization of x in X), and that j x (s x ) = x. The fact that Spa(κ(x), κ(x) + ) is not a 1-point space when x is a higher-rank analytic point is a huge deviation from experience with schemes, formal schemes, complex-analytic spaces, and rigid-analytic spaces, yet pullback along j x is essential when we wish to study fibers of morphisms between adic spaces. For this reason, even if we are ultimately most interested in adic spaces over non-archimedean fields it is inevitable that we have to work with adic spaces over complete fields equipped with a higher-rank valuation. References [H1] R. Huber, Continuous valuations. 8

### 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

### 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

### 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

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

Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring

### 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

### 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

### Math 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).

### 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}

### 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

### 3. The Sheaf of Regular Functions

24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice

### 3 Lecture 3: Spectral spaces and constructible sets

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

### 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

### 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.

### HARTSHORNE EXERCISES

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

### 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

### 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

### 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

### 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.

### 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

### 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,

### Exercises 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 E-mail address: alex.massarenti@sissa.it These notes collect a series of

### 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.

### Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

### Berkeley lectures on p-adic geometry. Peter Scholze, Jared Weinstein

Berkeley lectures on p-adic geometry Peter Scholze, Jared Weinstein Contents Preface 4 1. Lecture I: Introduction 5 2. Lecture II: Adic spaces 9 3. Lecture III: Adic spaces II 15 4. Lecture IV: Examples

### 1. Algebraic vector bundles. Affine Varieties

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

### 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

### which is a group homomorphism, such that if W V U, then

4. Sheaves Definition 4.1. Let X be a topological space. A presheaf of groups F on X is a a function which assigns to every open set U X a group F(U) and to every inclusion V U a restriction map, ρ UV

### 0.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.

### 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

### 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

### 8 Complete fields and valuation rings

18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a

### 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

### h M (T ). The natural isomorphism η : M h M determines an element U = η 1

MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli

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

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

### 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,

### 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

### 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

### 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

### Math 249B. Nilpotence of connected solvable groups

Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C

### A QUOTIENT OF THE LUBIN TATE TOWER

A QUOTIENT OF THE LUBIN TATE TOWER JUDITH LUDWIG Abstract. In this article we show that the quotient M /B(Q p) of the Lubin Tate space at infinite level M by the Borel subgroup of upper triangular matrices

### MATH 233B, FLATNESS AND SMOOTHNESS.

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

### Lecture 2 Sheaves and Functors

Lecture 2 Sheaves and Functors In this lecture we will introduce the basic concept of sheaf and we also will recall some of category theory. 1 Sheaves and locally ringed spaces The definition of sheaf

### Berkeley lectures on p-adic geometry. Peter Scholze, Jared Weinstein

Berkeley lectures on p-adic geometry Peter Scholze, Jared Weinstein Contents p-adic geometry 5 Preface 5 1. Lecture I: Introduction 6 2. Lecture II: Adic spaces 12 3. Lecture III: Adic spaces II 20 4.

### AN INTRODUCTION TO AFFINE SCHEMES

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

### 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

### 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

### Peter Scholze Notes by Tony Feng. This is proved by real analysis, and the main step is to represent de Rham cohomology classes by harmonic forms.

p-adic Hodge Theory Peter Scholze Notes by Tony Feng 1 Classical Hodge Theory Let X be a compact complex manifold. We discuss three properties of classical Hodge theory. Hodge decomposition. Hodge s theorem

### 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

### 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

### 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.............

### Perfectoid spaces and their applications

Perfectoid spaces and their applications February 17-21, 2014 Contents 1 Almost ring theory 1 4 1.1 Almost mathematics................................ 4 1.2 Almost commutative algebra...........................

### ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

### SUMMER 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

### Direct Limits. Mathematics 683, Fall 2013

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

### 11 Lecture 11: Affinoid adic spaces II

11 Lecture 11: Affinoid adic spaces II 11.1 Introduction The aim of this lecture is to take a detailed look at the adic unit disc, and subsequently address some important properties of the Spa functor

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

### Algebraic varieties. Chapter A ne varieties

Chapter 4 Algebraic varieties 4.1 A ne varieties Let k be a field. A ne n-space A n = A n k = kn. It s coordinate ring is simply the ring R = k[x 1,...,x n ]. Any polynomial can be evaluated at a point

### Math 210B. Profinite group cohomology

Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the

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.

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5 RAVI VAKIL CONTENTS 1. The inverse image sheaf 1 2. Recovering sheaves from a sheaf on a base 3 3. Toward schemes 5 4. The underlying set of affine schemes 6 Last

### 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

### TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

### THE SMOOTH BASE CHANGE THEOREM

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

### Schemes via Noncommutative Localisation

Schemes via Noncommutative Localisation Daniel Murfet September 18, 2005 In this note we give an exposition of the well-known results of Gabriel, which show how to define affine schemes in terms of the

### 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

### 18.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

### 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

### Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial

### Summer Algebraic Geometry Seminar

Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties

### 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

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

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

### 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

### MATH 221 NOTES BRENT HO. Date: January 3, 2009.

MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................

### 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

### Topology of Nonarchimedean Analytic Spaces

Topology of Nonarchimedean Analytic Spaces AMS Current Events Bulletin Sam Payne January 11, 2013 Complex algebraic geometry Let X C n be an algebraic set, the common solutions of a system of polynomial

### Arizona Winter School 2017: Adic Spaces

Arizona Winter School 2017: Adic Spaces Jared Weinstein March 17, 2017 1 An introduction to adic spaces This year s AWS topic is perfectoid spaces, a difficult topic to treat in one week if there ever

### Section 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

### 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

### 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

### LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following

### Math 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm

Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel

### 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

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

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

### 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

### LECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS

LECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS In this lecture, we study the commutative algebra properties of perfect prisms. These turn out to be equivalent to perfectoid rings, and most of the lecture

### 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

### ALGEBRAIC 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!)

### VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY

VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY 1. Classical Deformation Theory I want to begin with some classical deformation theory, before moving on to the spectral generalizations that constitute

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43

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

### 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

### PERFECTOID 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

### CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

### 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

### NOTES IN COMMUTATIVE ALGEBRA: PART 2

NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they

### FORMAL 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

### Exploring 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

### 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

### 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