Desingularization Explains Order-Degree Curves for Ore Operators

Abstract

Desingularization is the problem of finding a left multiple of a given Ore operator in which some factor of the leading coefficient of the original operator is removed. An order-degree curve for a given Ore operator is a curve in the $(r,d)$-plane such that for all points $(r,d)$ above this curve, there exists a left multiple of order $r$ and degree $d$ of the given operator. We give a new proof of a desingularization result by Abramov and van Hoeij for the shift case, and show how desingularization implies order-degree curves which are extremely accurate in examples.

Cited by in corpus (8)

• Ore Polynomials in Sage
• Desingularization in the $q$-Weyl algebra
• Formulas for Continued Fractions. An Automated Guess and Prove Approach
• Desingularization of Ore Operators
• Some Open Problems related to Creative Telescoping
• Bounds for Substituting Algebraic Functions into D-finite Functions
• Contraction of Ore Ideals with Applications
• Bounds for D-finite closure properties