Computation of residual polynomial operators of inductive valuations (Q2031593)

Consider a valued field \((K,v)\) with values group \(\Gamma\) and let \(K[x]\) be the polynomials ring with coefficients in \(K\). Let \(\mu\) be a valuation on \(K[x]\) extending \(v\) and \(\Gamma_{\mu}\) be its values group. Suppose that \(\mu\) is the restriction to \(K[x]\) of some valuation on the field \(K(x)\). For each \(\alpha\in \Gamma_{\mu}\), we have the following abelian groups: \(\mathcal{P}_{\alpha}^+=\{ g\in K[x]; \mu(g)>\alpha\}\subset\mathcal{P}_{\alpha}=\{ g\in K[x]; \mu(g)\geq\alpha\}\). The graded algebra \(\mathcal{G}=gr_{\mu}(K[x])=\bigoplus_{\alpha\in\Gamma_{\mu}} \mathcal{P}_{\alpha}/ \mathcal{P}_{\alpha}^+\). Let \(\Delta=\Delta_{\mu}=\mathcal{P}_0/ \mathcal{P}_0^+\subset \mathcal{G}\) be the subring of homomgeneous elements of degree zero. Let \(\kappa\) be the minimal subfield of \(\Delta\). In the paper under review, the authors give an algorithm to compute the field \(\kappa\) and the residual polynomial operator \(K[x]\longrightarrow \kappa[y]\), where \(y\) is another indeterminate. This computation does not require a deep investigation in the graded algebra \(\mathcal{G}\).