Effective descent for differential operators

DOI10.1016/J.JALGEBRA.2010.02.040MaRDI QIDQ984999zbMATH OpenOpenAlexFDO

Authors Elie Compoint, M. van der Put, Jacques-Arthur Weil

Publication date 20 July 2010

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1001.0153, https://pure.rug.nl/ws/files/2558783/2010JAlgebraCompoint.pdf

zbMATH Keywords

Differential Galois theoryGalois cohomologyLinear algebraic groupsSymbolic computation

Mathematics Subject Classification ID

Differential algebra (12H05) Algebraic aspects (differential-algebraic, hypertranscendence, group-theoretical) of ordinary differential equations in the complex domain (34M15) Symbolic computation and algebraic computation (68W30)

Abstract: A theorem of N. Katz cite{Ka} p.45, states that an irreducible differential operator $L$ over a suitable differential field $k$, which has an isotypical decomposition over the algebraic closure of $k$, is a tensor product $L=Motime{s}_{k}N$ of an absolutely irreducible operator $M$ over $k$ and an irreducible operator $N$ over $k$ having a finite differential Galois group. Using the existence of the tensor decomposition $L=MotimesN$, an algorithm is given in cite{C-W}, which computes an absolutely irreducible factor $F$ of $L$ over a finite extension of $k$. Here, an algorithmic approach to finding $M$ and $N$ is given, based on the knowledge of $F$. This involves a subtle descent problem for differential operators which can be solved for explicit differential fields $k$ which are $C_1$-fields.

Review text

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)].

Recommendations

• scientific article; zbMATH DE number 1555430
• On the factorization of linear ordinary differential operators.
• scientific article; zbMATH DE number 4142854
• Absolute reducibility of differential operators and Galois groups
• An algorithm for nonparametric decomposition of differential polynomials

Cites work

• Absolute reducibility of differential operators and Galois groups
• An algorithm for solving second order linear homogeneous differential equations
• Central simple algebras and Galois cohomology
• Cohomologie Galoisienne. Cours au College de France, 1962-1963. 4e ed
• Computing the structure of finite algebras
• Descent for differential modules and skew fields
• Differential equations and finite groups
• Exponential Sums and Differential Equations. (AM-124)
• Factorization of differential operators with rational functions coefficients
• scientific article; zbMATH DE number 3939563 (Why is no real title available?)
• scientific article; zbMATH DE number 1254296 (Why is no real title available?)
• scientific article; zbMATH DE number 1860838 (Why is no real title available?)
• Linear differential equations and products of linear forms
• Liouvillian solutions of linear differential equations of order three and higher
• Solving linear differential equations
• Solving third order linear differential equations in terms of second order equations

Cited in

(4)

• Absolute reducibility of differential operators and Galois groups
• A characterization of reduced forms of linear differential systems
• Effective differential Lüroth's theorem
• scientific article; zbMATH DE number 1971806 (Why is no real title available?)

This page was built for publication: Effective descent for differential operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q984999)