Finite determinacy of matrices over local rings.II. Tangent modules to the miniversal deformations for group-actions involving the ring automorphisms

Abstract

We consider matrices with entries in a local ring, Mat(m,n;R). Fix an action of group G on Mat(m,n;R), and a subset of allowed deformations, \Sigma in Mat(m,n;R). The standard question (along the lines of Singularity Theory) is the finite-(\Sigma,G)-determinacy of matrices. In our previous work this determinacy question was reduced to the study of the tangent spaces to \Sigma and to the orbit, T_{(\Sigma,A)}, T_{(GA,A)}, and their quotient: the tangent module to the miniversal deformation. In particular, the order of determinacy is controlled by the annihilator of this tangent module. Then we have studied this tangent module for the group action GL(m,R)\times GL(n,R) on Mat(m,n;R) and for various natural subgroups of it. These are R-linear group actions. In the current work we study this tangent module for group actions that involve the automorphisms of the ring, or, geometrically, group-actions that involve the local coordinate changes. (These actions are not R-linear.) We obtain various bounds on the support of this module. This gives ready-to-use criteria of determinacy for matrices, (embedded) modules and (skew-)symmetric forms.