The ADO Invariants are a q-Holonomic Family Jennifer Browna , Tudor Dimoftea , Stavros Garoufalidisb;c , and Nathan Geerd aDepartment of Mathematics and QMAP, UC Davis, 1 Shields Ave, Davis, CA 95616, USA bMax Planck Institute for Mathematics, Vivatsgasse 7, 53111 Bonn, Germany cInternational Center for Mathematics, Dept. of Math., Southern Univ. of Science and Technology, Shenzhen, China dDepartment of Mathematics & Statistics, Utah State University, Logan, Utah 84322, USA
[email protected] [email protected] [email protected] [email protected] May 17, 2020 Abstract We investigate the q-holonomic properties of a class of link invariants based on quantum group representations with vanishing quantum dimensions, motivated by the search for the invariants' realization in physics. Some of the best known invariants of this type, constructed from `typical' representations of the unrolled quantum group U H (sl ) at a 2 -th root of unity, ζ2r 2 r were introduced by Akutsu-Deguchi-Ohtsuki (ADO). We prove that the ADO invariants for r ≥ 2 are a q-holonomic family, implying in particular that they satisfy recursion relations that are independent of r. In the case of a knot, we prove that the q-holonomic recursion ideal of the ADO invariants is contained in the recursion ideal of the colored Jones polynomials, the subject of the celebrated AJ Conjecture. (Combined with a recent result of S. Willetts, this establishes an isomorphism of the ADO and Jones recursion ideals. Our results also confirm a recent physically-motivated conjecture of Gukov-Hsin-Nakajima-Park-Pei.) Contents 1 Introduction 2 1.1 Roots of unity, q-holonomic families, and Hamiltonian reduction.........4 1.2 Example: figure-eight knot..............................6 1.3 Acknowledgements...................................7 2 Background 7 2.1 An extension of the Drinfel'd-Jimbo algebra.....................7 H 2.1.1 Representations of U ζ2r ............................8 2.1.2 The ribbon structure on C ..........................