The following is likely all obvious to the experts. But since the field looks tricky to an outsider, maybe I may be excused for asking anyway.

I am wondering about basic facts of what would naturally be called the *étale homotopy type* of good versions of non-archimedean smooth rigid analytic spaces. I suspect what I am after works best for smooth Berkovich analytic spaces, but my main interest is not in studying one fixed model for analytic spaces, but in knowing those models which do have a good étale homotopy theory. Therefore in the following I'll say "analytic space" as shorthand for "non-archimedean rigid or Berkovich-style or otherwise analytic space, whichever works best".

By the étale homotopy type of such an analytic space I want to mean the hopefully obvious definition directly analogous to the familiar definition in algebraic geometry.

Now, at least in Berkovich's theory there is already a topological space underlying an analytic space by way of the Berkovich analytic spectrum. My first concrete question is:

*Is the étale homotopy type of a sufficiently well-behaved analytic space equivalent to that of its underlying topological space?*

Berkovich showed that the topological space underlying a smooth Berkovich-analytic space is locally contractible (see here). So the above question has the following sub-question:

*Are polydiscs and/or analytic domains étale contractible?*

*Are analytic spaces locally étale contractible?*

(The last one is really the main point that I am after, since it would imply that the hypercomplete $\infty$-topos over analytic spaces is cohesive, by a similar argument as for complex-analytic geometry. This is something I had been wondering about here on MO a good while back but it really boils down to knowing that smooth analytic spaces are locally étale contractible.)

I imagine that eventually this kind of questions should be particularly interesting when combined with a non-archimedean analytification map from some kind of smooth arithmetic schemes. Then one would naturally wonder if there is a non-archimedean analog of theorem 5.2 in

- Daniel Dugger, Daniel Isaksen,
*Hypercovers in topology*, 2005 (K-theory archive)

which says, in particular, that complex analytification sends hypercovers of smooth schemes over $k \hookrightarrow \mathbb{C}$ to hypercovers of topological spaces/simplicial sets. It seems natural to wonder whether this kind of theorem has a non-archimedean analog. What is known?