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

Galois cohomologySymbolic computationDifferential Galois theoryLinear algebraic groups

Mathematics Subject Classification ID

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

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.

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

• 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?)
• 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
• 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)

• A characterization of reduced forms of linear differential systems
• Effective differential Lüroth's theorem
• Absolute reducibility of differential operators and Galois groups
• 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)