“…As explained in [27], the suitable operation, which categorifies the specializations a = q N , involves taking homology in the triply-graded theory with respect to differentials d N , N ∈ Z. Indeed, the "extra terms" in the superpolynomial P R (a, q, t) that are not part of P sl(N ),R (q, t) and otherwise would cancel upon setting t = −1 always come in pairs, so that a more proper version of (3.8) reads where R sl(N ),R (a, q, t) and Q sl(N ),R (a, q, t) are polynomials with non-negative coefficients, such that the sl(N ) homological invariant is a specialization of the "remainder" (not the full superpolynomial as in (3.8)): 10) whereas the extra pairs of terms in (3.9) that come from Q sl(N ),R (a, q, t) are killed by the differential d N of (a, q, t)-degree (α, β, γ).…”