Tropical geometry for fields with a Krull valuation: first definitions and a small result (Q423981)

Let \(\mathbb K\) be an algebraically closed field, \(\Gamma \) a totally ordered abelian group and \(\mathrm{val} :\mathbb K\to \Gamma \) a Krull valuation. Let \(\mathcal I\) be an ideal in the ring \(\mathbb K [x_1^{\pm 1}, \dots, x_N^{\pm 1}]\) of Laurent polynomials, and let \(\mathbf V\mathcal I\) be the corresponding affine algebraic variety in the torus \((\mathbb K^*)^N\). We are concerned with its image under the valuation map: \[ \mathrm{val}(\mathbf V\mathcal I)=\{(\mathrm{val}(\varphi_1),\dots,\mathrm{val}(\varphi_N))|f(\varphi_1,\dots,\varphi_N)=0\quad \forall f\in\mathcal I\}. \] When \(\Gamma=\mathbb R\), the famous theorem of Kapranov (see [\textit{M. Einsiedler} et al., J. Reine Angew. Math. 601, 139--157 (2006; Zbl 1115.14051); \textit{A. N. Jensen} et al., Collect. Math. 59, No. 2, 129--165 (2008; Zbl 1151.13021); \textit{S. Payne}, Math. Z. 262, No. 2, 301--311 (2009; Zbl 1222.14130)] tells us that the closure in \(\mathbb R^N\) of the set \(\mathrm{val}(\mathbf V\mathcal I)\) equals the intersection \(\mathbf{TV}\mathcal I\) of the tropical hypersurfaces associated to each polynomial in \(\mathcal I\). After giving the appropriate definitions for general \(\Gamma\), the paper under review proves that if \(\mathbf V\mathcal I\) consists of finitely many points, then \(\mathrm{val} (\mathbf V\mathcal I)=\mathbf{TV}\mathcal I\). The proof is very simple.