1 Introduction

Let K be a field that is algebraically closed and complete with respect to a non-archimedean non-trivial absolute value. Given a closed subvariety X of a toric variety Y over K, one can associate a so-called tropical variety \({{\,\mathrm{Trop}\,}}(X)\) which is a polyhedral complex. Note however, that \({{\,\mathrm{Trop}\,}}(X)\) is not an invariant of X, but depends on the embedding into Y.

In good situations, \({{\,\mathrm{Trop}\,}}(X)\) can retain a lot of information about X. Let us mention here work by Katz, Markwig and Markwig on the j-invariant of elliptic curves [21, 22] and work by Itenberg, Mikhalkin, Katzarkov and Zharkov on recovering Hodge numbers in degenerations of complex projective varieties [17].

In the latter work, a smoothness condition for tropical varieties in arbitrary codimension appears: a tropical variety is called smooth if it is locally isomorphic to the Bergman fan of a matroid. (See Definition 2.6 for an equivalent definition for curves.) For tropical hypersurfaces, this is equivalent to the associated subdivision of the Newton polytope being a primitive triangulation, which is the definition of smoothness that is generally used for tropical hypersurfaces [17, Remark p. 24].

The definition in [17] is motivated by complex analytic geometry. A complex variety is smooth if it is locally isomorphic to open subsets of \({\mathbb {C}}^n\) in the analytic topology. Bergman fans of matroids are the local models for linear spaces in tropical geometry, thus it makes sense to call a tropical variety smooth if it is locally isomorphic to the Bergman fan of a matroid.

This smoothness condition has been shown to imply many tropical analogues of classical theorems from complex and algebraic geometry, for example intersection theory, Poincaré duality and a Lefschetz (1, 1)-theorem [18, 19, 31].

In this paper, we investigate the question for which smooth projective curves there exist closed embeddings \(\varphi \) into toric varieties such that \({{\,\mathrm{Trop}\,}}_{\varphi }(X) := {{\,\mathrm{Trop}\,}}(\varphi (X))\) is smooth. The answer turns out to be Mumford curves (see Definition 2.11). Indeed, we show that for these curves we can “repair” any given embedding by passing to a refinement (see Definition 2.16 for a definition of refinement).

Theorem A

(Theorem 4.10, Theorem 5.6) Let X be a smooth projective curve of positive genus. Then the following are equivalent:

  1. (i)

    X is a Mumford curve.

  2. (ii)

    There exists a closed embedding \(\varphi :X \rightarrow Y\) for a toric variety Y that meets the dense torus such that \({{\,\mathrm{Trop}\,}}(\varphi (X))\) is a smooth tropical curve.

  3. (iii)

    Given a closed embedding \(\varphi :X \rightarrow Y\) of X into a toric variety Y that meets the dense torus, there exists a refinement \(\varphi ' :X \rightarrow Y'\) of \(\varphi \) such that \({{\,\mathrm{Trop}\,}}(\varphi '(X))\) is a smooth tropical curve.

Denote by \(X^{{{\,\mathrm{an}\,}}}\) the Berkovich analytification of X [3]. We give alternative characterizations of Mumford curves in terms of \(X^{{{\,\mathrm{an}\,}}}\) in Remark 2.12. Theorem A, specifically the equivalence of (i) and (ii), may be viewed as an alternative characterization that is purely tropical.

Payne showed in [30, Theorem 4.2] that we have a homeomorphism

$$\begin{aligned} X^{{{\,\mathrm{an}\,}}}= \varprojlim _{\varphi :X \rightarrow Y} {{\,\mathrm{Trop}\,}}_{\varphi }(X). \end{aligned}$$
(1.1)

Theorem A shows that if X is a Mumford curve we can let the limit on the right hand side as well run only over closed embeddings \(\varphi \) such that \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\) is a smooth tropical curve, meaning the smoothness on the left hand side is reflected on the right hand side.

Another often used property of tropicalizations is faithfulness. For curves this means that given a finite skeleton \(\Gamma \) of \(X^{{{\,\mathrm{an}\,}}}\), one requires that \(\varphi _{{{\,\mathrm{trop}\,}}} := {{\,\mathrm{trop}\,}}\circ \varphi ^{{{\,\mathrm{an}\,}}}\) is a homeomorphism from \(\Gamma \) onto its image, preserving the piecewise linear structure. Existence of faithful tropicalizations was proved by Baker, Payne and Rabinoff for curves and generalized to higher dimension by Gubler, Rabinoff and Werner [6, 13]. For further work on faithful tropicalizations see for example [10, 24, 25, 33].

Baker, Payne and Rabinoff also introduced so-called completed extended skeleta for curves. For a smooth projective curve X, these are metric subgraphs \(\Sigma \) of \(X^{{{\,\mathrm{an}\,}}}\), potentially with edges of infinite length, that come with a canonical retraction \(\tau :X^{{{\,\mathrm{an}\,}}}\rightarrow \Sigma \). Given a closed embedding \(\varphi :X \rightarrow Y\) for Y a toric variety with dense torus T, there exists an associated complete skeleton \(\Sigma (\varphi )\), which has the property that \(\varphi _{{{\,\mathrm{trop}\,}}}\) factors through the retraction \(\tau :X^{{{\,\mathrm{an}\,}}}\rightarrow \Sigma (\varphi )\) (see Definition 2.17). Denote by \(X^\circ := \varphi ^{-1}(T)\). We call \(\varphi _{{{\,\mathrm{trop}\,}}}\) fully faithful if \(\varphi _{{{\,\mathrm{trop}\,}}}\) maps \(\Sigma (\varphi )\) homeomorphically onto its image and is an isometry when restricted to \(\Sigma (\varphi ) \cap X^{\circ , {{\,\mathrm{an}\,}}}\). Note that this is much stronger than a faithful tropicalization, since by definition the image of \(\Sigma (\varphi )\) is \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\).

We prove the following fully faithful tropicalization result.

Theorem B

(Theorem 4.6) Let X be a Mumford curve and \(\varphi :X \rightarrow Y\) a closed embedding into a toric variety Y that meets the dense torus. Then there exists a refinement \(\varphi '\) of \(\varphi \) that is fully faithful.

As a direct consequence of the fact that \(\varphi '\) is fully faithful, we obtain a continuous section \(s :{{\,\mathrm{Trop}\,}}_{\varphi '}(X) \rightarrow X^{{{\,\mathrm{an}\,}}}\) of \(\varphi '_{{{\,\mathrm{trop}\,}}}\) by composing the inverse of \(\varphi '_{{{\,\mathrm{trop}\,}}}|_{\Sigma (\varphi ')}\) with the inclusion of \(\Sigma (\varphi ')\) into \(X^{{{\,\mathrm{an}\,}}}\) (see Corollary 4.7). Such sections, though only defined on subsets of \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\), were also constructed in [6, Theorem 5.24] and [14, Theorem 8.15].

For reader interested in effective bounds on the dimensions of the ambient toric varieties, let us mention [12], where Gunn and the author construct fully faithful tropicalizations in ambient dimension 3, and also give bounds on the ambient dimensions for smooth tropicalizations.

We prove Theorem B as a first step to prove Theorem A, more precisely that (i) implies (iii) therein. Our techniques to prove these results are based on the following lifting theorem for rational functions on metric graphs, which is a variant of a theorem by Baker and Rabinoff [7, Theorem 1.1]. The relevant notions are recalled in Sect. 2.5.

Theorem C

(Theorem 3.2) Let X be a Mumford curve and \(\Gamma \) be a finite skeleton with retraction \(\tau \). Let \(D \in {{\,\mathrm{Div}\,}}(X)\) be a divisor of degree g and let \(B = p_1 + \cdots + p_g \in {{\,\mathrm{Div}\,}}(\Gamma )\) be a break divisor such that \(\tau _* D - B\) is a principal divisor on \(\Gamma \). Assume that B is supported on two-valent points of \(\Gamma \). Then there exist \(x_i \in X(K)\) such that \(\tau _* x_i = p_i\) and such that \(D - \sum _{i=1}^g x_i\) is a principal divisor on X.

Theorem C is of independent interest, since, given a skeleton of X, it enables one to construct closed embeddings with nice tropicalizations. We treat an example of this in Example 3.5 for a genus 1 Mumford curve (also called a Tate curve).

We give an idea of the proof of Theorem B, which is carried out in Sect. 4.2. Given an edge e of \(\Sigma (\varphi )\), using Theorem C, we construct a rational function \(f_e \in K(X)^*\) in such a way that \(\log \vert f \vert \) has slope 1 along e. Considering the embedding \(\varphi ' := (\varphi , f_e) :X \rightarrow Y \times {\mathbb {P}}^1\), this ensures that \(\varphi '_{{{\,\mathrm{trop}\,}}}\) maps e homeomorphically onto its image and that the corresponding stretching factor equals 1 (see Definition 2.18 for the definition of stretching factor). Using a good choice of \(D \in {{\,\mathrm{Div}\,}}(X)\) and \(B \in {{\,\mathrm{Div}\,}}(\Gamma )\), Theorem C moreover allows us to construct \(f_e\) in such a way that the same holds for all edges of \(\Sigma (\varphi ')\) that are not contained in \(\Sigma (\varphi )\). Doing so for every edge of \(\Sigma (\varphi )\), we obtain Theorem B.

In Sect. 4.3, we proceed similarly for smoothness and thus prove that (i) implies (iii) in Theorem A.

In Sect. 5 we prove that, for a smooth projective curve X, the existence of a closed embedding with a smooth tropicalization already implies that X is a Mumford curve. The key result we use is a joint observation by Mikhalkin, Sturmfels and Ziegler [26], which states that a variety whose tropicalization is a tropical linear space is actually a linear space (see Theorem 5.4). The version of the theorem we use was proved by Katz and Payne [23] and works for trivially valued fields in any characteristic (see Theorem 5.4). We also show that if \({{\,\mathrm{Trop}\,}}_\varphi (X)\) is smooth then \(\varphi _{{{\,\mathrm{trop}\,}}}\) is necessarily fully faithful (see Theorem 5.7).

1.1 Conventions

Throughout, K will be an algebraically closed field that is complete with respect to a non-archimedean non-trivial absolute value \(\vert \,.\, \vert _K\). We denote the value group by \(\Lambda := \log \vert K^\times \vert _K\), the valuation ring by \(K^\circ \) and the residue field by \({\tilde{K}}\). A variety over K is a separated reduced irreducible scheme of finite type and a curve is a one-dimensional variety. X will be a smooth projective curve over K. We will denote finite skeleta of X by \(\Gamma \) and completed extended skeleta in the sense of [5] by \(\Sigma \). We will generally denote toric varieties by Y and their dense tori by T.

2 Preliminaries

2.1 Tropical toric varieties and tropical curves

Let N be a free abelian group of rank n, \(M := {{\,\mathrm{Hom}\,}}_{\mathbb {Z}}(N, {\mathbb {Z}})\) its dual, \(N_{\mathbb {R}}:= N \otimes {\mathbb {R}}\) and \(\Delta \) a rational pointed fan in \(N_{\mathbb {R}}\). We write \({\mathbb {T}}:= {\mathbb {R}}\cup \{-\infty \}\).

For \(\sigma \in \Delta \) we define the monoid \(S_\sigma := \{ \varphi \in M \mid \varphi (v) \ge 0 \text { for all } v \in \sigma \}\) and write \(N(\sigma ) := N_{\mathbb {R}}/ \langle \sigma \rangle _{\mathbb {R}}\), where \(\langle \sigma \rangle _{{\mathbb {R}}}\) denotes the real vector space spanned by \(\sigma \). We write

$$\begin{aligned} N_\Delta = \coprod \limits _{\sigma \in \Delta } N(\sigma ). \end{aligned}$$

We endow \(N_\Delta \) with a topology in the following way:

For \(\sigma \in \Delta \) write \(N_\sigma = \coprod _{\tau \prec \sigma } N(\tau )\). This is naturally identified with \({{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Monoids}\,}}}(S_\sigma , {\mathbb {T}})\). We give \(N_\sigma \) the subspace topology of \({\mathbb {T}}^{S_\sigma }\). For \(\tau \prec \sigma \), the space \({{\,\mathrm{Hom}\,}}(S_\tau , {\mathbb {T}})\) is naturally identified with the open subspace of \({{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Monoids}\,}}}(S_\sigma , {\mathbb {T}})\) of maps that map \(\tau ^{\perp } \cap M\) to \({\mathbb {R}}\). We define the topology of \(N_\Delta \) to be the one obtained by gluing along these identifications.

