Non-archimedean tame topology and stably dominated types

Abstract

Let $V$ be a quasi-projective algebraic variety over a non-archimedean valued field. We introduce topological methods into the model theory of valued fields, define an analogue $\hat{V}$ of the Berkovich analytification $V^{an}$ of $V$, and deduce several new results on Berkovich spaces from it. In particular we show that $V^{an}$ retracts to a finite simplicial complex and is locally contractible, without any smoothness assumption on $V$. When $V$ varies in an algebraic family, we show that the homotopy type of $V^{an}$ takes only a finite number of values. The space $\hat{V}$ is obtained by defining a topology on the pro-definable set of stably dominated types on $V$. The key result is the construction of a pro-definable strong retraction of $\hat{V}$ to an o-minimal subspace, the skeleton, definably homeomorphic to a space definable over the value group with its piecewise linear structure.

Final version

References in corpus (1)

• Ind- and Pro- definable sets

Cited by in corpus (19)

• The tropicalization of the moduli space of curves
• On the structure of nonarchimedean analytic curves
• Some results of algebraic geometry over Henselian rank one valued fields
• Hensel minimality I
• Singular semipositive metrics in non-Archimedean geometry
• Diophantine Geometry and Analytic Spaces
• Filtered geometric lattices and Lefschetz Section Theorems over the tropical semiring
• Pro-definability of spaces of definable types
• Non-archimedean integrals as limits of complex integrals
• Some results from algebraic geometry over Henselian real valued fields
• Relative p-adic Hodge theory, II: (phi, Gamma)-modules
• A note on $\mu$-stabilizers in ACVF
• On definable Skolem functions in weakly o-minimal non-valuational structures
• Topology of nonarchimedean analytic spaces and relations to complex algebraic geometry
• Continuous K-Theory and Cohomology of Rigid Spaces
• Reified valuations and adic spectra
• Non-Archimedean entire curves in projective varieties dominating an elliptic curve
• Functions continuous on curves in o-minimal structures
• Peterzil-Steinhorn subgroups and $\mu$-stabilizers in ACF