Irreducibility of q-difference operators and the knot 7_4

DOI10.2140/AGT.2013.13.3261MaRDI QIDQ373635zbMATH OpenOpenAlexFDO

Authors Stavros Garoufalidis, Christoph Koutschan

Publication date 18 October 2013

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

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

zbMATH Keywords

\(q\)-holonomic sequencecolored Jones polynomialdouble twist knotsnon-commutative A-polynomialthe AJ conjecture

Mathematics Subject Classification ID

Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Difference equations, scaling ((q)-differences) (39A13)

Abstract: Our goal is to compute the minimal-order recurrence of the colored Jones polynomial of the 7_4 knot, as well as for the first four double twist knots. As a corollary, we verify the AJ Conjecture for the simplest knot 7_4 with reducible non-abelian SL(2,C) character variety. To achieve our goal, we use symbolic summation techniques of Zeilberger's holonomic systems approach and an irreducibility criterion for q-difference operators. For the latter we use an improved version of the qHyper algorithm of Abramov-Paule-Petkovsek to show that a given q-difference operator has no linear right factors. En route, we introduce exterior power Adams operations on the ring of bivariate polynomials and on the corresponding affine curves.

Review text

The paper is motivated by the AJ conjecture. The colored Jones function is known to be \(q\)-holonomic [\textit{S. Garoufalidis} and \textit{T. T. Q. Lê}, Geom. Topol. 9, 1253--1293 (2005; Zbl 1078.57012)], roughly speaking this means that it satisfies a nontrivial difference recursion relation. The non-commutative A-polynomial is defined to be such recurrence for the colored Jones function, of minimal order. The AJ conjecture relates a specialization of the non-commutative A-polynomial of a knot with its A-polynomial.NEWLINENEWLINE The paper determines the non-commutative A-polynomial of the knot \(7_4\), and of several double twist knots. As a corollary this gives the AJ conjecture for the knot \(7_4\), the simplest knot with reducible non-abelian \(\mathrm{SL}(2, {\mathbb C})\) character variety. To find the non-commutative A-polynomial, the authors first use computer algebra algorithms to find a recurrence for the colored Jones function of \(7_4\). A substantial part of the proof is then aimed at showing that this recurrence in fact has minimal order. The proof of irreducibility of the \(q\)-difference operator relies, in particular, on the algorithm of [\textit{S. A. Abramov} et al., Discrete Math. 180, No. 1--3, 3--22 (1998; Zbl 0932.33019)].

Recommendations

• The non-commutative A-polynomial of twist knots
• Proof of a stronger version of the AJ conjecture for torus knots
• A diagrammatic approach to the AJ conjecture
• The \(C\)-polynomial of a knot
• The noncommutative A-polynomial of (-2,3,n) pretzel knots

Cites work

• \(q\)-hypergeometric solutions of \(q\)-difference equations
• A fast algorithm for proving terminating hypergeometric identities
• A fast approach to creative telescoping
• A holonomic systems approach to special functions identities
• A unified Witten-Reshetikhin-Turaev invariant for integral homology spheres
• Advanced applications of the holonomic systems approach. (Abstract of thesis)
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• An extension of Zeilberger's fast algorithm to general holonomic functions
• An introduction to pseudo-linear algebra
• Computing hypergeometric solutions of linear recurrence equations
• Factorization of differential operators with rational functions coefficients
• scientific article; zbMATH DE number 1254297 (Why is no real title available?)
• scientific article; zbMATH DE number 739282 (Why is no real title available?)
• scientific article; zbMATH DE number 1023404 (Why is no real title available?)
• scientific article; zbMATH DE number 1860838 (Why is no real title available?)
• scientific article; zbMATH DE number 843461 (Why is no real title available?)
• scientific article; zbMATH DE number 877622 (Why is no real title available?)
• scientific article; zbMATH DE number 2227024 (Why is no real title available?)
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• Lectures on Polytopes
• On the AJ conjecture for knots
• On the factorization of linear ordinary differential operators.
• On the relation between the A-polynomial and the Jones polynomial
• On the Vassiliev knot invariants
• Plane curves associated to character varieties of 3-manifolds
• Quantum invariants of knots and 3-manifolds
• Skein-theoretical derivation of some formulas of Habiro
• The \(C\)-polynomial of a knot
• The colored Jones function is \(q\)-holonomic
• The colored Jones polynomial and the A-polynomial of knots
• The degree of a \(q\)-holonomic sequence is a quadratic quasi-polynomial
• The Jones slopes of a knot
• The method of creative telescoping
• The non-commutative A-polynomial of twist knots
• The Yang-Baxter equation and invariants of links
• Theory of non-commutative polynomials
• Triangulations. Structures for algorithms and applications

Cited in

(20)

• Desingularization in the \(q\)-Weyl algebra
• The strong AJ conjecture for the figure 8 knot
• Volume conjecture and WKB asymptotics
• A diagrammatic approach to the AJ conjecture
• Recurrence relations and asymptotics of colored Jones polynomials
• Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications
• The AJ-conjecture and cabled knots over torus knots
• Large color \(R\)-matrix for knot complements and strange identities
• The colored Jones polynomial and Kontsevich-Zagier series for double twist knots
• The noncommutative A-polynomial of (-2,3,n) pretzel knots
• Creative telescoping for holonomic functions
• On the AJ conjecture for cables of twist knots
• A-polynomials of fillings of the Whitehead sister
• Peacock patterns and resurgence in complex Chern-Simons theory
• Algebraic aspects of holomorphic quantum modular forms
• Knots, perturbative series and quantum modularity
• Weak quasiclassical asymptotics of polynomial solutions of three-term recurrence relations of high order
• The \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequences
• D-finiteness: a success story
• Hyperbolic volume of 3-d manifolds, A-polynomials, numerical testing of hypotheses

Describes a project that uses

Uses Software

• HolonomicFunctions
• SF
• Knot Atlas
• qZeil

This page was built for publication: Irreducibility of \(q\)-difference operators and the knot \(7_{4}\)

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