On finite determinacy for matrices of power series (Q1794557)

The authors study some actions on the set \(M_{n,m}\) of matrices with coefficients in the ring of formal power series \(R:=K[[x_1,\ldots, x_n]]\), where \(K\) is a field. They study the action of \(G:=Gl_n(R)\) on \(M_{n,m}\) by multiplication from the left (or from the right, or from both sides). Then they give a condition to insure the finitely determinacy of a matrix \(A\). One says that a matrix \(A:=(a_{ij}(x))\) is finitely determined (resp. \(G\)-finitely determined) if, for every matrix \((b_{ij}(x))\) whose entries coincide with those of \(A\) up to some high power of the maximal ideal of \(R\), there exists an automorphism \(\varphi\) of \(R\) such that \((\phi(b_{ij}(x)))=(a_{ij}(x))\) (resp. such that \((\phi(b_{ij}(x)))\) belongs to the orbit of \(A\) under the action of \(G\)). The condition given in this paper is expressed in terms of the tangent image of the orbit map. In characteristic zero, they prove that this condition is not only sufficient but also necessery. These results generalize previous classical results concerning the finite determinacy of power series or of vectors of power series.