Polynomial equation solving by lifting procedures for ramified fibers (Q598210)

During the past years symbolic elimination methods have been developed for the algorithmic solution of multivariate polynomial systems that are based on a flat deformation of certain morphisms of affine varieties. The aim of this paper is to extend the types of polynomial systems which can be treated this way. Given a generically unramified family of zero-dimensional affine varieties represented by a dominant morphism \(\pi : V \rightarrow \mathbb C^n\) and the infinitesimal structure of a particular (eventually ramified) fiber \(\pi^{-1}(y_0)\), an algorithm is presented that computes a complete description of any fiber \(\pi^{-1}(y)\). In the case of space curves this generalizes a method of \textit{M. Giusti, J. Heintz}, \textit{K. Hägele, J. E. Morais, L. M. Pardo}, and \textit{J. L. Montaña} [J. Pure Appl. Algebra 117--118, 277--317 (1997; Zbl 0871.68101) and 124, 101--146 (1998; Zbl 0944.12004)] and \textit{E. Schost} [Appl. Algebra Eng. Commun. Comput. 14, No. 1, 349--393 (2003; Zbl 1058.68123)] which require the given parameter instance to be unramified. The method is illustrated be several examples.