A note on finite determinacy of matrices (Q2214906)

To describe the main result of this paper, we need some preliminaries. Let \(K\) be an infinite field, \(R=K[[X]]=K[[X_1,\ldots,X_s]]\) the formal power series ring in \(s\) indeterminates over \(K\) and \(\mathcal{M}=(X_1,\ldots,X_s)\) its maximal ideal. For \(m,n\in\mathbb{N}^*\), let \(M_{m,n}\) be the set of \(m\times n\) matrices with entries in \(R\). Consider the group \(G=\big(\mathrm{GL}(m,R)\times\mathrm{GL}(n,R)^{op}\big)\propto\mathrm{Aut}(R)\) where \(\big(\mathrm{GL}(n,R)\big)^{op}\) is the opposite group of \(\mathrm{GL}(n,R)\) and \(\mathrm{Aut}(R)\) the group of automorphisms defined on \(R\). The group \(G\) acts on \(M_{m,n}\) in the following way: \(\big(U,V,\phi,A\big)\longrightarrow U.\phi(A).V\), where \(A=\big[a_{ij}(X)\big]\in M_{m,n}\), \(U\in\mathrm{GL}(m,R)\), \(V\in \big(\mathrm{GL}(n,R)\big)^{op}\) and \(\phi(A)=\big[\phi(a_{ij}(X))\big]=\big[a_{ij}(\phi(X))\big]\) with \(\phi(X)=(\phi_1,\ldots,\phi_s)\), \(\phi_i=\phi(X_i)\in\mathcal M\) for all \(i=1,\ldots,s\). We say that the matrices \(A,B\in M_{m,n}\) are \(G\)-equivalent and we denote \(A\stackrel{G}{\sim} B\) if \(B\) is in the orbit of \(A\). A matrix \(A\in M_{m,n}\) is said to be \(G\) \(k\)-determined if for each matrix \(B\in M_{m,n}\) with \(B-A\in\mathcal{M}^{k+1}.M_{m,n}\), we have \(B\stackrel{G}{\sim} A\). A matrix \(A\) is called finitely \(G\)-determined if there exists a positive integer \(k\) such that it is \(G\) \(k-\)determined. For a matrix \(A\in M_{m,n}\), we consider the \(R-\)module \(\tilde T_A(GA)=<E_{m,pq}.A>+<A.E_{n,hl}>+\mathcal M.<\frac{\partial A}{\partial X_{\nu}}>\), where \(<E_{m,pq}.A>\) is the \(R-\) submodule generated by \(E_{m,pq}.A\), \(1\leq p,q\leq m\), with \(E_{m,pq}\) the \((p,q)\)-th canonical matrix of \(\mathrm{Mat}(m,n,R)\) (\(1\) at place \((p,q)\) and \(0\) elsewhere) and \(<\frac{\partial A}{\partial X_{\nu}}>\) is the \(R-\) submodule generated by the matrices \(\frac{\partial A}{\partial X_{\nu}}=\big[\frac{\partial a_{ij}}{\partial X_{\nu}}(X)\big]\), \(1\leq \nu\leq s\). The main result of this note is: Let \(A\in\mathcal{M}.M_{2,2}\). Then \(A\) is finitely \(G-\)determined if and only if \(\dim_KM_{2,2}\big/\tilde T_A(GA)<\infty\).