higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
derived smooth geometry
Berkovich analytic spaces are a version of analytic spaces over nonarchimedean fields. Unlike the rigid analytic spaces (see rigid analytic geometry) of Tate, which are locally defined via maximal spectra of Tate algebras glued via rigidified Grothendieck topology, the Berkovich analytic spaces are defined with respect to the analytic spectrum, due to Vladimir Berkovich; this spectrum can be viewed as consisting of the data of prime ideal plus the extension of the norm to the residue field; thus the Berkovich spectrum has far more points (though fewer than, say, Huber’s adic spaces which may also contain valuations of higher order).
For more background see analytic geometry.
Let $k$ be a non-archimedean field.
Given $n \in \mathbb{N}$ and positive elements $\{r_1, \cdots, r_n \in k\}$, consider the sub-power series algebra over $k$ defined by
This is a commutative Banach algebra over $k$ with norm ${\Vert f \Vert} = max {\vert a_\nu\vert} r^\nu$.
A $k$-affinoid algebra is a commutative Banach $k$-algebra $A$ for which there exists $n$ and $\{r_i\}$ as above and an epimorphism
such that the norm on $A$ is the quotient norm.
If one can choose here $r_i = 1$ for all $i$ then $A$ is called strictly $k$-affinoid.
The category of $k$-affinoid spaces is the opposite category of the category of $k$-affinoid algebras and bounded homomorphisms between them.
Via the analytic spectrum $Spec_{an}$ there is a topological space associated with any $k$-affinoid space. Often this underlying topological space is referred to as the analytic space.
An affinoid domain in an affoinoid space $X = Spec_{an} A$ is a closed subset $V \subset X$ such that there is a homomorphism of $k$-affinoid spaces
for some $A_V$, whose image is $V$, and such that every other morphism of $k$-affinoid spaces into $X$ whose image is contained in $V$ uniquely factors through this morphism.
A $k$-analytic space is a topological space equipped with an atlas by affinoid domains.
See Berkovich 98, paragraph 2.
A complex analytic manifold and a smooth complex analytic space is locally isomorphic to a polydisk and hence is trivially a locally contractible space. But over a non-archimedean field analytic spaces no longer need to be locally isomorphic to polydisks (but $p$-adic polydisks are still contractible (Berkovich 90)). The following result establishes, under mild conditions, that general analytic spaces are nevertheless locally contractible.
Assume that the valuation on the ground field $k$ is nontrivial.
A $k$-analytic space $X$ is called locally embeddable in a smooth space if each point of $X$ has an open neighbourhood isomorphic to a strictly $k$-analytic domain in smooth $k$-analytic space.
Every $k$-analytic space which is locally embeddable in a smooth space, def. 4, is a locally contractible space.
More precisely, every point of a locally smooth $k$-analytic space has an open neighbourhood $U$ which is contractible, and which is a union $U = \cup_{i = 1}^\infty U_i$ of analytic domains.
The local contractibility is Berkovich (1999), theorem 9.1. The refined statment in terms of inductive systems of analytic domains is in Berkovich (2004).
Basic notions are listed in
A review of basic definitions and facts about affinoid and rigid $k$-analytic spaces can be found in
See also the references at rigid analytic geometry.
A review of definitions and results on $k$-analytic spaces is in
A more detailed set of lecture notes along these lines is
The Berkovich spectrum is discussed around section 2.1.4 in the course notes
A exposition of examples of Berkovits spectra is in
Vladimir Berkovich, Spectral theory and analytic geometry over non-Archimedean fields, Mathematical Surveys and Monographs, vol. 33, American Mathematical Society, Providence, RI, (1990) 169 pp.
Vladimir Berkovich, Étale cohomology for non-Archimedean analytic spaces, Publ. Math. IHES 78 (1993), 5-161.
Discussion of local contractibility of smooth $k$-analytic spaces is in
On the relation to buildings:
Relation to integration theory
Aspects of the homotopy theory/étale homotopy of analytic spaces are discussed in
Relation to formal schemes:
Discussion of Berkovich analytic geometry as algebraic geometry in the general sense of Bertrand Toën and Gabriele Vezzosi is in