Holonomicity from a Heegaard-Floer Perspective

We construct $S^r$-colored knot Floer homologies and prove that they satisfy categorified recurrence relations. The associated Euler characteristic implies $q$-holonomicity of the corresponding sequence of colored Alexander polynomials, in analogy with the AJ conjecture for colored Jones polynomials.