We show that every trivial 3-strand braid diagram contains a disk, defined as a ribbon ending in opposed crossings. Under a convenient algebraic form, the result extends to every Artin--Tits group of dihedral type, but it fails to extend to braids with 4 strands and more. The proof uses a partition of the Cayley graph and a continuity argument.
The notion of a braided chord diagram is introduced and studied. An equivalence relation is given which identifies all braidings of a fixed chord diagram. It is shown that finite-type invariants are stratified by braid index for knots which can be represented as closed 3-braids. Partial results are obtained about spanning sets for the algebra of chord diagrams of braid index 3.
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.
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.
Let $β:=σ_1σ_2^{-1}$ be a braid in $B_3$, where $B_3$ is the braid group on 3 strings and $σ_1, σ_2$ are the standard Artin generators. We use Gauss diagram formulas to show that for each natural number $n$ not divisible by $3$ the knot which is represented by the closure of the braid $β^n$ is algebraically slice if and only if $n$ is odd. As a consequence, we deduce some properties of Lucas numbers.
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.
A knot (or link) diagram is said to be everywhere equivalent if all the diagrams obtained by switching one crossing represent the same knot (or link). We classify such diagrams of a closed 3-braid.
In this paper, we introduce a bisected vertex leveling of a plane graph. Using this planar embedding, we present elementary proofs of the well-known upper bounds in terms of the minimal crossing number on braid index $b(L)$ and arc index $α(L)$ for any knot or non-split link $L$, which are $b(L) \leq \frac{1}{2} c(L) + 1$ and $α(L) \leq c(L) + 2$. We also find a quadratic upper bound of the minimal crossing number of delta diagrams of $L$.
Laundry surfaces for closed braid diagrams are presented. It is shown that braid diagrams are characterized by linking matrices obtained by lifting cycles from these surfaces. Oriented link types are then characterized by equivalence classes of linking matrices. Similar equivalence classes can be composed of Gordon and Litherland forms or Seifert matrices.
In previous papers, the author realized the following principle for many knot theories: if a knot diagram is complicated enough then it reproduces itself, i.e., is a subdiagram of any other diagram equivalent to it. This principle is realized by diagram-valued invariants [ ] of knots such that [K]=K. It turns out that in the case of free braids, the same principle can be realized an unexpectedly easy way by a one-term invariant formula.
A famous result of Bennequin states that for any braid representative of the unknot the Bennequin number is negative. We will extend this result to all n-trivial closed n-braids. This is a class of infinitely many knots closed under taking mirror images. Our proof relies on a non-standard parametrization of the Homfly polynomial.
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.
Braids can be represented geometrically as curve diagrams. The geometric complexity of a braid is the minimal complexity of a curve diagram representing it. We introduce and study the corresponding notion of geometric generating function. We compute explicitly the geometric generating function for the group of braids on three strands and prove that it is neither rational nor algebraic, nor even holonomic. This result may appear as counterintuitive. Indeed, the standard complexity (due to the Artin presentation of braid groups) is algorithmically harder to compute than the geometric complexity,…
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.
For a positive braid link, a link represented as a closed positive braids, we determine the first few coefficients of its HOMFLY polynomial in terms of geometric invariants such as, the maximum euler characteristics, the number of split factors, and the number of prime factors. Our results give improvements of known results for Conway and Jones polynomial of positive braid links. In Appendix, we present a simpler proof of theorem of Cromwell, a positive braid diagram represent composite link if and only if the the diagram is composite.
Humboldt-Universität zu Berlin(柏林洪堡大学);Universität Heidelberg(海德堡大学);ETH Zürich(苏黎世联邦理工学院);Universität Regensburg(雷根斯堡大学);Universidad de Sevilla(塞维利亚大学)
Virtual braids are a combinatorial generalization of braids. We present abstract braids as equivalence classes of braid diagrams on a surface, joining two distinguished boundary components. They are identified up to isotopy, compatibility, stability and Reidemeister moves. We show that virtual braids are in a bijective correspondence with abstract braids. Finally we demonstrate that for any abstract braid, its representative of minimal genus is unique up to compatibility and Reidemeister moves. The genus of such a representative is thus an invariant for virtual braids. We also give a complete …
Khovanov and Rozansky's categorification of the HOMFLY-PT polynomial is invariant under braidlike isotopies for any link diagram and Markov moves for braid closures. To define HOMFLY-PT homology, they required a link to be presented as a braid closure, because they did not prove invariance under the other oriented Reidemeister moves. In this text we prove that the Reidemeister IIb move fails in HOMFLY-PT homology by using virtual crossing filtrations of the author and Rozansky. The decategorification of HOMFLY-PT homology for general link diagrams gives a deformed version of the HOMFLY-PT poly…
We address the question: Does there exist a non-trivial knot with a trivial Jones polynomial? To find such a knot, it is almost certainly sufficient to find a non-trivial braid on four strands in the kernel of the Burau representation. I will describe a computer algorithm to search for such a braid.
We use a variation on the commutator collection process to characterize those pure braids which become trivial when any one strand is deleted, or, more generally, those pure braids which become trivial when all the strands in any one of a list of sets of strands is deleted.
A generalization of the topological fundamental group is developed in order to exhibit a topologically complete braid group containing Artin's braid group on infinitely many strands with respect to the following notion of convergence: A sequence of braids b(n) converges to the trivial braid iff for each M>0 eventually the first M strands of b(n) are trivial.
It is well known that the minimum crossing number of an alternating link equals the number of crossings in any reduced alternating link diagram of the link. This remarkable result is an application of the Jones polynomial. In the case of the braid index of an alternating link, Murasugi had conjectured that the number of Seifert circles in a reduced alternating diagram of the link equals the braid index of the link. This conjecture turned out to be false. In this paper we prove the next best thing that one could hope for: we characterize exactly those alternating links for which their braid ind…
We construct the first combinatorial 1-cocycle with values in the $ \mathbb{Z} [x,x^{-1}]$-module of isotopy classes of singular long knots in 3-space with a signed planar double point, and which represents a non trivial cohomology class in the topological moduli space of long knots. It can be interpreted as an invariant with values in a $ \mathbb{Z} [x,x^{-1}]$-module generated by 3-manifolds for each element of infinite order of the mapping class group of the complement of a satellite knot in $S^3$. The 1-cocycle seems to be trivial on all loops for long knots which are not satellites but it…
We use rational formality of configuration spaces and the bar construction to study the cohomology of the space of braids in dimension four or greater. We provide a diagram complex for braids and a quasi-isomorphism to the de Rham cochains on the space of braids. The quasi-isomorphism is given by a configuration space integral followed by Chen's iterated integrals. This extends results of Kohno and of Cohen and Gitler on the cohomology of the space of braids to a CDGA suitable for integration. We show that this integration is compatible with Bott-Taubes configuration space integrals for long l…
In this paper, we define the set of singular grid diagrams $\mathcal{SG}$ which provides a unified description for singular links, singular Legendrian links, singular transverse links, and singular braids. We also classify the complete set of all equivalence relations on $\mathcal{SG}$ which induce the bijection onto each singular object. This is an extension of the known result of Ng-Thurston for non-singular links and braids.
Dehn twists around simple closed curves in oriented surfaces satisfy the braid relations. This gives rise to a group theoretic from the braid group to the mapping class group. We prove here that this map is trivial in stable homology with any trivial coefficients. In particular this proves an old conjecture of J. Harer. The main tool is categorical delooping. In an appendix we discuss geometrically defined homomorphisms from the braid to the mapping class group.
A planar pure braid consists of $n$ descending smooth arcs, each connecting a point on one horizontal line $\ell_{1}$ to a point on a horizontal line $\ell_{2}$, which is required to be directly below the first point. Two arcs are allowed to cross, but no threefold intersections are allowed. The set $Γ_{n}$ of all planar pure braids on $n$ strands is a group with respect to a natural stacking operation. We show that $Γ_{n}$ is always a diagram group, in the sense of Guba and Sapir. A number of consequences follow, including biautomaticity and bi-orderability of the groups $Γ_{n}$. Moreover, ea…
Given a knot diagram $D$, we construct a semi-threading circle for it which can be an axis of $D$ as a closed braid depending on knot diagrams. In particular, we consider semi-threading circles for minimal diagrams of a knot with respect to overpasses which give us some information related to the braid index. By this notion, we show that, for every nontrivial knot $K$, the braid index $b(K)$ of $K$ is not less than the minimum number $l(K)$ of overpasses of diagrams. Moreover, they are the same for a torus knot.
There is a well known injective homomorphism $ϕ:{\mathcal {B}}_n \rightarrow {\rm Aut}(F_n)$ from the classical braid group ${\mathcal {B}}_n$ into the automorphism group of the free group $F_n$, first described by Artin. This homomorphism induces an action of ${\mathcal {B}}_n$ on $F_n$ that can be recovered by considering the braid group as the mapping class group of $H_n$ (an upper half plane with $n$ punctures) acting naturally on the fundamental group of $H_n$. Kauffman introduced virtual links as an extension of the classical notion of a link in ${\mathbb {R}}^3$. As in the classical cas…
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.
The based loop space of a configuration space of points in a Euclidean space can be viewed as a space of pure braids in a Euclidean space of one dimension higher. We continue our study of such spaces in terms of Kontsevich's CDGA of diagrams and Chen's iterated integrals. We construct a power series connection which yields a Hopf algebra isomorphism between the homology of the space of pure braids and the cobar construction on diagrams. It maps iterated Whitehead products to trivalent trees modulo the IHX relation. As an application, we establish a correspondence between Milnor invariants of B…
We characterize the (1, 1) knots in the three-sphere and lens spaces that admit non-trivial L-space surgeries. As a corollary, 1-bridge braids in these manifolds admit non- trivial L-space surgeries. We also recover a characterization of the Berge manifold amongst 1-bridge braid exteriors.
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 define the braid groups of a two-dimensional orbifold and introduce conventions for drawing braid pictures. We use these to realize the Artin groups associated to the spherical Coxeter diagrams A_n, B_n=C_n and D_n and the affine diagrams tilde{A}_n, tilde{B}_n, tilde{C}_n and tilde{D}_n as subgroups of the braid groups of various simple orbifolds. The cases D_n, tilde{B}_n, tilde{C}_n and tilde{D}_n are new. In each case the Artin group is a normal subgroup with abelian quotient; in all cases except tilde{A}_n the quotient is finite. We illustrate the value of our braid calculus by perform…
We prove that the smallest non-trivial quotients of the commutator subgroups of the braid groups are the alternating groups, proving a conjecture of Chudnovsky-Kordek-Li-Partin. Furthermore, we show that any minimal quotient map is the standard projection, composed with an automorphism of the alternating group.
Université Clermont-Auvergne(克莱蒙奥弗涅大学);Institute of Mathematics “Simion Stoilow” of the Romanian Academy(罗马尼亚科学院西蒙·斯托伊洛瓦数学研究所);University of Oxford(牛津大学)
We present a generalization of the Dehornoy-Brin braided Thompson group $BV_2$ that uses recursive braids. Our new groups are denoted by $BV_{n,r}(H)$, for all $n\geq 2,r\geq 1$ and $H \leq \mathcal{B}_n$, where $\mathcal{B}_n$ is the braid group on $n$ strands. We give a new approach to deal with braided Thompson groups by using strand diagrams. We show that $BV_{n,r}(H)$ is finitely generated if $H$ is finitely generated.
We show that any knot which is smoothly the closure of a 3-braid cannot be Lagrangian concordant to and from the maximum Thurston-Bennequin Legendrian unknot except the unknot itself. Our obstruction comes from drawing the Weinstein handlebody diagrams of particular symplectic fillings of cyclic branched double covers of knots in $S^3$. We use the Legendrian contact homology differential graded algebra of the links in these diagrams to compute the symplectic homology of these fillings to derive a contradiction. As a corollary, we find an infinite family of contact manifolds which are rational …