Applications to the topology of Berkovich spaces
This chapter presents various applications to the topology of classical Berkovich spaces. It deduces from the main theorem several new results on the topology of V(superscript an) which were not known previously in such a level of generality. In particular, it shows that V(superscript an) admits a strong deformation retraction to a subspace homeomorphic to a finite simplicial complex and that V(superscript an) is locally contractible. The chapter also proves the existence of strong retractions to skeleta for analytifications of definable subsets of quasi-projective varieties and goes on to prove finiteness of homotopy types in families in a strong sense and a result on homotopy equivalence of upper level sets of definable functions. Finally, it describes an injection in the opposite direction (over an algebraically closed field) which in general provides an identification between points of Berkovich analytifications and Galois orbits of stably dominated points.