Rigid Analtyic Geometry and Perfectoid Spaces
We will be covering the basics of Rigid Analytic Geometry in the first half of the seminar, then moving onto adic
and perfectoid spaces. Our main source for the first half will be [B]. After this, we will likely follow [C].

When: Wednesday 5:30pm  7:00pm ET

Where: Math 507  or by Zoom

References:

[B] Bosch Lectures on Formal and Rigid Geometry

[C] Conrad Number theory learning seminar 20142015

Any notes taken will be added here.
Schedule

September 14

Alex Scheffelin

What is Rigid Geometry and Tate Algebras (Chapters 1 & 2 of [B])
We will discuss what rigid geometry is, and begin by introducing the notion of a Tate algebra, a fundamental notion in rigid geometry.


September 21

Alex Scheffelin

Finishing Tate Algebras (Chapter 1 of [B])

We will finish our exposition of chapter 2, completing proofs of several elementary facts about Tate algebras,
and then proving that ideals are complete, and thus closed.


Notes for 14th and 21st: notes


September 28

Kevin Chang

Affinoid Algebras and Affinoid Spaces (Sections 3.1 & 3.2 of [B])
We will introduce an affinoid algebra, which is the rigid analog of a finite type Kalgebra.
We also introduce Sp A, the affinoid Kspace associated to A which plays a role analogous to Spec
in algebraic geometry.


October 5

Benjamin Church

Affinoid Subdomains (Section 3.3 of [B])
The Zariski topology on an affinoid Kspace is coarse. We will introduce a finer
topology which is induced directly from K's topology.


October 12

Alex Scheffelin

Affinoid Functions (Sections 4.1 & 4.2 of [B])
We first define germs of affinoid functions, which is a construction very similar to the local rings for schemes.
Following this, we examine locally closed immersions of affinoid spaces, providing a local way to describe affinoid subdomains.


October 19

Alex Scheffelin

Tate's Acyclicity Theorem (Sections 4.3 of [B])
Due to the topology on affinoid spaces, the sheaf condition for the presheaf of affinoid functions is rarely satisfied. The presheaf will
always be separated, but the ability to glue functions will fail. We will be able to prove that given a finite cover, we will be able to glue
functions, which is a special case of Tate's Acyclicity Theorem which we will prove.


October 25

Alex Scheffelin

Motivations for Adic Spaces (Lecture 1 (Sept. 26) of [C])
We will explore a way to define sheaves on the closed points of nice schemes (say for varieties) in a way that is equivalent to defining them on
the scheme itself. As a result we will find a way to characterize stalks of the sheaf at nonclosed points without any reference to the point itself
using the notion of a prime filter.


November 2

Alex Scheffelin

Spaces of Valuations (Lecture 2 (Oct. 3) of [B])
We will ultimately be basing adic spaces, which are spaces formed from valuations. We will review some of the basics of valuation theory, then define
the RiemannZariski space, a space of classical interest. Zariski using these was able to prove the resolution of algebraic varieties in dimensions 2 and 3,
and even recently they have been used in proofs. We then finish by defining the valuation spectrum of a ring.


November 9

Amal Mattoo

Huber Rings (Lecture 5 (Oct. 24) of [B])
We introduce the notion of a Huber ring, a certain class of topological rings which will be of importance for us. We introduce the notion of boundedness,
and prove some facts about Huber rings and their topology.


November 16

Morena Porzio

Generalities on Constructible Sets and Spectral Spaces (Lecture 3 (Oct. 10) of [B])
In general, perfectoid spaces will not enjoy any kind of Noetherianity condition. However, a motoo to keep in mind is that several "finiteness questions"
can find an answer by dealing with the constructible topology. Therefore we want to analyze quasicompactness properties, which will lead us to a
digression about (pro)constructible sets and spectral spaces. We will then discuss some characterizations of constructibility, such as Hochster's
criterion. We will end by sketching that Spv(A) is spectral.


November 23

Everyone

Lunch
We enjoyed a nice lunch at my apartment to celebrate Thanksgiving.


November 30

Alex Scheffelin

Specialization Constructions (Lecture 4 (Oct. 17) of [B])
We will examine the topology of Spv(A), and will consider the specialization relation.

December 7

Alex Scheffelin

Huber Rings Part II (Lecture 6 (Oct. 31) of [B])
We have to further develop the theory of Huber rings in order to have a hope of working with adic spaces. Towards this end we will discuss topologically
nilpotent units, and how to topologize a localization.