Abstract:Since their inception perfectoid spaces have catalyzed a revolution in p-adic geometry. We redevelop the foundations of perfectoid spaces from the point of view of Berkovich Spaces, where the underlying topological space of an affinoid perfectoid space is a compact Hausdorff space -- closely resembling the situation in complex geometry. The key technical ingredient in our construction is arc_pi-descent for perfectoid Banach algebras. Along the way, we establish various foundational results for arc_pi-sheaves, notably a form of the Gerritzen-Grauert theorem.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to reconstruct the basic theory of perfectoid spaces, but this time from the perspective of Berkovich spaces. Specifically, the author re - defines and understands the properties of perfectoid spaces by introducing the arc ̟ - topology. In particular, when dealing with affinoid perfectoid spaces, the underlying topological space of these spaces is a compact Hausdorff space, which is very similar to the situation in complex geometry. Here are some key problems that the paper attempts to solve:
1. **Reconstructing the theory of perfectoid spaces**:
- Using the framework of Berkovich spaces, the author reconstructs the basic theory of perfectoid spaces from a new perspective. This method not only provides a new perspective but may also simplify certain proofs and technical details.
2. **Application of arc ̟ - topology**:
- The arc ̟ - topology, which is a Grothendieck topology defined in the category of qcqs K≤1 - schemes, is introduced. Through this topology, the author can better understand and handle the local properties of perfectoid spaces, especially the local structure of affinoid perfectoid spaces.
3. **Generalization of Tate homology**:
- The paper proves that under arc ̟ - coverings, affinoid perfectoid spaces satisfy Tate homology. This result is achieved by proving the exactness and admissibility of the following sequence:
\[
0 \to R \to \prod_{i \in I} S_i \to \prod_{i, j \in I} S_i \hat{\otimes}_R S_j \to \cdots
\]
- This result not only generalizes Scholze's results on v - descent but also provides a more powerful tool for handling the local properties of perfectoid spaces.
4. **Monomorphisms and isomorphisms of affinoid perfectoid spaces**:
- The paper discusses in detail the conditions for monomorphisms and isomorphisms between affinoid perfectoid spaces. For example, a morphism \( M(S)\to M(R) \) of affinoid perfectoid spaces is a monomorphism if and only if it is injective at the set level and the mapping of the complete residue fields at each point is an isomorphism. This result is similar to the situation in complex geometry, further strengthening the analogy between affinoid perfectoid spaces and compact Hausdorff spaces.
5. **Extension of the Berkovich functor**:
- The author defines a functor from the category of arc ̟ - sheaves to the category of coherent sets, called the Berkovich functor. This functor preserves certain important properties, such as full faithfulness, thus providing a new tool for studying perfectoid spaces.
In general, by introducing new topologies and functors, this paper reconstructs the theory of perfectoid spaces from the perspective of Berkovich spaces, providing new perspectives and tools for the study of p - adic geometry.