In this paper we study how to distinguish two embeddings of a finite collection of disjoint circles into the plane up to planar isotopy. We adopt the spirit of the approach by V. Turaev, Operator Invariants of Tangles, Math. USSR-Izv. 35 (1990), 411--444, by considering a category of planar tangles and representing it in an ``algebraic'' category. From this we can extract a numerical invariant for embeddings of a finite collection of disjoint circles and this invariant is, up to certain choices, complete.
In planar algebras, we show how to project certain simple "quadratic" tangles onto the linear space spanned by "linear" and "constant" tangles. We obtain some corollaries about the principal graphs and annular structure of subfactors.
It is a well known result from Thistlethwaite that the Jones polynomial of a non-split alternating link is alternating. We find the right generalization of this result to the case of non-split alternating tangles. More specifically: the Jones polynomial of tangles is valued in a certain skein module, we describe an alternating condition on elements of this skein module, show that it is satisfied by the Jones invariant of the single crossing tangles, and prove that it is preserved by appropriately "alternating" planar algebra compositions. Hence, this condition is satisfied by the Jones polynom…
Ribbon tangles are proper embeddings of tori and cylinders in the $4$-ball~$B^4$, "bounding" $3$-manifolds with only ribbon disks as singularities. We construct an Alexander invariant $\mathsf{A}$ of ribbon tangles equipped with a representation of the fundamental group of their exterior in a free abelian group $G$. This invariant induces a functor in a certain category $\mathsf{R}ib_G$ of tangles, which restricts to the exterior powers of Burau-Gassner representation for ribbon braids, that are analogous to usual braids in this context. We define a circuit algebra $\mathsf{C}ob_G$ over the op…
The notion of a pseudoknot is defined as an equivalence class of knot diagrams that may be missing some crossing information. We provide here a topological invariant schema for pseudoknots and their relatives, 4-valent rigid vertex spatial graphs and singular knots, that is obtained by replacing unknown crossings or vertices by rational tangles.
A ravel is a spatial graph which is non-planar but contains no non-trivial knots or links. We characterize when a Montesinos tangle can become a ravel as the result of vertex closure with and without replacing some number of crossings by vertices.
Recently, Bigelow defined a diagrammatic method for calculating the Alexander polynomial of a knot or link by resolving crossings in a planar algebra. I will present my multivariate version of Bigelow's calculation. The advantage to my algorithm is that it generalizes to a multivariate tangle invariant up to Reidemeister I. I will conclude with a possible link to subfactor planar algebras from the work of Jones and Penneys.
We give a simple, combinatorial construction of a unital, spherical, non-degenerate $\ast$-planar algebra over the ring $\mathbb{Z}[q^{1/2},q^{-1/2}]$. This planar algebra is similar in spirit to the Temperley-Lieb planar algebra, but computations show that they are different. The construction comes from the combinatorics of the decategorifications of the type A and type D structures in the author's previous work on bordered Khovanov homology. In particular, the construction illustrates how gluing of tangles occurs in his bordered Khovanov homology and its difference from that in Khovanov's ta…
We prove an excision theorem for the singular instanton Floer homology that allows the excision surfaces to intersect the singular locus. This is an extension of the non-singular excision theorem by Kronheimer and Mrowka and the genus-zero singular excision theorem by Street. We use the singular excision theorem to define an instanton Floer homology theory for sutured manifolds with tangles. As applications, we prove that the annular Khovanov homology (1) detects the unlink, (2) detects the closure of the trivial braid, and (3) distinguishes braid closures from other links; we also prove that …
We use 4-valent planar graphs and singular cobordisms (called foams) to construct an integral doubly-graded cohomology for tangles, and in particular for links, whose graded Euler characteristic yields the sl(n) link polynomial (for n > 3).
In this paper, we discuss degree 0 crossing change on Khovanov homology in terms of cobordisms. Namely, using Bar-Natan's formalism of Khovanov homology, we introduce a sum of cobordisms that yields a morphism on complexes of two diagrams of crossing change, which we call the "genus-one morphism." It is proved that the morphism is invariant under the moves of double points in tangle diagrams. As a consequence, in the spirit of Vassiliev theory, taking iterated mapping cones, we obtain an invariant for singular tangles that extending sl(2) tangle homology; examples include Lee homology, Bar-Nat…
In this paper, we use skein-theoretic techniques to classify all virtual knot polynomials and trivalent graph invariants with certain smallness conditions. The first half of the paper classifies all virtual knot polynomials giving non-trivial invariants strictly smaller than the one given by the Higman-Sims spin model. In particular, we exhibit a family of skein theories coming from $\text{Rep}(O(2))$ with an interesting braiding. In addition, all skein theories of oriented virtual tangles with some smallness conditions are classified. In the second half of the paper, we classify all non-trivi…
We introduce explicit holonomy perturbations of the Chern-Simons functional on a 3-ball containing a pair of unknotted arcs. These perturbations give us a concrete local method for making the moduli spaces of flat singular SO(3) connections relevant to Kronheimer and Mrowka's singular instanton knot homology non-degenerate. The mechanism for this study is a (Lagrangian) intersection diagram which arises, through restriction of representations, from a tangle decomposition of a knot. When one of the tangles is trivial, our perturbations allow us to study isolated intersections of two Lagrangians…
For a diagram of a 2-stranded tangle in the 3-ball we define a twisted complex of compact Lagrangians in the triangulated envelope of the Fukaya category of the smooth locus of the pillowcase. We show that this twisted complex is a functorial invariant of the isotopy class of the tangle, and that it provides a factorization of Bar-Natan's functor from the tangle cobordism category to chain complexes. In particular, the hom set of our invariant with a particular non-compact Lagrangian associated to the trivial tangle is naturally isomorphic to the reduced Khovanov chain complex of the closure o…
In this paper we show that every finite spatial graph is a connected sum of a planar graph, which is a forest, i.e. disjoint union of finite number of trees and a tangle. As a consequence we get that any finite spatial graph is a connected sum of a planar graph and a braid. Using these decompositions it is not difficult to find a set of generators and defining relations for the fundamental group of compliment of a spatial graph in 3-space $\mathbb{R}^3$.
The traceless $SU(2)$ character variety $R(S^2,\{a_i,b_i\}_{i=1}^n)$ of a $2n$-punctured 2-sphere is the symplectic reduction of a Hamiltonian $n$-torus action on the $SU(2)$ character variety of a closed surface of genus $n$. It is stratified with a finite singular stratum and a top smooth symplectic stratum of dimension $4n-6$. For generic holonomy perturbations $π$, the traceless $SU(2)$ character variety $R_π(Y,L)$ of an $n$-stranded tangle $L$ in a homology 3-ball $Y$ is stratified with a finite singular stratum and top stratum a smooth manifold. The restriction to $R(S^2, 2n)$ is a Lagra…
In previous work we introduced a Khovanov multicurve invariant $\operatorname{\widetilde{Kh}}$ associated with Conway tangles. Applying ideas from homological mirror symmetry we show that $\operatorname{\widetilde{Kh}}$ is subject to strong geography restrictions: Every component of the invariant is linear, in the sense that it admits a lift to a curve homotopic to a straight line in an appropriate planar cover of the tangle boundary.
A singular knot is an immersed circle in $\mathbb R^{3}$ with finitely many transverse double points. The study of singular knots was initially motivated by the study of Vassiliev invariants. Namely, singular knots give rise to a decreasing filtration on the infinite dimensional vector space spanned by isotopy classes of knots: this is called the Vassiliev filtration, and the study of the corresponding associated graded space has lead to many insights in knot theory. The Vassiliev filtration has an alternative, more algebraic definition for many flavours of knot theory, for example braids and …
We show that the maximal number of singular moves required to pass between any two regularly homotopic planar or spherical curves with at most n crossings, grows quadratically with respect to n. Furthermore, this can be done with all curves along the way having at most n+2 crossings.
