Feedback invariants of pairs of matrices and restrictions (Q4264403)

The relationship between the feedback invariants of a pair \((A,B)\in \mathbb{F}^{n\times n}\times \mathbb{F}^{n\times m}\) and those of its restriction to an \((A,B)\)-invariant subspace is studied. A pair \((A_1,B_1)\in \mathbb{F}^{n_1\times n_1}\times \mathbb{F}^{n_1\times m_1}\) is considered together with its Brunovsky indices and its invariant factors denoted by \(r_1,\dots, r_{n_1}\) and \(\alpha_1,\dots, \alpha_{n_1}\) respectively (with \(r_i\geq r_{i+1}, \alpha_i|\alpha_{i+1})\). Some nonnegative integers \(t_1,\dots,t_n\) and some monic polynomials \(\gamma_1,\dots,\gamma_n\) are considered with \(t_1=r_1+m_2 \geq\cdots\geq t_n\) and \(\gamma_i|\gamma_{i+1}\), \(i=1,\dots,n\). The main result gives necessary and sufficient conditions for the existence of the matrices \(X\in\mathbb{F}^{n_1\times n_2}\), \(Z\in\mathbb{F}^{n_2\times n_2}\), \(Y\in \mathbb{F}^{n_1\times m_2}\) and \(T\in\mathbb{F}^{n_2\times m_2}\) such that \(t_1,\dots,t_n\) and \(\gamma_1,\dots,\gamma_n\) are respectively the Brunovsky indices and the invariant factors of the pair \(\left(\left[ \begin{smallmatrix} A_1 & X\\ 0 & Z \end{smallmatrix}\right], \left[\begin{smallmatrix} B_1 & Y\\ 0 & T\end{smallmatrix} \right] \right)\).