Effective descent for differential operators (Q984999): Difference between revisions

Let \(F\) be a differential field of characteristic 0 with differentiation \(\partial \), \(L\) be an linear differential operator irreducible over \(F\)and reducible over \(\bar{F}\). For a suitable differential fields (for example, \(F=\mathbb{C}(z),\partial =\frac{d}{dz}\)) decomposition \(L=M{{\otimes }_{F}}N\), where \(M,N\in F[\partial ],M\) is irreducible over \(\bar{F},N\) is irreducible over \(F\) and \(N\) has a finite differential Galois group, take place. How to find \(M\) and \(N\) knowing \(L\)? The authors investigate the problem in the paper. They offer new, more effective algorithm of finding of \(M\) and \(N\) developing attained earlier in this direction results [see \textit{E. Compoint, J.-A. Weil}, J. Algebra 275, No. 1, 77--105 (2004; Zbl 1084.12003)].