Torsion in thin regions of Khovanov homology

TL;DR

This paper proves that under certain conditions, the Khovanov homology of links supported on two diagonals contains only  extsubscript{2} torsion, and verifies this for an infinite family of 3-braids, partially confirming a conjecture.

Contribution

It establishes a local criterion for  extsubscript{2} torsion in Khovanov homology and applies it to a broad class of 3-braids, extending previous results.

Findings

Links supported on two diagonals have only  extsubscript{2} torsion under mild conditions.

An infinite family of 3-braids, including all 3-strand torus links, satisfies these conditions.

Explicit computations of integral Khovanov homology are provided for this family.

Abstract

In the integral Khovanov homology of links, the presence of odd torsion is rare. Homologically thin links, that is links whose Khovanov homology is supported on two adjacent diagonals, are known to only contain $\mathbb{Z}_2$ torsion. In this paper, we prove a local version of this result. If the Khovanov homology of a link is supported in two adjacent diagonals over a range of homological gradings and the Khovanov homology satisfies some other mild restrictions, then the Khovanov homology of that link has only $\mathbb{Z}_2$ torsion over that range of homological gradings. These conditions are then shown to be met by an infinite family of 3-braids, strictly containing all 3-strand torus links, thus giving a partial answer to Sazdanovic and Przytycki's conjecture that 3-braids have only $\mathbb{Z}_2$ torsion in Khovanov homology. We also give explicit computations of integral Khovanov homology for all links in this family.

Equations

$${\Omega }_0=$$

$${\Omega }_1=$$

$${\Omega }_2=$$

$${\Omega }_3=$$

$${\Omega }_4=$$

$${\Omega }_5=$$

$${\Omega }_6=$$

$$C(D(I)):={\mathcal{A}}_2^{\otimes |D(I)|}[h(I)]\{h(I)\}.$$

$$m(1\otimes 1)=1,m(1\otimes X)=X,m(X\otimes 1)=X,m(X\otimes X)=0,$$

$$\Delta (1)=1\otimes X+X\otimes 1,\Delta (X)=X\otimes X.$$

$$C^{\ast ,\ast }(D)=\underset{I\in \mathcal{V}(n)}{⨁}C(D(I))[-n_{-}]\{n_{+}-2n_{-}\}.$$

$$H(L;R)=\underset{i,j\in \mathbb{Z}}{⨁}{H}^{i,j}(L;R)$$

$${\hat{J}}_L(q)=\sum _{i,j\in \mathbb{Z}}(-1{)}^i{q}^j\cdot \text{rk}(H^{i,j}(L)).$$

$$H^{i,j+1}(D_1)$$

$$H^{i-c-1,j-3c-2}(D_1)$$

$$0$$

$$H(C)$$

$$m_B(1\otimes 1)=1,m_B(1\otimes X)=X,m_B(X\otimes 1)=X,m_B(X\otimes X)=X,$$

$${\Delta }_B(1)=1\otimes X+X\otimes 1+1\otimes 1,{\Delta }_B(X)=X\otimes X.$$

$${\dim }_{{\mathbb{Z}}_2}({\text{BN}}^i(L{)}^{\prime })=\#\left\{E\subset \{1,2,\dots ,k\}|2\times \sum _{\ell \in E,m\in E^c}lk(L_{\ell },L_m)=i\right\}$$

$$m_T(1\otimes 1)=0,m_T(1\otimes X)=0,m_T(X\otimes 1)=0,m_T(X\otimes X)=X,$$

$${\Delta }_T(1)=1\otimes 1,{\Delta }_T(X)=0,$$

$$E_T^{\infty }=\underset{i=1}{\overset{n-1}{⨁}}P[h_i]\{p_i\}.$$

$${\text{BN}}^i(L{)}^{\prime }=\underset{j}{⨁}(E_T^{\infty }{)}^{i,j}.$$

$$m_L(1\otimes 1)=0,m_L(1\otimes X)=0,m_L(X\otimes 1)=0,m_L(X\otimes X)=1,$$

$${\Delta }_L(1)=0,{\Delta }_L(X)=1\otimes 1.$$

$${\dim }_R({\mathrm{Lee}}^i(L;R))=\#\left\{E\subset \{1,2,\dots ,k\}|2\times \sum _{\ell \in E,m\in E^c}lk(L_{\ell },L_m)=i\right\}$$

$$E_L^{\infty }=\underset{i=1}{\overset{n-1}{⨁}}P[h_i]\{p_i\}.$$

$${\mathrm{Lee}}^i(L;R)=\underset{j}{⨁}(E_L^{\infty }{)}^{i,j}.$$

$$H^{[i_1,i_2]}(L;R)=\underset{i=i_1}{\overset{i_2}{⨁}}{H}^{i,\ast }(L;R).$$

$${\dim }_{\mathbb{Q}}{H}^{i_1,\ast }(L;\mathbb{Q})={\dim }_{{\mathbb{Z}}_p}{H}^{i_1,\ast }(L;{\mathbb{Z}}_p)$$

$${\dim }_R(E_L^{\infty }{)}^{i,2i-s-1}(L;R)={\dim }_R(E_L^{\infty }{)}^{i,2i-s+1}(L;R).$$

$${\dim }_{\mathbb{Q}}{H}^{i,2i-s-1}(L;\mathbb{Q})<$$

Full text

AC was supported in part by the project P31705 of the Austrian Science Fund. AL was supported in part by NSF grant DMS-1811344. RS partially supported by the Simons Foundation Collaboration Grant 318086 and NSF Grant DMS 1854705.

Mathematics Subject Classification: 57K10, 57K18.

1. Introduction

In 1984, Jones discovered a powerful polynomial link invariant, now known as the Jones polynomial [8]. In 1999, Khovanov [9] categorified the Jones polynomial $J(L)$ to a bigraded homology theory $H(L)$ called Khovanov homology. Khovanov homology categorifies the Jones polynomial in the sense that the Jones polynomial of a link can be recovered as the graded Euler characteristic of its Khovanov homology. Each $H^{i,j}(L)$ is a finitely generated abelian group, and the Jones polynomial gets a contribution only from the free part of $H(L)$. Thus torsion in Khovanov homology is a new phenomena in knot theory which does not appear in the theory of Jones polynomials. Throughout this paper we will use the term ‘$\mathbb{Z}_{p^{r}}$ torsion’, $p$ a prime, to mean a direct summand of isomorphism class $\mathbb{Z}_{p^{r}}$ in the primary decomposition of the integral Khovanov homology of a link.

Khovanov homology is equipped with two gradings: the homological grading $i$ and the polynomial grading $j$. A link is homologically thin if its Khovanov homology is supported in bigradings $2i-j=s\pm 1$ for some integer $s$. Non-split alternating links and quasi-alternating links are homologically thin [11, 15]. In [24], Shumakovitch showed that homologically thin links have only $\mathbb{Z}_{2^{r}}$ torsion in their Khovanov homology, and in [25] he used a relationship between the Turner and Bockstein differentials on $\mathbb{Z}_{2}$-Khovanov homology to show in fact there is only $\mathbb{Z}_{2}$ torsion. In this paper, we prove a version of this result when the Khovanov homology of a link is thin over a restricted range of homological gradings.

Let $i_{1},i_{2}\in\mathbb{Z}$ with $i_{1}<i_{2}$. We say that $H(L)$ is thin over $[i_{1},i_{2}]$ if there is an $s\in\mathbb{Z}$ such that $H^{*,*}(L;\mathbb{Z}_{p})$ is supported only in bigradings satisfying $2i-j=s\pm 1$ for all $i$ with $i_{1}\leq i\leq i_{2}$ and for all primes $p$. If $i$ is an integer with $i_{1}\leq i\leq i_{2}$, then we say $i\in[i_{1},i_{2}]$; we similarly define $i\in(i_{1},i_{2}],(i_{1},i_{2})$, or $[i_{1},i_{2})$.

Theorem 4.7.

Suppose that a link $L$ satisfies:

1. (1)

$H(L)$* is thin over $[i_{1},i_{2}]$ for integers $i_{1}$ and $i_{2}$ where $H^{[i_{1},i_{2}]}(L)$ is supported in bigradings $(i,j)$ with $2i-j=s\pm 1$ for some $s\in\mathbb{Z}$,* 2. (2)

$\dim_{\mathbb{Q}}H^{i_{1},*}(L;\mathbb{Q})=\dim_{\mathbb{Z}_{p}}H^{i_{1},*}(L;\mathbb{Z}_{p})$* for each odd prime $p$,* 3. (3)

$H^{i_{1},*}(L)$* is torsion-free, and* 4. (4)

$H^{i_{1}-1,j}(L)$* is trivial when $j\leq 2i_{1}-s-3.$*

Then all torsion in $H^{i,*}(L)$ is $\mathbb{Z}_{2}$ torsion for $i\in[i_{1},i_{2}]$, that is, $H^{[i_{1},i_{2}]}(L)\cong\mathbb{Z}^{k}\oplus\mathbb{Z}_{2}^{\ell}$ for some $k,\ell\geq 0$.

We use Theorem 4.7 to show that certain families of closed $3$-braids have only $\mathbb{Z}_{2}$ torsion in their Khovanov homology. Various techniques have been used to show that some other families of links only have $\mathbb{Z}_{2}$ torsion in their Khovanov homology or only have $\mathbb{Z}_{2}$ torsion in certain gradings. In [7], Helme-Guizon, Przytycki, and Rong established a connection between the Khovanov homology of a link and the chromatic graph homology of graphs associated to diagrams of the link. In [14], Lowrance and Sazdanović used this connection to show that in a range of homological gradings, Khovanov homology contains only $\mathbb{Z}_{2}$ torsion. This result can now be seen as a corollary to Theorem 4.7.

Przytycki and Sazdanović [22] obtained explicit formulae for some torsion and proved that the Khovanov homology of semi-adequate links contains $\mathbb{Z}_{2}$ torsion if the corresponding Tait-type graph has a cycle of length at least 3. In the same paper the authors conjectured the following, connecting torsion in Khovanov homology to braid index:

Conjecture 1.1** (PS braid conjecture, 2012).**

1. (1)

The Khovanov homology of a closed 3-braid can have only $\mathbb{Z}_{2}$ torsion. 2. (2)

