On Some Algebraic Properties of Hermite--Pad\'e Polynomials

Let $[f_0,\dots,f_m]$ be a tuple of series in nonnegative powers of $1/z$, $f_j(\infty)\neq0$. It is supposed that the tuple is in "general position". We give a construction of type I and type II Hermite--Pad\'e polynomials to the given tuple of degrees $\leq{n}$ and $\leq{mn}$ respectively and the corresponding $(m+1)$-multi-indexes with the following property. Let $M_1(z)$ and $M_2(z)$ be two $(m+1)\times(m+1)$ polynomial matrices, $M_1(z),M_2(z)\in\operatorname{GL}(m+1,\mathbb C[z])$, generated by type I and type II Hermite--Pad\'e polynomials respectively. Then we have $M_1(z)M_2(z)\equiv I_{m+1}$, where $I_{m+1}$ is the identity $(m+1)\times(m+1)$-matrix. The result is motivated by some novel applications of Hermite--Pad\'e polynomials to the investigation of monodromy properties of Fuchsian systems of differential equations.