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.
Extended welded links are a generalization of Fenn, Rimányi, and Rourke's welded links. Their braided counterpart are extended welded braids, which are closely related to ribbon braids and loop braids. In this paper we prove versions of Alexander and Markov's theorems for extended welded braids and links, following Kamada's approach to the case of welded objects.
Let $WB_n$ be the welded (or loop) braid group on n strands, $n \geq 3$. We investigate commutator subgroup of $WB_n$. We prove that the commutator subgroup $WB_n'$ is finitely generated and Hopfian. We show that $WB_n'$ is perfect if and only if $n \geq 5$. We also compute finite presentation for $FWB_n'$, the commutator subgroup of the flat welded braid group $FWB_n$. Along the way, we investigate adorability of these groups.
Let $VB_n$, resp. $WB_n$ denote the virtual, resp. welded, braid group on $n$ strands. We study their commutator subgroups $VB_n' = [VB_n, VB_n]$ and, $WB_n' = [WB_n, WB_n]$ respectively. We obtain a set of generators and defining relations for these commutator subgroups. In particular, we prove that $VB_n'$ is finitely generated if and only if $n \geq 4$, and $WB_n'$ is finitely generated for $n \geq 3$. Also we prove that $VB_3'/VB_3'' =\mathbb{Z}_3 \oplus \mathbb{Z}_3 \oplus\mathbb{Z}_3 \oplus \mathbb{Z}^{\infty}$, $VB_4' / VB_4'' = \mathbb{Z}_3 \oplus \mathbb{Z}_3 \oplus \mathbb{Z}_3$, $WB…
In this paper we give the results of a computer search for biracks of small size and we give various interpretations of these findings. The list includes biquandles, racks and quandles together with new invariants of welded knots and examples of welded knots which are shown to be non-trivial by the new invariants. These can be used to answer various questions concerning virtual and welded knots. As an application we reprove the result that the Burau map from braids to matrices is non injective and give an example of a non-trivial virtual (welded) knot which cannot be distinguished from the unk…
We consider several classes of knotted objects, namely usual, virtual and welded pure braids and string links, and two equivalence relations on those objects, induced by either self-crossing changes or self-virtualizations. We provide a number of results which point out the differences between these various notions. The proofs are mainly based on the techniques of Gauss diagram formulae.
In the present paper we give a new method for converting virtual knots and links to virtual braids. Indeed the braiding method given in this paper is quite general, and applies to all the categories in which braiding can be accomplished. We give a unifying topological interpretation of virtuals and flats (virtual strings) and their isotopies via ribbon surfaces and abstract link diagrams. We also give reduced presentations for the virtual braid group, the flat virtual braid group, the welded braid group and several other categories of braids. The paper includes a discussion of the topological …
Using Gauss diagrams, one can define the virtual bridge number ${\rm vb}(K)$ and the welded bridge number ${\rm wb}(K),$ invariants of virtual and welded knots with ${\rm wb}(K) \leq {\rm vb}(K).$ If $K$ is a classical knot, Chernov and Manturov showed that ${\rm vb}(K) = {\rm br}(K),$ the bridge number as a classical knot, and we ask whether the same thing is true for welded knots. The welded bridge number is bounded below by the meridional rank of the knot group $G_K$, and we use this to relate this question to a conjecture of Cappell and Shaneson. We show how to use other virtual and welded…
We define braid presentation of edge-oriented spatial graphs as a natural generalization of braid presentation of oriented links. We show that every spatial graph has a braid presentation. For an oriented link it is known that the braid index is equal to the minimal number of Seifert circles. We show that an analogy does not hold for spatial graphs.
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…
In this paper we give the results of a computer search for biracks of small size and we give various interpretations of these findings. The list includes biquandles, racks and quandles together with new invariants of welded knots and examples of welded knots which are shown to be non-trivial by the new invariants. These can be used to answer various questions concerning virtual and welded knots. As an application we reprove the result that the Burau map from braids to matrices is non injective and give an example of a non-trivial virtual (welded) knot which cannot be distinguished from the unk…
We define enhanced presentations of quandles via generators and relations with additional information comprising signed operations and an order structure on the set of generators. Such a presentation determines a virtual link diagram up to virtual moves. We list formal Reidemeister moves in which Tietze moves on the presented quandle are accompanied by corresponding changes to the order structure. Omitting the order structure corresponds to replacing virtual isotopy by welded isotopy.
This paper is concerned with detecting when a closed braid and its axis are 'mutually braided' in the sense of Rudolph. It deals with closed braids which are fibred links, the simplest case being closed braids which present the unknot. The geometric condition for mutual braiding refers to the existence of a close control on the way in which the whole family of fibre surfaces meet the family of discs spanning the braid axis. We show how such a braid can be presented naturally as a word in the `band generators' of the braid group discussed by Birman, Ko and Lee in their recent account of the ban…
We study the structure of the virtual braid group. It is shown that the virtual braid group is a semi--direct product of the virtual pure braid group and the symmetric group. Also, it is shown that the virtual pure braid group is a semi--direct product of free groups. From these results we obtain a normal form of words in the virtual braid group. We introduce the concept of a universal braid group. This group contains the classical braid group and has as its quotient groups the singular braid group, virtual braid group, welded braid group, and classical braid group.
In this paper we give new presentations of the braid groups and the pure braid groups of a closed surface. We also give an algorithm to solve the word problem in these groups, using the given presentations.
In the paper we give a survey of rather new notions and results which generalize classical ones in the theory of braids. Among such notions are various inverse monoids of partial braids. We also observe presentations different from standard Artin presentation for generalizations of braids. Namely, we consider presentations with small number of generators, Sergiescu graph-presentations and Birman-Ko-Lee presentation. The work of V.V.Chaynikov on the word and conjugacy problems for the singular braid monoid in Birman-Ko-Lee generators is described as well.
We give presentations, in terms of generators and relations, for the monoids of singular braids on closed surfaces. The proof of the validity of these presentations can also be applied to verify, in a new way, the presentations given by Birman for the monoids of Singular Artin braids.
We give several new positive finite presentations for the pure braid group that are easy to remember and simple in form. All of our presentations involve a metric on the punctured disc so that the punctures are arranged "convexly", which is why we describe them as geometric presentaitons. Motivated by a presentation for the full braid group that we call the "rotation presentation", we introduce presentations for the pure braid group that we call the "twist presentation" and the "swing presentation". From the point of view of mapping class groups, the swing presentation can be interpreted as st…
Let $UVB_n$ and $UVP_n$ be the unrestricted virtual braid group and the unrestricted virtual pure braid group on n strands respectively. We study the groups $UVB_n$ and $UVP_n$, and our main results are as follows: for $n\geq 5$, we give a complete description, up to conjugation, to all possible homomorphisms from $UVB_n$ to the symmetric group $S_n$. For $n\geq 3$, we characterise all possible images of $UVB_n$, under a group homomorphism, to any finite group $G$. For $n\geq 5$, we prove that $UVP_n$ is a characteristic subgroup of $UVB_n$. In addition, we determine the automorphism group of …
A large class of positive finite presentations of the braid groups is found and studied. It is shown that no presentations but known exceptions in this class have the property that equivalent braid words are also equivalent under positive relations.
For $n \geq 2$ we describe an $O(l^3n)$-time algorithm that determines if a length $l$ virtual braid word in the standard presentation of the virtual braid group ${\mathcal VB}_n$ represents the trivial virtual braid.
We give a finite presentation for the braid twist group of a decorated surface. If the decorated surface arises from a triangulated marked surface without punctures, we obtain a finite presentation for the spherical twist group of the associated 3-Calabi-Yau triangulated category. The motivation/application is that the result will be used to show that the (principal component of) space of stability conditions on the 3-Calabi-Yau category is simply connected in the sequel.
We give a monoidal presentation of Coxeter and braid 2-groups, in terms of decorated planar graphs. This presentation extends the Coxeter presentation. We deduce a simple criterion for a Coxeter group or braid group to act on a category.
The surface singular braid monoid corresponds to marked graph diagrams of knotted surfaces in braid form. In a quest to resolve linearity problem for this monoid, we will show that if it is defined on at least two or at least three strands, then its two or respectively three dimensional representations are not faithful. We will also derive new presentations for the surface singular braid monoid, one with reduced the number of defining relations, and the other with reduced the number of its singular generators. We include surface singular braid formulations of all knotted surfaces in Yoshikawa'…
According to the Tits conjecture proved by Crisp and Paris, [CP], the subgroups of the braid group generated by proper powers of the Artin elements are presented by the commutators of generators which are powers of commuting elements. Hence they are naturally presented as right-angled Artin groups. The case of subgroups generated by powers of the band generators is more involved. We show that the groups are right-angled Artin groups again, if all generators are proper powers with exponent at least 3. We also give a presentation in cases at the other extreme, when all generators occur with expo…
In this paper, a method is given to calculate the Jones polynomial of the 6-plat presentations of knots by using a representation of the braid group $\mathbb{B}_6$ into a group of $5\times 5$ matrices. We also can calculate the Jones polynomial of the $2n$-plat presentations of knots by generalizing the method for the 6-plat presentations of knots.
Virtual singular braids are generalizations of singular braids and virtual braids. We define the virtual singular braid monoid via generators and relations, and prove Alexander- and Markov-type theorems for virtual singular links. We also show that the virtual singular braid monoid has another presentation with fewer generators.
We generalize presentations of the fundamental group of discriminant complements and arrive at a class of presentations associated naturally with words in the free monoid of the alphabet $σ_1,\dots,σ_{n-1}$. Our study addresses invariance properties of these presentations and the presented groups under various operations on the words. In particular we prove that the group does only depend on the corresponding element in the positive braid monoid, and under mild hypotheses only on its conjugacy class in the braid group.
In this paper, I give a method to calculate the HOMFLY polynomials of knots by using a representation of the braid group B4 into a group of 3 ? 3 matrices. Also, I will give examples of a 2-bridge knot and a 3-bridge knot that have the same Jone polynomial, but different HOMFLY polynomials.
We design an algorithm writing down presentations of graph braid groups. Generators are represented in terms of actual motions of robots moving without collisions on a given graph. A key ingredient is a new motion planning algorithm whose complexity is linear in the number of edges and quadratic in the number of robots. The computing algorithm implies that 2-point braid groups of all light planar graphs have presentations where all relators are commutators.
In the present paper, we introduce $\mathbb{Z}_2$-braids and, more generally, $G$-braids for an arbitrary group $G$. They form a natural group-theoretic counterpart of $G$-knots, see \cite{reidmoves}. The underlying idea, used in the construction of these objects --- decoration of crossings with some additional information --- generalizes an important notion of {\it parity} introduced by the second author (see \cite{parity}) to different combinatorically--geometric theories, such as knot theory, braid theory and others. These objects act as natural enhancements of classical (Artin) braid group…
Inverse braid monoid describes a structure on braids where the number of strings is not fixed. So, some strings of initial $n$ may be deleted. In the paper we show that many properties and objects based on braid groups may be extended to the inverse braid monoids. Namely we prove an inclusion into a monoid of partial monomorphisms of a free group. This gives a solution of the word problem. Another solution is obtained by an approach similar to that of Garside. We give also the analogues of Artin presentation with two generators and Sergiescu graph-presentations.
In this article, we investigate various properties of the pure virtual braid group PV_3. From its canonical presentation, we obtain a free product decomposition of PV_3. As a consequence, we show that PV_3 is residually torsion free nilpotent, which implies that the set of finite type invariants in the sense of Goussarov-Polyak-Viro is complete for virtual pure braids with three strands. Moreover we prove that the presentation of PV_3 is aspherical. Finally we determine the cohomology ring and the associated graded Lie algebra of PV_3.
We find finite presentations for the automorphism group of the Artin pure braid group and the automorphism group of the pure braid group associated to the full monomial group.
In the paper we give a survey on braid groups and subjects connected with them. We start with the initial definition, then we give several interpretations as well as several presentations of these groups. Burau presentation for the pure braid group and the Markov normal form are given next. Garside normal form and his solution of the conjugacy problem are presented as well as more recent results on the ordering and on the linearity of braid groups. Next topics are the generalizations of braids, their homological properties and connections with the other mathematical fields, like knot theory (v…
A new presentation of the $n$-string braid group $B_n$ is studied. Using it, a new solution to the word problem in $B_n$ is obtained which retains most of the desirable features of the Garside-Thurston solution, and at the same time makes possible certain computational improvements. We also give a related solution to the conjugacy problem, but the improvements in its complexity are not clear at this writing.
Consider the unit ball, $B = D \times [0,1]$, containing $n$ unknotted arcs $a_1, a_2, ..., a_n$ such that the boundary of each $a_i$ lies in $D \times \{0\}$. The Hilden (or Wicket) group is the mapping class group of $B$ fixing the arcs $a_1 \cup a_2 \cup ... \cup a_n$ setwise and fixing $D \times \{1\}$ pointwise. This group can be considered as a subgroup of the braid group. The pure Hilden group is defined to be the intersection of the Hilden group and the pure braid group. In a previous paper we computed a presentaion for the Hilden group using an action of the group on a cellular comple…
This article is dedicate to cabling on virtual braids. This construction gives a new generating set for the virtual pure braid group $VP_n$. Consequently we describe $VP_4$ as HNN-extension. As an application to classical braids, we find a new presentation of the Artin pure braid group $P_4$ in terms of the cabled generators.
We consider braids on $m+n$ strands, such that the first $m$ strands are trivially fixed. We denote the set of all such braids by $B_{m,n}$. Via concatenation $B_{m,n}$ acquires a group structure. The objective of this paper is to find a presentation for $B_{m,n}$ using the structure of its corresponding pure braid subgroup, $P_{m,n}$, and the fact that it is a subgroup of the classical Artin group $B_{m+n}$. Then we give an irredundant presentation for $B_{m,n}$. The paper concludes by showing that these braid groups or appropriate cosets of them are related to knots in handlebodies, in knot …
This article is a survey on the braid groups, the Artin groups, and the Garside groups. It is a presentation, accessible to non-experts, of various topological and algebraic aspects of these groups. It is also a report on three points of the theory: the faithful linear representations, the cohomology, and the geometrical representations.
In this paper we discuss algebraic, combinatorial and topological properties of singular virtual braids. On the algebraic side we state the relations between classical and virtual singular objects, in addition we discuss a Birman-like conjecture for the virtual case. On the topological and combinatorial side, we prove that there is a bijection between singular abstract braids, horizontal Gauss diagrams and singular virtual braids, in particular using horizontal Gauss diagrams we obtain a presentation of the singular pure virtual braid monoid.
This paper concerns thin presentations of knots K in closed 3-manifolds M^3 which produce S^3 by Dehn surgery, for some slope gamma. If M does not have a lens space as a connected summand, we first prove that all such thin presentations, with respect to any spine of M have only local maxima. If M is a lens space and K has an essential thin presentation with respect to a given standard spine (of lens space M) with only local maxima, then we show that K is a 0-bridge or 1-bridge braid in M; furthermore, we prove the minimal intersection between K and such spines to be at least three, and finally…
We construct an action of the braid group B_{2g+2} on the free group F_{2g} extending an action of B_4 on F_2 introduced earlier by Reutenauer and the author. Our action induces a homomorphism from B_{2g+2} into the symplectic modular group Sp_{2g}(Z). In the special case g=2 we show that the latter homomorphism is surjective and determine its kernel, thus obtaining a braid-like presentation of Sp_4(Z).