The Khovanov homology of a closed 4-braid cannot have $\mathbb{Z}_{p^{r}}$ torsion for $p\neq 2$. 3. (3)

The Khovanov homology of a closed 4-braid can have only $\mathbb{Z}_{2}$ and $\mathbb{Z}_{4}$ torsion. 4. (4)

The Khovanov homology of a closed $n$-braid cannot have $\mathbb{Z}_{p^{r}}$ torsion for $p>n$ ($p$* prime).* 5. (5)

The Khovanov homology of a closed $n$-braid cannot have $\mathbb{Z}_{p^{r}}$ torsion for $p^{r}>n$.

Counterexamples to parts (2), (3) and (5) are given in [18], and a counterexample to part (4) has recently been constructed by Mukherjee [17] (see also [19, 20]). However, part (1) remains open, and computations suggest that part (1) is indeed true. One goal of this (ongoing) project is to prove this.

Consider the braid group $B_{s}$ on $s$-strands whose generators are shown in Figure 1. By convention, braid words are read from left to right, and multiplication of words $w_{1}w_{2}$ corresponds to stacking the braid $w_{2}$ on top of $w_{1}$, see for example Figure 2. Each strand in a braid diagram is assumed to be oriented upward. The half twist $\Delta\in B_{s}$ is defined as $\Delta=(\sigma_{1}\sigma_{2}\dots\sigma_{p-1})(\sigma_{1}\sigma_{2}\dots\sigma_{p-2})\dots(\sigma_{1}\sigma_{2})(\sigma_{1})$, and the full twist is $\Delta^{2}$. The closure of a braid diagram is a diagram of a link (see for example Figure 2), and a famous result of Alexander states that every link can be represented by the closure of a braid. For convenience, throughout this paper, a braid word will be used to refer to either an element of the braid group or its braid closure depending on the context in which it appears.

If two elements of a braid group are conjugate, then the corresponding braid closures are isotopic as links. Therefore, it would be convenient to have a classification of elements of the braid group $B_{s}$ up to conjugacy. For $s=2$, of course, the classification is trivial. For $s\geq 4$, no classification is known. For $s=3$, Murasugi provides the following [21].

Theorem 1.2** (Murasugi).**

Every element of the braid group $B_{3}$ is conjugate to a unique element of one of the following disjoint sets:

[TABLE]

where $p,q,p_{i}$ and $q_{i}$ are positive integers.

With Murasugi’s classification in mind, we use Theorem 4.7 to show that certain classes of $3$-braids have only $\mathbb{Z}_{2}$ torsion in Khovanov homology (Theorem 5.5), taking a significant step in the direction of proving part (1) of the PS conjecture.

Theorem 5.5.

All torsion in the Khovanov homology of a closed 3-braid $L$ of type $\Omega_{0},\Omega_{1},\Omega_{2},$ or $\Omega_{3}$ is $\mathbb{Z}_{2}$ torsion, that is, $H(L)\cong\mathbb{Z}^{k}\oplus\mathbb{Z}_{2}^{\ell}$ for some $k,\ell\geq 0$.

This paper is organized as follows. In Section 2, we give a construction of Khovanov homology. In Section 3, we provide several computational tools in the form of a long exact sequence and various spectral sequences associated to alternate differentials on the Khovanov complex. In Section 4, we prove the main result of this paper, providing conditions on the Khovanov homology of a link $L$ under which all torsion in thin regions of the integral Khovanov homology of $L$ is $\mathbb{Z}_{2}$ torsion. In order to achieve this result, we will analyze interactions between the spectral sequences of Section 3. In Section 5, we give an application of the main result, showing that all torsion in the Khovanov homology of links in $\Omega_{0},\Omega_{1},\Omega_{2}$ and $\Omega_{3}$ is $\mathbb{Z}_{2}$ torsion, and we give explicit calculations of the integral Khovanov homology of links in $\Omega_{0},\Omega_{1},\Omega_{2}$ and $\Omega_{3}$. We end with an explanation of why Theorem 4.7 does not apply to all closed $3$-braids.

Acknowledgements

The authors are thankful for helpful conversations with John McCleary and Alex Shumakovitch, and for the indispensable comments of the anonymous referees.

2. A construction of Khovanov homology

Khovanov homology is an invariant of oriented links $L\subset S^{3}$ with values in the category of bigraded modules over a commutative ring $R$ with identity. We begin with a construction of Khovanov homology. Our conventions for positive and negative crossings, and for zero- and one-smoothings, are as given in Figure 3.

A bigraded $R$-module is an $R$-module $M$ with a direct sum decomposition of the form $M=\bigoplus_{i,j\in\mathbb{Z}}M^{i,j}$. The submodule $M^{i,j}$ is said to have bigrading $(i,j)$. For our purposes we will refer to $i$ as the homological grading and to $j$ as the polynomial grading. Given two bigraded $R$-modules $M=\bigoplus_{i,j\in\mathbb{Z}}M^{i,j}$ and $N=\bigoplus_{i,j\in\mathbb{Z}}N^{i,j}$, we define the direct sum $M\oplus_{R}N$ and tensor product $M\otimes_{R}N$ to be the bigraded $R$-modules with components $(M\oplus N)^{i,j}=M^{i,j}\oplus N^{i,j}$ and $(M\otimes N)^{i,j}=\bigoplus_{k+m=i,l+n=j}M^{k,l}\otimes N^{m,n}$. We also define homological and polynomial shift operators, denoted $[\cdot]$ and $\{\cdot\}$, respectively, by $(M[r])^{i,j}=M^{i-r,j}$ and $(M\{s\})^{i,j}=M^{i,j-s}$.

Consider the directed graph whose vertex set $\mathcal{V}(n)=\{0,1\}^{n}$ comprises $n$-tuples of [math]’s and $1$’s and whose edge set $\mathcal{E}(n)$ contains a directed edge from $I\in\mathcal{V}(n)$ to $J\in\mathcal{V}(n)$ if and only if all entries of $I$ and $J$ are equal except for one, where $I$ is [math] and $J$ is $1$. One can think of the underlying graph as the 1-skeleton of the $n$-dimensional cube. For example, if $n=4$ there are two outward edges starting from $(0,1,0,1)$, one ending at $(0,1,1,1)$ and the other ending at $(1,1,0,1)$. The height of a vertex $I=(k_{1},k_{2},\ldots,k_{n})$ is $h(I)=k_{1}+k_{2}+\cdots+k_{n}$. In other words, $h(I)$ is the number of $1$’s in $I$. If $\varepsilon$ is an edge from $I$ to $J$ and they differ in the $r$-th entry, the height of $\varepsilon$ is $|\varepsilon|:=h(I)$. The sign of $\varepsilon$ is $(-1)^{\varepsilon}:=(-1)^{\sum_{i=1}^{r-1}k_{i}}$. In other words, the sign of $\varepsilon$ is $-1$ if the number of $1$’s before the $r$-th entry is odd, and is $+1$ if even.

Let $D$ be a diagram of a link $L$ with $n$ crossings $c_{1},c_{2},\ldots,c_{n}$. To each vertex $I\in\mathcal{V}(n)$ we associate a collection of circles $D(I)$, called a Kauffman state, obtained by [math]-smoothing those crossings $c_{i}$ for which $k_{i}=0$ and $1$-smoothing those crossings $c_{j}$ for which $k_{j}=1$. The [math]- and $1$-smoothing conventions are given in Figure 3. To each Kauffman state we associate a bigraded $R$-module $C(D(I))$ as follows. Let $\mathcal{A}_{2}=R[X]/X^{2}\cong R1\oplus RX$ be the bigraded module with generator $1$ in bigrading $(0,1)$ and generator $X$ in bigrading $(0,-1)$. Denoting the number of circles in $D(I)$ by $|D(I)|$, we define

[TABLE]

Here, each tensor factor of $\mathcal{A}_{2}$ is understood to be associated with a particular circle of $D(I)$. Having associated modules with vertices, we now associate maps with directed edges. Define $R$-module homomorphisms $m:\mathcal{A}_{2}\otimes\mathcal{A}_{2}\rightarrow\mathcal{A}_{2}$ and $\Delta:\mathcal{A}_{2}\rightarrow\mathcal{A}_{2}\otimes\mathcal{A}_{2}$ (called multiplication and comultiplication, respectively) by

[TABLE]

[TABLE]

To an edge $\varepsilon$ from $I$ to $J$ we associate the map $d_{\varepsilon}:C(D(I))\rightarrow C(D(J))$ defined as follows.

1. (1)

If $|D(J)|=|D(I)|-1$, then $D(J)$ is obtained by merging two circles of $D(I)$ into one: $d_{\varepsilon}$ acts as multiplication $m$ on the tensor factors associated to the circles being merged, and acts as the identity map on the remaining tensor factors. 2. (2)

If $|D(J)|=|D(I)|+1$ then $D(J)$ is obtained by splitting one circle of $D(I)$ into two: $d_{\varepsilon}$ acts as comultiplication $\Delta$ on the tensor factor associated to the circle being split, and acts as the identity map on the remaining tensor factors.

Suppose $D$ has $n_{+}$ positive crossings and $n_{-}$ negative crossings. Define the bigraded module

[TABLE]

Define maps $d^{i}:C^{i,*}(D)\rightarrow C^{i+1,*}(D)$ by $d^{i}=\sum_{|\varepsilon|=i}(-1)^{\varepsilon}d_{\varepsilon}$. In [9], Khovanov shows that $(C(D),d)$ is a (co)chain complex, and since the maps $d^{i}$ are polynomial degree-preserving, we get a bigraded homology $R$-module

[TABLE]

called the Khovanov homology of the link $L$ with coefficients in $R$, or, more compactly, the $R$-Khovanov homology of $L$. Proofs that $d$ is a differential and that these homology groups are independent of the diagram $D$ and the ordering of the crossings can be found in [9, 29, 3]. If $R=\mathbb{Z}$ we simply write $H(L)=H(L;\mathbb{Z})$. In this article we will focus on the rings $R=\mathbb{Z},\mathbb{Q}$, and $\mathbb{Z}_{p}$, where $p$ is a prime.

The (unnormalized) Jones polynomial is recovered as the graded Euler characteristic of Khovanov homology:

[TABLE]

3. Computational tools

3.1. A long exact sequence in Khovanov homology

