Functorial tropicalization of logarithmic schemes: The case of constant coefficients

Abstract: The purpose of this article is to develop foundational techniques from logarithmic geometry in order to define a functorial tropicalization map for fine and saturated logarithmic schemes in the case of constant coefficients. Our approach crucially uses the theory of fans in the sense of K. Kato and generalizes Thuillier's retraction map onto the non-Archimedean skeleton in the toroidal case. For the convenience of the reader many examples as well as an introductory treatment of the theory of Kato fans are included.