2. Cobordism obstruction

In this section, we introduce a cobordism obstruction for manifold-knot pairs and prove Theorem 1.2 by applying the obstruction to the pairs $(Y_n, K_n)$ , calling upon the computational results in the later part of the paper. In addition, we compute the values of the concordance homomorphisms $\varphi _{i,j}$ of [Reference Dai, Hom, Stoffregen and Truong2] on the family $(Y_n, K_n)$ , which may be of independent interest.

We start with some preliminaries on knot Floer homology. Knot Floer homology was defined by Ozsváth-Szabó [Reference Ozsváth and Szabó7] and Rasmussen [Reference Rasmussen10]. We associate, following the conventions of Zemke [Reference Zemke13], to a manifold-knot pair $(Y,K)$ a chain complex $ \operatorname {CFK}_{\mathbb {F}[\mathcal {U},{\mathcal {V}}]}(Y,K) = \operatorname {CFK}(Y,K) $ over the polynomial ring $\mathbb {F}[\mathcal {U},{\mathcal {V}}],$ where $\mathbb {F} = \mathbb {Z}/2\mathbb {Z}$ , called the knot Floer complex. This chain complex is a free module generated by intersecting points of two Lagrangians in a symmetric product of a Heegaard surface, equipped with differentials by counting holomorphic disks, weighted over the intersection numbers with the two basepoints. The topological invariance of $\operatorname {CFK}(Y,K)$ up to chain homotopy equivalence over $\mathbb {F}[\mathcal {U},{\mathcal {V}}]$ is due to Ozsváth-Szabó and Rasmussen.

The knot Floer complex $\operatorname {CFK}(Y,K)$ comes with a bigrading, namely $(\operatorname {\mathrm {gr}}_{\mathcal {U}}, \operatorname {\mathrm {gr}}_{{\mathcal {V}}})$ , where $\mathcal {U}, {\mathcal {V}}$ , and $\partial $ each have bigrading $(-2,0), (0,-2)$ and $(-1,-1)$ , respectively. The Alexander grading of a homogeneous element $x\in \operatorname {CFK}(Y,K) $ is defined by $A(x)=\frac {1}{2}(\operatorname {\mathrm {gr}}_{\mathcal {U}}(x) - \operatorname {\mathrm {gr}}_{{\mathcal {V}}}(x))$ .

A chain map between two complexes is called a local map if it induces an isomorphism on the $(\mathcal {U},{\mathcal {V}})$ -localized homology. Following from a special case of [Reference Zemke13, Theorem 1.4], the next theorem provides the main technical input for the obstruction.

Theorem 2.1 (Theorem 1.4 in [Reference Zemke13])

Suppose that $(W,S) \colon \thinspace (Y_1,K_1) \rightarrow (Y_2, K_2)$ is a cobordism between the manifold-knot pairs $(Y_1,K_1)$ and $(Y_2, K_2)$ , such that W is a homology cobordism and S is of genus $g.$ Then, for any given $(c_1,c_2)\in (2\mathbb {Z})^2$ , such that $c_1+c_2=-2g$ and $c_1, c_2 \leq 0$ , there exists a local map

$$ \begin{align*} f_{W, S} \colon \operatorname{CFK}(Y_1,K_1) \to \operatorname{CFK}(Y_2, K_2) \end{align*} $$

with bigrading $(c_1,c_2)$ .

In particular, when $g(S)=0$ , namely, when $(Y_1,K_1)$ and $(Y_2, K_2)$ are homology concordant, then the cobordism map $f_{W, S}$ is a local map that preserves the bigrading.

Definition 2.2. Two bigraded chain complexes $C_1$ and $C_2$ over $\mathbb {F}[\mathcal {U},{\mathcal {V}}]$ are locally equivalent if there exist bigrading-preserving local maps

$$ \begin{align*} f \colon C_1 \rightarrow C_2 \hspace{2em} \text{and} \hspace{2em} g \colon C_2 \rightarrow C_1. \end{align*} $$

It is straightforward to verify that local equivalence is an equivalence relation. By turning the cobordism around, we thus obtain that homology concordance induces local equivalence of the knot Floer complexes. Since the cobordism distance is invariant over the homology concordance class, we study the local equivalence class of the knot Floer complexes of the interested manifold-knot pairs.

Due to computational reasons, it is somewhat easier to first consider

