Weak Bézout inequality for D-modules (Q2387420)

Let \(A_m=F[X_1,\dots,X_m,{\partial\over\partial X_1},\dots,{\partial\over\partial X_m}]\) be the Weyl algebra [\textit{J.-E. Björk}, Rings of Differential Operators, North-Holland Amsterdam (1979; Zbl 0499.13009)] over an infinite field \(F\), \(K\subset \{1,2,\dots,m\}\) and \(A_m^{(k)}=F[X_1,\dots,X_m,\{{\partial\over\partial X_k}\}_{k\in K}]\) the corresponding subalgebra of \(A_m\). The problem of solving a system of linear equations over the algebra of fractions \(Q_m^{(k)}=A_m(A_m^{(k)})^{-1}\) of the form \(\sum_{1\leq i\leq p}a_{ji}v_i=a_j\) (\(1\leq j\leq q\); the coefficients \(a_{ji}, a_j\in A_m\) and, according to the Bernstein filtration, \(\mathop{\text{deg\,}}(a_{ji}),\;\mathop{\text{deg}}(a_{j})\leq d\)) is considered. In case of solvability (which is tested in the paper) the author proves that the system has a solution with \[ \text{deg}(v_i)\leq \biggl(16m^4d^2\bigl(\min\{p,q\}\bigr)^2\biggr)^{4^{m-| k| }}. \] The results generalize the ones of \textit{D. Yu. Grigoriev} [Prog. Math. 94, 195--202 (1991; Zbl 0749.16015)] which were established only for the algebra \(Q_m^{(\emptyset)}=L_m\) of linear differential equations. The complexity bound on solving linear systems over algebras of fractions of the form above is then used to obtain a weak analogue of the Bézout inequality for differential modules, namely \[ l\leq n(4m^2d\min\{n,s\})^{4^{m-t-1}(2(m-t))}, \] where \(l\) is the leading coefficient of the Hilbert-Kolchin polynomial of the left \(L_m\)-module \(\langle\{w_{1j},\dots,w_{nj}\}_{1\leq j\leq s}\rangle\) generated by a family \(\{w_{ij}\}_{1\leq i\leq n,1\leq j\leq s}\subset L_m\) and having the differential type \(t\).