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

MaRDI QIDQ6373208zbMATH OpenFDO

Authors Federico Bambozzi, Tomoki Mihara

Publication date 19 July 2021

Abstract: We study the Banach algebras $mC(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 $mC(X,R)$ is homeomorphic to $zeta(X)imesmathcalM(R)$, where $zeta(X)$ is the Banaschewski compactification of $X$ and $mathcalM(R)$ is the Berkovich spectrum of $R$. We study how the topology of the spectrum of $mC(X,R)$ is related to the notion of homotopy Zariski open embedding used in derived geometry. We find that the topology of $zeta(X)$ can be easily reconstructed from the homotopy Zariski topology associated to $mC(X,R)$. We also prove some results about the existence of Schauder bases on $mC(X,R)$ and a generalisation of the Stone--Weierstrass Theorem, under suitable hypotheses on $X$ and $R$.

This page was built for publication: Derived Analytic Geometry for Z-Valued Functions. Part I -- Topological Properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6373208)