The Kauffman bracket skein module of $S^1\times S^2$ via braids

Abstract

In this paper we present two different ways for computing the Kauffman bracket skein module of $S^1\times S^2$, $\mathrm{KBSM}\left(S^1\times S^2\right)$, via braids. We first extend the universal Kauffman bracket type invariant $V$ for knots and links in the Solid Torus ST, which is obtained via a unique Markov trace constructed on the generalized Temperley-Lieb algebra of type B, to an invariant for knots and links in $S^1\times S^2$. We do that by imposing on $V$ relations coming from the {\it braid band moves}. These moves reflect isotopy in $S^1\times S^2$ and they are similar to the second Kirby move. We obtain an infinite system of equations, a solution of which, is equivalent to computing $\mathrm{KBSM}\left(S^1\times S^2\right)$. We show that $\mathrm{KBSM}\left(S^1\times S^2\right)$ is not torsion free and that its free part is generated by the unknot (or the empty knot). We then present a diagrammatic method for computing $\mathrm{KBSM}\left(S^1\times S^2\right)$ via braids. Using this diagrammatic method we also obtain a closed formula for the torsion part of $\mathrm{KBSM}\left(S^1\times S^2\right)$.

25 pages, 20 figures. arXiv admin note: substantial text overlap with arXiv:2204.00410