On the Sheafyness Property of Spectra of Banach Rings
Abstract
Let R be a non-Archimedean Banach ring, satisfying some mild technical hypothesis that we will specify later on. We prove that to R one can associate a homotopical Huber spectrum Spa^h(R) via the introduction of the notion of derived rational localizations. The spectrum so obtained is endowed with a derived structural sheaf O_{Spa^h(R)} of simplicial Banach algebras for which the derived Tate-Cech complex is strictly exact. Under some hypothesis we can prove that there is a canonical morphism of sites Spa(R) -> |Spa^h(R)| that is an equivalence in some well-known examples of non-sheafy Banach rings. This permits to use the tools of derived geometry to understand the geometry of Spa(R) also when H^0(O_{Spa(R)}) is not a sheaf.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2020
- DOI:
- 10.48550/arXiv.2009.13926
- arXiv:
- arXiv:2009.13926
- Bibcode:
- 2020arXiv200913926B
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Functional Analysis;
- Mathematics - Number Theory
- E-Print:
- We have fixed some mistakes pointed out to us by Peter Scholze. The main results remain unchanged