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 2014-2015
-
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 K-algebra.
We also introduce Sp A, the affinoid K-space 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 K-space 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 non-closed 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 Riemann-Zariski 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 quasi-compactness 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.