Derived Analytic Geometry for Z-Valued Functions Part I: Topological Properties

We study the Banach algebras C(X,R) of continuous functions from a compact Hausdorff topological space X to a Banach ring R whose topology is discrete. We prove that the Berkovich spectrum of C(X,R) is homeomorphic to ζ(X)×M(R), where ζ(X) is the Banaschewski compactification of X and M(R) is the Berkovich spectrum of R. We study how the topology of the spectrum of C(X,R) is related to the notion of homotopy Zariski open embedding used in derived geometry. We find that the topology of ζ(X) can be easily reconstructed from the homotopy Zariski topology associated with C(X,R). We also prove some results about the existence of Schauder bases on C(X,R) and a generalization of the Stone–Weierstrass Theorem, under suitable hypotheses on X and R.