We introduce topological invariants of knots and braid conjugacy classes, in the form of differential graded algebras, and present an explicit combinatorial formulation for these invariants. The algebras conjecturally give the relative contact homology of certain Legendrian tori in five-dimensional contact manifolds. We present several computations and derive a relation between the knot invariant and the determinant.
We describe a new method for combinatorially computing the transverse invariant in knot Floer homology. Previous work of the authors and Stone used braid diagrams to combinatorially compute knot Floer homology of braid closures. However, that approach was unable to explicitly identify the invariant of transverse links that naturally appears in braid diagrams. In this paper, we improve the previous approach in order to compute the transverse invariant. We define a new combinatorial complex that computes knot Floer homology and identify the BRAID invariant of transverse knots and links in the ho…
We present a braid-theoretic approach to combinatorially computing knot Floer homology. To a knot or link K, which is braided about the standard disk open book decomposition for (S^3,ξ_std), we associate a corresponding multi-pointed nice Heegaard diagram. We then describe an explicit algorithm for computing the associated knot Floer homology groups. We compute explicit bounds for the computational complexity of our algorithm and demonstrate that, in many cases, it is significantly faster than the previous approach using grid diagrams.
We present a topological interpretation of knot and braid contact homology in degree zero, in terms of cords and skein relations. This interpretation allows us to extend the knot invariant to embedded graphs and higher-dimensional knots. We calculate the knot invariant for two-bridge knots and relate it to double branched covers for general knots. In the appendix we show that the cord ring is determined by the fundamental group and peripheral structure of a knot and give applications.
Knot contact homology is an invariant of knots derived from Legendrian contact homology which has numerous connections to the knot group. We use basic properties of knot groups to prove that knot contact homology detects every torus knot. Further, if the knot contact homology of a knot is isomorphic to that of a cable (respectively composite) knot, then the knot is a cable (respectively composite).
We develop a skein exact sequence for knot Floer homology, involving singular knots. This leads to an explicit, algebraic description of knot Floer homology in terms of a braid projection of the knot.
Using the combinatorial approach to knot Floer homology, we define an invariant for Legendrian knots in the three-sphere, which takes values in link Floer homology. This invariant can be used to also construct an invariant of transverse knots.
We prove that the Knot Floer homology group of a fibred knot of genus g in the Alexander grading 1-g is isomorphic to a version of the fixed point Floer homology of an area-preserving representative of the monodromy.
Knot Floer homology is a knot invariant defined using holomorphic curves. In more recent work, taking cues from bordered Floer homology,the authors described another knot invariant, called "bordered knot Floer homology", which has an explicit algebraic and combinatorial construction. In the present paper, we extend the holomorphic theory to bordered Heegaard diagrams for partial knot projections, and establish a pairing result for gluing such diagrams, in the spirit of the pairing theorem of bordered Floer homology. After making some model calculations, we obtain an identification of a variant…
The notion of a virtual knot introduced by L. Kauffman induces the notion of a virtual braid. It is closely related with a welded braid of R. Fenn, R. Rimanyi and C. Rourke. Alexander's and Markov's theorems for virtual knots and braids are proved. Similar results for welded knots and braids are also proved.
We give a combinatorial treatment of transverse homology, a new invariant of transverse knots that is an extension of knot contact homology. The theory comes in several flavors, including one that is an invariant of topological knots and produces a three-variable knot polynomial related to the A-polynomial. We provide a number of computations of transverse homology that demonstrate its effectiveness in distinguishing transverse knots, including knots that cannot be distinguished by the Heegaard Floer transverse invariants or other previous invariants.
We exhibit pairs of transverse knots with the same self-linking number that are not transversely isotopic, using the recently defined knot Floer homology invariant for transverse knots and some algebraic refinements of it.
Knot Floer homology is an invariant for knots discovered by the authors and, independently, Jacob Rasmussen. The discovery of this invariant grew naturally out of studying how a certain three-manifold invariant, Heegaard Floer homology, changes as the three-manifold undergoes Dehn surgery along a knot. Since its original definition, thanks to the contributions of many researchers, knot Floer homology has emerged as a useful tool for studying knots in its own right. We give here a few selected highlights of this theory, and then move on to some new algebraic developments in the computation of k…
We show that there exists a Legendrian knot with maximal Thurston-Bennequin invariant whose contact homology is trivial. We also provide another Legendrian knot which has the same knot type and classical invariants but nonvanishing contact homology.
In this paper we study the theory of knotoids and braidoids and the theory of pseudo knotoids and pseudo braidoids on the torus T. In particular, we introduce the notion of {\it mixed knotoids} in $S^2$, that generalize the notion of mixed links in $S^3$, and we present an isotopy theorem for mixed knotoids. We then generalize the Kauffman bracket polynomial, $<;>$, for mixed knotoids and we present a state sum formula for $<;>$. We also introduce the notion of {\it mixed pseudo knotoids}, that is, multi-knotoids on two components with some missing crossing information. More precisely, we pres…
Ozsvath and Szabo proved that knot Floer homology determines the genera of knots in S^3. We will generalize this deep result to links in homology 3-spheres, by adapting their method. Our proof relies on a result of Gabai and some constructions related to foliations. We also interpret a theorem of Kauffman in the world of knot Floer homology, hence we can compute the top filtration term of the knot Floer homology for alternative links.
We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Floer homology.
We prove that the knot Floer homology of a fibered knot is nontrivial in its next-to-top Alexander grading. Immediate applications include new proofs of Krcatovich's result that knots with $L$-space surgeries are prime and Hedden and Watson's result that the rank of knot Floer homology detects the trefoil among knots in the 3--sphere. We also generalize the latter result, proving a similar theorem for nullhomologous knots in any 3--manifold. We note that our method of proof inspired Baldwin and Sivek's recent proof that Khovanov homology detects the trefoils. As part of this work, we also intr…
We use monopole Floer homology for sutured manifolds to construct invariants of Legendrian knots in a contact 3-manifold. These invariants assign to a knot K in Y elements of the monopole knot homology KHM(-Y,K), and they strongly resemble the knot Floer homology invariants of Lisca, Ozsváth, Stipsicz, and Szabó. We prove several vanishing results, investigate their behavior under contact surgeries, and use this to construct many examples of non-loose knots in overtwisted 3-manifolds. We also show that these invariants are functorial with respect to Lagrangian concordance.
We show that a non-trivial, non-central normal subgroup of the braid groups contains a braid whose closure is a hyperbolic knot with arbitrary large genus. This shows that non-faithfulness of a quantum representation implies that the corresponding quantum invariant fails to detect the unknot. The proof utilizes the Dehornoy ordering of the braid groups.
Let $K$ be a rationally null-homologous knot in a three-manifold $Y$. We construct a version of knot Floer homology in this context, including a description of the Floer homology of a three-manifold obtained as Morse surgery on the knot $K$. As an application, we express the Heegaard Floer homology of rational surgeries on $Y$ along a null-homologous knot $K$ in terms of the filtered homotopy type of the knot invariant for $K$. This has applications to Dehn surgery problems for knots in $S^3$. In a different direction, we use the techniques developed here to calculate the Heegaard Floer homolo…
Let $u(K)$ and $g(K)$ denote the unknotting number and the genus of a knot $K$, respectively. For a 3-braid knot $K$, we show that $u(K)\le g(K)$ holds, and that if $u(K)=g(K)$ then $K$ is either a 2-braid knot, a connected sum of two 2-braid knots, the figure-eight knot, a strongly quasipositive knot or its mirror image.
We study 3-braid knots of finite smooth concordance order. A corollary of our main result is that a chiral 3-braid knot of finite concordance order is ribbon.
We show that a positive braid knot has maximal topological 4-genus exactly if it has maximal signature invariant. As an application, we determine all positive braid knots with maximal topological 4-genus and compute the topological 4-genus for all positive braid knots with up to 12 crossings.
A knot $K_1$ is said to be Gordian adjacent to a knot $K_2$ if $K_1$ is an intermediate knot on an unknotting sequence of $K_2$. We extend previous results on Gordian adjacency by showing sufficient conditions for Gordian adjacency between classes of positive braid knots through manipulations of braid words. In addition, we explore unknotting sequences of positive braid knots and give a proof that there are only finitely many positive braid knots for a given unknotting number.
The genus of knots is a one of the fundamental invariant and can be seen as a complexity of knots. In this paper, we give a lower bound of genus using Dehornoy floor, which is a measure of complexity of braids in terms of braid ordering.
Area-preserving diffeomorphisms of a 2-disc can be regarded as time-1 maps of (non-autonomous) Hamiltonian flows on solid tori, periodic flow-lines of which define braid (conjugacy) classes, up to full twists. We examine the dynamics relative to such braid classes and define a braid Floer homology. This refinement of the Floer homology originally used for the Arnol'd Conjecture yields a Morse-type forcing theory for periodic points of area-preserving diffeomorphisms of the 2-disc based on braiding. Contributions of this paper include (1) a monotonicity lemma for the behavior of the nonlinear C…
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…
We show that the difference between the Seifert genus and the topological 4-genus of a prime positive braid knot is bounded from below by an affine function of the minimal number of strands among positive braid representatives of the knot. We deduce that among prime positive braid knots, the property of having such a genus difference less than any fixed constant is characterised by finitely many forbidden surface minors.
We prove the existence of a knot whose braid index the Morton-Franks-Williams inequality fails to detect but a related inequality (KR-MFW inequality), which uses new information of Khovanov-Rozansky homology, detects. We also prove, by examples, that there exists infinitely many knots for which the KR-MFW inequality fails to detect the braid indices.
This paper explores the problem of unknotting closed braids and classical knots in mathematical knot theory. We apply evolutionary computation methods to learn sequences of moves that simplify knot diagrams, and show that this can be effective both when the evolution is carried out for individual knots and when a generic sequence of moves is evolved for a set of knots.
We show that a transverse link in a contact structure supported by an open book decomposition can be transversely braided. We also generalize Markov's theorem on when the closures of two braids represent (transversely) isotopic links.
Virtual knot theory has experienced a lot of nice features that did not appear in classical knot theory, e.g., parity and picture-valued invariants. In the present paper we use virtual knot theory effects to construct new representations of classical (pure) braids.
We give some conditions on positive braids with at least two full twists that ensure their closure is a hyperbolic knot, with applications to the geometric classification of T-links, arising from dynamics, and twisted torus knots.
In this paper, we construct invariants of braids, knots and links by studying dynamics of points in $\R^{2}$ and applying the Ptolemy relation $ac+bd=xy$.
We use Ozsváth, Stipsicz, and Szabó's Upsilon-invariant to provide bounds on cobordisms between knots that `contain full-twists'. In particular, we recover and generalize a classical consequence of the Morton-Franks-Williams inequality for knots: positive braids that contain a positive full-twist realize the braid index of their closure. We also establish that quasi-positive braids that are sufficiently twisted realize the minimal braid index among all knots that are concordant to their closure. Finally, we provide inductive formulas for the Upsilon invariant of torus knots and compare it to t…
A pair of surgeries on a knot is called purely cosmetic if the pair of resulting 3-manifolds are homeomorphic as oriented manifolds. Using recent work of Hanselman, we show that (nontrivial) knots which arise as the closure of a 3-stranded braid do not admit any purely cosmetic surgeries.
Algorithm of construction of all knots, links with given number of crosses on diagram of knot, link is offered. This algorithm is based on simple proposition, that there is a representation of knot (link) as closure of braid with n threads and length of this braid does not exceed n(4n-5)+2.
We show that two knots have matching Vassiliev invariants of order less than n if and only if they are equivalent modulo the nth group of the lower central series of some pure braid group, thus characterizing Vassiliev's knot invariants in terms of the structure of the braid groups. We also prove some results about knots modulo the nth derived subgroups of the pure braid groups, and about knots modulo braid subgroups in general.
We calculate the alternating number of torus knots with braid index 4 and less. For the lower bound, we use the upsilon-invariant recently introduced by Ozsváth, Stipsicz, and Szabó. For the upper bound, we use a known bound for braid index $3$ and a new bound for braid index $4$. Both bounds coincide, so that we obtain a sharp result.
For a knot K, let b_n(K) be the minimum length of an n-stranded braid representative of K. Examples of knots exist for which b_n(K) is a non-increasing function. We investigate the behavior of b_n(K). We develop bounds on the function in terms of the genus of K, with stronger results for homogeneous knots and braid positive knots. For knots of nine or fewer crossings, we show that b_n(K) is an increasing function and determine it completely.
Minimum braids are a complete invariant of knots and links. This paper defines minimum braids, describes how they can be generated, presents tables for knots up to ten crossings and oriented links up to nine crossings, and uses minimum braids to study graph trees, amphicheirality, unknotting numbers, and periodic tables.
In this survey paper we present the $L$--moves between braids and how they can adapt and serve for establishing and proving braid equivalence theorems for various diagrammatic settings, such as for classical knots, for knots in knot complements, in c.c.o. 3--manifolds and in handlebodies, as well as for virtual knots, for flat virtuals, for welded knots and for singular knots. The $L$--moves are local and they provide a uniform ground for formulating and proving braid equivalence theorems for any diagrammatic setting where the notion of braid and diagrammatic isotopy is defined, the statements…
We define the property (D) for nontrivial knots. We show that the fundamental group of the manifold obtained by Dehn surgery on a knot $K$ with property (D) with slope $\frac{p}{q}\ge 2g(K)-1$ is not left orderable. By making full use of the fixed point method, we prove that (1) nontrivial knots which are closures of positive $1$-bridge braids have property (D); (2) L-space satellite knots, with positive $1$-bridge braid patterns, and companion with property (D), have property (D); (3) the fundamental group of the manifold obtained by Dehn filling on $v2503$ is not left orderable. Additionally…
We study a certain type of braid closure which resembles the plat closure but has certain advantages; for example, it maps pure braids to knots. The main results of this note are a Markov-type theorem and a description of how Vassiliev invariants behave under this braid closure.