$$ \begin{align*}-(Y_n,K_n) = -\big(S^3_{-1}(T_{2n,2n+1}) \# -S^3_{-1}(T_{2n,2n+1}), \mu_{2n-1,-1} \# U \big),\end{align*} $$

that is, the orientation reversal of the manifold-knot pairs that appear in the Section 1. Observe that $-(S^3_{-1}(T_{2n,2n+1}), \mu _{2n-1,-1})$ is equivalent to $(S^3_{1}(-T_{2n,2n+1}), \mu _{2n-1,1})$ . According to Lemma 4.3, over the ring $\mathbb {F}[U,U^{-1}],$ the complex $X^\infty _{2n-1} (-T_{2n,2n+1}) \langle 2n-1 \rangle $ represents the local equivalence class of $\operatorname {CFK}^\infty (S^3_{1}(-T_{2n,2n+1}), \mu _{2n-1,1})$ for all $n\geq 3$ (see the beginning of Section 3 for more about the knot Floer complex $\operatorname {CFK}^\infty (Y,K)$ defined over the ring $\mathbb {F}[U,U^{-1}]$ ).

Recall that the knot Floer complex enjoys a Künneth principle by [Reference Ozsváth and Szabó7, Theorem 7.1]. Since $-(Y_n,K_n) = \big (S^3_{1}(-T_{2n,2n+1}),\mu _{2n-1,1}\big ) \# \big (S^3_{-1}(T_{2n,2n+1}), U \big ) $ , the knot Floer complex of the pair $-(Y_n,K_n)$ is locally equivalent to $\operatorname {CFK}^\infty (S^3_{1}(-T_{2n,2n+1}), \mu _{2n-1,1})$ tensored with a trivial complex, with the Maslov grading adjusted such that the tensored complex has d–invariant equal to $0.$ Translate this into the ring $\mathbb {F}[\mathcal {U},{\mathcal {V}}]$ ; for $n\geq 1,$ let $C_n$ denote the complex corresponding to $X^\infty _{2n-1} (-T_{2n,2n+1}) \langle 2n-1 \rangle $ , with a $(d(S^3_{-1}(T_{2n,2n+1})),d(S^3_{-1}(T_{2n,2n+1})))$ bigrading shift. Then $C_n$ represents the local equivalence class of the complex $\operatorname {CFK}_{\mathbb {F}[\mathcal {U},{\mathcal {V}}]}(-(Y_n,K_n)) $ (see Figure 3 for an example when $n=3).$

Figure 1

The complex $C_3^*$ , defined to be the dual complex of $C_3$ . The axes indicate the $\mathcal {U}$ and ${\mathcal {V}}$ actions. The solid dots are generators, marked abstractly, missing actual $\mathcal {U},{\mathcal {V}}$ decorations, and the edges represent the differentials.

Proposition 2.3. For $n\geq 3,$ the complex $C_n$ is characterized by

(1) $$ \begin{align} \partial \alpha_s &= \begin{cases} \mathcal{U}^{\frac{n(n-1)}{2}} {\mathcal{V}}^{\frac{n(n-1)}{2}}b^{(1)}_{n-1}, \qquad &s=1 \\ \mathcal{U}^{\frac{n(n+1)}{2} -s + 1 } {\mathcal{V}}^{\frac{n(n+1)}{2}} b_{n}^{(s-1)} + \mathcal{U}^{\frac{n(n-1)}{2}} {\mathcal{V}}^{\frac{n(n-1)}{2}}b^{(s)}_{n-1}, & 2\leq s \leq n-2\\ \mathcal{U}^{\frac{n(n-1)}{2} + n -s + 1 } {\mathcal{V}}^{\frac{n(n+1)}{2}} b_{n}^{(s-1)} + \mathcal{U}^{\frac{n(n+1)}{2}} {\mathcal{V}}^{\frac{n(n-1)}{2} - n + s + 1 } b_{n}^{(s)} & n-1\leq s \leq n+1\\ \mathcal{U}^{\frac{n(n-1)}{2}} {\mathcal{V}}^{\frac{n(n-1)}{2}}b^{(s-1)}_{n+1} + \mathcal{U}^{\frac{n(n+1)}{2}}{\mathcal{V}}^{\frac{n(n-1)}{2} -n + s + 1 } b_{n}^{(s)}, & n+2\leq s \leq 2n-2\\ \mathcal{U}^{\frac{n(n-1)}{2}} {\mathcal{V}}^{\frac{n(n-1)}{2}}b^{(2n-2)}_{n+1}, \qquad &s = 2n-1 \end{cases} \end{align} $$

(2) $$ \begin{align} \partial \widetilde{\alpha}_s &= \begin{cases} \mathcal{U}^n b_{n}^{(s)} + {\mathcal{V}}^{n-s-1} b_{n-1}^{(s)}, &\hspace{5em} 1\leq s \leq n-2\\ \mathcal{U}^{s-n} b_{n+1}^{(s)} + {\mathcal{V}}^{n} b_{n}^{(s)}, &\hspace{5em} n+1\leq s \leq 2n-2. \end{cases} \end{align} $$

This allows us to compute the values of the family of concordance homomorphisms $\varphi _{i,j}$ defined in [Reference Dai, Hom, Stoffregen and Truong2, Definition 8.1], as follows.

Proposition 2.4. For each $n\geq 3,$ we have

(3) $$ \begin{align} \varphi_{i,0}(C_n) &= \begin{cases} -1, \hspace{3em} &1\leq i \leq n-2\\ -n+2, &i=n. \end{cases} \end{align} $$

(4) $$ \begin{align} \varphi_{\frac{n(n-1)}{2},\frac{n(n-1)}{2}}(C_n) &= -n+2, \end{align} $$

(5) $$ \begin{align} \varphi_{\frac{n(n+1)}{2},j} (C_n) &= -1, \hspace{3em} \frac{n(n-1)}{2} \leq j \leq \frac{n(n+1)}{2} -1, \end{align} $$

and $\varphi _{i,j}(C_n)=0$ for all other i and $j.$

Proof. The complexes over $\mathbb {F}[\mathcal {U},{\mathcal {V}}]$ can be translated to complexes over the ring $\mathbb {X}$ defined in [Reference Dai, Hom, Stoffregen and Truong2] using the maps

Due to its simple form, it is not hard to formulate a change of a basis under which $C_n$ becomes a standard complex (see [Reference Dai, Hom, Stoffregen and Truong2, Section 5.1]). In particular, the invariants $a_i$ of $C_n$ with i odd (see [Reference Dai, Hom, Stoffregen and Truong2, Definition 6.1]) are given by the sequence

$$ \begin{align*} \Bigg( \underbrace{-\Big(\frac{n(n-1)}{2},\frac{n(n-1)}{2}\Big), -(n,0), } _{\text{repeats } n-2 \text{ times}} \cdots, -\Big(\frac{n(n+1)}{2}, \frac{n(n-1)}{2} \Big), -\Big(\frac{n(n+1)}{2}, \frac{n(n-1)}{2}+1 \Big),\\ \underbrace{-\Big(\frac{n(n+1)}{2}, \frac{n(n-1)}{2} +2 \Big), -(1,0), \cdots, -\Big(\frac{n(n+1)}{2}, \frac{n(n-1)}{2} +s+1 \Big), -(s,0)}_{\text{for } 1\leq s\leq n-2 }, \cdots \Bigg). \end{align*} $$

The computations for the values of $\varphi _{i,j}(C_n)$ immediately follow.

Similarly, for the case $n=2$ , Lemma 4.5 yields the following.

Lemma 2.5. We have

$$ \begin{align*} \varphi_{3,1}(C_2) = \varphi_{3,2}(C_2) = -1, \end{align*} $$

and $\varphi _{i,j}(C_2)=0$ for all other i and $j.$

As a consequence, we can compute the $\tau $ invariant of the manifold-knot pair $(Y_n, K_n)$ .

Proposition 2.6. For all $n\geq 1,$

$$ \begin{align*} \tau(Y_n, K_n) = 2n^2 - 3n +1. \end{align*} $$

Proof. The $\tau $ invariant can be computed from $\varphi _{i,j}$ by [Reference Dai, Hom, Stoffregen and Truong2, Proposition 1.4]. For $n\geq 3,$

$$ \begin{align*} \tau(C_n) &= n(-n+2) - \sum^{n-2}_{i=1} i - \sum^{n}_{i=1} i \\ &=- 2n^2 + 3n -1. \end{align*} $$

When $n=2,$

$$ \begin{align*} \tau(C_2) = -1 -2 = -3. \end{align*} $$

The complex $C_1$ is locally trivial, so $\tau (C_1)=0$ . The result now follows from the fact that $\tau $ is additive in the concordance group.

According to [Reference Ozsváth and Szabó7, Proposition 3.8], the knot Floer complex of the mirror knot is the dual complex to the original knot. Therefore, the local equivalence class of $\operatorname {CFK}(Y_n,K_n)$ is given by the dual complex of $C_n$ ; denote it by $C^*_n.$ Denote by $\alpha _s^*$ and $\widetilde {\alpha }_s^*$ the dual of $\alpha _s,\widetilde {\alpha }_s$ , respectively, and similarly denote by $b^{*,(s)}_i$ the dual of $b^{(s)}_i$ .

Proposition 2.7. For $n\geq 3,$ the complex $C^*_n$ is characterized by the following

(6) $$ \begin{align} \partial b^{*,(s)}_{n-1} &=\mathcal{U}^{\frac{n(n-1)}{2}}{\mathcal{V}}^{\frac{n(n-1)}{2}}\alpha^*_s + {\mathcal{V}}^{n-s-1} \widetilde{\alpha}^*_s, \qquad 1\leq s \leq n-2 \end{align} $$

(7) $$ \begin{align} \partial b^{*,(s)}_{n} &= \begin{cases} \mathcal{U}^{\frac{n(n+1)}{2}-s} {\mathcal{V}}^{\frac{n(n+1)}{2}} \alpha^*_{s+1} + \mathcal{U}^n \widetilde{\alpha}^*_s, \qquad &1\leq s \leq n-2\\ \mathcal{U}^{\frac{n(n+1)}{2}}{\mathcal{V}}^{\frac{n(n-1)}{2}-n+s+1} \alpha_s^* + \mathcal{U}^{\frac{n(n+1)}{2}-s} {\mathcal{V}}^{\frac{n(n+1)}{2}} \alpha_{s+1}^*, &n-1 \leq s \leq n\\ \mathcal{U}^{\frac{n(n+1)}{2}}{\mathcal{V}}^{\frac{n(n-1)}{2}-n+s+1} \alpha_s^* + {\mathcal{V}}^n \widetilde{\alpha}_s^*, &n+1 \leq s \leq 2n-2 \end{cases} \end{align} $$

(8) $$ \begin{align} \partial b^{*,(s)}_{n+1} &=\mathcal{U}^{\frac{n(n-1)}{2}}{\mathcal{V}}^{\frac{n(n-1)}{2}}\alpha^*_{s+1} + \mathcal{U}^{s-n} \widetilde{\alpha}^*_s, \qquad n+1\leq s \leq 2n-2. \end{align} $$

We record a few salient features of the complex $C^*_n$ for $n\geq 3$ from Proposition 2.7:

Lemma 2.8. We have the inequalities

$$ \begin{align*} \operatorname{\mathrm{gr}}_{\mathcal{V}} \alpha_s^*,\operatorname{\mathrm{gr}}_{\mathcal{V}} \widetilde{\alpha}_s^* \leq \operatorname{\mathrm{gr}}_{\mathcal{V}} \alpha_n^*-2n, \quad \mathrm{for}\ s\leq n-1.\end{align*} $$

Similarly,

$$ \begin{align*}\operatorname{\mathrm{gr}}_{\mathcal{U}} \alpha_s^*,\operatorname{\mathrm{gr}}_{\mathcal{U}} \widetilde{\alpha}_s^* \leq \operatorname{\mathrm{gr}}_{\mathcal{U}} \alpha_n^* -2n, \quad \mathrm{for}\ s\geq n+1.\end{align*} $$

Proof. We have

$$ \begin{align*}\operatorname{\mathrm{gr}}_{\mathcal{V}} \alpha_{n-1}^*=\operatorname{\mathrm{gr}}_{\mathcal{V}} \alpha_n^* -2n.\end{align*} $$

Note also the equalities:

(9) $$ \begin{align} \operatorname{\mathrm{gr}}_{\mathcal{V}} \widetilde{\alpha}_s^*&=\operatorname{\mathrm{gr}}_{\mathcal{V}} \alpha_{s+1}^* -n(n+1) \hspace{9.7em} \mbox{ for } 1\leq s \leq n-2 \end{align} $$

(10) $$ \begin{align} \operatorname{\mathrm{gr}}_{\mathcal{V}} \widetilde{\alpha}_s^* &=\operatorname{\mathrm{gr}}_{\mathcal{V}} \alpha_{s}^* -n(n-1) + 2(n-s-1) \qquad \qquad \mbox{ for } 1\leq s \leq n-2. \end{align} $$

In particular,

$$ \begin{align*} \operatorname{\mathrm{gr}}_{\mathcal{V}} \alpha_{s}^* \leq \operatorname{\mathrm{gr}}_{\mathcal{V}} \alpha_{s+1}^* -2n-2 \end{align*} $$

for $1\leq s\leq n-2.$

From here, the claim of the lemma follows for $\alpha _s^*$ for all $1\leq s \leq n-1$ . The statement for $\widetilde {\alpha }_s^*$ follows from (9).

The case of $\operatorname {\mathrm {gr}}_{\mathcal {U}}$ follows similarly, where we use

$$ \begin{align*} \operatorname{\mathrm{gr}}_{\mathcal{U}} \alpha_{n+1}^*=\operatorname{\mathrm{gr}}_{\mathcal{U}} \alpha_{n}^* -2n, \end{align*} $$

and also calculate:

(11) $$ \begin{align} \operatorname{\mathrm{gr}}_{\mathcal{U}} \widetilde{\alpha}_s^*&=\operatorname{\mathrm{gr}}_{\mathcal{U}} \alpha_{s}^*-n(n+1) \hspace{9.7em} \mbox{ for } n+1\leq s \leq 2n-2 \end{align} $$

(12) $$ \begin{align} \operatorname{\mathrm{gr}}_{\mathcal{U}} \widetilde{\alpha}_s^*&=\operatorname{\mathrm{gr}}_{\mathcal{U}} \alpha_{s+1}^*-n(n-1) + 2(s-n) \qquad \qquad \mbox{ for } n+1\leq s \leq 2n-2. \end{align} $$

In particular,

$$ \begin{align*} \operatorname{\mathrm{gr}}_{\mathcal{U}} \alpha_{s+1}^* \leq \operatorname{\mathrm{gr}}_{\mathcal{U}} \alpha_{s}^* -2n-2 \end{align*} $$

for $n+1\leq s\leq 2n-2.$ From here, the claim of the lemma follows for $\alpha _s^*$ for all $n+1\leq s \leq 2n-1$ . The statement for $\widetilde {\alpha }_s^*$ follows from (11).

We say that a chain complex D over $\mathbb {F}[\mathcal {U}, {\mathcal {V}}]$ is $S^3$ -knotlike if $H_*(D\otimes \mathbb {F}[\mathcal {U}, {\mathcal {V}}=1]) = \mathbb {F}[\mathcal {U}]$ . Recall that for a knot $K \subset Y,$ by setting ${\mathcal {V}} =1 $ in $\operatorname {CFK}(Y,K)$ and taking the homology, one recovers the Heegaard Floer homology $\operatorname {HF}^-(Y)$ . In particular, if D is the knot Floer complex of a knot in $S^3$ , then D is $S^3$ -knotlike.

Proof. We have, by considering $b^{*,(n-1)}_n$ , that

$$ \begin{align*} \mathcal{U}^{n(n-1)/2+1}{\mathcal{V}}^{n(n+1)/2} \alpha_n^* +\mathcal{U}^{n(n+1)/2}{\mathcal{V}}^{n(n-1)/2} \alpha_{n-1}^* \end{align*} $$

is a boundary. Setting ${\mathcal {V}}=1$ ,

$$ \begin{align*} \mathcal{U}^{n(n-1)/2+1}(f( \alpha_n^*)+\mathcal{U}^{n(n+1)/2-n(n-1)/2-1}f( \alpha_{n-1}^*)) \mbox{ is a boundary in } C_n/({\mathcal{V}}=1). \end{align*} $$

Since any cycle in an $S^3$ -knotlike complex that is $\mathcal {U}$ -torsion in $({\mathcal {V}}=1)$ homology is actually zero in homology, we have that

$$ \begin{align*} f(\alpha_n^*)+\mathcal{U}^{n-1}f(\alpha_{n-1}^*) \end{align*} $$

is a boundary in $D/({\mathcal {V}}=1).$ So $f(\alpha _n^*)$ is a boundary in $D/({\mathcal {V}}=1,\mathcal {U}^{n-1}=0)$ . Since g is a chain map, the same holds for $gf(\alpha _n^*)$ .

Proof. Suppose such a g exists. Since f and g are local and $\alpha ^*_n$ generates the $(\mathcal {U}, {\mathcal {V}})$ -localized homology, it follows that $gf(\alpha _n^*) \neq 0$ . Hence, by Lemma 2.9, we obtain that

$$ \begin{align*} gf(\alpha_n^*)=\mathcal{U}^{-c_1/2}{\mathcal{V}}^{-c_2/2}\alpha_n^*. \end{align*} $$

By Lemma 2.11, $gf(\alpha _n^*)$ is a boundary mod $\mathcal {U}^{n-1}=0,{\mathcal {V}}=1$ , and so by Lemma 2.10, we have $n-1\leq -c_1/2$ . That is, $-2n + 2 \geq c_1>-2n+2$ , a contradiction.

3. Preliminaries on the filtered mapping cone formula

We start by reviewing the original definition of the knot Floer complex over the ring $\mathbb {F}[U,U^{-1}]$ by Ozsváth and Szabó, as this is the setting where the filtered mapping cone formula can be most conveniently defined.

In the original definition, the knot Floer complex is freely generated by the intersecting points of the two Lagrangians over the ring $\mathbb {F}[U,U^{-1}]$ , where the differentials similarly count the holomorphic disks but are weighted over the intersection number with only one of the basepoints. The datum of the other basepoint is encoded in the Alexander grading. This version of the knot Floer complex is denoted by $\operatorname {CFK}^\infty (Y,K)$ , and commonly depicted in an $(i,j)$ –plane, where the j–coordinate is given by the Alexander grading, and the i–coordinate is the normalized filtration level naturally induced by the U–action. We will often think of $\operatorname {CFK}^\infty (Y,K)$ as a chain complex with an extra filtration given by the Alexander grading. By collapsing the Alexander filtration, one recovers a chain complex associated to the underlying three-manifold, $\operatorname {CF}^\infty (Y)$ .

There is a Maslov grading on $\operatorname {CFK}^\infty (Y,K)$ , corresponding to $\operatorname {\mathrm {gr}}_{\mathcal {U}}$ ; multiplication by U on $\operatorname {CFK}^\infty (Y,K)$ is equivalent to multiplication by $\mathcal {U}{\mathcal {V}}$ on $\operatorname {CFK}_{\mathbb {F}[\mathcal {U},{\mathcal {V}}]}(Y,K)$ . Although the setting is slightly different, $\operatorname {CFK}^\infty (Y,K)$ contains the same information as $\operatorname {CFK}_{\mathbb {F}[\mathcal {U},{\mathcal {V}}]}(Y,K)$ does. In the setting of $\operatorname {CFK}^\infty (Y,K)$ , the local equivalence reads as follows.

Definition 3.1. Two filtered chain complex $C_1$ and $C_2$ over $\mathbb {F}[U,U^{-1}]$ are locally equivalent if there exist Maslov grading-preserving filtered local maps

$$ \begin{align*} f \colon C_1 \rightarrow C_2 \hspace{2em} \text{and} \hspace{2em} g \colon C_2 \rightarrow C_1. \end{align*} $$

For the rest of the paper, we will always use the knot Floer complex $\operatorname {CFK}^\infty (Y,K)$ . Next, we recall the filtered mapping cone formula from [Reference Zhou14] for the reader; this is our main computational tool.

Let $K\subset S^3$ be a knot with genus equal to $g.$ For a given positive integer p, let $\mu _{p,1}$ denote the $(p,1)$ -cable of the meridian of K in the $+1$ -surgery on $K.$ According to [Reference Zhou14, Theorem 1.9], the knot Floer complex $\operatorname {CFK}^\infty (S^3_{1}(K),\mu _{p,1})$ is a filtered chain homotopy equivalent to the doubly filtered chain complex $X^\infty _p(K)$ , defined to be the mapping cone of

(13) $$ \begin{align} \bigoplus^{g+p-1}_{s=-g+1}A_s \xrightarrow{v_s+h_s} \bigoplus^{g+p-1}_{s=-g+2}B_s, \end{align} $$

where each $A_s$ and $B_s$ are isomorphic to $\operatorname {CFK}^\infty (S^3,K)$ , coming with the $(i,j)$ coordinate. The map $v_s\colon \thinspace A_s \to B_s $ is the identity, and the map $h_s\colon \thinspace A_s \to B_{s+1} $ is the reflection along $i=j$ precomposed with $U^s$ . Note that there are corresponding versions of the filtered mapping cone formula for the hat, minus, and infinity flavors of knot Floer homology. In the following computation, we will consistently use the infinity version of the $A_s$ and $B_s$ complexes and $v_s$ and $h_s$ maps, so we repress the superindices.

Let $\mathcal {I}$ and $\mathcal {J}$ be the double filtrations, and let $\operatorname {\mathrm {gr}}_M$ be the absolute Maslov grading on the filtered mapping cone complex $X^\infty _p(K)$ . We will reserve letters $\mathcal {I}$ and $\mathcal {J}$ solely for this purpose throughout the paper. We have

for $[\mathbf {x},i,j] \in A_{s}$ ,

(14) $$ \begin{align} \mathcal{I}([\mathbf{x},i,j]) &= \max\{i,j-s\} \end{align} $$

(15) $$ \begin{align} \mathcal{J}([\mathbf{x},i,j]) &= \max\{i-p,j-s\} + ps - \frac{p(p-1)}{2} \end{align} $$

(16) $$ \begin{align} \operatorname{\mathrm{gr}}_M([\mathbf{x},i,j]) &= \widetilde{\operatorname{\mathrm{gr}}}([\mathbf{x},i,j]) + s(s-1) \end{align} $$

and for $[\mathbf {x},i,j] \in B_{s}$ ,

(17) $$ \begin{align} \mathcal{I}([\mathbf{x},i,j]) &= i \end{align} $$

(18) $$ \begin{align} \mathcal{J}([\mathbf{x},i,j]) &= i-p + ps - \frac{p(p-1) }{2} \end{align} $$

(19) $$ \begin{align} \operatorname{\mathrm{gr}}_M([\mathbf{x},i,j]) &= \widetilde{\operatorname{\mathrm{gr}}}([\mathbf{x},i,j]) + s(s-1)-1. \end{align} $$

Here, $\widetilde {\operatorname {\mathrm {gr}}}$ denotes the absolute Maslov grading on the original chain complex $\operatorname {CFK}^\infty (S^3,K)$ . It is straightforward to check that for $s<-g+1$ , the map $h_s$ induces an isomorphism on the homology; for $s>g+p-1,$ the map $v_s(K)$ induces an isomorphism on the homology, which justifies the truncation of the mapping cone.

The general strategy for computation involves finding a reduced basis for $X^\infty _p(K),$ where every term in the differential strictly lowers at least one of the filtrations. This can be achieved through a cancellation process (see, for example [Reference Lipshitz6, Proposition 11.57]) as follows: suppose $\partial x_i = y_i\ + $ lower filtration terms, where the double filtration of $y_i$ is the same as $x_i$ , then the subcomplex of $X^\infty _p(K)$ generated by all such $\{x_i, \partial x_i\}$ is acyclic, and the $X^\infty _p(K)$ quotient by this complex is reduced. Alternatively, one can view the above process as a change of basis, that splits off acyclic summands which individually lie entirely in one double-filtration level.

There is an apparent symmetry on the mapping cone as follows. Let $[\mathbf {x},i,j] \mapsto [\psi (\mathbf {x}),j,i]$ be a homotopy equivalence that realizes the symmetry on the original chain complex $\operatorname {CFK}^\infty (S^3,K)$ . In the following lemma, we use a subindex to mark elements from $A_s$ or $B_s$ .

Proposition 3.2. Let $\Psi \colon \thinspace X^\infty _p(K) \longrightarrow X^\infty _p(K)$ be the map, defined as

for $[\mathbf {x},i,j]_s \in A_{s}$ ,

(20) $$ \begin{align} \Psi([\mathbf{x},i,j]_s) &= U^{\frac{(p-1)(p-2s)}{2}} [\psi(\mathbf{x}),j,i]_{p-s} \in A_{p-s} \end{align} $$

for $[\mathbf {x},i,j]_s \in B_{s}$ ,

(21) $$ \begin{align} \Psi([\mathbf{x},i,j]_{s}) &= U^{\frac{p(p-2s+1)}{2}} [\mathbf{x},j,i]_{p-s+1} \in B_{p-s+1}. \end{align} $$

Then, $\Psi $ is a chain map that realizes a homotopy equivalence on the doubly filtered chain complex $\operatorname {CFK}^\infty (S^3_{1}(K),\mu _{p,1})$ that switches the $\mathcal {I}$ and $\mathcal {J}$ filtrations.

Proof. By definition, $\Psi $ is U–equivariant, so it suffices to show $\Psi $ realizes the symmetry for any one $\mathcal {I}$ and $\mathcal {J}$ value.

Over each chain complex $A_s,$ by (14) and (15), we have $\{\mathcal {I}=0 \}=\max \{i,j-s\}$ and $\{\mathcal {J}=ps - \frac {p(p-1)}{2} \}=\max \{i-p,j-s\}$ . Compute

$$ \begin{align*} \Psi(\{\mathcal{I}=0 \}_s) & = U^{\frac{(p-1)(p-2s)}{2}}\max\{i-s,j\}_{p-s}\\ & = U^{\frac{(p-1)(p-2s)}{2}+(p-s)}\max\{i-p,j-(p-s)\}_{p-s}\\ & = U^{\frac{p^2+p-2ps}{2}}\{\mathcal{J}=p(p-s) - \frac{p(p-1)}{2} \}_{p-s}\\ & = \{\mathcal{J}=0\}_{p-s} \\ \Psi(\{\mathcal{J}=ps - \frac{p(p-1)}{2} \}_s) &= U^{\frac{(p-1)(p-2s)}{2}}\max\{i-s,j-p\}_{p-s} \\ &= U^{\frac{(p-1)(p-2s)}{2}-s}\max\{i,j-(p-s)\}_{p-s}\\ &= \{\mathcal{I}=ps - \frac{p(p-1)}{2} \}_{p-s}, \end{align*} $$

while the computations for $B_s$ are similar and left for the reader. Moreover, by definition, we have $\Psi \circ v_s = h_s \circ \Psi ,$ and $\Psi \circ h_s = v_s \circ \Psi ,$ therefore, $\Psi $ is a chain map.

4. Cables of the knot meridian of $-T_{2n,2n+1}$

In this section, we perform the filtered mapping cone computation, which determines the knot Floer complex in Proposition 2.3 and Lemma 2.5.

Given $n\geq 1$ , let $T_{2n,2n+1}$ be the $(2n,2n+1)$ -torus knot, with genus equal to $n(2n-1).$ It is a fun exercise to compute its Alexander polynomial as follows

$$ \begin{align*} \frac{(t^{2n(2n+1)}-1)(t-1)}{(t^{2n}-1)(t^{2n+1}-1)}=& \frac{t^{(2n-1)(2n+1)} + t^{(2n-2)(2n+1)} + \cdots + 1}{t^{2n-1} + t^{2n-2} + \cdots + 1}=\\ 1+\sum^{2n-2}_{i=0}\big( t^{(2n-i)(2n-1)-i} &- t^{(2n-i)(2n-1)-2i-1} \big). \end{align*} $$

For example, if we let $S_{2n}(i)= \big ( t^{(2n-i)(2n-1)-i} - t^{(2n-i)(2n-1)-2i-1} \big ) \big ( t^{2n-1} + t^{2n-2} + \cdots + 1 \big )$ for $i=0,1,\cdots , 2n-2$ , by induction, we obtain that for $0 \leq \ell \leq 2n-2$

$$ \begin{align*} \sum^{\ell}_{i=0} S_{2n}(i) = t^{(2n-1)(2n+1)} + \cdots + t^{(2n-\ell -1)(2n+1)} -t^{(2n-\ell)(2n-1)-\ell -1 } - \cdots - t^{(2n-\ell)(2n-1)-2\ell -1}. \end{align*} $$

Taking $\ell $ to be $2n-2$ leads to the answer.

Torus knots are L–space knots. Therefore, according to [Reference Ozsváth and Szabó9, Theorem 1.2], the knot Floer complex $\operatorname {CFK}^\infty (S^3,T_{2n,2n+1})$ is generated by $a^*_i$ with coordinate $(0, \frac {(2n-i)(2n-i+1)}{2} - \frac {i(i-1)}{2} )$ for $i \in \{1, \cdots , 2n\}$ and $b^*_i$ with coordinate $(0, \frac {(2n-i)(2n-i+1)}{2}- \frac {i(i+1)}{2} )$ for $i \in \{1, \cdots , 2n-1\}$ (this is, in fact, a set of generators coming from a $\widehat {HFK}$ model), where the differentials are given by

$$ \begin{align*} \partial b^*_i = U^i a^*_i + a^*_{i+1}. \end{align*} $$

It follows from [Reference Ozsváth and Szabó7, Proposition 3.8], that the knot Floer complex of the mirror knot is the dual complex to the original knot. Therefore, $\operatorname {CFK}^\infty (S^3,-T_{2n,2n+1})$ is generated by $a_i$ with coordinate $(0, -\frac {(2n-i)(2n-i+1)}{2} + \frac {i(i-1)}{2} )$ for $i \in \{1, \cdots , 2n\}$ and $b_i$ with coordinate $(0, -\frac {(2n-i)(2n-i+1)}{2}+\frac {i(i+1)}{2} )$ for $i \in \{1, \cdots , 2n-1\}$ (simply by taking $a_i$ to be the dual of $a^*_i$ and $b_i$ to be the dual of $b^*_i$ ). As a notational shorthand, we will let and Note that $g_a(n,i) +i = g_b(n,i)$ . The differentials are given by

$$ \begin{align*} \partial a_i = \begin{cases} Ub_{i}, &\qquad i=1\\ b_{i-1}, &\qquad i=2n\\ U^i b_{i} + b_{i-1}, &\qquad \text{otherwise.} \end{cases} \end{align*} $$

Note that the (horizontal) arrow from $a_i$ to $b_i$ is of length i, while the (vertical) arrow from $a_i$ to $b_{i-1}$ is of length $2n-i+1$ (see Figure 2 for an example of $\operatorname {CFK}^\infty (S^3,-T_{2n,2n+1})$ when $n=3)$ .

Figure 2

The knot Floer complex $\operatorname {CFK}^\infty (S^3,-T_{6,7})$ . The solid dots are generators. The differentials point to lower filtration levels, and the numbers indicate their lengths.

The interesting examples are given by the pair $(S^{3}_{1}(-T_{2n,2n+1}),\mu _{2n-1,1})$ , where $\mu _{2n-1,1}$ is the $(2n-1,1)$ -cable of the dual knot. To compute the knot Floer complex of said examples, we apply the filtered mapping cone formula for the cables of the dual knot on $-T_{2n.2n+1}$ , with the surgery coefficient equal to $+1.$ Following the recipe described in Section 3, the filtered chain complex $\operatorname {CFK}^\infty (S^{3}_{1}(-T_{2n,2n+1}),\mu _{2n-1,1})$ is filtered homotopy equivalent to the filtered complex $X^\infty _{2n-1}(-T_{2n,2n+1})$ defined by the mapping cone of

$$ \begin{align*} \bigoplus^{(n+1)(2n-1)-1}_{s=-n(2n-1)+1}A_s \xrightarrow{v_s+h_s} \bigoplus^{(n+1)(2n-1)-1}_{s=-n(2n-1)+2}B_s.\end{align*} $$

Through the isomorphism with $\operatorname {CFK}^\infty (S^3,-T_{2n,2n+1})$ , denote the corresponding generators in $A_s$ by $a^{(s)}_i$ and $b^{(s)}_i$ , and the generators in $B_s$ by $a^{\prime (s)}_i$ and $b^{\prime (s)}_i$ , for suitable i and s. Recall that we use $\mathcal {I}$ and $\mathcal {J}$ specifically for the double filtrations on the entire mapping cone complex. Using the formulas given by (14), (15), (17), and (18), the computations for the $\mathcal {I}$ and $\mathcal {J}$ filtrations of the generators described above are quite straightforward. We collect the result in a following lemma, with $g_a(n,i)$ and $g_b(n,i)$ the quantities defined in the previous paragraph. Also define a notational shorthand

(22)

Note that $f(n,s-1) + n = f(n,s).$

Lemma 4.1. In the complex $X^\infty _{2n-1} (-T_{2n,2n+1})$ , we have

(23) $$ \begin{align} \mathcal{J}(a^{(s)}_i) &= \begin{cases}f(n,s)+g_a(n,i)-s, \qquad &s \leq g_a(n,i)+2n-1 \\ f(n,s-1), \qquad &s> g_a(n,i)+2n-1 \end{cases}\end{align} $$

(24) $$ \begin{align} \mathcal{J}(b^{(s)}_i) &= \begin{cases}f(n,s)+g_b(n,i)-s, \qquad &s \leq g_b(n,i)+2n-1 \\ f(n,s-1), \qquad &s> g_b(n,i)+2n-1; \end{cases} \end{align} $$

(25) $$ \begin{align} \mathcal{I}(a^{(s)}_i) &= \mathcal{I}(b^{(s)}_i) = \mathcal{I}(a^{\prime(s)}_i) = \mathcal{I}(b^{\prime(s)}_i) = 0; \end{align} $$

(26) $$ \begin{align} \mathcal{J}(a^{\prime(s)}_i) &= \mathcal{J}(b^{\prime(s)}_i) = f(n,s-1). \end{align} $$

For the rest of the computation, we assume that $n \geq 3$ (the case when $n=1, 2$ does not fit into the following model. Instead, the results of those two cases are recorded in Lemma 4.5.).

We first aim to obtain a reduced model of the generators of $X^\infty _{2n-1} (-T_{2n,2n+1})$ . Up to filtered homotopy equivalence (as a subcomplex of $X^\infty _{2n-1} (-T_{2n,2n+1})$ ), each $B_s$ is one-dimensional. Indeed, quotienting out $\{a^{\prime (s)}_i,\partial a^{\prime (s)}_i\}_{2\leq i\leq 2n}$ leaves us with a sole generator $ a^{\prime (s)}_1$ in each $B_s$ .

Each $A_s$ is a subcomplex of the quotient complex $\bigoplus _s A_s$ , which inherits the $(\mathcal {I},\mathcal {J})$ filtration naturally. We would like to obtain a reduced model for each $A_s$ . For the next part, let $\partial $ temporarily denote the differential restricted to each subquotient-complex $A_s$ , as opposed to the differential on the entire chain complex $X^\infty _{2n-1} (-T_{2n,2n+1})$ . There are two types of complex $A_s$ , depending on the dimension of the reduced model.

When $s\in [-n(2n-1),-n(2n-1)+2n] \cup \{-n(2n-1) + 2jn-1, -n(2n-1) + 2jn\}_{1\leq j \leq 2n-2} \cup [n(2n-1)-1,(n+1)(2n-1) -1] ,$ after quotienting out $\{a^{(s)}_i, \partial a^{(s)}_i\}_{2\leq i\leq 2n-1}$ , the reduced model of $A_s$ is three-dimensional.

• ○ When $s\in [-n(2n-1),-n(2n-1)+2n]$ , the reduced model is generated by $\{a^{(s)}_{2n},b^{(s)}_{1},a^{(s)}_{1}\}$ with modified differentials:

  $$ \begin{align*} \partial a^{(s)}_{1}= U b^{(s)}_{1}, \hspace{6em} \partial a^{(s)}_{2n}= U^{-n(2n-1)+1} b^{(s)}_{1}. \end{align*} $$

• ○ When $s\in \{-n(2n-1) + 2jn-1, -n(2n-1) + 2jn\}_{1\leq j \leq 2n-2}$ ,the reduced model is generated by $\{a^{(s)}_{2n},b^{(s)}_{j},a^{(s)}_{1}\}$ and modified differentials are

  $$ \begin{align*} \hspace{1.2em} \partial a^{(s)}_{1}= U^{\frac{j(j+1)}{2}} b^{(s)}_{j}, \hspace{4em} \partial a^{(s)}_{2n}= U^{-n(2n-1)+\frac{j(j+1)}{2}} b^{(s)}_{j}. \end{align*} $$

• ○ When $s\in [n(2n-1)-1,(n+1)(2n-1) -1]$ , the reduced model is generated by $\{a^{(s)}_{2n},b^{(s)}_{2n-1},a^{(s)}_{1}\}$ with modified differentials

  $$ \begin{align*} \partial a^{(s)}_{1}= U^{n(2n-1)} b^{(s)}_{2n-1}, \hspace{5em} \partial a^{(s)}_{2n}= b^{(s)}_{2n-1}. \hspace{2em} \end{align*} $$

When $s\in \bigcup _{1\leq j \leq 2n-2} [-n(2n-1) + 2jn+1, -n(2n-1) + 2(j+1)n-2]$ , the reduced model of $A_s$ is five-dimensional. Indeed, quotienting out $\{a^{(s)}_i, \partial a^{(s)}_i\}_{j\in [2,j]\cup [j+2,2n-1]}$ leaves us with generators $\{a^{(s)}_{2n}, b^{(s)}_{j+1}, a^{(s)}_{j+1}, b^{(s)}_{j},a^{(s)}_{1}\}$ . The difference here from the previous case is that both terms in $\partial a^{(s)}_{j+1}$ strictly decrease $\mathcal {I}$ or $\mathcal {J}$ grading, and therefore survive into the reduced complex. The modified differentials are given by

$$ \begin{gather*} \begin{aligned} &\partial a^{(s)}_{1}= U^{\frac{j(j+1)}{2}} b^{(s)}_{j}, \hspace{3em} &\partial a^{(s)}_{j+1}= b^{(s)}_{j} + U^{j+1} b^{(s)}_{j+1},\\ & \partial a^{(s)}_{2n} = U^{-n(2n-1)+\frac{(j+1)(j+2)}{2}} b^{(s)}_{j+1}. & \end{aligned} \end{gather*} $$

Finally, consider the entire chain complex $X^\infty _{2n-1} (-T_{2n,2n+1})$ , using the reduced models for both $A_s$ and $B_s.$ Let $\partial $ denote the differential on the entire mapping cone complex (including $v_s$ and $h_s$ maps). Observe that $h_s(U^{-s} a^{(s)}_{2n})=a^{\prime (s+1)}_{1}= v_{s+1}(a^{(s+1)}_{1})$ for $-n(2n-1)+1\leq s \leq n(2n-1)$ , while $\mathcal {I}(U^{-s} a^{(s)}_{2n})=\mathcal {I}(a^{\prime (s+1)}_{1}) = \mathcal {I}(a^{(s+1)}_{1})$ and $\mathcal {J}(U^{-s} a^{(s)}_{2n})=\mathcal {J}(a^{\prime (s+1)}_{1})\leq \mathcal {J}(a^{(s+1)}_{1})$ , where the last equality is reached when $s\geq -(n-1)(2n-1).$ Thus, we may quotient out $\{a^{(s)}_{2n}, \partial a^{(s)}_{2n}\}$ for $-n(2n-1)+1\leq s \leq n(2n-1)$ . If we let $\alpha _s$ denote the image of $a^{(s)}_{1}$ in the quotient for $-n(2n-1)+1 \leq s \leq n(2n-1)+1$ , notice that for $-n(2n-1)+2 \leq s \leq n(2n-1)+1$ , this amounts to a change of basis $ a^{(s)}_{1} \mapsto U^{-s+1}a^{(s-1)}_{2n} + a^{(s)}_{1}$ followed by a homotopy equivalence. Similarly, we may quotient out $\{a^{(s)}_{1}, \partial a^{(s)}_{1}\}$ for $n(2n-1)+2\leq s \leq (n+1)(2n-1)-1$ .

We have obtained a reduced model for $X^\infty _{2n-1} (-T_{2n,2n+1})$ . Observe that no generator in $B_s$ survives into the reduced basis. Moreover, from the viewpoint of the quotient complex, the induced differential $\partial $ restricted to $A_s$ is a map $\partial \colon \thinspace A_s \rightarrow A_s \oplus A_{s-1}$ for $-n(2n-1)+2\leq s\leq n$ , viewing $\alpha _s$ as an element of $A_s$ . However, we will generally adopt the viewpoint of a change of basis, and view $\alpha _s$ as an element of $A_s \oplus A_{s-1}$ , mainly because this plays well with the symmetry on the mapping cone complex.

Considering the symmetry on $X^\infty _{2n-1} (-T_{2n,2n+1})$ (see Proposition 3.2), our strategy would be to focus on the “first half” of the complex, namely, the mapping cone of

$$ \begin{align*} \bigoplus_{s=-n(2n-1)+1}^{ n-1} A_s \xrightarrow{ v_s+h_s} \bigoplus_{s=-n(2n-1)+2}^{n} B_s, \end{align*} $$

which under the current basis is simply the chain complex

$$ \begin{align*} \bigoplus_{s=-n(2n-1)+1}^{n-1} A_s. \end{align*} $$

So, let us summarize the generators and relations of this first half complex in the following lemma (we also include those $A_s$ where s is in the interval $[n, 2n-1]$ for the continuity). Let $\widetilde {\alpha }_s$ denote $a^{(s)}_{j+1}$ when $s\in [-n(2n-1) + 2jn+1, -n(2n-1) + 2(j+1)n-2]$ for each $1\leq j \leq n.$

We prove in the next lemma that, up to local equivalence, we can further truncate the mapping cone. Define $X^\infty _{2n-1} (-T_{2n,2n+1}) \langle \ell \rangle $ for $\ell \in \mathbb {Z}$ to be the filtered mapping cone

$$ \begin{align*} \bigoplus^{\ell}_{s=-\ell+2n-1}A_s \xrightarrow{v_s+h_s} \bigoplus^{\ell}_{s=-\ell+2n}B_s, \end{align*} $$

which under the reduced basis simplifies to the filtered chain complex

$$ \begin{align*} \bigoplus^{\ell}_{s=-\ell+2n-1}A_s. \end{align*} $$

Note that under this notation $X^\infty _{2n-1} (-T_{2n,2n+1}) = X^\infty _{2n-1} (-T_{2n,2n+1}) \langle (n+1)(2n-1) -1 \rangle $ .

Therefore, the local equivalence class of $X^\infty _{2n-1} (-T_{2n,2n+1})$ is given by $\bigoplus ^{2n-1}_{s=0}A_s$ under the reduced basis. The differentials in this complex are already given by Lemma 4.2, and the filtrations of the generators are given by Lemma 4.1. In the following lemma, we will work out the $\mathcal {J}$ –filtration shifts between the generators that are related by a differential.

Suppose $U^c \beta $ is a nontrivial term in $\partial \alpha $ , where $\beta $ is used to represent some $b_i^{(s)}$ and $\alpha $ is used to represent some $\alpha _s$ or $\widetilde {\alpha }_s$ . Define

(31) $$ \begin{align} \Delta_{\mathcal{I},\mathcal{J}}(\alpha,\beta) = (\mathcal{I},\mathcal{J})(\alpha) - (\mathcal{I},\mathcal{J})(U^c \beta) \end{align} $$

and, similarly define $\Delta _{\mathcal {I}}$ and $\Delta _{\mathcal {J}}$ .

Lemma 4.4. Generators in the reduced basis of $\bigoplus ^{2n-1}_{s=0}A_s$ satisfy the following.

(32) $$ \begin{align} \Delta_{\mathcal{I},\mathcal{J}}(\alpha_s,b_{n-1}^{(s)}) &= \big( \frac{n(n-1)}{2}, \frac{n(n-1)}{2} \big), && 1\leq s \leq n-2 \end{align} $$

(33) $$ \begin{align} \Delta_{\mathcal{I},\mathcal{J}}(\alpha_s,b_{n+1}^{(s-1)}) &= \big( \frac{n(n-1)}{2}, \frac{n(n-1)}{2} \big), && n+2\leq s \leq 2n-1 \end{align} $$

(34) $$ \begin{align} \Delta_{\mathcal{I},\mathcal{J}}(\alpha_s,b_{n}^{(s-1)}) &= \big( \frac{n(n+1)}{2} -s + 1 , \frac{n(n+1)}{2} \big), && 2\leq s \leq n \end{align} $$

(35) $$ \begin{align} \Delta_{\mathcal{I},\mathcal{J}}(\alpha_s,b_{n}^{(s)}) &= \big( \frac{n(n+1)}{2} , \frac{n(n-1)}{2} +s - n + 1 \big), && n\leq s \leq 2n-2 \end{align} $$

(36) $$ \begin{align} \Delta_{\mathcal{I},\mathcal{J}}(\alpha_{n-1},b_{n}^{(n-1)}) &= \big( \frac{n(n+1)}{2} , \frac{n(n-1)}{2} \big), && \end{align} $$

(37) $$ \begin{align} \Delta_{\mathcal{I},\mathcal{J}}(\alpha_{n+1} ,b_{n}^{(n)}) &= \big( \frac{n(n-1)}{2} , \frac{n(n+1)}{2} \big), && \end{align} $$

(38) $$ \begin{align} \Delta_{\mathcal{I},\mathcal{J}}(\widetilde{\alpha}_s,b_{n-1}^{(s)}) &= \big( 0 , n-1-s \big), \hspace{1.5em} \Delta_{\mathcal{I},\mathcal{J}}(\widetilde{\alpha}_s,b_{n}^{(s)}) = \big( n , 0 \big), \hspace{0.5em} && 1\leq s \leq n-2 \end{align} $$

(39) $$ \begin{align} \Delta_{\mathcal{I},\mathcal{J}}(\widetilde{\alpha}_s,b_{n}^{(s)}) &= \big( 0 , n \big), \hspace{2.8em} \Delta_{\mathcal{I},\mathcal{J}}(\widetilde{\alpha}_s,b_{n+1}^{(s)}) = \big( s-n , 0 \big), && n+1\leq s \leq 2n-2. \end{align} $$

Proof. We collect in Table 1 the filtrations of the generators in the reduced basis of $\bigoplus ^{2n-1}_{s=0}A_s$ from Lemma 4.1. Note that $g_b(n,n)=0$ and $g_a(n,n)=-n$ . The $\mathcal {I}$ filtrations of the generators are all $0$ (so this is, in fact, a reduced model of $\widehat {HFK}.$ )

Table 1

The filtrations of the generators in the reduced basis of $\bigoplus^{2n-1}_{s=0}\ {A}_{s}$ .

To show (32) and (33), first, by (28), we have $\Delta _{\mathcal {I}}(\alpha _s,b_{n-1}^{(s)}) = \frac {n(n-1)}{2}.$ Compute

$$ \begin{align*} \Delta_{\mathcal{J}}(\alpha_s,b_{n-1}^{(s)}) &= \mathcal{J}(\alpha_s) - \mathcal{J}(b_{n-1}^{(s)}) + \frac{n(n-1)}{2}\\ &= \frac{n(n-1)}{2}, \end{align*} $$

which proves (32), and (33) follows from the symmetry given by Proposition 3.2.

To show (34) and (35), first, by (28) and (30), we have $\Delta _{\mathcal {I}}(\alpha _s,b_{n}^{(s-1)}) = \frac {n(n+1)}{2} - s + 1.$ Compute

$$ \begin{align*} \Delta_{\mathcal{J}}(\alpha_s,b_{n}^{(s-1)}) &= \mathcal{J}(\alpha_s) - \mathcal{J}(b_{n}^{(s-1)}) + \frac{n(n+1)}{2} - s + 1\\ &= \frac{n(n+1)}{2}, \end{align*} $$

which proves (34), and (35) follows from the symmetry given by Proposition 3.2.

The rest of the results follow from similar computations and are left for the reader.

When $n=1$ and $2$ , the local equivalence class of the complex $X^\infty _{n} (-T_{2n,2n+1})$ can be decided following a similar vein. We record the result in the next lemma, and the computations are left to the reader as an exercise.

Lemma 4.5. When $n=1$ , the complex $X^\infty _{1} (-T_{2,3})$ is locally trivial.

When $n=2$ , the complex $X^\infty _{2} (-T_{4,5})$ has a local complex characterized by the following.

$$ \begin{align*} \partial \alpha_1 &= U^3 b_2^{(1)},\\ \partial \alpha_2 &= U^2 b_2^{(1)} + U^3 b_2^{(2)},\\ \partial \alpha_3 &= U b_2^{(1)};\\ \Delta_{\mathcal{I},\mathcal{J}}&(\alpha_1, b_2^{(1)}) = (3,1),\\ \Delta_{\mathcal{I},\mathcal{J}}&(\alpha_2, b_2^{(1)}) = (2,3),\\ \Delta_{\mathcal{I},\mathcal{J}}&(\alpha_2, b_2^{(2)}) = (3,2),\\ \Delta_{\mathcal{I},\mathcal{J}}&(\alpha_3, b_2^{(2)}) = (1,3).\\ \end{align*} $$

Figure 3

A reduced basis for the complex $X^\infty _{5} (-T_{6,7}) \langle 5 \rangle $ , where the coordinates are given by $\mathcal {I}$ and $\mathcal {J}$ filtrations. The generators are marked abstractly, without U powers. The edges represent the differentials; the edge with $*$ depicts an instance of the fact that $\Delta _{\mathcal {I}}(\alpha _n, b_{n}^{(n)}) = \Delta _{\mathcal {I}}(\alpha _{n+1},b_{n}^{(n)}) + n $ .