Definition 2.1

We call the space \(N_\Delta \) a tropical toric variety.

The space \(N_\Delta \) is sometimes called the canonical compactification of \(N_{\mathbb {R}}\) with respect to \(\Delta \). Note that \(N_\Delta \) contains \(N_{\mathbb {R}}\) as a dense open subset.

Example 2.2

Let \(N = {\mathbb {Z}}^n\) with basis \(x_1,\ldots ,x_n\) and \(\Delta \) be the complete fan whose rays are spanned by \(-x_1,\ldots ,-x_n\) and \(x_0 := \sum x_i\). For any d-rays there is a face \(\sigma \) of dimension d that contains exactly these rays. Then \(N(\sigma )\) is an \(n{-}d\)-dimensional vector space. The topology is such that \(N_\Delta \) is homeomorphic to an n-simplex, where \(N(\sigma )\) is identified with the relative interior of a \(n{-}d\)-dimensional simplex in the boundary. For example, \(N_{\mathbb {R}}\) corresponds to the vertex at the origin in \(\Delta \) and forms the interior of \(N_\Delta \) when we view \(N_\Delta \) as a simplex.

However, we will heavily use the structure of \(N_{\mathbb {R}}\) as a vector space, so we generally view \(N_\Delta \) as a compactification of \(N_{\mathbb {R}}\) by strata that are infinitely far away.

Definition 2.3

Let \({\mathcal {C}}\) be a one dimensional \(\Lambda \)-rational polyhedral complex in \(N_{\mathbb {R}}\). For an edge e (i.e. a one-dimensional polyhedron) of \({\mathcal {C}}\) we denote by \({\mathbb {L}}(e) = \{\lambda (u_1 - u_2) \mid u_1, u_2 \in e, \lambda \in {\mathbb {R}}\}\) the linear space of e. Since X is \(\Lambda \)-rational, \({\mathbb {L}}(e)\) contains a canonical lattice which we denote by \({\mathbb {Z}}(e)\).

For a vertex v of e we denote by \(w_{v,e}\) the unique generator of \({\mathbb {Z}}(e)\) that points in e away from v.

We call \({\mathcal {C}}\) weighted if every edge is equipped with a positive integral weight m(e) and balanced if for every vertex v of \({\mathcal {C}}\) we have

$$\begin{aligned} \sum _{e :v \prec e} m(e) w_{v,e} = 0. \end{aligned}$$

The local cone at v is the one-dimensional fan whose rays are spanned by the \(w_{w,e}\) and given weight m(e) for \(v \prec e\). This is also sometimes referred to as the star of the vertex v (see for example [27]).

Definition 2.4

A tropical curve in \(N_{\mathbb {R}}\) is a one dimensional \(\Lambda \)-rational polyhedral complex equipped with weights on its edges that satisfies the balancing condition, up to the equivalence relation generated by subdivision of edges preserving the weights.

A tropical curve X in a tropical toric variety \(N_\Delta \) is the closure in \(N_\Delta \) of a tropical curve \(X^\circ \) in \(N_{\mathbb {R}}\).

\(X {\setminus } X^\circ \) is a finite set, whose points we consider as vertices of X and call the infinite vertices. The edges of X are the closures of the edges of \(X^\circ \).

A \(\Lambda \)-metric graph (which we will often just call a metric graph) is, roughly speaking, a finite graph in which every edge e has a positive length \(l_e \in \Lambda \cup \{\infty \}\). We allow loop edges, meaning edges whose endpoints agree and half open edges, i.e. edges which have only one endpoint. If \(l_e \in \Lambda _{>0}\), we view e as an interval of length e. Half open edges are identified with \({\mathbb {R}}_{\ge 0}\). Leaf edges are the only edges that are allowed to have infinite length and are identified with \([0, \infty ]\) with the topology of a closed interval. For a more precise account on metric graphs, we refer the reader to [1, Section 2.1].

By an edge of a metric graph \(\Gamma \) we mean an edge in some graph model G of \(\Gamma \). For an edge e of \(\Gamma \) we denote by \(\mathring{e}\) the relative interior of e, meaning e with its endpoints removed. For two points \(x,y \in \mathring{e}\) we denote by \(d_e(x,y)\) their distance in \(\mathring{e}\). (Note that this might not be the distance in \(\Gamma \), as there might be a shorter path that leaves \(\mathring{e}\).)

We call a metric graph finite if all its edges have finite length.

Example 2.5

A tropical curve in \(N_{\mathbb {R}}\) has a canonical structure as a metric graph where the length of an edge is given by the lattice length, meaning the length of the primitive vector \(w_{v,e}\) equals 1.

A tropical curve X in a tropical toric variety \(N_\Delta \) is not necessarily a metric graph since two infinite rays might meet at infinity, creating a vertex at infinity which does not have valence 1. However, X is a metric graph if every point in \(X {\setminus } X^\circ \) has exactly one adjacent edge.

Definition 2.6

An edge in a tropical curve is smooth if its weight is 1. A finite vertex v is smooth if \(\langle w_{v,e} \mid v \prec e \rangle _{\mathbb {Z}}\) is a saturated lattice of rank \({{\,\mathrm{val}\,}}(v)-1\) in N, where \({{\,\mathrm{val}\,}}(v)\) is the number of edges adjacent to v. An infinite vertex is smooth if it has one adjacent edge. A vertex that is not smooth is called singular. A tropical curve is smooth if all its edges and vertices are smooth.

Remark 2.7

Following [17] a tropical variety is smooth if it is locally isomorphic to the Bergman fan of a matroid.

A one-dimensional weighted fan in \({\mathbb {R}}^n\) is the Bergman fan of a matroid if and only if it is isomorphic to the fan whose rays are spanned by \(x_1,\ldots ,x_n\) and \(- \sum _{i=1}^n x_i\) and all weights are 1. Thus Definition 2.6 agrees with the one in [17] for the case of curves.

Example 2.8

Consider the tropical curves in Fig. 1. Each of them depicts a vertex in a tropical curve in \({\mathbb {R}}^2\) with lattice \(N = {\mathbb {Z}}^2\). In the leftmost picture, the outgoing directions are \((-1,0), (0,-1)\) and (1, 1), which span \({\mathbb {Z}}^2\), thus \(v_1\) is a smooth vertex. In the picture in the middle, the span of the primitive vectors is again \({\mathbb {Z}}^2\), but there are 4 vertices adjacent to \(v_2\), thus \(v_2\) is not smooth. In the picture on the right, the outgoing directions are \((2,-1), (-1,2)\) and \((-1,-1)\). The span of these vectors is \(\{ (x,y) \in {\mathbb {Z}}^2 \mid x-y \text { is divisible by } 3\}\). This has rank 2, but is not saturated in \({\mathbb {Z}}^2\), thus \(v_3\) is not a smooth vertex.

Fig. 1
figure 1

The types of vertices in tropical curves in \({\mathbb {R}}^2\). The vertex on the left is smooth, the other two vertices are not smooth

2.2 Berkovich curves and their extended skeleta

Let X be a variety over K. The associated Berkovich space [3] is

$$\begin{aligned} X^{{{\,\mathrm{an}\,}}}:= \{ x = (p_x, \vert \,.\, \vert _x) \mid p_x \in X, \vert \,.\, \vert _x \text { is an absolute value on } k(p_x) \text { extending } \vert \,.\, \vert _K\} \end{aligned}$$

with the topology such that the canonical forgetful map \(X^{{{\,\mathrm{an}\,}}}\rightarrow X\) is continuous and for all open subsets U of X and \(f \in {\mathcal {O}}(U)^\times \) the map \(U^{{{\,\mathrm{an}\,}}} \rightarrow {\mathbb {R}}, (p_x, \vert \,.\, \vert _x) \mapsto \vert f(p_x) \vert _x\) is continuous. We will often write \(\vert f(x) \vert := \vert f(p_x) \vert _x\). If \(X = {{\,\mathrm{Spec}\,}}(A)\) is an affine variety then

$$\begin{aligned} X^{{{\,\mathrm{an}\,}}}= \{\vert \,.\, \vert \text { multiplicative seminorm on } A \text { extending } \vert \,.\, \vert _K\} \end{aligned}$$

with the topology such that for all \(f \in A\) the map \(X^{{{\,\mathrm{an}\,}}}\rightarrow {\mathbb {R}}; \vert \,.\, \vert \mapsto \vert f \vert \) is continuous. For morphism \(\varphi :X \rightarrow Y\) of K-varieties we obtain a morphism \(\varphi ^{{{\,\mathrm{an}\,}}} :X^{{{\,\mathrm{an}\,}}}\rightarrow Y^{{{\,\mathrm{an}\,}}}\).

