1: \begin{abstract}

2: In this paper we propose a general functorial definition of the 

3: operation of \emph{local tropicalization} in commutative algebra. 

4: Let $R$ be a commutative ring, $\Gamma$ a finitely generated subsemigroup of a 

5: lattice, $\gamma : \Gamma \rightarrow R/ R^*$ a morphism of semigroups, and

6: $\V(R)$ the topological space of valuations on $R$ taking values in $\R \cup \infty$.

7: Then we may \emph{tropicalize} with respect to $\gamma$ 

8: any subset $\W$ of the space of valuations $\V(R)$. By definition, we get a subset

9: of a rational polyhedral 

10: cone canonically associated to $\Gamma$, enriched with strata at infinity. 

11: In particular, when $R$ is a local ring, $\gamma$ is a \emph{local} morphism of 

12: semigroups, and $\W$ is the space of valuations which are either positive or 

13: non-negative on $R$, we call these processes \emph{local tropicalizations}. They 

14: depend only on the ambient toroidal structure, which in turn allows to define 

15: tropicalizations of subvarieties of toroidal embeddings. We prove that with suitable 

16: hypothesis, these 

17: local tropicalizations are the supports of finite rational polyhedral fans enriched 

18: with strata at infinity and 

19: we compare the global and local tropicalizations of a subvariety of a 

20: toric variety. 

21: \end{abstract}

22: