Using the band representation of the 3-strand braid group, it is shown that the genus of 3-braid links can be read off their skein polynomial. Some applications are given, in particular a simple proof of Morton's conjectured inequality and a condition to decide that some polynomials, like the one of 9_{49}, are not admitted by 3-braid links. Finally, alternating links of braid index 3 are classified.
In this paper we give an alternative basis, $\mathcal{B}_{\rm ST}$, for the Kauffman bracket skein module of the solid torus, ${\rm KBSM}\left({\rm ST}\right)$. The basis $\mathcal{B}_{\rm ST}$ is obtained with the use of the Tempereley--Lieb algebra of type B and it is appropriate for computing the Kauffman bracket skein module of the lens spaces $L(p, q)$ via braids.
We prove that, in order to derive the HOMFLYPT skein module of the lens spaces $L(p,1)$ from the HOMFLYPT skein module of the solid torus, $\mathcal{S}({\rm ST})$, it suffices to solve an infinite system of equations obtained by imposing on the Lambropoulou invariant $X$ for knots and links in the solid torus, braid band moves that are performed only on the first moving strand of elements in a set $Λ^{aug}$, augmenting the basis $Λ$ of $\mathcal{S}({\rm ST})$.
In this paper we present recent results toward the computation of the HOMFLYPT skein module of the lens spaces $L(p,1)$, $\mathcal{S}\left(L(p,1) \right)$, via braids. Our starting point is the knot theory of the solid torus ST and the Lambropoulou invariant, $X$, for knots and links in ST, the universal analogue of the HOMFLYPT polynomial in ST. The relation between $\mathcal{S}\left(L(p,1) \right)$ and $\mathcal{S}({\rm ST})$ is established in \cite{DLP} and it is shown that in order to compute $\mathcal{S}\left(L(p,1) \right)$, it suffices to solve an infinite system of equations obtained b…
In this paper we present two new bases, $B^{\prime}_{H_2}$ and $\mathcal{B}_{H_2}$, for the Kauffman bracket skein module of the handlebody of genus 2 $H_2$, KBSM($H_2$). We start from the well-known Przytycki-basis of KBSM($H_2$), $B_{H_2}$, and using the technique of parting we present elements in $B_{H_2}$ in open braid form. We define an ordering relation on an augmented set $L$ consisting of monomials of all different "loopings" in $H_2$, that contains the sets $B_{H_2}$, $B^{\prime}_{H_2}$ and $\mathcal{B}_{H_2}$ as proper subsets. Using the Kauffman bracket skein relation we relate $B_{…
In this paper we work toward the Homflypt skein module of the lens spaces $L(p,1)$, $\mathcal{S}(L(p,1))$, using braids. In particular, we establish the connection between $\mathcal{S}({\rm ST})$, the Homflypt skein module of the solid torus ST, and $\mathcal{S}(L(p,1))$ and arrive at an infinite system, whose solution corresponds to the computation of $\mathcal{S}(L(p,1))$. We start from the Lambropoulou invariant $X$ for knots and links in ST, the universal analogue of the Homflypt polynomial in ST, and a new basis, $Λ$, of $\mathcal{S}({\rm ST})$ presented in \cite{DL1}. We show that $\math…
We give a simple and practical algorithm to compute the link polynomials, which are defined according to the skein relations. Our method is based on a new total order on the set of all braid representatives. As by-product a new complete link invariant are obtained.
In this paper we develop a braid theoretic approach for computing the Kauffman bracket skein module of the lens spaces $L(p,q)$, KBSM($L(p,q)$), for $q\neq 0$. For doing this, we introduce a new concept, that of an {\it unoriented braid}. Unoriented braids are obtained from standard braids by ignoring the natural top-to-bottom orientation of the strands. We first define the {\it generalized Temperley-Lieb algebra of type B}, $TL_{1, n}$, which is related to the knot theory of the solid torus ST, and we obtain the universal Kauffman bracket type invariant, $V$, for knots and links in ST, via a …
We define a family of representations $\{ρ_n\}_{n\geq 0}$ of a pure braid group $P_{2k}$. These representations are obtained from an action of $P_{2k}$ on a certain type of $A_2$ web space with color $n$. The $A_2$ web space is a generalization of the Kauffman bracket skein module of a disk with marked points on its boundary. We also introduce a triangle-free basis of such an $A_2$ web space and calculate matrix representations of $ρ_n$ about the standard generators of $P_{2k}$.
In this paper we define and present a simple combinatorial formula for a 3-variable Laurent polynomial invariant of conjugacy classes in Artin braid group $B_m$. We show that this Laurent polynomial satisfies the Conway skein relation and its coefficients are Vassiliev invariants of braids.
In this paper we compute the Kauffman bracket skein module of the complement of $(2, 2p+1)$-torus knots, $KBSM(T_{(2, 2p+1)}^c)$, via braids. We start by considering geometric mixed braids in $S^3$, the closure of which are mixed links in $S^3$ that represent links in the complement of $(2, 2p+1)$-torus knots, $T_{(2, 2p+1)}^c$. Using the technique of parting and combing, we obtain algebraic mixed braids, that is, mixed braids that belong to the mixed braid group $B_{2, n}$ and that are followed by their ``coset'' part, that represents $T_{(2, 2p+1)}^c$. In that way we show that links in $T_{(…
In this paper we work toward the HOMFLYPT skein module of $L(p, 1)$, $\mathcal{S}(L(p,1))$, via braids. Our starting point is the linear Turaev-basis, $Λ^{\prime}$, of the HOMFLYPT skein module of the solid torus ST, $\mathcal{S}({\rm ST})$, which can be decomposed as the tensor product of the "positive" ${Λ^{\prime}}^+$ and the "negative" ${Λ^{\prime}}^-$ sub-modules, and the Lambropoulou invariant, $X$, for knots and links in ST, that captures $S({\rm ST})$. It is a well-known result by now that $\mathcal{S}(L(p, 1))=\frac{\mathcal{S}(ST)}{<bbm's>}$, where bbm's (braid band moves) denotes th…
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…
This is the third article in the series begun with [BonWon3, BonWon4], devoted to finite-dimensional representations of the Kauffman bracket skein algebra of an oriented surface $S$. In [BonWon3] we associated a classical shadow to an irreducible representation $ρ$ of the skein algebra, which is a character $r_ρ\in \mathcal R_{\mathrm{SL}_2(\mathbb C)}(S)$ represented by a group homomorphism $π_1(S) \to \mathrm{SL}_2(\mathbb C)$. The main result of the current article is that, when the surface $S$ is closed, every character $r\in \mathcal R_{\mathrm{SL}_2(\mathbb C)}(S)$ occurs as the classica…
We prove a finiteness property of the values of the skein polynomial of homogeneous knots which allows to establish large classes of such knots to have arbitrarily unsharp Bennequin inequality (for the Thurston-Bennequin invariant of any of their Legendrian embeddings in the standard contact structure of R^3), and a give a short proof that there are only finitely many among these knots that have given genus and given braid index.
In this paper we describe braid equivalence for knots and links in a 3-manifold $M$ obtained by rational surgery along a framed link in $S^3$. We first prove a sharpened version of the Reidemeister theorem for links in $M$. We then give geometric formulations of the braid equivalence via mixed braids in $S^3$ using the $L$-moves and the braid band moves. We finally give algebraic formulations in terms of the mixed braid groups $B_{m,n}$ using cabling and the techniques of parting and combing for mixed braids. We also provide concrete formuli of the braid equivalence in the case where $M$ is a …
Turning the skein relation for HOMFLY into a Fibonacci recurrence, we prove that there are only three rational specializations of HOMFLY polynomial: Alexander-Conway, Jones, and a new one. Using the recurrence relation, we find general and relative expansion formulae and rational generating functions for Alexander-Conway polynomial and the new polynomial, which reduce the computations to closure of simple braids, a subset of square free braids; HOMFLY polynomials of these simple braids are also computed. Algebraic independence of these three polynomials is proved.
We give examples of knots with some unusual properties of the crossing number of positive diagrams or strand number of positive braid representations. In particular we show that positive braid knots may not have positive minimal (strand number) braid representations, giving a counterpart to results of Franks-Williams and Murasugi. Other examples answer questions of Cromwell on homogeneous and (partially) of Adams on almost alternating knots. We give a counterexample to, and a corrected version of a theorem of Jones on the Alexander polynomial of 4-braid knots. We also give an example of a knot…
For A a primitive 2N-root of unity with N odd, the Witten-Reshetikhin-Turaev topological quantum field theory provides a representation of the Kauffman skein algebra of a closed surface. We show that this representation is irreducible and we compute its classical shadow, in the sense of earlier work of the authors (arXiv:1206.1638).
We show that the if a sequence of normalized polynomials gives rise to a positive basis of the skein algebra of a surface, then it is sandwiched between the two types of Chebyshev polynomials. For the closed torus, we show that the normalized sequence of Chebyshev polynomials of type one $(\hat{T}_n)$ is the only one which gives a positive basis.
In this paper we introduce the tied links, i.e. ordinary links provided with some ties between strands. The motivation for introducing such objects originates from a diagrammatical interpretation of the defining generators of the so-called algebra of braids and ties; indeed, one half of such generators can be interpreted as the usual generators of the braid algebra, and the remaining generators can be interpreted as ties between consecutive strands; this interpretation leads the definition of tied braids. We define an invariant polynomial for the tied links via a skein relation. Furthermore, w…
We give a new, algebraically computable formula for skein modules of closed 3-manifolds via Heegaard splittings. As an application, we prove that skein modules of closed 3-manifolds are finite-dimensional, resolving in the affirmative a conjecture of Witten.
We show that 3-braid links with given (non-zero) Alexander or Jones polynomial are finitely many, and can be effectively determined. We classify among closed 3-braids strongly quasipositive and fibered ones, and show that 3-braid links have a unique incompressible Seifert surface. We also classify the positive braid words with Morton-Williams-Franks bound 3 and show that closed positive braids of braid index 3 are closed positive 3-braids. For closed braids on more strings, we study the alternating links occurring. In particular we classify those of braid index 4, and show that their Morton-Wi…
In this paper, we show that the volumes for a family of A-adequate closed braids can be bounded above and below in terms of the twist number, the number of braid strings, and a quantity that can be read from the combinatorics of a given closed braid diagram. We also show that the volumes for many of these closed braids can be bounded in terms of a single stable coefficient of the colored Jones polynomial, thus showing that this collection of closed braids satisfies a Coarse Volume Conjecture. By expanding to a wider family of closed braids, we also obtain volume bounds in terms of the number o…
Ozsváth and Szabó conjectured that knot Floer homology detects fibred links. We will verify this conjecture for closed 3-braids, by classifying fibred closed 3-braids. In particular, given a nontrivial closed 3-braid, either it is fibred, or it differs from a fibred link by a half twist. The proof uses Gabai's method of disk decomposition.
The relationships between braid ordering and the geometry of its closure is studied. We prove that if an essential closed surface $F$ in the complements of closed braid has relatively small genus with respect to the Dehornoy floor of the braid, $F$ is circular-foliated in a sense of Birman-Menasco's Braid foliation theory. As an application of the result, we prove that if Dehornoy floor of braids are larger than three, Nielsen-Thurston classification of braids and the geometry of their closure's complements are in one-to-one correspondence. Using this result, we construct infinitely many hyper…
We give an upper bound for the dealternating number of a closed 3-braid. As applications, we determine the dealternating numbers, the alternation numbers and the Turaev genera of some closed positive 3-braids. We also show that there exist infinitely many positive knots with any dealternating number (or any alternation number) and any braid index.
A crossing in a knot is nugatory if changing the crossing does not change the knot type. Using an invariant of certain types of closed 3-braid diagrams, we show that if a closed 3-braid contains a nugatory crossing then its braid index is one or two. This proves a special case of a conjecture on nugatory crossings due to Xiao-Song Lin.
It is shown how Fiedler's `small state-sum' invariant for a braid can be calculated from the 2-variable Alexander polynomial of the link which consists of the closed braid together with the braid axis.
We present a reduced Burau-like representation for the mixed braid group on one strand representing links in lens spaces and show how to calculate the Alexander polynomial of a link directly from the mixed braid.
We start a systematic analysis of links up to 5-move equivalence. Our motivation is to develop tools which later can be used to study skein modules based on the skein relation being deformation of a 5-move (in an analogous way as the Kauffman skein module is a deformation of a 2-move, i.e. a crossing change). Our main tools are Jones and Kauffman polynomials and the fundamental group of the 2-fold branch cover of S^3 along a link. We use also the fact that a 5-move is a composition of two rational \pm (2,2)-moves (i.e. \pm 5/2-moves) and rational moves can be analyzed using the group of Fox co…
A simple multivariable version of the reduced Burau matrix is constructed for any braid. It is shown how the multivariable Alexander polynomial for the closure of the braid can be found directly from this matrix.
Let Sigma be a closed oriented surface of genus g. We show that the Kauffman bracket skein module of Sigma x S^1 over the field of rational functions in A has dimension at least 2^{2g+1}+2g-1.
This is a review article on the Bennequin-Birman-Menasco machinery for studying embedded incompressible surfaces in 3-space via their `braid foliations'. Two cases are investigated: case (1) The surface has non-empty boundary; the boundary is a knot or link which is represented as a closed braid, Case (2) The surface is closed, but it lies in the complement of a knot or link which is represented as a closed braid. The main results in the area are established with full proofs, in a systematic fashion, with an eye toward making them accessible to the beginning reader. There are some new contribu…
We introduce new polynomial isotopy invariants for closed braids. They are constructed as polynomial valued {\em Gauss diagram 1-cocycles} evaluated on the full rotation of the closed braid $\hat β$ around the core of the corresponding solid torus. They can be calculated with polynomial complexity with respect to the braid length and their derivatives evaluated at $x=1$ are finite type invariants of closed braids. Let the solid torus V be standardly embedded in the 3-sphere and let L be the core of the complementary solid torus $S^3\setminus V$. We give examples which show that a natural refin…
A result of Malyutin shows that a random walk on the mapping class group gives rise to an element whose fractional Dehn twist coefficient is large or small enough. We show that this leads to several properties of random 3-manifolds and links. For example, random closed braids and open books are hyperbolic.
We prove that if an alternating 3-braid knot has unknotting number one, then there must exist an unknotting crossing in any alternating diagram of it, and we enumerate such knots. The argument combines the obstruction to unknotting number one developed by Ozsváth and Szabó using Heegaard Floer homology, together with one coming from Donaldson's Theorem A.
In this note, we prove a lower bound for the positive kinkiness of a closed braid which we then use to derive an estimate for the positive kinkiness of a link in terms of its Seifert system. As an application, we show that certain pretzel knots cannot be unknotted using only positive crossing changes. We also describe a subgroup of infinite rank in the smooth knot concordance group of which no element has a strongly quasipositive representative.
For each closed, orientable surface F, we construct a local, diffeomorphism invariant trace on the Kauffman bracket skein module K_t(F x [0,1]). The trace is defined when |t| is neither 0 nor 1, and at certain roots of unity. At t = - 1, the trace is integration against the symplectic measure on the SU(2) character variety of the fundamental group of F.
It is well known that any link can be represented by the closure of a braid. The minimum number of strings needed in a braid whose closure represents a given link is called the braid index of the link and the well known Morton-Frank-Williams inequality reveals a close relationship between the HOMFLY polynomial of a link and its braid index. In the case that a link is already presented in a closed braid form, Jaeger derived a special formulation of the HOMFLY polynomial. In this paper, we prove a variant of Jaeger's result as well as a dual version of it. Unlike Jaeger's original reasoning, whi…
This article was originally published in Topology 22 (1983). The present hyperTeXed redaction includes references to post-1983 results as Addenda, and corrects a few typographical errors. (See math.GT/0411115 for a more comprehensive overview of the subject as it appears 21 years later.)
Khovanov homology is a bigraded Z-module that categorifies the Jones polynomial. The support of Khovanov homology lies on a finite number of slope two lines with respect to the bigrading. The Khovanov width is essentially the largest horizontal distance between two such lines. We show that it is possible to generate infinite families of links with the same Khovanov width from link diagrams satisfying certain conditions. Consequently, we compute the Khovanov width for all closed 3-braids.
We generalize the asymptotic faithfulness of the skein quantum $SU(2)$ representations of mapping class groups of orientable closed surfaces to skein $SU(3)$. Skein quantum representations of mapping class groups are different from the Reshetikin-Turaev ones from quantum groups or geometric quantization because they are given by different modular tensor categories. We conjecture asymptotic faithfulness holds for skein quantum $G$ representations when $G$ is a simply-connected simple Lie group. The difficulty for such a generalization lies in the lack of an explicit description of the fusion sp…
Is any positive knot the closure of a positive braid? No. But if we consider positivity in terms of the generators of the braid group due to Birman, Ko and Lee, then the answer is yes. In this paper we prove that the same occurs when considering homogeneity. In the way we prove that the plumbing of two surfaces is a BKL-homogeneous surface if and only if both summands are BKL-homogeneous surfaces, a parallel result to that of Rudolph involving quasipositive surfaces. BKL-homogeneous surfaces are, in fact, a natural generalization of quasipositive surfaces.
We show that if a link $L$ has a closed $n$-braid representative admitting non-degenerate exchange move, an exchange move that does not obviously preserve the conjugacy class, $L$ has infinitely many non-conjugate closed $n$-braid representatives.
A Gauss diagram is a simple, combinatorial way to present a link. It is known that any Vassiliev invariant may be obtained from a Gauss diagram formula that involves counting subdiagrams of certain combinatorial types. In this paper we present simple formulas for an infinite family of invariants in terms of counting surfaces of a certain genus and number of boundary components in a Gauss diagram associated with a closed braid. We then identify the resulting invariants with partial derivatives of the HOMFLY-PT polynomial.
Let $β$ be a braid on $n$ strands, with exponent sum $w$. Let $Δ$ be the Garside half-twist braid. We prove that the coefficient of $v^{w-n+1}$ in the Homfly polynomial of the closure of $β$ agrees with $(-1)^{n-1}$ times the coefficient of $v^{w+n^2-1}$ in the Homfly polynomial of the closure of $βΔ^2$. This coincidence implies that the lower Morton--Franks-Williams estimate for the $v$--degree of the Homfly polynomial of $\hatβ$ is sharp if and only if the upper MFW estimate is sharp for the $v$--degree of the Homfly polynomial of $\hat{βΔ^2}$.