Now let X be a curve over K. For \(x \in X^{{{\,\mathrm{an}\,}}}\) we denote by \({{\,\mathrm{{\mathscr {H}}}\,}}(x)\) the completion of \(k(p_x)\) with respect to \(\vert \,.\, \vert _x\) and by \(\widetilde{{\mathscr {H}}(x)}\) its residue field. Following Berkovich and Thuillier [3, 32] we say x is of type I if \(p_x \in X(K)\) and of type II if \(p_x\) is the generic point of X and \({{\,\mathrm{trdeg}\,}}[ \widetilde{{\mathscr {H}}(x)}: {\tilde{K}}] = 1\). If x is of type I, then \(\vert \,.\, \vert _x = \vert \,.\, \vert _K\), thus the forgetful map \(X^{{{\,\mathrm{an}\,}}}\rightarrow X\) induces a bijection from the set of type I points of \(X^{{{\,\mathrm{an}\,}}}\) onto X(K). We will thus identify X(K) with the subset of \(X^{{{\,\mathrm{an}\,}}}\) that consists of type I points. If x is of type II, then we denote by \(C_x\) the smooth projective \({\tilde{K}}\)-curve with function field \(\widetilde{{\mathscr {H}}(x)}\) and by g(x) its genus, which we call the genus of x.

We now recall the notion of completed skeleta of \(X^{{{\,\mathrm{an}\,}}}\), which is due to Baker, Payne and Rabinoff [5].

Definition 2.9

We consider \({{\,\mathrm{{\mathbb {A}}}\,}}^1 = {{\,\mathrm{Spec}\,}}K [T]\). For \(- \infty \le s < r \in {\mathbb {R}}\) denote

$$\begin{aligned} B(r) = \{ x \in {{\,\mathrm{{\mathbb {A}}}\,}}^{1, {{\,\mathrm{an}\,}}} \mid \log \vert T \vert _x< r\} \text { and } A(r,s) = \{ x \in {{\,\mathrm{{\mathbb {A}}}\,}}^{1, {{\,\mathrm{an}\,}}} \mid s< \log \vert T \vert _x < r \}. \end{aligned}$$

We call B(r) an open disc of logarithmic radius r and A(rs) a generalized open annulus of logarithmic radii s and r. We call A(rs) an annulus with logarithmic radii s and r if \(s \in {\mathbb {R}}\) and a punctured disc of radius r if \(s = -\infty \). We call \(r - s \in {\mathbb {R}}\cup \infty \) the length of A(r,s).

We denote by \(\rho _{B(t)}\) the element of B(t) defined by \(\left| \sum a_i T^i \right| _{\rho _{B(t)}} = \max _i \vert a_i \vert t^i\) and call the set

$$\begin{aligned} \Sigma (A(r,s)) = \left\{ \rho _{B(t)} \mid s< \log t < r \right\} \end{aligned}$$

the skeleton of A(rs). There is a canonical retraction \(\tau :A(r,s) \rightarrow \Sigma (A(r,s))\) which is a strong deformation retraction.

Definition 2.10

Let X be a smooth projective curve over K. A completed semistable vertex set V of X is a finite subset of \(X^{{{\,\mathrm{an}\,}}}\) consisting of type I and II points such that \(X^{{{\,\mathrm{an}\,}}}{\setminus } V\) is isomorphic to a disjoint union of finitely many generalized open annuli and infinitely many open discs.

For a completed semistable vertex set V of \(X^{{{\,\mathrm{an}\,}}}\) there is a canonical associated subspace \(\Sigma (V)\) of \(X^{{{\,\mathrm{an}\,}}}\), called the completed skeleton \(\Sigma (V)\), which is a metric graph. There is a canonical retraction \(\tau _V :X^{{{\,\mathrm{an}\,}}}\rightarrow \Sigma (V)\), such that \(\Sigma (V)\) is a strong deformation retract of \(X^{{{\,\mathrm{an}\,}}}\). As the name suggests, the vertex set of \(\Sigma _V\) is V. The edges are the skeleta of the generalized open annuli that are connected components of \(X^{{{\,\mathrm{an}\,}}}{\setminus } V\). The length of such an edge is the length of the corresponding annulus.

If X is projective and V is a completed semistable vertex set that only consists of type II points, we call V a semistable vertex set and \(\Sigma (V)\) a finite skeleton of X. A finite skeleton is a finite metric graph and we will often denote it by \(\Gamma \).

Let V be a completed semistable vertex set of X. Then the set of type II points in V forms a semistable vertex set for X. We call the associated finite skeleton the finite part of \(\Sigma (V)\) and denote it by \(\Sigma (V)_{{{\,\mathrm{fin}\,}}}\).

Definition 2.11

A smooth projective curve of genus \(g > 0\) is called Mumford curve if for some semistable vertex set V the skeleton \(\Gamma (V)\) has first Betti number equal to g.

Remark 2.12

Note that since \(\Gamma (V)\) is a deformation retract of \(X^{{{\,\mathrm{an}\,}}}\), the first Betti number of \(\Gamma (V)\) is independent of V. Thus we might replace “some” by “every” in Definition 2.11. Furthermore X is a Mumford curve if and only if \(g(x) = 0\) for all type II points x in \(X^{{{\,\mathrm{an}\,}}}\). Another equivalent definition of Mumford curve is that any point \(x \in X^{{{\,\mathrm{an}\,}}}\) has a neighborhood that is isomorphic to an open subset of \({\mathbb {P}}^{1,{{\,\mathrm{an}\,}}}\) [20, Proposition 2.26 & Theorem 2.28].

2.3 Tropicalization of curves

Let Y be a toric variety with dense torus T. Let N be the cocharacter lattice of T, \(N_{\mathbb {R}}:= N \otimes {\mathbb {R}}\) and \(\Delta \) the fan in \(N_{\mathbb {R}}\) associated to Y.

Definition 2.13

The tropicalization of Y is

$$\begin{aligned} {{\,\mathrm{Trop}\,}}(Y) := N_\Delta . \end{aligned}$$

There is a canonical tropicalization map \({{\,\mathrm{trop}\,}}:Y^{{{\,\mathrm{an}\,}}} \rightarrow {{\,\mathrm{Trop}\,}}(Y)\), which is a continuous proper map of topological spaces [30, Section 3].

We assume that the reader is familiar with tropicalizations of closed subvarieties of algebraic tori [15, 28]. Here we consider tropicalizations of closed subvarieties of toric varieties, which may be seen as a compactification of the latter. We quickly sketch the relation: Given a closed embedding \(\varphi :X \rightarrow Y\) of a smooth projective curve X into a toric variety Y that meets the dense torus T, denote by \(X^\circ := \varphi ^{-1}(T)\). Then \({{\,\mathrm{Trop}\,}}_\varphi (X^\circ )\) is a dense open subset of \({{\,\mathrm{Trop}\,}}_\varphi (X)\) and we obtain the latter from the former by putting points at the end of the unbounded edges.

Example 2.14

If \(Y = {\mathbb {G}}_m^n\) is a torus of dimension n with fixed coordinates, then \(\Delta \) is only the origin in \({\mathbb {R}}^n\) and we have \({{\,\mathrm{Trop}\,}}(Y) = {\mathbb {R}}^n\). The restriction of the map \({{\,\mathrm{trop}\,}}:{\mathbb {G}}_m^{n, {{\,\mathrm{an}\,}}} \rightarrow {\mathbb {R}}^n\) to \({\mathbb {G}}_m^n(K) = (K^*)^n\) is the usual tropicalization map \(X(K) \rightarrow {\mathbb {R}}^n; x \mapsto (\log \vert x_1 \vert _K,\ldots ,\log \vert x_n \vert _K)\).

If \(Y = {\mathbb {P}}^1\), then Example 2.2 shows that \({{\,\mathrm{Trop}\,}}({\mathbb {P}}^1)\) is homeomorphic to a closed interval. Since it contains a one-dimensional vector space as a dense open subset, a good point of view is \({{\,\mathrm{Trop}\,}}({\mathbb {P}}^1) = [-\infty , \infty ]\) with the topology of a closed interval.

The map \({{\,\mathrm{trop}\,}}:{\mathbb {P}}^{1, {{\,\mathrm{an}\,}}} \rightarrow {{\,\mathrm{Trop}\,}}({\mathbb {P}}^1)\) is then given by \((p, \vert \,.\, \vert _x) \mapsto \log \vert z(p) \vert _x\), where z is the coordinate function on \({\mathbb {P}}^1\).

Remark 2.15

For two toric varieties \(Y_1\) and \(Y_2\), we have \({{\,\mathrm{Trop}\,}}(Y_1 \times Y_2) = {{\,\mathrm{Trop}\,}}(Y_1) \times {{\,\mathrm{Trop}\,}}(Y_2)\). This holds because the fan of \(Y_1 \times Y_2\) is the product of the fans of \(Y_1\) and \(Y_2\).

Let X be a curve over K. For a closed embedding \(\varphi :X \rightarrow Y\) we denote \(\varphi _{{{\,\mathrm{trop}\,}}} := {{\,\mathrm{trop}\,}}\circ \varphi ^{{{\,\mathrm{an}\,}}}\) and \({{\,\mathrm{Trop}\,}}_\varphi (X) := \varphi _{{{\,\mathrm{trop}\,}}}(X^{{{\,\mathrm{an}\,}}})\) the associated tropicalization of X. One can define canonical weights on \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\) that make it into a tropical curve in \({{\,\mathrm{Trop}\,}}(Y)\) in the sense of Definition 2.4 (see for example [15]). We will define these weights in Definition 2.18.

Definition 2.16

If \(Y'\) is another toric variety, \(\varphi ' :X \rightarrow Y'\) is another closed embedding and \(\pi :Y' \rightarrow Y\) is a morphism of toric varieties, there exists a canonical map \({{\,\mathrm{Trop}\,}}(Y') \rightarrow {{\,\mathrm{Trop}\,}}(Y)\), which is linear on the dense subset \(N_{\mathbb {R}}\) and maps \({{\,\mathrm{Trop}\,}}_{\varphi '}(X)\) onto \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\). We call \(\varphi '\) a refinement of \(\varphi \).

Note that refinements yield the inverse system in Payne’s result that the inverse limit of all tropicalizations is homeomorphic to \(X^{{{\,\mathrm{an}\,}}}\) [30, Theorem 4.2].

2.4 Factorization skeleta

Let \(\varphi :X \rightarrow Y\) be a closed embedding of a smooth projective curve X into a toric variety Y that meets the dense torus T. Denote by \(X^\circ := \varphi ^{-1}(T)\) the preimage of the dense torus.

Definition 2.17

Let \(\Sigma (\varphi )\) be the set of points in \(X^{{{\,\mathrm{an}\,}}}\) that do not have an open neighborhood that is isomorphic to an open disc and contained in \((X^\circ )^{{{\,\mathrm{an}\,}}}\). We call \(\Sigma (\varphi )\) the completed skeleton associated to \(\varphi \).

The set \(\Sigma (\varphi )\) is indeed a completed skeleton for X [5, Theorem 4.22]. We denote by \(\tau _\varphi :X^{{{\,\mathrm{an}\,}}}\rightarrow \Sigma (\varphi )\) the retraction.

Baker, Payne and Rabinoff show that we have a commutative diagram

(2.1)

and that \(\varphi _{{{\,\mathrm{trop}\,}}}|_{\Sigma (\varphi )}\) is linear on each edge of \(\Sigma (\varphi )\) [6, Lemma 5.3 & Proposition 5.4 (1)].

We can subdivide \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\) and \(\Sigma (\varphi )\) in such a way that each edge of \(\Sigma (\varphi )\) is either contracted to a point or mapped homeomorphically to an edge of \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\) [6, Lemma 5.4. (2)]. Let e be an edge in \({{\,\mathrm{Trop}\,}}_\varphi (X)\). Let \(e_1,\ldots ,e_k\) be the edges of \(\Sigma (\varphi )\) mapping homeomorphically to e. For each i, we fix \(x_i \ne y_i \in \mathring{e}_i\).

