On the equivalence of multivariate polynomial matrices (Q2361293)

The authors mainly investigate the equivalence of some multivariate polynomial matrices, which is closely related to equivalence of multidimensional systems. Some new results and conditions on the reduction by equivalence of a given multidimensional polynomial matrix to its Smith form are presented. The following notation is used in this work: \(\mathbb{R}[z]=\mathbb{R}[z_1,\dots,z_n]\) denotes the polynomial ring in \(n\) variables with coefficients in \(\mathbb{R}\); \(\mathbb{R}^{l \times l}[z]\) is the set of \(l \times l\) matrices with entries in \(\mathbb{R}[z]\), \(0_{r,t}\) the \(r \times t\) zero matrix and \(I_r\) the \(r \times r\) identity matrix. The authors analyze the problem: when is a multidimensional (\(n \geq 2\)) polynomial matrix \(F(z)\) equivalent to the matrix \[ \begin{pmatrix} I_{l-1} & 0_{l-1,1} \\ 0_{1,l-1} & d \end{pmatrix}, \] where \(d=\det{F(z)}=(z_1-f(z_2,z_3,\dots,z_n))^q\)? The following property plays an important role in the results of the paper: The matrix \(F(z) \in \mathbb{R}^{l \times l}[z]\) has the property DM if \(\det{F(z)}\) and all \((l-1) \times (l-1)\) minors of \(F(z)\) have no common zeros. The main result of this manuscript establishes the following: Let \(F(z) \in \mathbb{R}^{l \times l}[z]\) be an \(l \times l\) polynomial matrix with \(\det{F(z)}=(z_1-f(z_2,z_3,\dots,z_n))^q\). \(F(z)\) has the property DM if and only if \(F(z)\) is equivalent to the matrix \[ Q(z)=\begin{pmatrix} I_{l-1} & 0_{l-1,1} \\ 0_{1,l-1} & (z_1-f(z_2,z_3,\dots,z_n))^q \end{pmatrix}. \] The last section is devoted to an example for confirming the theoretical results and for illustrating a constructive method.