Given an oriented link diagram $D$, there is a long exact sequence relating $D$ to the zero and one smoothings $D_{0}$ and $D_{1}$ at a given crossing of $D$ [9]. Each crossing in an oriented link diagram is either positive $\left(~{}\leavevmode\hbox to12.12pt{\vbox to11.95pt{\pgfpicture\makeatletter\hbox{\hskip 0.36769pt\lower-0.2pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}}{ {}{{}}{} {}{}{}{}{}{}{{}}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{11.09808pt}{11.09808pt}\pgfsys@stroke\pgfsys@invoke{ }{{}{{}}{}{}{{}}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.7071}{0.7071}{-0.7071}{0.7071}{11.2395pt}{11.2395pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} {}{{}}{} {}{}{}\pgfsys@moveto{11.38092pt}{0.0pt}\pgfsys@lineto{7.96661pt}{3.4143pt}\pgfsys@stroke\pgfsys@invoke{ } {}{{}}{} {}{}{}{}{}{}{{}}\pgfsys@moveto{3.4143pt}{7.96661pt}\pgfsys@lineto{0.28284pt}{11.09808pt}\pgfsys@stroke\pgfsys@invoke{ }{{}{{}}{}{}{{}}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{-0.7071}{0.7071}{-0.7071}{-0.7071}{0.14142pt}{11.2395pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}~{}\right)$ or negative $\left(~{}\leavevmode\hbox to12.12pt{\vbox to11.95pt{\pgfpicture\makeatletter\hbox{\hskip 0.36769pt\lower-0.2pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}}{ {}{{}}{} {}{}{}{}{}{}{{}}\pgfsys@moveto{7.96661pt}{7.96661pt}\pgfsys@lineto{11.09808pt}{11.09808pt}\pgfsys@stroke\pgfsys@invoke{ }{{}{{}}{}{}{{}}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.7071}{0.7071}{-0.7071}{0.7071}{11.2395pt}{11.2395pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} {}{{}}{} {}{}{}{}{}{}{{}}\pgfsys@moveto{11.38092pt}{0.0pt}\pgfsys@lineto{0.28284pt}{11.09808pt}\pgfsys@stroke\pgfsys@invoke{ }{{}{{}}{}{}{{}}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{-0.7071}{0.7071}{-0.7071}{-0.7071}{0.14142pt}{11.2395pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} {}{{}}{} {}{}{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{3.4143pt}{3.4143pt}\pgfsys@stroke\pgfsys@invoke{ } } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}~{}\right)$. If the crossing is negative, we set $c=n_{-}(D_{0})-n_{-}(D)$ to be the number of negative crossings in $D_{0}$ minus the number in $D$. For each $j$ there is a long exact sequence

[TABLE]

Note that in this case $D_{1}$ inherits an orientation, and $D_{0}$ must be given one. Similarly, if the crossing is positive, we set $c=n_{-}(D_{1})-n_{-}(D)$ to be the number of negative crossings in $D_{1}$ minus the number in $D$. For each $j$ there is a long exact sequence

[TABLE]

and note that in this case $D_{0}$ inherits an orientation, and $D_{1}$ must be given one.

3.2. The Bockstein spectral sequence

The Bockstein spectral sequence arises as the spectral sequence associated to an exact couple, and is a powerful tool for analyzing torsion in homology theories.

Definition 3.1**.**

Let $D_{0}$ and $E_{0}$ be $R$-modules, and let $i_{0}:D_{0}\rightarrow D_{0}$, $j_{0}:D_{0}\rightarrow E_{0}$ and $k_{0}:E_{0}\rightarrow D_{0}$ be $R$-module homomorphisms satisfying $\ker(i_{0})=\textnormal{im}(k_{0})$, $\ker(j_{0})=\textnormal{im}(i_{0})$ and $\ker(k_{0})=\textnormal{im}(j_{0})$. The pentuple $(D_{0},E_{0},i_{0},j_{0},k_{0})$ is called an exact couple. Succinctly, an exact couple is an exact diagram of $R$-modules and homomorphisms of the following form.

{D_{0}}$${D_{0}}$${E_{0}}$$\scriptstyle{i_{0}}$$\scriptstyle{j_{0}}$$\scriptstyle{k_{0}}

The map $d_{0}:E_{0}\rightarrow E_{0}$ defined by $d_{0}:=j_{0}\circ k_{0}$ satisfies $d_{0}\circ d_{0}=(j_{0}\circ k_{0})\circ(j_{0}\circ k_{0})=j_{0}\circ(k_{0}\circ j_{0})\circ k_{0}=0$ and so defines a differential on $E_{0}$. Define $E_{1}=H(E_{0},d_{0})$ to be the homology of the pair $(E_{0},d_{0})$, and define $D_{1}=\textnormal{im}(i_{0}:D_{0}\rightarrow D_{0})$. Also, define maps $i_{1}:D_{1}\rightarrow D_{1}$, $j_{1}:D_{1}\rightarrow E_{1}$ and $k_{1}:E_{1}\rightarrow D_{1}$ by $i_{1}=i_{0}|_{D_{1}}$, $j_{1}(i_{0}(a))=j_{0}(a)+d_{0}E_{0}$ and $k_{1}(e+d_{0}E_{0})=k_{0}(e)$. The resulting pentuple $(D_{1},E_{1},i_{1},j_{1},k_{1})$ is another exact couple [16, Proposition 2.7]. Iterating this process produces a sequence $(E_{r},d_{r})_{r\geq 0}$ called the spectral sequence associated to the exact couple $(D_{0},E_{0},i_{0},j_{0},k_{0})$.

Given a chain complex $(C,d)$, let us denote its integral homology by $H(C)$ and its homology over coefficients in $\mathbb{Z}_{p}$ by $H(C;\mathbb{Z}_{p})$. Consider the short exact sequence

[TABLE]

where $\times p$ is multiplication by $p$, and $\text{red}\hskip 1.42262ptp$ is reduction modulo $p$. Tensoring a chain complex $(C,d)$ with (4) yields a short exact sequence of chain complexes

{0}$${C}$${C}$${C\otimes\mathbb{Z}_{p}}$${0.}$$\scriptstyle{\times p}$$\scriptstyle{\text{red}\hskip 1.42262ptp}

The associated long exact sequence in homology can be viewed as an exact couple

[TABLE]

where $\partial$ is the connecting homomorphism.

Definition 3.2**.**

Let $p$ be prime. The spectral sequence $(E_{B}^{r},d_{B}^{r})_{r\geq 1}$ associated to the exact couple (5) is called the $\mathbb{Z}_{p}$ Bockstein spectral sequence.

The following properties of the Bockstein spectral sequence will be of great importance for our purposes, the proofs of which can be found in [16, Chapter 10] and [6, Proposition 3E.3].

1. (B1)

The first page is $(E_{B}^{1},d_{B}^{1})\cong(H(C;\mathbb{Z}_{p}),\beta)$ where $\beta=(\text{red}\hskip 1.42262ptp)\circ\partial$. 2. (B2)

The infinity page is $E_{B}^{\infty}\cong(H(C)/\text{Torsion})\otimes\mathbb{Z}_{p}$. 3. (B3)

If the Bockstein spectral sequence collapses on the $E^{k}$ page for a particular bigrading $(i,j)$, that is, if $(E_{B}^{k})^{i,j}=(E_{B}^{\infty})^{i,j}$, then $H^{i,j}(C)$ contains no $\mathbb{Z}_{p^{r}}$ torsion for $r\geq k$. 4. (B4)

If $\textnormal{rk }(d_{B}^{1})^{i-1,j}$ is equal to the number of summands of $\mathbb{Z}_{p^{r}}$ in $H^{i,j}(C)$ for all $r$, then there is no torsion of order $p^{\ell}$ in $H^{i,j}(C)$ for $\ell\geq 2$. 5. (B5)

If $C=C^{*,*}$ is a bigraded complex with a bidegree $(1,0)$ differential, then the differentials $d_{B}^{r}$ also have bidegree $(1,0)$.

For our purposes, we use the $\mathbb{Z}_{2}$ Bockstein spectral sequence and property (B4) to prove there is only $\mathbb{Z}_{2}$ torsion in certain bigradings. To this end, we will consider interactions between the Bockstein spectral sequence and the Turner spectral sequence, discussed below.

3.3. Bar-Natan homology and the Turner spectral sequence

In [3] Bar-Natan constructs another link invariant in the form of a bigraded homology theory $\textnormal{BN}^{*,*}(L)$, this time over the ring $\mathbb{Z}_{2}[u]$, where $u$ is a formal variable. This construction mirrors that of Khovanov homology as in Section 2, but using a different Frobenius algebra. Setting $u=1$, one obtains the singly graded filtered Bar-Natan homology, denoted $\textnormal{BN}^{*}(L)^{\prime}$. Filtered Bar-Natan homology can be constructed as in Section 2, but with differential defined via the following multiplication and comultiplication:

[TABLE]

[TABLE]

Turner shows the following in [28, Theorem 3.1].

Lemma 3.3** (Turner).**

Let $L$ be an oriented link with $k$ components. Then, $\dim_{\mathbb{Z}_{2}}(\textnormal{BN}^{*}(L)^{\prime})=2^{k}$. Specifically, if the components of $L$ are $L_{1},L_{2},\ldots,L_{k}$, then

[TABLE]

where $lk(L_{\ell},L_{m})$ is the linking number between $L_{\ell}$ and $L_{m}$.

Example 3.4**.**

Let $T(3,q)$ be the $(3,q)$-torus link. Specifically, $T(3,3n)$ is the closure of the braid $\Delta^{2n}$, $T(3,3n+1)$ is the closure of the braid $\Delta^{2n}\sigma_{1}\sigma_{2}$ and $T(3,3n+2)$ is the closure of $\Delta^{2n}(\sigma_{1}\sigma_{2})^{2}$, each oriented so that crossings in $\Delta$ are negative crossings.

1. (1)

The torus link $T(3,3n)$ has three components and $BN^{0}(T(3,3n))\cong\mathbb{Z}_{2}^{2}$, $\textnormal{BN}^{-4n}(T(3,3n))^{\prime}\cong\mathbb{Z}_{2}^{6}$ and $\textnormal{BN}^{i}(T(3,3n))^{\prime}\cong 0$ for $i\neq 0$ or $-4n$. 2. (2)

The torus knot $T(3,3n+1)$ satisfies $\textnormal{BN}^{0}(T(3,3n+1))^{\prime}\cong\mathbb{Z}_{2}^{2}$ and $\textnormal{BN}^{i}(T(3,3n+1))^{\prime}\cong 0$ for $i\neq 0$. 3. (3)

The torus knot $T(3,3n+2)$ satisfies $\textnormal{BN}^{0}(T(3,3n+2))^{\prime}\cong\mathbb{Z}_{2}^{2}$ and $\textnormal{BN}^{i}(T(3,3n+2))^{\prime}\cong 0$ for $i\neq 0$.

In [28] Turner defines a map $d_{T}$ on the $\mathbb{Z}_{2}$-Khovanov complex in the same manner as the Khovanov differential $d$, but with multiplication and comultiplication given by

[TABLE]

[TABLE]

and the map $d_{T}$ satisfies $d_{T}^{2}=0$ and $d\circ d_{T}+d_{T}\circ d=0$.

Definition 3.5** (Turner).**

Let $D$ be a diagram of a link $L$ and $(C(D;\mathbb{Z}_{2}),d)$ be the $\mathbb{Z}_{2}$-Khovanov complex. The spectral sequence $(E_{T}^{r},d_{T}^{r})_{r\geq 1}$ associated to the double complex $(C(D;\mathbb{Z}_{2}),d,d_{T})$ is called the Turner spectral sequence.

The Turner spectral sequence satisfies the following properties.

1. (T1)

The first page is $(E_{T}^{1},d_{T}^{1})\cong(H(L;\mathbb{Z}_{2}),d_{T}^{*})$ where $d_{T}^{*}:H(L;\mathbb{Z}_{2})\rightarrow H(L;\mathbb{Z}_{2})$ is the induced map on homology. 2. (T2)

Each map $d_{T}^{r}$ is a differential of bidegree $(1,2r)$. 3. (T3)

If $L$ is homologically thin over $\mathbb{Z}_{2}$, then the Turner spectral sequence collapses at the second page. 4. (T4)

The dimension of the infinity page of the Turner spectral sequence is $2^{n}$ where $n$ is the number of components of $L$. There is a generator $s_{\mathfrak{o}}$ for each orientation $\mathfrak{o}$ of $L$ representing a nontrivial homology classes on the infinity page of the Turner spectral sequence. Let $\overline{\mathfrak{o}}$ be the reverse orientation of $\mathfrak{o}$. The polynomial gradings of $s_{\mathfrak{o}}$ and $s_{\mathfrak{o}}+s_{\overline{\mathfrak{o}}}$ differ by two, while Lemma 3.3 implies their homological gradings are the same. In summary, if $P=\mathbb{Z}_{2}\oplus\mathbb{Z}_{2}$, where one copy of $\mathbb{Z}_{2}$ is in bidegree $(0,1)$ and the other is in bidegree $(0,-1)$, then

[TABLE]

Because $E^{1}_{T}\cong H(L;\mathbb{Z}_{2})$, there are nontrivial $\mathbb{Z}_{2}$ summands in $H^{h_{i},p_{i}\pm 1}(L;\mathbb{Z}_{2})$. See the proof of Theorem 3.1 in [28] and Proposition 2.6 in [12] for details. 5. (T5)

The Turner spectral sequence converges to Bar-Natan homology: $E_{T}^{r}\implies\textnormal{BN}^{*}(L)^{\prime}$, where

[TABLE]

The next ingredient we need is a ‘vertical’ differential on the $\mathbb{Z}_{2}$-Khovanov complex due to Shumakovitch [24]. Let $D$ be a diagram of a link $L$. A differential $\nu:C(D;\mathbb{Z}_{2})\rightarrow C(D;\mathbb{Z}_{2})$ is defined as follows. Recall that for a Kauffman state $D(I)$, the algebra $C(D(I))$ has $2^{|D(I)|}$ generators of the form $a_{1}\otimes a_{2}\otimes\cdots\otimes a_{|D(I)|}$ where $a_{i}\in\{1,X\}$ and $|D(I)|$ is the number of circles in $D(I)$. For each Kauffman state we define a map $\nu_{D(I)}:C(D(I))\rightarrow C(D(I))$ by sending a generator to the sum of all possible generators obtained by replacing a single $X$ with a $1$. For example, $X\otimes X\otimes X\mapsto 1\otimes X\otimes X+X\otimes 1\otimes X+X\otimes X\otimes 1$. We then extend $\nu_{D(I)}$ linearly to all of $C(D(I))$, and then to a map $\nu:C(D;\mathbb{Z}_{2})\rightarrow C(D;\mathbb{Z}_{2})$. The properties of this map relevant to our purposes are given below, the proofs of which can be found in Shumakovitch [24].

1. (V1)

The map $\nu$ is a differential of bidegree $(0,2)$. 2. (V2)

The map $\nu$ commutes with the Khovanov differential $d$, and so induces a map (differential) $\nu^{*}:H(L;\mathbb{Z}_{2})\rightarrow H(L;\mathbb{Z}_{2})$ on homology. 3. (V3)

The complex $(H(L;\mathbb{Z}_{2}),\nu^{*})$ is acyclic, that is, it has trivial homology.

The following lemma of Shumakovitch [25, Lemma 3.2.A] is the key to proving Theorem 4.6. It relates the first $\mathbb{Z}_{2}$ Bockstein map with the Turner and vertical differentials. We use the behavior of the Turner spectral sequence and the acyclic homology induced by $\nu$ to determine when the $\mathbb{Z}_{2}$ Bockstein spectral sequence collapses.

Lemma 3.6** (Shumakovitch).**

Let $L$ be a link. The Bockstein, Turner and vertical differentials on the $\mathbb{Z}_{2}$-Khovanov homology $H(L;\mathbb{Z}_{2})$ of $L$ are related by $d_{T}^{*}=d_{B}^{1}\circ\nu^{*}+\nu^{*}\circ d_{B}^{1}$.

3.4. The Lee spectral sequence

Lee [10] defined an endomorphism on Khovanov homology that Rasmussen [23] used to define the $s$ concordance invariant. Let $R$ be either $\mathbb{Q}$ or $\mathbb{Z}_{p}$ where $p$ is an odd prime. The Lee differential $d_{L}:C(D;R)\to C(D;R)$ is defined in the same way as the Khovanov differential $d$, but with multiplication and comultiplication given by

[TABLE]

[TABLE]

The map $d_{L}$ satisfies $d^{2}_{L}=0$ and $d\circ d_{L}+d_{L}\circ d=0$. The resulting singly graded homology theory is a link invariant, denoted $\operatorname{Lee}^{*}(L;R)$, and it behaves as follows.

Lemma 3.7** (Lee).**

Let $L$ be an oriented link with $k$ components. Then, $\dim_{R}(\operatorname{Lee}^{*}(L;R))=2^{k}$. Specifically, if the components of $L$ are $L_{1},L_{2},\ldots,L_{k}$, then

[TABLE]

where $lk(L_{\ell},L_{m})$ is the linking number between $L_{\ell}$ and $L_{m}$.

Definition 3.8**.**

Let $D$ be a diagram of a link $L$ and $(C(D;R),d)$ be the $R$-Khovanov complex. The spectral sequence $(E_{L}^{r},d_{L}^{r})_{r\geq 1}$ associated to the double complex $(C(D;R),d,d_{L})$ is called the $R$-Lee spectral sequence.

The $R$-Lee spectral sequence satisfies the following properties.

1. (L1)

The first page is $(E_{L}^{1},d_{L}^{1})\cong(H(L;R),d_{L}^{*})$ where $d_{L}^{*}:H(L;R)\rightarrow H(L;R)$ is the induced map on homology. 2. (L2)

Each map $d_{L}^{r}$ is a differential of bidegree $(1,4r)$. 3. (L3)

The dimension of the infinity page of the Lee spectral sequence is $2^{n}$ where $n$ is the number of components of $L$. There is a generator $s_{\mathfrak{o}}$ for each orientation $\mathfrak{o}$ of $L$ representing the nontrivial homology classes on the infinity page of the Lee spectral sequence. Let $\overline{\mathfrak{o}}$ be the reverse orientation of $\mathfrak{o}$. The polynomial gradings of $s_{\mathfrak{o}}+s_{\overline{\mathfrak{o}}}$ and $s_{\mathfrak{o}}-s_{\overline{\mathfrak{o}}}$ differ by two, while Lemma 3.7 implies their homological gradings are the same. In summary, if $P=R\oplus R$, where one copy of $R$ is in bidegree $(0,1)$ and the other is in bidegree $(0,-1)$, then

[TABLE]

Because $E^{1}_{L}\cong H(L;R)$, there are nontrivial $R$ summands in $H^{h_{i},p_{i}\pm 1}(L;R)$. Because $E^{1}_{L}\cong H(L;R)$, there is a bigraded submodule $S$ of $H(L;R)$ isomorphic to $E_{L}^{\infty}$. See Section 4.4 in [10], Proposition 3.3 in [23], and Definition 7.1 in [4] for details. 4. (L4)

The Lee spectral sequence converges to Lee homology $E_{L}^{r}\implies\operatorname{Lee}^{*}(L;R)$, where

[TABLE]

4. The main result

We now prove several lemmas that will lead to the proofs of Theorems 4.6 and 4.7. Throughout the proofs, we take advantage of the properties of the $\mathbb{Z}_{2}$-Bockstein spectral sequence, Turner spectral sequence, Lee spectral sequence and vertical differential $\nu^{*}$, described in Section 3.

Suppose that $H(L)$ is thin over the interval $[i_{1},i_{2}]$, and let $H^{[i_{1},i_{2}]}(L;R)$ denote the direct sum

[TABLE]

As before, we drop the $R$ from the notation in the case where $R=\mathbb{Z}$. Our first lemma states that all torsion in homological gradings $(i_{1},i_{2}]$ must be supported on the lower diagonal.

Lemma 4.1**.**

If $H(L)$ is thin over $[i_{1},i_{2}]$ where $H^{[i_{1},i_{2}]}(L)$ is supported in bigradings $(i,j)$ with $2i-j=s\pm 1$ for some $s\in\mathbb{Z}$, then any torsion summand of $H^{[i_{1},i_{2}]}(L)$ with homological gradings $i>i_{1}$ is supported on the lower diagonal in bigrading $(i,2i-s-1)$.

Proof.

If $H^{i,2i-s+1}(L)$ has a nontrivial torsion summand for some $i\in(i_{1},i_{2}]$, then the universal coefficient theorem implies that $H^{i-1,2i-s+1}(L;\mathbb{Z}_{p})$ is nontrivial for some $p$, contradicting the fact that $H(L)$ is thin over $[i_{1},i_{2}]$. Therefore all torsion in homological gradings $(i_{1},i_{2}]$ appears in bigradings of the form $(i,2i-s-1)$. ∎

Our next lemma gives a sufficient condition to ensure that $H^{[i_{1},i_{2}]}(L;\mathbb{Z})$ has no odd torsion.

Lemma 4.2**.**

Suppose that $H(L)$ is thin over $[i_{1},i_{2}]$, all Lee differentials are zero in homological grading $i_{1}-1$, and that

[TABLE]

for each odd prime $p$. Then $H^{[i_{1},i_{2}]}(L;\mathbb{Z})$ contains no torsion of odd order.

Proof.

Let $R$ be $\mathbb{Q}$ or $\mathbb{Z}_{p}$ for an odd prime $p$. Since $H(L)$ is thin over $[i_{1},i_{2}]$, it follows that there is an $s\in\mathbb{Z}$ such that $H^{[i_{1},i_{2}]}(L)$ is supported in bigradings $(i,j)$ with $2i-j=s\pm 1$. Lemma 3.7 implies that the homological gradings of $E^{\infty}_{L}$ are determined by the linking numbers of the components of $L$, and thus do not depend on $R$. Because $H(L)$ is thin over $[i_{1},i_{2}]$, Property (L3) implies that in each homological grading $i\in[i_{1},i_{2}]$ where $E^{\infty}_{L}$ is nontrivial, its polynomial gradings are $2i-s-1$ and $2i-s+1$, and hence do not depend on $R$. Therefore, for each $i\in[i_{1},i_{2}]$,

[TABLE]

We show that if $i\in[i_{1},i_{2}]$, then there cannot be any torsion in $H^{i,*}(L)$ of the form $\mathbb{Z}_{p^{r}}$ for an odd prime $p$. By way of contradiction suppose that for some $i\in[i_{1},i_{2}]$, the group $H^{i,2i-s-1}(L)$ contains a torsion summand of the form $\mathbb{Z}_{p^{r}}$ for some $r>0$. The universal coefficient theorem implies that

[TABLE]

If $i_{1}=i$ or $i_{1}=i-1$, then we have a contradiction, and so we assume that $i_{1}<i-1$. Equation (6) and the previous inequality imply that the rank of the bidegree $(1,4)$ Lee map in bigrading $(i-2,2i-s-5)$ over $\mathbb{Z}_{p}$ is greater than its rank over $\mathbb{Q}$. If $i_{1}=i-2$, then the Lee differential $(d_{L}^{r})^{i-3,j}$ is trivial on all pages $r>0$ and for all $j$ by assumption, and if $i_{1}<i-2$, then the Lee differential $(d_{L}^{r})^{i-3,j}$ is trivial on all pages $r>0$ and for all $j\leq 2i-s-9$ because $H(L)$ is thin over $[i_{1},i_{2}]$. Consequently,

[TABLE]

Since $H(L)$ is thin over $[i_{1},i_{2}]$, it follows that $H^{i-1,2i-s-5}(L)=0$, and in particular, there is no $\mathbb{Z}_{p^{r}}$ torsion summand in bigrading $(i-1,2i-s-5)$. Thus the universal coefficient theorem implies there is a $\mathbb{Z}_{p^{r^{\prime}}}$ torsion summand in bigrading $(i-2,2i-s-5)$ for some $r^{\prime}>0$. In summary, a $\mathbb{Z}_{p^{r}}$ torsion summand in homological grading $i$ induces a dimension inequality in homological gradings $i,i-1$, and $i-2$, and it induces a $\mathbb{Z}_{p^{r^{\prime}}}$ summand in homological grading $i-2$. Since $i\in[i_{1},i_{2}]$ is arbitrary, repeating this argument for each new torsion summand implies that

[TABLE]

which is a contradiction. ∎

Our next lemma states that in a thin region, the induced Turner map $d_{T}^{*}$ has the same rank on the lower and upper diagonals.

Lemma 4.3**.**

Suppose that $H(L)$ is thin over $[i_{1},i_{2}]$ where $H^{[i_{1},i_{2}]}(L)$ is supported in bigradings $(i,j)$ with $2i-j=s\pm 1$ for some $s\in\mathbb{Z}$. If $i\in[i_{1},i_{2})$, then

[TABLE]

Proof.

Lemma 3.6 states that $d_{T}^{*}=d_{B}^{1}\circ\nu^{*}+\nu^{*}\circ d_{B}^{1}$. Because $\nu^{*}\circ\nu^{*}=0$, it follows that

[TABLE]

Property (V3) and the fact that $H(L)$ is thin over $[i_{1},i_{2}]$ imply that $\nu^{*}$ is an isomorphism in homological gradings $[i_{1},i_{2}]$, which then implies the desired result. ∎

Suppose that $H(L)$ is thin over $[i_{1},i_{2}]$ where $H^{[i_{1}.i_{2}]}(L)$ is supported in bigradings $(i,j)$ with $2i-j=s\pm 1$ for some $s\in\mathbb{Z}$. Also, suppose that all Lee differentials in homological grading $i_{1}-1$ are trivial and that $\dim_{\mathbb{Q}}H^{i_{1},*}(L;\mathbb{Q})=\dim_{\mathbb{Z}_{p}}H^{i_{1},*}(L;\mathbb{Z}_{p})$. Lemmas 4.1 and 4.2 imply that the upper diagonal of $H^{[i_{1},i_{2}]}(L)$ is torsion-free and that all torsion on the lower diagonal is of the form $\mathbb{Z}_{2^{r}}$ for various different values of $r$. Therefore, $H^{i,2i-s+1}(L)\cong\mathbb{Z}^{k_{i}^{+}}$ and

[TABLE]

for some $k_{i}^{+},k_{i}^{-},\ell_{i},r_{1},\dots,r_{\ell_{i}}\in\mathbb{Z}$ and for each $i\in[i_{1},i_{2}]$. Figure 4 represents the different summands in the thin region. Lemmas 3.3 and 3.7, together with (T4) and (L3) imply that $\dim_{\mathbb{Q}}(E_{L}^{\infty})^{i,2i-s\pm 1}=\dim_{\mathbb{Z}_{2}}(E_{T}^{\infty})^{i,2i-s\pm 1}$ when $i\in[i_{1},i_{2}]$. For each $i\in[i_{1},i_{2}]$, let $n_{i}=\dim_{\mathbb{Q}}(E_{L}^{\infty})^{i,2i-s\pm 1}=\dim_{\mathbb{Z}_{2}}(E_{T}^{\infty})^{i,2i-s\pm 1}$. The notation established in this paragraph will be used in the statements and proofs of Lemmas 4.4 and 4.5.

Since the Turner and Lee spectral sequences use coefficients that are fields, it follows that the infinity page of each spectral sequence is determined by the first page and the ranks of certain differentials in the respective spectral sequences. Specifically, for any $i$ and $j$ in $\mathbb{Z}$,

[TABLE]

The proofs of Lemmas 4.4 and 4.5 below make use of these formulas along with the fact that most of the maps in the infinite sums above are trivial for grading reasons.

Our next lemma states that the Turner spectral sequence collapses at the second page in a thin region if all incoming Turner differentials are trivial. If the entire homology is thin, then this lemma gives a proof of property (T3).

Lemma 4.4**.**

Suppose that $H(L)$ is thin over $[i_{1},i_{2}]$ for integers $i_{1}$ and $i_{2}$ and that $(d_{T}^{r})^{i_{1}-1,j}=0$ for all $r\geq 1$ and for all $j\in\mathbb{Z}$. If $i\in[i_{1},i_{2})$, then $(d_{T}^{r})^{i,j}=0$ for all $r\geq 2$ and for all $j\in\mathbb{Z}$.

Proof.

Since $H(L)$ is thin over $[i_{1},i_{2}]$, there is an $s\in\mathbb{Z}$ such that $H^{[i_{1},i_{2}]}(L)$ is supported in bigradings $(i,j)$ with $2i-j=s\pm 1$. Also, since $H(L)$ is thin over $[i_{1},i_{2}]$ and $d_{T}^{r}$ has bidegree $(1,2r)$, it follows that if $r\geq 3$, then the map $(d_{T}^{r})^{i,j}=0$ for all $i\in[i_{1},i_{2})$ and for all $j\in\mathbb{Z}$ because either its domain or codomain is trivial. Suppose that the Turner differential on the second page is nonzero somewhere in the thin region. Let $i$ be the minimum homological grading in $[i_{1},i_{2})$ such that $(d_{T}^{2})^{i,j}$ is nonzero for some $j$. For grading reasons, it must be the case that the domain of $(d_{T}^{2})^{i,j}$ is on the bottom diagonal while the codomain of $(d_{T}^{2})^{i,j}$ is on the top diagonal. Thus $j=2i-s-1$, and Equation 7 implies

[TABLE]

where in the second equation, there is no $\textnormal{rk }(d_{T}^{2})^{i-1,2i-s-3}$ term because $i$ is the minimum homological grading in $[i_{1},i_{2})$ where $(d_{T}^{2})^{i,j}$ is nontrivial. Property (T4) implies that $\dim(E_{T}^{\infty})^{i,2i-s-1}=\dim(E_{T}^{\infty})^{i,2i-s+1}$, and since $(E_{T}^{1})^{i,j}\cong H^{i,j}(L;\mathbb{Z}_{2})$, property (V3) implies that $\dim_{\mathbb{Z}_{2}}(E_{T}^{1})^{i,2i-s-1}=\dim_{\mathbb{Z}_{2}}(E_{T}^{1})^{i,2i-s+1}.$

If $i=i_{1}$, then $\textnormal{rk }(d_{T}^{1})^{i-1,2i-s-3}=\textnormal{rk }(d_{T}^{1})^{i-1,2i-s-1}=0$ by assumption, and $\textnormal{rk }(d_{T}^{1})^{i_{1},2i_{1}-s-1}=\textnormal{rk }(d_{T}^{1})^{i_{1},2i_{1}-s+1}$ by Lemma 4.3. If $i>i_{1}$, then Lemma 4.3 implies that $\textnormal{rk }(d_{T}^{1})^{i-1,2i-s-3}=\textnormal{rk }(d_{T}^{1})^{i-1,2i-s-1}$ and $\textnormal{rk }(d_{T}^{1})^{i,2i-s-1}=\textnormal{rk }(d_{T}^{1})^{i,2i-s+1}$. Since $\textnormal{rk }(d_{T}^{2})^{i,2i-s-1}>0$ by assumption, we have a contradiction in either case. Therefore $(d_{T}^{2})^{i,j}$ is zero for all $i\in[i_{1},i_{2})$ and for all $j\in\mathbb{Z}$. ∎

Our next lemma shows a relationship between the ranks of the Turner and Lee differentials in a thin region and also between the number of torsion summands of the form $\mathbb{Z}_{2^{r}}$ for various values of $r$.

Lemma 4.5**.**

Suppose that a link $L$ satisfies:

1. (1)

$H(L)$* is thin over $[i_{1},i_{2}]$ for integers $i_{1}$ and $i_{2}$,* 2. (2)

$H^{i_{1},*}(L)$* is torsion-free, and* 3. (3)

all Lee and Turner differentials are zero in homological grading $i_{1}-1$ on every page of the respective spectral sequences.

Then for each $i\in[i_{1},i_{2})$,

[TABLE]

where $\ell_{i+1}=\dim_{\mathbb{Z}_{2}}H^{i+1,2i-s+1}(L)\otimes\mathbb{Z}_{2}-\textnormal{rk }H^{i+1,2i-s+1}(L)$ is the number of summands of the form $\mathbb{Z}_{2^{r}}$ for various values of $r$ in $H^{i+1,2i-s+1}(L)$.

Proof.

Since $H(L)$ is thin over $[i_{1},i_{2}]$, there is an $s\in\mathbb{Z}$ such that $H^{[i_{1},i_{2}]}(L)$ is supported in bigradings $(i,j)$ with $2i-j=s\pm 1$. We proceed by induction on the homological grading $i$.

For the base case, we prove the desired statement when $i=i_{1}$. The left side of Figure 5 depicts the maps involved in the base case. All incoming Lee maps are trivial, and thus Equation 8 implies $\textnormal{rk }H^{i_{1},2i_{1}-s+1}(L)=k_{i_{1}}^{+}=n_{i_{1}}=\dim_{\mathbb{Q}}(E_{L}^{\infty})^{i_{1},2i_{1}-s+1}$. The dimension of $H^{i_{1},2i_{1}-s+1}(L;\mathbb{Z}_{2})$ is $n_{i_{1}}+\ell_{i_{1}+1}$. Equation 7 implies

[TABLE]

and thus $\textnormal{rk }(d_{T}^{*})^{i_{1},2i_{1}-s+1}=\ell_{i_{1}+1}$. Lemma 4.3 then implies $\textnormal{rk }(d_{T}^{*})^{i_{1},2i_{1}-s-1}=\textnormal{rk }(d_{T}^{*})^{i_{1},2i_{1}-s+1}=\ell_{i_{1}+1}$.

Since $\dim_{\mathbb{Q}}(E_{L}^{\infty})^{i_{1},2i_{1}-s-1}=n_{i_{1}}$ and all Lee maps in homological grading $i_{1}-1$ are trivial, Equation 8 implies that $\textnormal{rk }(d_{L}^{*})^{i_{1},2i_{1}-s-1}=\textnormal{rk }H^{i_{1},2i_{1}-s-1}(L)-\dim_{\mathbb{Q}}(E_{L}^{\infty})^{i_{1},2i_{1}-s-1}=k_{i_{1}}^{-}-n_{i_{1}}$. Because $H^{i_{1},*}(L)$ is torsion free, $\ell_{i_{1}}=0$ , and thus $\dim_{\mathbb{Z}_{2}}H^{i_{1},2i_{1}-s-1}(L;\mathbb{Z}_{2})=\dim_{\mathbb{Z}_{2}}(E_{T}^{1})^{i_{1},2i_{1}-s-1}=k_{i_{1}}^{-}$. Lemma 4.4 implies that $(d_{T}^{2})^{i_{1},2i_{1}-s-1}=0$, and since all Turner maps in homological grading $i_{1}-1$ are trivial, Equation 7 implies that $\textnormal{rk }(d_{T}^{*})^{i_{1},2i_{1}-s-1}=\dim_{\mathbb{Z}_{2}}H^{i_{1},2i_{1}-s-1}(L;\mathbb{Z}_{2})-\dim_{\mathbb{Z}_{2}}(E_{T}^{\infty})^{i_{1},2i_{1}-s-1}=k_{i_{1}}^{-}-n_{i_{1}}.$ Therefore $\textnormal{rk }(d_{T}^{*})^{i_{1},2i_{1}-s-1}=\textnormal{rk }(d_{L}^{*})^{i_{1},2i_{1}-s-1}$, which completes the base case.

For the inductive step, let $i\in(i_{1},i_{2})$ and assume that $\textnormal{rk }(d_{T}^{*})^{i-1,2i-s-3}=\textnormal{rk }(d_{L}^{*})^{i-1,2i-s-3}=\ell_{i}$. The right side of Figure 5 depicts the maps involved in the inductive step. Because the Lee spectral sequence collapses at the second page in bigrading $(i,2i-s+1)$, Equation 8 implies that $\dim_{\mathbb{Q}}(E_{L}^{\infty})^{i,2i-s+1}=n_{i}=k_{i}^{+}-\textnormal{rk }(d_{L}^{*})^{i-1,2i-s-3}$. Similarly, since Lemma 4.4 implies that the Turner spectral sequence collapses at the second page in bigrading $(i,2i-s+1)$, Equation 7 implies that $\dim_{\mathbb{Z}_{2}}(E_{T}^{\infty})^{i,2i-s+1}=n_{i}=k_{i}^{+}+\ell_{i+1}-\textnormal{rk }(d_{T}^{*})^{i-1,2i-s-1}-\textnormal{rk }(d_{T}^{*})^{i,2i-s+1}.$ Therefore, in our notation, the equation $\dim_{\mathbb{Z}_{2}}(E_{T}^{\infty})^{i,2i-s\pm 1}=n_{i}=\dim_{\mathbb{Q}}(E_{L}^{\infty})^{i,2i-s\pm 1}$ for all bigradings with $i_{1}<i<i_{2}$ can be written in the following way:

[TABLE]

The inductive hypothesis implies that $\textnormal{rk }(d_{L}^{*})^{i-1,2i-s-3}=\textnormal{rk }(d_{T}^{*})^{i-1,2i-s-3}$, and Lemma 4.3 implies that $\textnormal{rk }(d_{T}^{*})^{i-1,2i-s-3}=\textnormal{rk }(d_{T}^{*})^{i-1,2i-s-1}$. Therefore $\textnormal{rk }(d_{L}^{*})^{i-1,2i-s-3}=\textnormal{rk }(d_{T}^{*})^{i-1,2i-s-1}$, and thus Equation 9 implies that $\textnormal{rk }(d_{T}^{*})^{i,2i-s+1}=\ell_{i+1}$. Lemma 4.3 then implies that $\textnormal{rk }(d_{T}^{*})^{i,2i-s-1}=\textnormal{rk }(d_{T}^{*})^{i,2i-s+1}=\ell_{i+1}$.

Because the Lee spectral sequence collapses at the second page in bigrading $(i,2i-s-1)$, Equation 8 implies that $\dim_{\mathbb{Q}}(E_{L}^{\infty})^{i,2i-s-1}=n_{i}=k_{i}^{-}-\textnormal{rk }(d_{L}^{*})^{i,2i-s-1}$. Similarly, because Lemma 4.4 implies that the Turner spectral sequence collapses at the second page in bigrading $(i,2i-s-1)$, Equation 7 implies that $\dim_{\mathbb{Z}_{2}}(E_{T}^{\infty})^{i,2i-s-1}=n_{i}=k_{i}^{-}+\ell_{i}-\textnormal{rk }(d_{T}^{*})^{i-1,2i-s-3}-\textnormal{rk }(d_{T}^{*})^{i,2i-s-1}$. The inductive hypothesis states that $\textnormal{rk }(d_{T}^{*})^{i-1,2i-s-3}=\ell_{i}$, and thus $n_{i}=k_{i}^{-}-\textnormal{rk }(d_{T}^{*})^{i,2i-s-1}$. Therefore $\textnormal{rk }(d_{T}^{*})^{i,2i-s-1}=\textnormal{rk }(d_{L}^{*})^{i,2i-s-1}$, completing the proof. ∎

We can now combine the previous lemmas to give sufficient conditions for all torsion in a thin region to be of order two.

Theorem 4.6**.**

Suppose that a link $L$ satisfies:

1. (1)

$H(L)$* is thin over $[i_{1},i_{2}]$ for integers $i_{1}$ and $i_{2}$,* 2. (2)

$\dim_{\mathbb{Q}}H^{i_{1},*}(L;\mathbb{Q})=\dim_{\mathbb{Z}_{p}}H^{i_{1},*}(L;\mathbb{Z}_{p})$* for each odd prime $p$,* 3. (3)

$H^{i_{1},*}(L)$* is torsion-free, and* 4. (4)

all Lee and Turner differentials are zero in homological grading $i_{1}-1$ on every page of the respective spectral sequences.

If $i\in[i_{1},i_{2}]$, then all torsion in $H^{i,*}(L)$ is $\mathbb{Z}_{2}$ torsion, that is, $H^{[i_{1},i_{2}]}(L)\cong\mathbb{Z}^{k}\oplus\mathbb{Z}_{2}^{\ell}$ for some $k,\ell\geq 0$.

Proof.

Since $H(L)$ is thin over $[i_{1},i_{2}]$, there is an integer $s$ such that $H^{[i_{1},i_{2}]}(L)$ is supported in bigradings $(i,j)$ satisfying $2i-j=s\pm 1$. Lemma 4.1 implies that all torsion in $H^{[i_{1},i_{2}]}(L)$ occurs on the lower diagonal, i.e. in bigradings $(i,2i-s-1)$ for $i\in(i_{1},i_{2}]$. Lemma 4.2 implies that $H^{[i_{1},i_{2}]}(L)$ does not contain any torsion summands of $\mathbb{Z}_{p^{r}}$ for any odd prime $p$. Therefore $H^{[i_{1},i_{2}]}(L)$ consists of $\mathbb{Z}$ and $\mathbb{Z}_{2^{r}}$ summands for various values of $r$.

Lemmas 3.6 and 4.5 imply that $\textnormal{rk }(d_{B}^{1})^{i,2i-s+1}=\textnormal{rk }(d_{T}^{*})^{i,2i-s-1}=\ell_{i+1}$ for each $i\in[i_{1},i_{2})$. Property (B4) of the Bockstein spectral sequence implies that there is no torsion in $H^{[i_{1},i_{2}]}(L)$ of order $2^{r}$ for $r>1$. Therefore, the only torsion in $H^{i,*}(L)$ is of the form $\mathbb{Z}_{2}$ for $i\in[i_{1},i_{2}]$. ∎

The main theorem of the paper follows from Theorem 4.6.

Theorem 4.7**.**

Suppose that a link $L$ satisfies:

1. (1)

$H(L)$* is thin over $[i_{1},i_{2}]$ for integers $i_{1}$ and $i_{2}$ where $H^{[i_{1},i_{2}]}(L)$ is supported in bigradings $(i,j)$ with $2i-j=s\pm 1$ for some $s\in\mathbb{Z}$,* 2. (2)

$\dim_{\mathbb{Q}}H^{i_{1},*}(L;\mathbb{Q})=\dim_{\mathbb{Z}_{p}}H^{i_{1},*}(L;\mathbb{Z}_{p})$* for each odd prime $p$,* 3. (3)

$H^{i_{1},*}(L)$* is torsion-free, and* 4. (4)

$H^{i_{1}-1,j}(L)$* is trivial when $j\leq 2i_{1}-s-3.$*

Then all torsion in $H^{i,*}(L)$ is $\mathbb{Z}_{2}$ torsion for $i\in[i_{1},i_{2}]$, that is, $H^{[i_{1},i_{2}]}(L)=\mathbb{Z}^{k}\oplus\mathbb{Z}_{2}^{\ell}$ for some $k,\ell\geq 0$.

Proof.

Property (L2) states that the Lee differential on the $E^{r}_{L}$ page has bidegree $(1,4r)$. Since $H^{i_{1}-1,j}(L)$ is trivial when $j\leq 2i_{1}-s-3$, all Lee differentials in homological grading $i_{1}-1$ are zero. Property (T2) states that the Turner differential on the $E^{r}_{T}$ page has bidegree $(1,2r)$. Thus the only potential nonzero differential is $(d_{T}^{*})^{i_{1}-1,2i_{1}-s-1}$ from $H^{i_{1}-1,2i_{1}-s-1}(L;\mathbb{Z}_{2})$ to $H^{i_{1},2i_{1}-s+1}(L;\mathbb{Z}_{2})$. By Lemma 3.6, we have $(d_{T}^{*})^{i_{1}-1,2i_{1}-s-1}=(d_{B}^{1})^{i_{1}-1,2i_{1}-s+1}\circ(\nu^{*})^{i_{1}-1,2i_{1}-s-1}+(\nu^{*})^{i_{1},2i_{1}-s-1}\circ(d_{B}^{1})^{i_{1}-1,2i_{1}-s-1}$. If $(d_{T}^{*})^{i_{1}-1,2i_{1}-s-1}$ is nonzero, then at least one of $(d_{B}^{1})^{i_{1}-1,2i_{1}-s+1}$ or $(d_{B}^{1})^{i_{1}-1,2i_{1}-s-1}$ is also nonzero, contradicting the fact that $H^{i_{1},*}(L)$ has no torsion. Thus $(d_{T}^{*})^{i_{1}-1,2i_{1}-s-1}=0$. Therefore, all Turner differentials in homological grading $i_{1}-1$ are zero. The result follows from Theorem 4.6. ∎

5. An application to 3-braids

There are a number of results about the Khovanov homology of closed $3$-braids, but a full computation of the Khovanov homology of closed $3$-braids remains open. Turner [27] computed the Khovanov homology of the $(3,q)$ torus links $T(3,q)$ over coefficients in $\mathbb{Q}$ or $\mathbb{Z}_{p}$ for an odd prime $p$ (see also Stošić [26]). Benheddi [5] computed the reduced Khovanov homology of $T(3,q)$ with coefficients in $\mathbb{Z}_{2}$. Let $\widetilde{H}(L;\mathbb{Z}_{2})$ be the reduced Khovanov homology of $L$ with $\mathbb{Z}_{2}$ coefficients. The Khovanov homology of $T(3,q)$ with coefficients in $\mathbb{Z}_{2}$, shown here in Figure 7, can be obtained from Benheddi’s computations via the isomorphism

[TABLE]

from Corollary 3.2.C in [24]. We recover our $j$ grading from Benheddi’s $\delta$ grading by letting $j=\delta+2i$. Both Turner and Benheddi’s computations play a crucial role in our proofs.

The literature on the Khovanov homology of non-torus closed $3$-braids is considerably more sparse. Baldwin [2] proved that a closed $3$-braid is quasi-alternating if and only if its Khovanov homology is homologically thin. Abe and Kishimoto [1] used the Rasmussen $s$-invariant to compute the alternation number and dealternating number of many closed $3$-braids. Lowrance [13] computed the homological width of the Khovanov homology of all closed $3$-braids.

Over the next few sections, we prove Theorem 5.5, showing that all torsion in the Khovanov homology of a closed braid in $\Omega_{0},\Omega_{1},\Omega_{2}$, or $\Omega_{3}$ is $\mathbb{Z}_{2}$ torsion. In this section, we use the same notation for a braid and its closure when the context is clear. First, we argue that it suffices to prove Theorem 5.5 when the exponent $n$ in $\Delta^{n}$ in the braid word is non-negative. Using Turner’s [27] and Benheddi’s [5] computations together with the long exact sequences 2 and 3, we obtain the Khovanov homology for all links in $\Omega_{0},\Omega_{1},\Omega_{2}$ and $\Omega_{3}$, over $\mathbb{Q}$ and $\mathbb{Z}_{p}$ where $p$ is any prime. Finally, we use these computations together with Theorem 4.7 to obtain the integral Khovanov homology.

5.1. Reducing to the case $n\geq 0$

Murasugi’s classification of $B_{3}$ expresses any 3-braid as a word $\Delta^{2n}\beta$ for some $n\in\mathbb{Z},\beta\in B_{3}$, up to conjugation. The following observations imply that, for the purposes of determining which possible types of torsion which may appear, we can assume $n\geq 0$.

1. (1)

The mirror image $m(D)$ of a link diagram $D$ is the diagram obtained by changing all crossings. On the level of braid words, $m:B_{3}\rightarrow B_{3}$ is a group homomorphism satisfying $m(\sigma_{i})=\sigma_{i}^{-1}$ and $m(\Delta)=\Delta^{-1}$. Recall that the torsion in Khovanov homology of a link diagram and the torsion of its mirror image differ only by a homological shift [9, Corollary 11]. So the Khovanov homology of $L$ has $\mathbb{Z}_{p^{r}}$ torsion if and only if the Khovanov homology of its mirror $m(L)$ has $\mathbb{Z}_{p^{r}}$ torsion. 2. (2)

Consider the group homomorphism $\phi:B_{3}\to B_{3}$ defined on generators by $\phi(\sigma_{1})=\sigma_{2}$ and $\phi(\sigma_{2})=\sigma_{1}$. If the braid word $\omega$ is a projection of a link $L$ embedded in $\{(x,y,z)\in\mathbb{R}^{3}\ |\ 0<z<1\}$ to the plane $z=0$, then the projection of $L$ to the plane $z=1$ is $\phi(\omega)$. Thus the map $\phi$ preserves the isotopy type of the braid word. Therefore the Khovanov homology of the closure of $\omega$ has $\mathbb{Z}_{p^{r}}$ torsion if and only if the Khovanov homology of the closure of $\phi(\omega)$ has $\mathbb{Z}_{p^{r}}$ torsion. Note that the homomorphism $\phi$ satisfies $\phi(\Delta)=\Delta$. See Figure 6 for an example of the action of $\phi$ on a braid diagram.

The following equalities together with the above two arguments show that in all cases it suffices to determine torsion for $n\geq 0$:

[TABLE]

For the case of $\Omega_{6}$, although we will not address it in this paper, it may be necessary to enlarge the class $\Omega_{6}$ to a class $\Omega_{6}^{\prime}$ which allows powers $p_{i},q_{j}$ to be equal to zero, so that the right hand side of (17) stays inside $\Omega_{6}^{\prime}$.

5.2. Odd torsion in $\Omega_{0},\Omega_{1},\Omega_{2},\Omega_{3}$

We begin with a theorem, shown by Turner in [27], that will be useful in conjunction with Murasugi’s classification of $3$-braids and the long exact sequence of Section 3.

Theorem 5.1** (Turner).**

For each $q\in\mathbb{Z}$, the Khovanov homology $H(T(3,q))$ of the torus link $T(3,q)$ contains no $\mathbb{Z}_{p^{r}}$ torsion for $p\neq 2$. That is, there is no $\mathbb{Z}_{p^{r}}$ torsion for $p\neq 2$ in the Khovanov homology of links of types $\Omega_{0},\Omega_{1}$ and $\Omega_{2}$.

We now compute the Khovanov homology of closed $3$-braids in $\Omega_{3}$ over $\mathbb{Q}$ or $\mathbb{Z}_{p}$ for any prime $p$. A corollary of this computation is that all torsion in the Khovanov homology of such links is of the form $\mathbb{Z}_{2^{r}}$.

Theorem 5.2**.**

For $\mathbb{F}=\mathbb{Q}$ or $\mathbb{Z}_{p}$ for any odd prime $p$, and any $n\geq 0$,

[TABLE]

Proof.

First observe that $\Delta^{2n+1}=(\sigma_{1}\sigma_{2})^{3n+1}\sigma_{1}$ where $(\sigma_{1}\sigma_{2})^{3n+1}$ is a braid word for $T(3,3n+1)$. We consider smoothing the top $\sigma_{1}$.

(\sigma_{1}\sigma_{2})^{3n+1}$$D$$(\sigma_{1}\sigma_{2})^{3n+1}$$D_{0}$$(\sigma_{1}\sigma_{2})^{3n+1}$$D_{1}

The diagram $D_{0}$ is a diagram of the unknot $U$ and $D_{1}$ is a diagram of $T(3,3n+1)$. The top $\sigma_{1}$ in $\Delta^{2n+1}$ is a negative crossing so we compute $c=n_{-}(D_{0})-n_{-}(D)=(1+2n)-(6n+3)=-4n-2.$ Using (2) for each $j$, and letting $\mathbb{F}=\mathbb{Q}$ or $\mathbb{Z}_{p}$ where $p$ is an odd prime, we get a long exact sequence

[TABLE]

For $i\neq-4n-2,-4n-1$, we have $H^{i+4n+2,j+12n+5}(U;\mathbb{F})=0=H^{i+4n+1,j+12n+5}(U;\mathbb{F})$ for every $j$, so exactness yields $H^{i,j}(D;\mathbb{F})\cong H^{i,j+1}(T(3,3n+1);\mathbb{F})$ for every $j$. For $j\neq-12n-5\pm 1$, the portion of the long exact sequence containing $i=-4n-2$ and $-4n-1$ splits as

[TABLE]

[TABLE]

Upon examining the homology of $T(3,3n+1)$, shown here in Figure 7, we have the following two equalities:

[TABLE]

when $j\neq-12n-5\pm 1$. It remains to check the portion of the long exact sequence containing $i=-4n-2,-4n-1$ in the cases $j=-12n-6,-12n-4$:

[TABLE]

[TABLE]

[TABLE]

[TABLE]

From Figure 7, we obtain

[TABLE]

[TABLE]

and of course $H^{0,\pm 1}(U;\mathbb{F})=\mathbb{F}$ for any field $\mathbb{F}$. Thus we have exact sequences

[TABLE]

[TABLE]

From (21) and (22) it follows that each of the groups $H^{-4n-1,-12n-5\pm 1}(D;\mathbb{F})$, $H^{-4n-2,-12n-5\pm 1}(D;\mathbb{F})$ is isomorphic to either $\mathbb{F}$ or 0. We argue that all four of them are isomorphic to $\mathbb{F}$. A straightforward application of Lemma 3.7 yields the dimension $\dim_{\mathbb{F}}(\operatorname{Lee}^{-4n-2}(\Delta^{2n+1};\mathbb{F}))=2$. We found in equations (19) and (20) that $H^{-4n-2,j}(\Delta^{2n+1};\mathbb{F})=0$ for $j\neq-12n-5\pm 1$, and therefore, $\dim_{\mathbb{F}}H^{-4n-2,*}(\Delta^{2n+1};\mathbb{F})\leq 2$. Since the Lee spectral sequence has $E^{1}$ page the $\mathbb{F}$-Khovanov homology and converges to Lee homology, we must also have $\dim_{\mathbb{F}}H^{-4n-2,*}(\Delta^{2n+1};\mathbb{F})\geq 2$, and so it follows that $H^{-4n-2,-12n-5\pm 1}(D;\mathbb{F})=\mathbb{F}$. Finally, the non-triviality of these two groups together with (21) and (22) imply that $H^{-4n-1,-12n-4}(D;\mathbb{F})\cong\mathbb{F}$ and $H^{-4n-1,-12n-6}(D;\mathbb{F})\cong\mathbb{F}$. ∎

Corollary 5.3**.**

If $L\in\Omega_{3}$, then $H(L)$ contains no $\mathbb{Z}_{p^{r}}$ torsion for $r\geq 1$, where $p$ is an odd prime.

5.3. Even torsion in $\Omega_{0},\Omega_{1},\Omega_{2},\Omega_{3}$

In this subsection, we use Theorem 4.7 to explicitly compute all torsion for links in $\Omega_{0},\Omega_{1},\Omega_{2},$ and $\Omega_{3}$. Benheddi [5, Page 94] computed the reduced $\mathbb{Z}_{2}$-Khovanov homology of the torus links $T(3,q)$, and from those computations we can recover the unreduced $\mathbb{Z}_{2}$-Khovanov homology of the torus links $T(3,q)$, by using Equation (10), and letting $j=\delta+2i$. These computations encompass the closed $3$-braids in $\Omega_{0},\Omega_{1},$ and $\Omega_{2}$. We display the $\mathbb{Q}$-Khovanov homology and $\mathbb{Z}_{2}$-Khovanov homology of these links in the top three rows of Figure 7. The $\mathbb{Z}_{2}$-Khovanov homology of the closure of braids in $\Omega_{3}$ is computed from the $\mathbb{Z}_{2}$-Khovanov homology of $T(3,3n+1)$, similarly to the proof of Theorem 5.2.

Theorem 5.4**.**

For any $n\geq 0$,

[TABLE]

Proof.

For homological gradings $-4n-1$ through [math], the proof of this theorem is largely the same as the proof of Theorem 5.2. We focus on homological grading $-4n-2$. From (21) and (22) it follows that each of the groups

[TABLE]

is isomorphic to either $\mathbb{Z}_{2}$ or the trivial group. We argue that each of these groups is isomorphic to $\mathbb{Z}_{2}$. Using Lemma 3.3, we find that $\dim_{\mathbb{Z}_{2}}(\textnormal{BN}^{-4n-2}(\Delta^{2n+1})^{\prime})=2$. Using Benheddi’s calculation [5] of the $\mathbb{Z}_{2}$-Khovanov homology of $T(3,3n+1)$, shown in Figure 7, the long exact sequence (18) gives

[TABLE]

for $j\neq-12n-6,-12n-4$. Therefore, $\dim_{\mathbb{Z}_{2}}H^{-4n-2,*}(\Delta^{2n+1};\mathbb{Z}_{2})\leq 2$. Since the Turner spectral sequence has $E^{1}$ page the $\mathbb{Z}_{2}$-Khovanov homology, and converges to Bar-Natan homology,

[TABLE]

Therefore it follows that $H^{-4n-2,-12n-6}(D;\mathbb{Z}_{2})\cong\mathbb{Z}_{2}$ and $H^{-4n-2,-12n-4}(D;\mathbb{Z}_{2})\cong\mathbb{Z}_{2}$. Finally, the non-triviality of these two groups together with (21) and (22) imply that $H^{-4n-1,-12n-4}(D;\mathbb{Z}_{2})\cong\mathbb{Z}_{2}$ and $H^{-4n-2,-12n-6}(D;\mathbb{Z}_{2})\cong\mathbb{Z}_{2}$. ∎

The Khovanov homology with $\mathbb{Z}_{2}$ and $\mathbb{Q}$ coefficients of the closure of $\Delta^{2n+1}$ is depicted in Figure 7. The computations of Khovanov homology with $\mathbb{Q}$ and $\mathbb{Z}_{p}$ coefficients for closed braids in $\Omega_{0},\Omega_{1},\Omega_{2}$, and $\Omega_{3}$ leads to the following application of Theorem 4.7.

Theorem 5.5**.**

All torsion in the Khovanov homology of a closed 3-braid $L$ of type $\Omega_{0},\Omega_{1},\Omega_{2}$ or $\Omega_{3}$ is $\mathbb{Z}_{2}$ torsion, that is, $H(L)\cong\mathbb{Z}^{k}\oplus\mathbb{Z}_{2}^{\ell}$ for some $k,\ell\geq 0$.

Proof.

Let $L$ be a closed braid in $\Omega_{0},\Omega_{1},\Omega_{2}$ or $\Omega_{3}$. Theorem 5.1 and Corollary 5.3 imply $L$ contains no $\mathbb{Z}_{p^{r}}$ torsion for any odd prime $p$. Therefore $L$ satisfies condition (2) of Theorem 4.7 on any thin region. Figure 7 shows that all torsion in $H(L)$ occurs in the thin “blue” regions, and moreover, no torsion is supported in the initial homological grading of any thin region. Thus each thin “blue” region satisfies conditions 1 and 3 of Theorem 4.7. Finally, if we look at any one of the thin “blue” regions in Figure 7, we see that condition (4) is satisfied in the preceding homological grading with one exception. Figure 7 shows that in $H(T(3,3n);\mathbb{Z}_{2})$ the first blue piece does not satisfy condition (4) of Theorem 4.7. Recall however that these $\mathbb{Z}_{2}$ summands to the left all survive to the infinity page of the Turner and Lee spectral sequences, so for this one piece, the concerned reader can apply the stronger Theorem 4.6. We conclude that all torsion in $H(L)$ is $\mathbb{Z}_{2}$ torsion. ∎

As corollaries, we obtain the integral Khovanov homology of closed $3$-braids in $\Omega_{0},\Omega_{1},\Omega_{2}$, and $\Omega_{3}$.

Corollary 5.6**.**

For any $n\geq 0$, $H(\Delta^{2n+1})\cong H(T(3,3n+1))\{-1\}\oplus H(U)[-4n-2]\{-12n-5\}.$

Corollary 5.7**.**

The integral Khovanov homology of links in classes $\Omega_{0},\Omega_{1},\Omega_{2}$, and $\Omega_{3}$ are given in Figures 8(a), 8(b), 9(a), and 9(b).

5.4. Closed $3$-braids in $\Omega_{4}$, $\Omega_{5}$, and $\Omega_{6}$

One goal of this project is to prove part (1) of Conjecture 1.1, that closed 3-braids have only $\mathbb{Z}_{2}$ torsion in Khovanov homology. Based on Murasugi’s classification shown in Theorem 1.2, we have confirmed this result for links in the classes $\Omega_{i}$ for $0\leq i\leq 3$, leaving only the classes $\Omega_{4}$, $\Omega_{5},$ and $\Omega_{6}$. We now point out examples from these classes for which Theorem 4.6 is insufficient. In a future paper, we plan to use these examples as a guide to come up with a stronger version of Theorem 4.6 which can be used to deal with these remaining cases, perhaps by showing a relationship between higher order Bockstein and Turner differentials, as suggested by Shumakovitch [25].