Georgia Institute of Technology College of Sciences

Recent work by J. and N. Giansiracusa, myself, and O. Lorscheid suggests that the tropical geometry of a toric variety $X$, or more generally of a logarithmic scheme $X$, can be formalized as a "Berkovich analytification" of a scheme over the field $\mathbb{F}_1$ with one element that is canonically associated to $X$.The goal of this talk is to introduce the theory of Artin fans, originally due to D. Abramovich and J. Wise, which can be used to lift rather unwieldy $\mathbb{F}_1$-geometric objects to the more familiar realm of algebraic stacks. Artin fans are \'etale locally isomorphic to quotient stacks of toric varieties by their big tori and their glueing data has a completely combinatorial description in terms of Kato fans.I am going to explain how to use the ideas surrounding the notion of Artin fans to study tropicalization maps associated to toric varieties and logarithmic schemes. Surprisingly these techniques allow us to give a reinterpretation of Tevelev's theory of tropical compactifications that can be generalized to compactifications of subvarieties in logarithmically smooth compactifcations of smooth varieties. For example, we can introduce definitions of tropical pairs and schoen varieties in terms of Artin fans that are equivalent to Tevelev's notions.