Definition 2.18

We call

$$\begin{aligned} m(e_i) = \frac{d_e(\varphi _{{{\,\mathrm{trop}\,}}}(x_i),\varphi _{{{\,\mathrm{trop}\,}}}(y_i))}{d_{e_i}(x_i,y_i)} \text { and } m(e) = \sum _{i =1}^k m(e_i) \end{aligned}$$

the stretching factor of \(\varphi _{{{\,\mathrm{trop}\,}}}|_{e_i}\) and the weight of e, respectively.

The definition of weight agrees with the usual one (see for example [15, Definition 3.14]) by [6, Corollary 5.9].

Proposition 2.19

Let \(\varphi :X \rightarrow Y\) be a closed embedding of X into a toric variety that meets the dense torus T and \(\Sigma (\varphi )\) the associated skeleton. Denote by \(X^{\circ } := \varphi ^{-1}(T)\). Then the following are equivalent:

  1. (i)

    \(\varphi _{{{\,\mathrm{trop}\,}}}\) maps \(\Sigma (\varphi )\) homeomorphically onto its image and is an isometry when restricted to \(\Sigma (\varphi ) \cap X^{\circ , {{\,\mathrm{an}\,}}}\).

  2. (ii)

    The map \(\varphi _{{{\,\mathrm{trop}\,}}}|_{\Sigma (\varphi )} :\Sigma (\varphi ) \rightarrow {{\,\mathrm{Trop}\,}}_{\varphi }(X)\) is injective and all weights on \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\) are 1.

Proof

Assume that (ii) holds. The map \(\varphi _{{{\,\mathrm{trop}\,}}}|_{\Sigma (\varphi )}\) is surjective, thus bijective. Since it is a bijective map between compact Hausdorff spaces, it is a homeomorphism. Hence both (i) and (ii) imply that \(\varphi _{{{\,\mathrm{trop}\,}}}|_{\Sigma (\varphi )}\) is a homeomorphism onto its image.

Thus it remains to show that if \(\varphi _{{{\,\mathrm{trop}\,}}}|_{\Sigma (\varphi )}\) is a homeomorphism it is an isometry when restricted to \(\Sigma (\varphi ) \cap X^{\circ , {{\,\mathrm{an}\,}}}\) if and only if all weights on \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\) are all equal to one. This follows from Definition 2.18. \(\square \)

Definition 2.20

We say that \(\varphi _{{{\,\mathrm{trop}\,}}}\) is fully faithful if the equivalent conditions of Proposition 2.19 hold.

The notion of fully faithful tropicalization is stronger then the notion of faithful tropicalization introduced by Baker, Payne and Rabinoff [6]. It is also slightly stronger then the notion of totally faithful tropicalization introduced by Cheung, Fantini, Park and Ulirsch [9] (see also [8]). The difference is that a totally faithful tropicalization only needs to be an isometry when restricted to \(\Sigma (\varphi ) \cap X^{\circ , {{\,\mathrm{an}\,}}}\). Note however that the authors of [9] mainly work in the situation of tropical compactifications and in this case the notions of totally faithful and fully faithful agree.

2.5 Rational functions and divisors on metric graphs

Let \(\Gamma \) be a finite \(\Lambda \)-metric graph. A point \(x \in \Gamma \) is called \(\Lambda \)-rational if its distance from some, or equivalently every, vertex is in \(\Lambda \). A rational function on \(\Gamma \) is a piecewise linear function \(F :\Gamma \rightarrow {\mathbb {R}}\) with integer slopes all of whose points of non-linearity are \(\Lambda \)-rational. A divisor on \(\Gamma \) is a finite formal linear combination of \(\Lambda \)-rational points. Its degree is the sum of the coefficients. We denote by \({{\,\mathrm{Div}\,}}(\Gamma )\) the group of divisors. For a rational function F its divisor is

$$\begin{aligned} {{\,\mathrm{div}\,}}(F) := \sum \lambda _i x_i \text { where } \lambda _i := \sum _{e :x_i \prec e} d_eF(x_i) \end{aligned}$$

and \(d_eF(x_i)\) is the outgoing slope of F along the edge e at \(x_i\). We call \({{\,\mathrm{div}\,}}(F)\) a principal divisor on \(\Gamma \). We denote by \({{\,\mathrm{Prin}\,}}(\Gamma )\) the group of principal divisors on \(\Gamma \).

Let X be a smooth projective curve and \(\Gamma \) a finite skeleton with retraction \(\tau \). Let f be in \(K(X)^*\). Then \(F := \log \vert f(x) \vert \big \vert _{\Gamma }\) is a rational function on \(\Gamma \) and \(\tau _* ({{\,\mathrm{div}\,}}(f)) = {{\,\mathrm{div}\,}}(F)\) [5, Theorem 5.15] (see also [32, Proposition 3.3.15] for the same result phrased in a slightly different language).

Definition 2.21

We say that edges \(e_1,\ldots ,e_g\) form the complement of a spanning tree of \(\Gamma \) if there exists a graph model G for \(\Gamma \) with set of edges E such that \(e_i \in E\) and the subgraph of G spanned by the edges \(E {\setminus } \{e_1,\ldots ,e_g\}\) is connected, contractible and contains all vertices of G.

Note that in this definition, g is necessarily the first Betti number of \(\Gamma \).

The notion of break divisor was introduced by Mikhalkin, and Zharkov [29]. They observed that any degree g divisor on a metric graph has a unique break divisor in its rational equivalence class (see Theorem 2.23). Break divisors were also studied in detail by An, Baker, Kuperberg, and Shokrieh, who also study discrete versions [2].

Definition 2.22

Let \(\Gamma \) be a metric graph and \(g = \dim _{\mathbb {R}}{{\,\mathrm{H}\,}}^1(\Gamma , {\mathbb {R}})\) its first Betti number. A break divisor is a degree g effective divisor \(B = p_1 + \cdots + p_g\) such that there exist edges \(e_1,\ldots ,e_g\) that form the complement of a spanning tree of \(\Gamma \) such that \(p_i \in e_i\).

Theorem 2.23

(Mikhalkin - Zharkov) Let D be a degree g divisor on \(\Gamma \). Then there exists a unique break divisor B on \(\Gamma \) such that \(D - B \in {{\,\mathrm{Prin}\,}}(\Gamma )\).

Break divisors will play an important role in Theorem 3.2, which we will use to prove our main theorems, as well as to construct tropicalizations in honeycomb form for elliptic curves (see Example 3.5). In our applications we will deal with break divisors that are supported on two-valent points of \(\Gamma \). If B is such a break divisor then \(\Gamma {\setminus } {{\,\mathrm{supp}\,}}(B)\) is connected and contractible.

We will see in Example 3.6 that it is really necessary to restrict to break divisors that are supported on two-valent points in Theorem 3.2.

3 Lifting theorem

In this section X is a smooth projective Mumford curve of genus g over K. We fix a semistable vertex set V with corresponding finite skeleton \(\Gamma \) and retraction \(\tau \). We denote by \(J_0(X) := \{ [D] \in {{\,\mathrm{Pic}\,}}(X) \mid \tau _* D \in {{\,\mathrm{Prin}\,}}(\Gamma ) \}\).

Proposition 3.1

Let \(B = p_1 + \cdots + p_g\) be a break divisor on \(\Gamma \) that is supported on two-valent points and write \(R_i = \tau ^{-1}(p_i) \cap X(K)\). Then for all \({{\,\mathrm{{\mathcal {Y}}}\,}}= (y_1,\ldots ,y_g) \in R_1 \times \cdots \times R_g\) the map

$$\begin{aligned} \varphi _{{{\,\mathrm{{\mathcal {Y}}}\,}}} :R_1 \times \cdots \times R_g&\rightarrow J_0(X) \\ (x_1,\ldots ,x_g)&\mapsto \sum _{i=1}^g \left[ x_i-y_i \right] \end{aligned}$$

is a surjection.

Proof

We consider [7, Proof of Theorem 1.1]. Baker and Rabinoff work in the same setup, but for them X is any curve, not necessarily a Mumford curve. Thus in their situation both the set of \({{\,\mathrm{{\mathcal {Y}}}\,}}\) they allow and the domain of \(\varphi _{{{\,\mathrm{{\mathcal {Y}}}\,}}}\) is \((R_1 \times \cdots \times R_b) \times C^*\). Here b is the first Betti number of the skeleton of X and \(C^* = \prod _{x \in X^{{{\,\mathrm{an}\,}}}; g(x) > 0} C_x({\tilde{K}})^{g(x)}\). An element \({{\,\mathrm{{\mathcal {Y}}}\,}}\in (R_1 \times \cdots \times R_b) \times C^*\) is denoted by \(({{\,\mathrm{{\mathcal {Y}}}\,}}_1, {{\,\mathrm{{\mathcal {Y}}}\,}}_2)\) for \({{\,\mathrm{{\mathcal {Y}}}\,}}_1 \in R_1 \times \cdots \times R_b\) and \({{\,\mathrm{{\mathcal {Y}}}\,}}_2 \in C^*\). They show that \(\varphi _{({{\,\mathrm{{\mathcal {Y}}}\,}}_1,{{\,\mathrm{{\mathcal {Y}}}\,}}_2)}\) is surjective when \({{\,\mathrm{{\mathcal {Y}}}\,}}_2\) is generic. If X is a Mumford curve, then \(b = g\) and \(C^*\) is just a one point set. Thus \({{\,\mathrm{{\mathcal {Y}}}\,}}_2\) is automatically generic and our proposition follows. \(\square \)

Theorem 3.2

Let \(D \in {{\,\mathrm{Div}\,}}(X)\) of degree g and \(B = p_1 + \cdots + p_g \in {{\,\mathrm{Div}\,}}(\Gamma )\) a break divisor such that \(\tau _* D - B\) is a principal divisor on \(\Gamma \). Assume that B is supported on two-valent points of \(\Gamma \). Then there exist \(x_i \in X(K)\) such that \(\tau _* x_i = p_i\) and such that \(D - \sum _{i=1}^g x_i\) is a principal divisor on X.

