Finite determinacy of matrices over local rings. tangent modules to the miniversal deformation for \(R\)-linear group actions (Q1621609)

The results of the previous authors' paper [C. R. Math. Acad. Sci., Soc. R. Can. 38, No. 4, 113--153 (2016; Zbl 1359.58020)] reduce the study of (in)finite determinacy to the computation of the support of \(T^1_{(\Sigma,G,A)}\), i.e. the annihilator ideal \(\mathrm{ann}(T^1_{(\Sigma,G,A)})\). Here \(\mathrm{Mat}_{m\times n}(R)\) denotes the \(R\)-module of \(m\times n\) matrices with entries in a local ring \(R\), \(G\) is a group acting on \(\mathrm{Mat}_{m\times n}(R)\), and \(\Sigma \subset \mathrm{Mat}_{m\times n}(R)\) is a subset of allowed deformations. In the current paper, the authors study the module \(T^1_{(\Sigma,G,A)}\) and its support for the \(R\)-linear actions of the group \(G\) on \(\mathrm{Mat}_{m\times n}(R)\) described in Example 1.1. Some ready-to-use criteria of determinacy for deformations of (embedded) modules, (skew-)symmetric forms, filtered modules, filtered morphisms of filtered modules, chains of modules and others, are obtained.