Desingularization in the q-Weyl algebra

DOI10.1016/J.AAM.2018.02.005zbMATH Open1418.16032arXiv1801.04160OpenAlexW2784142215MaRDI QIDQ1745779FDOQ1745779

Authors: Christoph Koutschan, Yi Zhang 

Publication date: 18 April 2018

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

Abstract: In this paper, we study the desingularization problem in the first $q$-Weyl algebra. We give an order bound for desingularized operators, and thus derive an algorithm for computing desingularized operators in the first $q$-Weyl algebra. Moreover, an algorithm is presented for computing a generating set of the first $q$-Weyl closure of a given $q$-difference operator. As an application, we certify that several instances of the colored Jones polynomial are Laurent polynomial sequences by computing the corresponding desingularized operator.

Full work available at URL: https://arxiv.org/abs/1801.04160

Recommendations

• Desingularization of Ore operators
• Desingularization explains order-degree curves for Ore operators
• Elimination in Weyl algebra and \(q\)-identities
• Factorization of \((q, h)\)-difference operators -- an algebraic approach
• Weyl closure of a linear differential operator

zbMATH Keywords

\(q\)-Weyl algebraLaurent polynomial sequences

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational aspects of associative rings (general theory) (16Z05)

Cites Work

• \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities
• Differentiably finite power series
• The colored Jones function is \(q\)-holonomic
• The non-commutative \(A\)-polynomial of twist knots
• Non-commutative elimination in Ore algebras proves multivariate identities
• \(q\)-hypergeometric solutions of \(q\)-difference equations
• Irreducibility of \(q\)-difference operators and the knot \(7_{4}\)
• Twisting \(q\)-holonomic sequences by complex roots of unity
• Formal algorithmic elimination for PDEs
• Apparent singularities of linear difference equations with polynomial coefficients
• Removing apparent singularities of systems of linear differential equations with rational function coefficients
• Title not available (Why is that?)
• Desingularization explains order-degree curves for Ore operators
• Desingularization of Ore operators
• Contraction of Ore ideals with applications
• The noncommutative \(A\)-polynomial of \((-2,3,n)\) pretzel knots

Cited In (5)

• Removing apparent singularities of linear difference systems
• Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications
• Desingularization of Ore operators
• Computing differential Galois groups of second-order linear \(q\)-difference equations
• Desingularization explains order-degree curves for Ore operators

Uses Software

• qMultiSum
• HolonomicFunctions

This page was built for publication: Desingularization in the \(q\)-Weyl algebra

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