2012/03/29 by Ducros, Antoine · 2 citations
#12J10 #14G #14G22 #Algebraic Geometry (math.AG) #FOS: Mathematics
paper · doi:10.48550/arxiv.1203.6498
Let X be an analytic space over a non-Archimedean, complete field k and let (f1,..., fn) be a family of invertible functions on X. Let ϕ the morphism X→ Gmn induced by the fi's, and let t be the map X→ (R^*+)n induced by the norms of the fi's. Let us recall two results. 1) The compact set t(X) is a polytope of the R-vector space (R^*+)n (we use the multiplicative notation) ; this is due to Berkovich in the locally algebraic case, and has been extended to the general case by the author. 2) If moreover X is Hausdorff and n-dimensional, then the pre-image under ϕ of the skeleton Sn of Gmn has a piecewise-linear structure making ϕ-1(Sn)→ Sn a piecewise immersion ; this is due to the author. In this article, we improve 1) and 2), and give new proofs of both of them. Our proofs are based upon the model theory of algebraically closed, non-trivially valued fields. Let us quickly explain what we mean by improving 1) and 2). - Concerning 1), we also prove that if x∈ X, there exists a compact analytic neighborhood U of x, such that for every compact analytic neighborhood V of x in X, the germs of polytopes (t(U),t(x)) and (t(V),t(x)) coincide. - Concerning 2), we prove that the piecewise linear structure on ϕ-1(Sn) is canonical, that is, doesn't depend on the map we choose to write it as a pre-image of the skeleton; we thus answer a question which was asked to us by Temkin. Moreover, we prove that the pre-image of the skeleton 'stabilizes after a finite, separable ground field extension', and that if ϕ1,..., ϕm are finitely many morphisms from X→ Gmn, the union \bigcup ϕj(Sn) also inherits a canonical piecewise-linear structure.