Computing tropical varieties over fields with valuation (Q2194773)

Let \(K\) be a complete valued field with a non-trivial discrete valuation \(\nu\). Let \(\mathcal O_K\subset K\) be the ring of integers with maximal ideal \(\langle p\rangle\) and residue field \(k\). Let \(R\) be a subring of \(\mathcal O_K\) such that \(\hat R=R[[t]]/\langle p-t\rangle=\mathcal O_K\). Let \(\pi:R[[t]][x] \longrightarrow K[x]\), \(x=(x_1,\ldots,x_n)\), be the canonical map defined by \(\pi(t)=p\). For \(f=\sum c_{\alpha}x^{\alpha}\in K[x]\) and a weight vector \(w\in \mathbb R^n\) let \(in_{\nu,w}(f)=\sum_{w\alpha-\nu(c_{\alpha}) \text{ maximal}}c_{\alpha}p^{-\nu(c_{\alpha})}x^{\alpha} \in k[x]\). Let \(I \subset K[x]\) be an ideal and \(in_{\nu,w}(I)=\langle in_{\nu,w}(f)|f\in I\rangle \subset k[x]\). The tropical variety of \(I\) is defined as \(\mathcal T_{\nu}(I)=\{w\in \mathbb R^n| in_{\nu,w}(I) \text{ monomial free}\}\). For \(f=\sum c_{\alpha,\beta}t^{\beta}x^{\alpha}\in R[[t]][x]\) and \(w\in \mathbb R_{<0}\times \mathbb R^n\) define \(in_w(f)=\sum_{w(\beta,\alpha) \text{ maximal}}c_{\alpha,\beta}t^{\beta}x^{\alpha} \subset R[t,x]\) and for an ideal \(I \subset R[[t]][x]\) define \(in_w(I)=\langle in_w(f)|f\in I\rangle\). The corresponding tropical variety \(\mathcal T(I)\) is the closure of \(\{w\in \mathbb R_{<0}\times \mathbb R^n | in_w(I) \text{ monomial free}\}\). It is proved that \(\mathcal T(\pi^{-1}I) \cap (\{-1\} \times \mathbb R^n) \cong \mathcal T_{\nu}(I)\). This is the basis for computing tropical varieties over \(K\) using standard bases in \(R[t,x]\).