On the Sheafyness Property of Spectra of Banach Rings

TL;DR

This paper introduces a homotopical spectrum for non-Archimedean Banach rings using derived rational localizations, enabling the application of derived geometry to analyze spectra even when the classical structure sheaf is not a sheaf.

Contribution

It develops a new derived spectral construction for Banach rings, extending the geometric understanding beyond classical sheaf conditions.

Findings

Constructed a homotopical Huber spectrum Spa^h(R) for Banach rings.

Proved the derived Tate-Cech complex is strictly exact.

Established conditions under which the derived spectrum relates to classical spectra.

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.