We prove that the 2-variable BMW algebra embeds into an algebra constructed from the HOMFLY-PT polynomial. We also prove that the $\mathfrak{so}_{2N}$-BMW algebra embeds in the $q$-Schur algebra of type $A$. We use these results to suggest a schema providing categorifications of the $\mathfrak{so}_{2N}$-BMW algebra.

We introduce a flow of a spatial graph and see how invariants for spatial graphs and handlebody-links are derived from those for flowed spatial graphs. We define a new quandle (co)homology by introducing a subcomplex of the rack chain complex. Then we define quandle colorings and quandle cocycle invariants for spatial graphs and handlebody-links.

We define a family of formal Khovanov brackets of a colored link depending on two parameters. The isomorphism classes of these brackets are invariants of framed colored links. The Bar-Natan functors applied to these brackets produce Khovanov and Lee homology theories categorifying the colored Jones polynomial. Further, we study conditions under which framed colored link cobordisms induce chain transformations between our formal brackets. We conjecture that for special choice of parameters, Khovanov and Lee homology theories of colored links are functorial (up to sign). Finally, we extend the Rasmussen invariant to links and give examples where this invariant is a stronger obstruction to sliceness than the multivariable Levine--Tristram signature.

It is known that the Brandt--Lickorish--Millett--Ho polynomial $Q$ contains Casson's knot invariant. Whether there are (essentially) other Vassiliev knot invariants obtainable from $Q$ is an open problem. We show that this is not so up to degree $9$. We also give the (apparently) first examples of knots not distinguished by 2-cable HOMFLY polynomials which are not mutants. Our calculations provide evidence of a negative answer to the question whether Vassiliev knot invariants of degree $d \le 10$ are determined by the HOMFLY and Kauffman polynomials and their 2-cables, and for the existence of algebras of such Vassiliev invariants not isomorphic to the algebras of their weight systems.

We develop an explicit skein-theoretical algorithm to compute the Alexander polynomial of a 3-manifold from a surgery presentation employing the methods used in the construction of quantum invariants of 3-manifolds. As a prerequisite we establish and prove a rather unexpected equivalence between the topological quantum field theory constructed by Frohman and Nicas using the homology of $U(1)$-representation varieties on the one side and the combinatorially constructed Hennings TQFT based on the quasitriangular Hopf algebra $\mathcal{N} = \mathbb{Z}/2 \ltimes \bigwedge^* \mathbb{R}^2$ on the other side. We find that both TQFT's are $\SL (2,\mathbb{R})$-equivariant functors and, as such, are isomorphic. The $\SL (2,\mathbb{R})$-action in the Hennings construction comes from the natural action on $\mathcal{N}$ and in the case of the Frohman--Nicas theory from the Hard--Lefschetz decomposition of the $U(1)$-moduli spaces given that they are naturally K\"ahler. The irreducible components of this TQFT, corresponding to simple representations of $\SL(2,\mathbb{Z})$ and $\Sp(2g,\mathbb{Z})$, thus yield a large family of homological TQFT's by taking sums and products. We give several examples of TQFT's and invariants that appear to fit into this family, such as Milnor and Reidemeister Torsion, Seiberg--Witten theories, Casson type theories for homology circles {\it \`a la} Donaldson, higher rank gauge theories following Frohman and Nicas, and the $\mathbb{Z}/p\mathbb{Z}$ reductions of Reshetikhin--Turaev theories over the cyclotomic integers $\mathbb{Z} [\zeta_p]$. We also conjecture that the Hennings TQFT for quantum-$\mathfrak{sl}_2$ is the product of the Reshetikhin--Turaev TQFT and such a homological TQFT.