Proof

Let \(y_i \in X(K)\) such that \(\tau _* y_i = p_i\). We have \(\left[ D - \sum _{i=1}^g y_i \right] \in J_0(X)\). Thus by Proposition 3.1 there exist \(x_i \in \tau ^{-1}(p_i) \cap X(K)\) such that \(\left[ D - \sum _{i=1}^g y_i \right] = \left[ \sum _{i=1}^g (x_i - y_i) \right] \). In other words \(\left[ D - \sum _{i=1}^g x_i \right] = 0\) which means that \(D - \sum _{i=1}^g x_i\) is a principal divisor on X. \(\square \)

Definition 3.3

Let e be an edge of \(\Gamma \). Four points \(p_1,p_2,p_3,p_4 \in \mathring{e}\) are called pillar points in e if they are \(\Lambda \)-rational, \(d_e(p_1, p_2) = d_e(p_3, p_4)\) and for \(i = 2, 3\) we have \([p_{i-1},p_{i}] \cap [p_{i}, p_{i+1}] = p_i\) (See Fig. 2.)

Fig. 2
figure 2

An edge e with four pillar points \(p_1,p_2,p_3\) and \(p_4\) and a piecewise linear function with divisor \(p_1 - p_2 - p_3 + p_4\)

Figure 2 shows the graph of a piecewise linear function whose divisor is \(p_1 - p_2 - p_3 + p_4\). In particular that divisor is principal.

Corollary 3.4

Let \(D \in {{\,\mathrm{Div}\,}}^0(X)\) such that \(\tau _* D\) is a principal divisor on \(\Gamma \). Let \(e_1,\ldots ,e_g\) be edges that form the complement of a spanning tree of \(\Gamma \). Fixing pillar points \(p_{i,1},p_{i,2},p_{i,3},p_{i,4}\) in \(\mathring{e}_i\) there exist \(x_{ij} \in X(K)\) such that \(\tau (x_{ij}) = p_{ij}\) and \(f \in K(X)^*\) such that \({{\,\mathrm{div}\,}}(f) = D + \sum _{i=1}^g (x_{i,1} + x_{i,4}) - \sum _{i=1}^g (x_{i,2} + x_{i,3})\).

Proof

