An effective study of polynomial maps

Abstract

In this paper, using an effective algorithm, we obtain an equivalent statement to the Jacobian Conjecture. For a polynomial map [Formula: see text] on an affine space of dimension [Formula: see text] over a field of characteristic [Formula: see text], we define recursively a finite sequence of polynomial maps. We give an equivalent condition to the invertibility of [Formula: see text] as well as a formula for [Formula: see text] in terms of this finite sequence of polynomial maps. Some examples illustrate the effective aspects of our approach.