Involutive knot Floer homology and bordered modules (2202.12500v2)

Abstract: We prove that, up to local equivalences, a suitable truncation of the involutive knot Floer homology of a knot in $S^3$ and the involutive bordered Heegaard Floer theory of its complement determine each other. In particular, given two knots $K_1$ and $K_2$, we prove that the $\mathbb{F}_2[U,V]/(UV)$-coefficient involutive knot Floer homology of $K_1 \sharp -K_2$ is $\iota_K$-locally trivial if $\widehat{CFD}(S^3 \backslash K_1)$ and $\widehat{CFD}(S^2 \backslash K_2)$ satisfy a certain condition which can be seen as the bordered counterpart of $\iota_K$-local equivalence. We further establish an explicit algebraic formula that computes the hat-flavored truncation of the involutive knot Floer homology of a knot from the involutive bordered Floer homology of its complement. It follows that there exists an algebraic satellite operator defined on the local equivalence group of knot Floer chain complexes, which can be computed explicitly up to a suitable truncation.