Skeletons and tropicalizations

• Published in: Advances in mathematics (New York. 1965) 2016-05, Vol.294, p.150-215
• Main Authors: Gubler, Walter, Rabinoff, Joseph, Werner, Annette
• Format: Article
• Language: English
• Subjects: Analytic geometry; Berkovich space; Non-Archimedean geometry; Skeleton; Tropicalization
• ISSN: 0001-8708; 1090-2082
• DOI: 10.1016/j.aim.2016.02.022

Let K be a complete, algebraically closed non-archimedean field with ring of integers K∘ and let X be a K-variety. We associate to the data of a strictly semistable K∘-model X of X plus a suitable horizontal divisor H a skeleton S(X,H) in the analytification of X. This generalizes Berkovich's original construction by admitting unbounded faces in the directions of the components of H. It also generalizes constructions by Tyomkin and Baker–Payne–Rabinoff from curves to higher dimensions. Every such skeleton has an integral polyhedral structure. We show that the valuation of a non-zero rational function is piecewise linear on S(X,H). For such functions we define slopes along codimension one faces and prove a slope formula expressing a balancing condition on the skeleton. Moreover, we obtain a multiplicity formula for skeletons and tropicalizations in the spirit of a well-known result by Sturmfels–Tevelev. We show a faithful tropicalization result saying roughly that every skeleton can be seen in a suitable tropicalization. We also prove a general result about existence and uniqueness of a continuous section to the tropicalization map on the locus of tropical multiplicity one.