Involutive knot Floer homology and bordered modules

TL;DR

This paper establishes a deep connection between involutive knot Floer homology and bordered Heegaard Floer theory, providing explicit algebraic formulas and conditions for their equivalence and applications to satellite operations.

Contribution

It introduces a framework linking truncated involutive knot Floer homology with bordered Floer modules, including explicit formulas and algebraic operators.

Findings

Involutive knot Floer homology and bordered Floer modules determine each other up to local equivalence.

An explicit algebraic formula computes knot Floer homology from bordered Floer homology.

A new algebraic satellite operator on the local equivalence group is defined and computable.

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.