Standard bases in \(K[[t_1,\ldots ,t_m]][x_1,\ldots ,x_n]^s\) (Q2517806)

The concept of standard basis on \(K[t_1, \ldots, t_m]_{\langle t_1, \ldots, t_m\rangle}[X_1, \ldots, X_n]\) is extended in the canonical way to the completion \(K[[t_1, \ldots, t_m]][X_1,\ldots, X_n]\). As usual the difficult part is to prove the existence of a suitable normal form. Here the concepts of Grauert and Hironaka (for \(K[[t_1, \ldots, t_m]]\), cf. \textit{T. de Jong} and \textit{G. Pfister} [Local Analytic Geometry. Braunschweig: Vieweg (2000; Zbl 0959.32011)]) and Mora (for \(K[t_1, \ldots, t_m]_{\langle t_1, \ldots, t_m\rangle}\), cf. \textit{G.-M. Greuel} and \textit{G. Pfister} [A \textsc{Singular} Introduction to Commutative Algebra. Berlin: Springer (2007; Zbl 1133.13001)]) are generalized. The remaining part of the theory can easily be adapted. Using the concept of standard bases over \(K[[t]][X_1, \ldots, X_n]\) it is proved that the \(t\)-initial ideal of an ideal over the Puiseux series field can be read of from a standard basis of its generators. This result is of interest in the theory of tropical varieties.