The q-holonomicity conjecture for quantum invariants of contragredient Lie superalgebras

Let $\mathfrak{g}$ be a simple, finite-dimensional, basic contragredient Lie superalgebra whose even subalgebra is reductive. Let $U_hmathfrak{g}$ be its quantized universal enveloping algebra, and let $\operatorname{Rep}_h^{tf}\mathfrak{g}$ be the category of topologically free finite-rank $U_hmathfrak{g}$-modules. Let $S_\Lambda$ be the set of representations whose underlying $\mathfrak{g}$-representation is typical. For a knot $K$, let $L_K:\Lambda\tomathbb{C}[[h]]$ be the quantum knot invariant built from $S_\Lambda$ using the ribbon structure and the modified dimension associated to any tensor ideal containing $S_\Lambda$. The q-holonomicity conjecture. For every knot $K$, the invariant $L_K$ is q-holonomic. The conjecture extends the paper's result for $U_hmathfrak{sl}(2|1)$ to the stated class of basic contragredient Lie superalgebras, using typical representations and any tensor ideal containing them; the source does not state a resolution.