Abstract:These lecture notes are based on the second course in a series of lectures at the Spring school "Non-archimedean geometry and Eigenvarieties" in March 2023 in Heidelberg. The objective of the first three courses was to give an introduction to the theory of adic spaces. Building up on the theory of Huber pairs presented in John Bergdall's lecture we explain the construction of adic spaces. We study some important classes of adic spaces such as rigid analytic spaces and formal schemes and show the connections between them. In the course of the lecture we will illustrate the respective concepts with the fundamental examples of the open and closed disc and the affine line.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct and understand the theory of **adic spaces**. Specifically, based on the theory of Huber pairs of rings, the paper explains in detail how to construct adic spaces and studies some important classes of adic spaces, such as rigid analytic spaces and formal schemes, and shows the connections between them.
### Core of the problem
1. **Constructing adic spaces**: Define affinoid adic spaces through the adic spectrum of Huber pairs of rings and their structure sheaves, and then glue these affinoid adic spaces together to form general adic spaces.
2. **Studying important classes**: Explore different types of adic spaces such as rigid analytic spaces, formal schemes, and algebraic varieties, and show the relationships between them.
3. **Providing basic examples**: Illustrate these concepts through specific examples, such as the open unit disc, the closed unit disc, and the affine line.
### Specific content
- **Huber pairs of rings**: Defined as a topological ring \((A, A^+)\) with a sub - ring, where \(A\) is a Huber ring and \(A^+\) is its sub - ring of integral elements.
- **Adic spectrum**: For a Huber pair of rings \((A, A^+)\), its adic spectrum is defined as:
\[
\text{Spa}(A, A^+)=\left\{v: A \to \Gamma\cup\{0\}\mid v \text{ is a continuous valuation}, v(A^+)\leq1\right\}/\sim
\]
where “\(\sim\)” represents the equivalence class of valuations.
- **Structure sheaf**: Define a complete topological ring sheaf \(O_X\) and its sub - sheaf \(O_X^+\) on the adic spectrum, such that \(O_X(X)=\hat{A}\), \(O_X^+(X)=\hat{A}^+\).
### Applications and significance
- **Unified framework**: Adic spaces provide a unified framework that can handle objects in rigid analytic geometry, formal schemes, and algebraic geometry simultaneously.
- **Complex structures**: By introducing topological structures and valuations, adic spaces can describe various phenomena in non - Archimedean geometry more precisely.
In conclusion, this paper aims to provide a solid theoretical basis for further research in non - Archimedean geometry by constructing and analyzing adic spaces and to reveal the deep - seated connections between different geometric objects.