The divisor \(\sum _{i=1}^g (p_{i,1} + p_{i,4}) - \sum _{i=1}^g (p_{i,2} + p_{i,3})\) is principal on \(\Gamma \), thus so is \(\tau _*D + \sum _{i=1}^g (p_{i,1} + p_{i,4}) - \sum _{i=1}^g (p_{i,2} + p_{i,3})\). Thus, for \(j = 1, 3,4\), fixing \(x_{ij}\) such that \(\tau _* x_{ij} = p_{ij}\) and writing \(D' = D + \sum _{i=1}^g (x_{i,1} + x_{i,4}) - \sum _{i=1}^g x_{i,3}\) and \(B = p_{1,2} + \cdots + p_{g,2}\), we find that \(\tau _* D' - B\) is a principal divisor on \(\Gamma \). Since B is a break divisor supported on two-valent points, applying Theorem 3.2 to \(D'\) and B we get the result. \(\square \)

Example 3.5

(Tate curves) Chan and Sturmfels use theta functions to produce nice tropicalizations of elliptic curves [11] (see also [6, Theorem 6.2]). In this example we show how Theorem 3.2 can be used to construct such nice tropicalizations combinatorially.

Let E be an elliptic curve with bad reduction. We will use Theorem 3.2 to construct a closed embedding \(\varphi :E \rightarrow {\mathbb {P}}^2\) whose tropicalization looks like the right hand side of Fig. 3, which Chan and Sturmfels call symmetric honeycomb form.

The minimal skeleton \(\Gamma _{\min }\) is a circle. We pick three points \(q_1, q_2, q_3 \in \Gamma _{\min }\) that are equidistant from each other. Our skeleton \(\Gamma \) is obtained from \(\Gamma _{\min }\) by adding edges of length \(d(q_i, q_j)/2\) at each of the \(q_i\), denoting their endpoints by \(p_i\). We subdivide each edge \([q_i,q_j]\) at its midpoint and label our new vertices as on the left hand side of Fig. 3. The solid part of the figure is now our skeleton \(\Gamma \).

We pick points \(x_{1,1} \ne x_{1,2}, x_{2,1} \ne x_{2,2}, x_{3,1} \ne x_{3,2}\) and \(x_{6} \in E(K)\) such that \(\tau (x_{i,j}) = p_i\) and \(\tau (x_6) = p_6\).

Let \(D_1 = - x_{1,1} + x_{2,1} - x_{2,2} + x_{3,1} - x_6\). Then \(\tau _* D_1 = -p_1 + p_3 - p_6\) and \(\tau _* D_1 + p_4 = {{\,\mathrm{div}\,}}(F_1)\) for a rational function \(F_1\) on \(\Gamma \).

Now applying Theorem 3.2 to \(-D_1\) and \(p_4\) we obtain a function \(f_1 \in K(E)^*\) and \(x_4 \in E(K)\) such that \(\tau (x_4) = p_4\) and \({{\,\mathrm{div}\,}}(f_1) = D_1 + x_4\). We normalize \(f_1\) such that \(F_1 = \log \vert f_1 \vert \big \vert _\Gamma \).

Similarly let \(D_2 = -x_{1,1} + x_{1,2} - x_{2,2} + x_{3,2} - x_6\) then \(\tau _* D_2 = - p_2 + p_3 - p_6\) and \(\tau _* D_2 + p_5 = {{\,\mathrm{div}\,}}(F_2)\), for a rational function \(F_2\) on \(\Gamma \). We obtain a function \(f_2 \in K(E)^*\) and \(x_5 \in E(K)\) such that \(\tau (x_5) = p_5\) and \({{\,\mathrm{div}\,}}(f_2) = D_2 + x_5\).

Let \(\varphi \) be the morphism associated to the rational map \([f_1: f_2 : 1] :E \rightarrow {\mathbb {P}}^2\). By construction, the graph on the left hand side of Fig. 3, including the dashed lines, which are infinite edges, is the associated completed skeleton \(\Sigma (\varphi )\). We write \(G_i = \log \vert f_i \vert \big \vert _{\Sigma (\varphi )}\). Note that \(G_i|_{\Gamma } = F_i\). Further, \(\varphi _{{{\,\mathrm{trop}\,}}}|_{\Sigma (\varphi )} = (G_1,G_2)\). Thus \({{\,\mathrm{Trop}\,}}_{\varphi }(E) = (G_1,G_2)(\Sigma (\varphi ))\) is the tropical curve on the right hand side of Fig. 3.

The functions \(f_1, f_2, 1\) are linearly independent over K, since \(f_1\) is not constant on the zeros of \(f_2\). Thus by the Riemann–Roch theorem, they form a basis of L(D) where \(D = x_{1,1} + x_{2,2} + x_6\). Since D is very ample by [16, Corollary IV.3.2(b)], this shows that \(\varphi \) is a closed embedding.

Fig. 3
figure 3

The skeleton and tropicalization of a Tate curve

Example 3.6

In the same example, we can also see that Theorem 3.2 does not hold if we do not require B to be supported on two-valent points. Let \(D = p_1\). Then the unique break divisor that is linearly equivalent to D is \(B = q_1\). However we cannot find x and y such that \(\tau (x) = p_1\) and \(\tau (y) = q_1\) such that \(x-y\) is principal, since no difference of two distinct points is principal on an elliptic curve.

4 Fully faithful and smooth tropicalizations

4.1 Describing tropicalizations using extended skeleta

Let X be smooth projective curve of genus \(g>0\). Let V be a minimal semistable vertex set of X with associated finite skeleton \(\Gamma \) and retraction \(\tau \).

Definition 4.1

Let \(\Sigma \) be a completed skeleton of X with retraction \(\tau _{\Sigma }\), \(f \in K(X)^*\) and write \({{\,\mathrm{div}\,}}(f) = \sum \pm x_i\). Then f is said to be faithful with respect to \(\Sigma \) if we have \(\tau _{\Sigma }(x_i) \ne \tau _{\Sigma }(x_j)\) for all \(i \ne j\).

Note that this implies that f has only simple poles and zeros.

Construction 4.2

Let \(\varphi :X \rightarrow Y\) be a closed embedding of X into a toric variety Y that meets the dense torus. Let \(\Sigma (\varphi )\) be the completed skeleton associated to \(\varphi \). Let \(f \in K(X)^*\) be faithful with respect to \(\Sigma (\varphi )\). Consider the induced closed embedding \(\varphi ' = (\varphi , f) :X \rightarrow Y \times {\mathbb {P}}^1\).

We obtain the associated skeleton \(\Sigma (\varphi ')\) for \(\varphi '\) by adding infinite rays \([x_i, \tau _{\varphi }(x_i)]\) for all \(x_i \in {{\,\mathrm{supp}\,}}({{\,\mathrm{div}\,}}(f))\). We denote by \(\tau _{\varphi '}\) the associated retraction.

We have the following diagram

The map on the left contracts the edges \([x_i, \tau _{\varphi }(x_i)]\) to \(\tau _{\varphi }(x_i)\). The map \(\pi _1\) on the right is forgetting the last coordinate.

Thus we obtain \({{\,\mathrm{Trop}\,}}_{\varphi '}(X)\) from \({{\,\mathrm{Trop}\,}}_\varphi (X)\) in two steps:

  1. (i)

    Take the graph of \(\log \vert f \vert \) restricted to \(\Sigma (\varphi )\).

  2. (ii)

    Add the images of the edges \(e_i = [x_i, \tau (x_i)]\). These are infinite rays from \((\varphi _{{{\,\mathrm{trop}\,}}}(x_i), \log \vert f(x_i) \vert )\) to \((\varphi _{{{\,\mathrm{trop}\,}}}(x_i), \pm \infty )\) where the sign of \(\infty \) is the opposite of the sign of \(x_i\) in \({{\,\mathrm{div}\,}}(f)\).

Lemma 4.3

In the situation of Construction 4.2, every edge e in \(\Sigma (\varphi ')\) that is not an edge of \(\Sigma (\varphi )\) is infinite and satisfies \(m(e) = 1\).

Proof

The edge e has to be infinite since we only added infinite rays to \(\Sigma (\varphi )\) in Construction 4.2. Since f has only simple poles and zeros, the slope of \(\log \vert f \vert \) along e is equal to one, thus the corresponding expansion factor equals one. \(\square \)

4.2 Fully faithful tropicalization

Throughout this section, X is a Mumford curve and \(\varphi :X \rightarrow Y\) a closed embedding of X into a toric variety that meets the dense torus. In this section, we prove Theorem B from the introduction, showing that \(\varphi \) has a refinement that is fully faithful.

We fix a minimal semistable vertex set V and denote by \(\Gamma \) the corresponding finite skeleton of X with retraction \(\tau \). For our completed skeleton \(\Sigma (\varphi )\) associated to \(\varphi \) we denote the retraction by \(\tau _{\varphi }\) and the finite part by \(\Sigma (\varphi )_{{{\,\mathrm{fin}\,}}}\).

We will now construct for an edge e a function \(f_e \in K(X)^*\) such that the slope of \(\log \vert f_e \vert \) is equal to 1 along e and such that \(f_e\) is faithful with respect to \(\Sigma (\varphi )\).

Construction 4.4

Let e be a finite edge of \(\Sigma (\varphi )\) that is not in \(\Gamma \). We label the endpoints v and w in such a way that w and \(\Gamma \) lie in different connected components of \(\Sigma (\varphi ) {\setminus } v\) (see Fig. 4). Let \(v', w' \in X(K)\) be such that \(\tau _{\varphi }(v') = v\) and \(\tau _{\varphi }(w') = w\). We fix edges \(e_1,\ldots ,e_g\) that form the complement of a spanning tree of \(\Sigma (\varphi )\) and pillar points \(p_{ij}^e\) in \(e_i\). Applying Corollary 3.4 to \(\Sigma (\varphi )_{{{\,\mathrm{fin}\,}}}\) and \(D' = v' - w'\) we obtain \(f_e \in K(X)^*\) such that \({{\,\mathrm{div}\,}}(f_e) = v' - w' + \sum \pm x_{ij}^e\). By construction \(f_e\) is faithful with respect to \(\Sigma (\varphi )\) and the slope of \(\log \vert f_e \vert \) along e is 1. Replacing \(f_e\) by \(a^{-1} \cdot f_e\) where \(a \in K\) such that \(\vert f_e(v) \vert = \vert a \vert \) we may assume \(\log \vert f_e (v) \vert = 0\).

Fig. 4
figure 4

Situation in Construction 4.4. The dashed lines are infinite edges and solid lines are finite edges

Construction 4.5

Let e be an infinite edge of \(\Sigma (\varphi )\) with finite vertex v and infinite vertex \(w'\). Let \(v'\) be a point in X(K) such that \(\tau _{\varphi }(v') = v\) (see Fig. 5). We fix edges \(e_1,\ldots ,e_g\) that form the complement of a spanning tree of \(\Sigma (\varphi )_{{{\,\mathrm{fin}\,}}}\) and pillar points \(p_{ij}^e\) in \(e_i\). Applying Corollary 3.4 to \(\Sigma (\varphi )_{{{\,\mathrm{fin}\,}}}\) and \(D = v' - w'\) we obtain \(f_e \in K(X)^*\) that is faithful with respect to \(\Sigma (\varphi )\) and such that \(\log \vert f_e \vert \) has slope 1 along e. We again normalize such that \(\log \vert f_e(v) \vert = 0\).

Fig. 5
figure 5

Situation in Construction 4.5. The dashed lines are infinite edges and solid lines are finite edges

Theorem 4.6

Let X be a Mumford curve. Let \(\varphi :X \rightarrow Y\) be a closed embedding of X into a toric variety that meets the dense torus. Then there exists a refinement \(\varphi ' :X \rightarrow Y'\) for \(\varphi \) that is fully faithful.

Proof

Recall that we fixed a finite skeleton of \(\Gamma \) of X. By [6, Theorem 1.1] we may assume, after possibly replacing \(\varphi \) by a refinement, that the map \(\varphi _{{{\,\mathrm{trop}\,}}}\vert _\Gamma \) is an isometry onto its image.

Let E be the set of edges of \(\Sigma (\varphi )\) that are not in \(\Gamma \). The strategy of proof will be as follows: For each edge \(e \in E\), we apply Construction 4.4 (if e is a finite edge) or Construction 4.5 (if e is an infinite edge). We make sure that the pillar points we choose to apply these constructions do not get in the way of each other (condition (iii) below) and do not interfere with e after tropicalization (condition (ii) below). This yield a rational function \(f_e\) for each \(e \in E\). We then check that the corresponding embedding \((\varphi , (f_e)_{e \in E}) :X \rightarrow Y \times ({\mathbb {P}}^1)^{\vert E \vert }\) is fully faithful.

For each \(i = 1,\ldots ,g\), \(j=1,\ldots ,4\) and \(e \in E\) we pick \(p_{ij}^e \in \Gamma \) such that

  1. (i)

    for all \(e \in E\) there are edges \(e^e_i\), \(i = 1, \ldots , g\), that form the complement of a spanning tree of \(\Sigma (\varphi )\) and \(p_{i,1}^e,\ldots ,p_{i,4}^e\) are pillar points in \(e^e_{i}\);

  2. (ii)

    \(\varphi _{{{\,\mathrm{trop}\,}}}([p_{i,1}^e, p_{i,4}^e]) \cap \varphi _{{{\,\mathrm{trop}\,}}}(e) = \emptyset \) for all \(i = 1,\ldots , g\);

  3. (iii)

    \([p_{i,1}^e, p_{i,4}^e] \cap [p_{i',1}^{e'}, p_{i',4}^{e'}] = \emptyset \) for \((e,i) \ne (e', i')\).

Note that a choice of \(p_{ij}^e\) that satisfies (ii) is possible since \(\varphi _{{{\,\mathrm{trop}\,}}}(e)\) is a line segment, thus cannot cover a full cycle of \(\Gamma \).

Now for all finite (resp. infinite) edges \(e \in E\) we apply Construction 4.4 (resp. Construction 4.5) and obtain functions \(f_e \in K(X)^*\).

We consider the closed embedding

$$\begin{aligned} \varphi ' := (\varphi , (f_e)_{e \in E}) :X \rightarrow Y \times ({\mathbb {P}}^1)^{\vert E \vert }. \end{aligned}$$

Following Construction 4.2, the completed skeleton \(\Sigma (\varphi ')\) associated to \(\varphi '\) is obtained from \(\Sigma (\varphi )\) by attaching an infinite edge \(e_{ij}^e\) at each \(p_{ij}^e\) and by attaching for each \(e \in E\) infinite edges to its finite endpoints. If \(e = [v, w]\), we denote these edges by \(e_v^e\) and \(e_w^e\) respectively. We claim that the map

$$\begin{aligned} \varphi '_{{{\,\mathrm{trop}\,}}} :\Sigma (\varphi ') \rightarrow {{\,\mathrm{Trop}\,}}(Y) \times {{\,\mathrm{Trop}\,}}({\mathbb {P}}^1)^E \end{aligned}$$

is injective. We denote \(F_e := \log \vert f_e \vert \big \vert _{\Sigma (\varphi ')}\). By construction, \(\varphi '_{{{\,\mathrm{trop}\,}}}\) is injective when restricted to an edge, since \(\varphi _{{{\,\mathrm{trop}\,}}}|_\Gamma \) is injective and \(F_e\) is injective when restricted to e and \(e_{ij}^e\) for \(e \in E\).

To show global injectivity, let us set up some notation. Recall that for each edge \(e \in E\) we denote by \(v_e\) the endpoint of e such that \(\Gamma \) and \(\mathring{e}\) lie in different connected components of \(\Gamma {\setminus } v\) and by \(w_e\) the other endpoint. Furthermore, \(f_e\) was normalized in such a way that \(F_e (v_e) = 0\). Recall that \(\Gamma \) is a deformation retract of \(\Sigma (\varphi ')\). Thus, we may define a partial order on E by declaring \(e \le e'\) if “e is closer to \(\Gamma \) then \(e'\)”, meaning that \(\mathring{e}\) and \(\mathring{e}'\) lie in the same connected component of \(\Sigma (\varphi ') {\setminus } v_e\).

The idea of the proof of injectivity is that for a point \(z \in \Sigma (\varphi ') {\setminus } \Gamma \) we can detect in which edge \(e \in E\) it is contained simply by looking at the set of functions \(F_e\) satisfying \(F_e(z) \ne 0\). We then do a case by case analysis of the situation.

Now assume \(\varphi '_{{{\,\mathrm{trop}\,}}}(z_1) = \varphi '_{{{\,\mathrm{trop}\,}}}(z_2)\) for \(z_1,z_2 \in \Sigma (\varphi ')\). This means that \(\varphi _{{{\,\mathrm{trop}\,}}}(z_1) = \varphi _{{{\,\mathrm{trop}\,}}}(z_2)\) and \(F_e(z_1) = F_e(z_2)\) for all \(e \in E\).

Note that we may assume \(z_1 \notin \Gamma \), since if both \(z_1\) and \(z_2\) are in \(\Gamma \), then we are done since \(\varphi _{{{\,\mathrm{trop}\,}}}\) is already injective on \(\Gamma \). Denote

$$\begin{aligned} E' := \{ e \in E \mid F_e(z_1) \ne 0 \} = \{ e \in E \mid F_e(z_2) \ne 0 \}. \end{aligned}$$

Since \(F_e(v_e) = 0\) and \({{\,\mathrm{div}\,}}(F_e) = v_e - w_e + \sum _{i=1}^g (p_{i,1}^e - p_{i,2}^e - p_{i,3}^e + p_{i,4}^e)\) we have \(F_e(v_e) = 0\), \(F_e(w_e) > 0\), \(F_e(p_{i,1}^e) = F_e(p_{i,4}^e) = 0\) and \(F_e\) is constant on the connected components of \(\Sigma (\varphi ') {\setminus } (e \cup [p_{i,1}^e, p_{i,4}^e])\) (see Figure 6). Thus

$$\begin{aligned} {{\,\mathrm{supp}\,}}(F_e) = \bigcup _{e' \ge e} e' \cup \bigcup _{i=1}^g [p^e_{i1}, p^e_{i4}]. \end{aligned}$$
(4.1)

We deduce that \(E'\) is closed under \(\le \) and non-empty since \(z_1 \notin \Gamma \).

If \(\vert E' \vert = 1\), say \(E' = \{e \}\), then

$$\begin{aligned} z_1 \in e \cup \bigcup _{ij} e_{ij}^e \text { and } z_2 \in e \cup \bigcup _{ij} e_{ij}^e \cup \bigcup _{i} [p_{i,1}^e, p_{i,4}^e]. \end{aligned}$$
(4.2)

In the case \(z_1 \in e\), we have \(\varphi _{{{\,\mathrm{trop}\,}}}(z_2) = \varphi _{{{\,\mathrm{trop}\,}}}(z_1) \in \varphi _{{{\,\mathrm{trop}\,}}}(e)\) which forces \(z_2 \in e\) by (ii) above and (4.2). Since \(F_e |_{e}\) is injective, it follows that \(z_1 = z_2\).

In the case \(z_1 \in e_{ij}^e\), we have \(\varphi _{{{\,\mathrm{trop}\,}}}(z_2) = \varphi _{{{\,\mathrm{trop}\,}}}(z_1) = p_{ij}^e\), thus \(z_2 \in e_{ij}^e\) and because \(F_e|_{e_{ij}^e}\) is injective we have \(z_1 = z_2\).

If \(\vert E' \vert > 1\), then there exists \(e \in E\) such that \(E' = \{ e' \in E \mid e' \le e\}\) by (iii) above and (4.1). For the same reason \(\vert E' \vert > 1\) implies \(z_1, z_2 \in e\) and consequently \(z_1 = z_2\). Thus \(\varphi '_{{{\,\mathrm{trop}\,}}}|_{\Sigma (\varphi ')}\) is injective.

The stretching factor for all edges of \(\Gamma \) is 1 since \(\varphi |_{e}\) is an isometry onto its image. For all \(e \in E\), the stretching factors are equal to 1 since the slope of \(f_e\) along e is 1. For all \(e^e_{ij}\) the stretching factor is equal to 1 by Lemma 4.3. Since \(\varphi '_{{{\,\mathrm{trop}\,}}}|_{\Sigma (\varphi ')}\) in injective this means all weights are equal to 1. Thus \(\varphi '_{{{\,\mathrm{trop}\,}}}\) represents \(\Sigma (\varphi ')\) faithfully. \(\square \)

Fig. 6
figure 6

The graph of \(\log \vert f_e \vert \) on \(e_{i}^e\) and the adjacent edges \(e_{ij}^e\) in \(\Sigma (\varphi ')\)

Corollary 4.7

Let \(\varphi :X \rightarrow Y\) be a closed embedding of X into a toric variety Y that meets the dense torus. Then there exists a refinement \(\varphi '\) of \(\varphi \) and a section \(\psi _{\varphi '} :{{\,\mathrm{Trop}\,}}_{\varphi '}(X) \rightarrow X^{{{\,\mathrm{an}\,}}}\) for \(\varphi '_{{{\,\mathrm{trop}\,}}}\).

Proof

By Theorem 4.6 we can choose \(\varphi '\) such that \(\varphi '_{{{\,\mathrm{trop}\,}}}\) is fully faithful. Thus \(\varphi '_{{{\,\mathrm{trop}\,}}}\vert _{\Sigma (\varphi ')}\) is a homeomorphism and we define \(\psi _{\varphi '}\) as the composition of the inclusion of \(\Sigma (\varphi ')\) into \(X^{{{\,\mathrm{an}\,}}}\) with \((\varphi '_{{{\,\mathrm{trop}\,}}}\vert _{\Sigma (\varphi ')})^{-1}\). \(\square \)

4.3 Smooth tropicalization

Throughout this section, we will work in the following situation: X is a Mumford curve over K and \(\varphi :X \rightarrow Y\) a closed embedding that meets the dense torus such that \(\varphi _{{{\,\mathrm{trop}\,}}}\) is fully faithful. We denote by \(\Sigma (\varphi )\) the associated complete skeleton and by \(\tau _\varphi \) the retraction.

Lemma 4.8

Let \(f \in K(X)^*\) that is faithful with respect to \(\Sigma (\varphi )\). Then \(\varphi ' = (\varphi , f) :X \rightarrow Y \times {\mathbb {P}}^1\) is fully faithful. Further, all vertices in \(\Sigma (\varphi ')\) that map to singular vertices in \({{\,\mathrm{Trop}\,}}_{\varphi '}(X)\) are contained in \(\Sigma (\varphi )\) and map to singular vertices in \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\).

Proof

All edges of \(\Sigma (\varphi ')\) that are not edges of \(\Sigma (\varphi )\) have expansion factor equal to 1 by Lemma 4.3. Since f is faithful all these edges have different images under \(\tau _{\varphi }\). Since \(\varphi _{{{\,\mathrm{trop}\,}}}\) is fully faithful, they have different images under \(\varphi '_{{{\,\mathrm{trop}\,}}}\). Consequently \(\varphi '_{{{\,\mathrm{trop}\,}}}|_{\Sigma (\varphi ')}\) is injective. Thus \(\varphi '_{{{\,\mathrm{trop}\,}}}\) is fully faithful.

Let v be a vertex of \(\Sigma (\varphi ')\). Then v is a vertex in \(\Sigma (\varphi )\) (after potential subdivision) or infinite. Since \(\varphi '_{{{\,\mathrm{trop}\,}}}\) is fully faithfully, the infinite vertices of \({{\,\mathrm{Trop}\,}}_{\varphi '}(X)\) have only one adjacent vertex and are thus smooth. Thus we have to show that if \(\varphi _{{{\,\mathrm{trop}\,}}}(v)\) is a smooth finite vertex of \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\), then \(\varphi '_{{{\,\mathrm{trop}\,}}}(v)\) is a smooth vertex of \({{\,\mathrm{Trop}\,}}_{\varphi '}(X)\).

Let \(e_0,\ldots ,e_n\) be the adjacent edges of v and write \(w_i := w_{v, e_i}\) for the primitive integral vector pointing from \(\varphi _{{{\,\mathrm{trop}\,}}}(v)\) into \(\varphi _{{{\,\mathrm{trop}\,}}}(e_i)\). We denote \(F = \log \vert f \vert \big \vert _{\Sigma (\varphi ')}\) and \(L(F) = F - F(v)\).

If v is not in \({{\,\mathrm{div}\,}}(F)\), then F is locally around \(\varphi _{{{\,\mathrm{trop}\,}}}(v)\) the restriction to \({{\,\mathrm{Trop}\,}}_\varphi (X)\) of an affine function on \(N_{\mathbb {R}}\). The vertex v still has \(n+1\) adjacent edges \(e'_0,\ldots ,e'_n\) in \(\Sigma (\varphi ')\) and the primitive vectors are \(w_0' = (w_0,L(F)(e_0)),\ldots ,w'_n = (w_n,L(F)(e_n))\). Since F has integer slopes and is the restriction of an affine function and the \(w_i\) span a saturated lattice of rank n, so do the \(w'_i\), which shows that \(\varphi _{{{\,\mathrm{trop}\,}}}(v)\) is a smooth vertex of \({{\,\mathrm{Trop}\,}}_{\varphi '}(X)\).

If \(v \in {{\,\mathrm{div}\,}}(F)\), since f is faithful with respect to \(\Sigma (\varphi )\), v has \(n+2\) adjacent edges \(e'_0,\ldots ,e'_n,e'_{n+1}\) in \(\Sigma (\varphi ')\) and the primitive vectors are

$$\begin{aligned} w_0' = (w_0,L(F)(e_0)),\ldots ,w'_n = (w_n,L(F)(e_n)), w'_{n+1} = (0, \pm 1). \end{aligned}$$

Since the \(w_i\) span a saturated lattice of rank n, the \(w'_i\) span a saturated lattice of rank \(n+1\), which shows that \(\varphi '_{{{\,\mathrm{trop}\,}}}(v)\) is a smooth vertex of \({{\,\mathrm{Trop}\,}}_{\varphi '}(X)\). \(\square \)

For a vertex v of \(\Sigma (\varphi )\) and two adjacent edges \(e_0\) and \(e_1\), we now construct a function \(f_{e_1}\) in \(K(X)^*\) that we will use to construct a tropicalization that is smooth at v. This may be viewed as generalization to any ambient dimension and any vertex of the constructions done for special vertices and ambient dimension 2 by Cueto and Markwig [10, Section 3]

Construction 4.9

Let v be a vertex of \(\Sigma (\varphi )\) and let \(e_0\) and \(e_1\) be adjacent edges. Let \(F_{e_1}\) be a piecewise linear function such that \(F_{e_1}(v) = 0\), \(d_{e_1}F_{e_1}(v) = 1\), \(d_{e_0}F_{e_1}(v) = -1\), \(d_{e}F_{e_1} = 0\) for all other adjacent edges, \({{\,\mathrm{supp}\,}}(F_{e_1}) \subset e_1 \cup e_0\), and such that \({{\,\mathrm{div}\,}}(F_{e_1}) = \sum \pm p_{i}\) for distinct points \(p_i\) (see Fig. 7). For each i fix \(x_{i} \in X(K)\) such that \(\tau _* x_{i} = p_i\) and write \(D = \sum \pm x_{i}\). Fixing pillar points \(p_{jk}\) outside of \({{\,\mathrm{supp}\,}}(F)\) and applying Corollary 3.4 we obtain a function \(f_{e_1} \in K(X)^*\) that is faithful with respect to \(\Sigma (\varphi )\) and such that the outgoing slope at v of \(\log \vert f_{e_1} \vert \) equals 1 along \(e_1\) and \(-1\) along \(e_0\).

Fig. 7
figure 7

The graph of \(F_{e_1}\) along the edges \(e_0\) and \(e_1\) in Construction 4.9, with the dashed line being the zero level

Theorem 4.10

Let \(\varphi :X \rightarrow Y\) be an embedding of X into a toric variety Y that meets the dense torus. Then there exists a refinement \(\varphi ' :X \rightarrow Y'\) for a toric variety \(Y'\) such that \({{\,\mathrm{Trop}\,}}_{\varphi '}(X)\) is a smooth tropical curve.

Proof

By Theorem 4.6, after replacing \(\varphi \) by a refinement, we may assume that \(\varphi _{{{\,\mathrm{trop}\,}}}\) is fully faithful.

Let v be a vertex of \(\Sigma (\varphi )\) such that \(\varphi _{{{\,\mathrm{trop}\,}}}(v)\) is a singular vertex of \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\). Let \(e_0,\ldots ,e_n\) be the adjacent edges. For \(k=1,\ldots ,n\) we pick functions \(F_{e_i} :\Sigma (\varphi ) \rightarrow {\mathbb {R}}\) as in Construction 4.9. For each \(k = 1,\ldots ,n\) and \(i = 1,\ldots ,g\) we pick pillar points \(p^k_{i,1}, p^k_{i,2}, p^k_{i,3},p^k_{i,4}\) in such a way that

$$\begin{aligned} {[}p^k_{i,1}, p^k_{i,4}]&\cap {{\,\mathrm{supp}\,}}(F_k) = \emptyset \text { for all } i,k \text { and } \\ {[}p^{k}_{i,1}, p^k_{i,4} ]&\cap [p^{k'}_{i',1}, p^{k'}_{i',4}] = \emptyset \text { for }(k,i) \ne (k',i'). \end{aligned}$$

Applying now Construction 4.9, we obtain functions \(f_{e_i} \in K(X)\). We consider the closed embedding \(\varphi ' := (\varphi , (f_{e_k})_{k=1,\ldots ,n}) :X \rightarrow ({\mathbb {P}}^{1})^n\) and its tropicalization

$$\begin{aligned} \varphi '_{{{\,\mathrm{trop}\,}}} :X^{{{\,\mathrm{an}\,}}}\rightarrow {{\,\mathrm{Trop}\,}}(Y) \times {{\,\mathrm{Trop}\,}}({\mathbb {P}}^1)^n. \end{aligned}$$

Applying Lemma 4.3n times, we see that \(\varphi '_{{{\,\mathrm{trop}\,}}}\) is fully faithful. By construction v still has \(n+1\) adjacent edges \(e'_0,\ldots ,e'_n\) in \(\Sigma (\varphi ')\) and \(\log \vert f_{e_i} \vert \) has slope 1 along \(e'_i\), slope \(-1\) along \(e'_0\), and is constant on the other edges. This means that projecting a neighborhood of \(\varphi '_{{{\,\mathrm{trop}\,}}}(v)\) in \({{\,\mathrm{Trop}\,}}_{\varphi '}(X) \subset {{\,\mathrm{Trop}\,}}(Y) \times {{\,\mathrm{Trop}\,}}({\mathbb {P}}^1)^n\) to the second factor, the image is isomorphic to the one-dimensional fan in \({\mathbb {R}}^n\) whose rays are spanned by the coordinate vectors \(x_1,\ldots ,x_n\) and their negative sum \(x_0 = - \sum _{i=1}^n x_i\). Further the primitive vector \(w_{v,e'_i}\) is mapped to \(x_i\). Thus the \(w_{v,e'_i}\) span a saturated lattice of rank n, which means that v is smooth in \({{\,\mathrm{Trop}\,}}_{\varphi '}(X)\).

Since v is singular in \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\) but not in \({{\,\mathrm{Trop}\,}}_{\varphi '}(X)\), by inductively applying Lemma 4.8, we see that \({{\,\mathrm{Trop}\,}}_{\varphi '}(X)\) has fewer singular points than \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\).

Thus inductively we can construct \(\varphi '\) such that \({{\,\mathrm{Trop}\,}}_{\varphi '}(X)\) is smooth. \(\square \)

5 Only Mumford curves admit smooth tropicalizations

Let X be a smooth projective curve. In this section we show that the existence of a closed embedding \(\varphi :X \rightarrow Y\) such that \({{\,\mathrm{Trop}\,}}_{\varphi }(X)\) is smooth already implies that X is a Mumford curve. Since we will not change the embedding in this section, we will identify X with its image and simply treat X as a closed subcurve of Y. We denote the completed skeleton associated to the inclusion of X into Y by \(\Sigma \).

We denote by \(K^\circ \) the valuation ring of K and by \({\tilde{K}}\) its residue field. Further we denote by T the dense torus of Y, by N its cocharacter lattice and \(N_\Lambda = N \otimes \Lambda \subset N_{\mathbb {R}}\).

We will use the notion of affinoid domains in \(X^{{{\,\mathrm{an}\,}}}\) and their formal models. For an introduction to these notions we refer the reader to [6, Section 3].

Definition 5.1

Let \(w \in N_\Lambda \cap {{\,\mathrm{Trop}\,}}(X)\). Then \(X^w := {{\,\mathrm{trop}\,}}^{-1}(w)\) is an affinoid domain in \(X^{{{\,\mathrm{an}\,}}}\). The point w determines a formal model \({\mathcal {X}}^w\) for \(X^w\).

The initial degeneration is the special fiber \({{\,\mathrm{in}\,}}_w(X) := {{\,\mathrm{{\mathcal {X}}}\,}}^w_s := {{\,\mathrm{{\mathcal {X}}}\,}}^w \otimes _{K^\circ } {\tilde{K}}\).

Remark 5.2

Assume that \({{\,\mathrm{in}\,}}_w(X)\) is reduced. By [6, Proposition 3.13] we have that \({{\,\mathrm{{\mathcal {X}}}\,}}^w\) is the canonical model of \(X^w\). Then we have a canonical reduction map \({{\,\mathrm{red}\,}}:X^w \rightarrow {{\,\mathrm{in}\,}}_w(X)\) [3, Section 2.4]. Let C be an irreducible component of \({{\,\mathrm{in}\,}}_w(X)\) with generic point \(\eta \). Then there is a unique point \(x_w \in X^w\) such that \({{\,\mathrm{red}\,}}(x_w) = \eta \) and that point satisfies that \(C_{x_w}\) is birational to C [3, Proposition 2.4.4]. If z is a smooth closed point of \({{\,\mathrm{in}\,}}_w(X)\) then \({{\,\mathrm{red}\,}}^{-1}(z)\) is isomorphic to an open disc [4, Proposition 2.2].

In particular, if \({{\,\mathrm{in}\,}}_w(X)\) is smooth and rational, then all type II points in \(X^w\) have genus 0.

We will use the following Proposition. Since we will apply it in the case of a trivially valued field, we allow the absolute value of the field to be trivial.

Proposition 5.3

Let T be an algebraic torus over a non-archimedean field, whose absolute value may be trivial. Let \(T'\) be a subtorus and let U be a closed subvariety of T. If \({{\,\mathrm{Trop}\,}}(U) \subset {{\,\mathrm{Trop}\,}}(T')\) then a translate of U that has the same tropicalization as U is contained in \(T'\).

Proof

We consider the quotient torus \(T / T'\). Denote by \({\overline{U}}\) the image of U in the quotient torus \(T / T'\). Then the tropicalization of \({\overline{U}}\) in \({{\,\mathrm{Trop}\,}}(T / T') = {{\,\mathrm{Trop}\,}}(T) / {{\,\mathrm{Trop}\,}}(T')\) is a point by construction, meaning that U is contained in a translate \(t \cdot T'\) of \(T'\), where all entries of T have absolute value 1. Thus \(t^{-1} \cdot U\) is a translate of U that is contained in \(T'\) and has the same tropicalization as U. \(\square \)

In the following, we view \({\tilde{K}}\) as a non-archimedean field, carrying the trivial absolute value.

Theorem 5.4

Let T be an algebraic torus over \({\tilde{K}}\). Let \(U \subset T\) be a closed curve. If \({{\,\mathrm{Trop}\,}}(U)\) is smooth then U is smooth and rational.

Proof

In the case where \({{\,\mathrm{Trop}\,}}(U)\) spans \({{\,\mathrm{Trop}\,}}(T)\), it follows from [23, Proposition 4.2] that the closure of U in \({\mathbb {P}}^n\) is a one-dimensional linear space. Thus U is a smooth rational curve. We reduce to this case: Let V be the vector subspace of \({{\,\mathrm{Trop}\,}}(T)\) that is spanned by \({{\,\mathrm{Trop}\,}}(U)\). Since V is a rational subspace, there exists a subtorus \(T'\) of T such that \({{\,\mathrm{Trop}\,}}(T') = V\). Now replacing U by the translate from Proposition 5.3 and applying Katz’s and Payne’s result to U and \(T'\) proves the theorem. \(\square \)

Corollary 5.5

If \({{\,\mathrm{Trop}\,}}(X)\) is smooth, then \({{\,\mathrm{in}\,}}_w(X)\) is a smooth rational curve for all \(w \in {{\,\mathrm{Trop}\,}}(X) \cap N_\Lambda \).

Proof

Let \(w \in {{\,\mathrm{Trop}\,}}(X) \cap N_{\Lambda }\). Then \({{\,\mathrm{in}\,}}_w(X)\) is a closed subvariety of a torus \(T_{{\tilde{K}}}\) over \({\tilde{K}}\). Denote by \({{\,\mathrm{Trop}\,}}({{\,\mathrm{in}\,}}_w(X))\) its tropicalization. Then the local cone at w in \({{\,\mathrm{Trop}\,}}(X)\) equals \({{\,\mathrm{Trop}\,}}({{\,\mathrm{in}\,}}_w(X))\) by [15, 10.15]. Thus \({{\,\mathrm{in}\,}}_w(X)\) is a smooth rational curve by Theorem 5.4.

Theorem 5.6

If \({{\,\mathrm{Trop}\,}}(X)\) is smooth, then X is a Mumford curve.

Proof

Let \(w \in {{\,\mathrm{Trop}\,}}(X) \cap N_\Lambda \). By Corollary 5.5, \({{\,\mathrm{in}\,}}_w(X)\) is smooth and rational. Thus all type II points in \(X^w\) have genus 0 by Remark 5.2. Since all type two points map to \(N_\Lambda \) under the tropicalization map, all type II points in \(X^{{{\,\mathrm{an}\,}}}\) have genus zero which shows that X is a Mumford curve by Remark 2.12\(\square \)

Theorem 5.7

If \({{\,\mathrm{Trop}\,}}(X)\) is smooth, then the tropicalization map is fully faithful.

Proof

By Corollary 5.5, all initial degenerations are smooth and rational. For all \(w \in N_{\Lambda } \cap {{\,\mathrm{Trop}\,}}(X)\), by Remark 5.2, there is a unique point \(x_w \in X^w\) that satisfies that \({{\,\mathrm{red}\,}}(x_w)\) is the generic point of \({{\,\mathrm{in}\,}}_w(X)\). Furthermore, every point in \(X^w {\setminus } \{x_w\}\) has a neighborhood isomorphic to an open disc, thus is not contained in \(\Sigma \). We conclude that every point \(w \in N_\Lambda \cap {{\,\mathrm{Trop}\,}}(X)\) has \(x_w\) as its unique preimage under \({{\,\mathrm{trop}\,}}|_{\Sigma }\). Since \({{\,\mathrm{trop}\,}}|_{\Sigma }\) is continuous and linear on each edge, this implies that \({{\,\mathrm{trop}\,}}|_{\Sigma } :\Sigma \rightarrow {{\,\mathrm{Trop}\,}}(X)\) is bijective. Since all weights are 1, this shows that the tropicalization map is fully faithful. \(\square \)

Note that when X comes by base change from a family of Riemann surfaces over the punctured disc, Theorems 5.6 and 5.7 are consequences of [17, Corollary 2]. The relation between Hodge and Betti numbers in tropical geometry is different than in complex geometry. The (0, 1)-tropical Hodge number of \({{\,\mathrm{Trop}\,}}(X)\) is equal to the first Betti number of \({{\,\mathrm{Trop}\,}}(X)\). Using this and [17, Corollary 2] one finds that the first Betti number of \({{\,\mathrm{Trop}\,}}(X)\) is equal to g, which, since \({{\,\mathrm{Trop}\,}}(X)\) is smooth, implies that \({{\,\mathrm{trop}\,}}|_{\Sigma }\) is injective, hence bijective.