We give an explicit geometric argument that Artin's braid group $B_n$ is right-orderable. The construction is elementary, natural, and leads to a new, effectively computable, canonical form for braids which we call left-consistent canonical form. The left-consistent form of a braid which is positive (respectively negative) in our order has consistently positive (respectively negative) exponent in the smallest braid generator which occurs. It follows that our ordering is identical to that of Dehornoy, constructed by very different means, and we recover Dehornoy's main theorem that any braid can be put into such a form using either positive or negative exponent in the smallest generator but not both.
Our definition of order is strongly connected with Mosher's normal form and this leads to an algorithm to decide whether a given braid is positive, trivial, or negative which is quadratic in the length of the braid word.
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.
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 prove that the pure braid groups on closed, orientable surfaces are bi-orderable, and that the pure braid groups on closed, non-orientable surfaces have generalized torsion, thus they are not bi-orderable.
It is well-known that there is a faithful representation of braid groups on automorphism groups of free groups, and it is also well-known that free groups are bi-orderable. We investigate which n-strand braids give rise to automorphisms which preserve some bi-ordering of the free group rank n. As a consequence of our work we find that of the two minimal volume hyperbolic 2-cusped orientable 3-manifolds, one has bi-orderable fundamental group whereas the other does not. We prove a similar result for the 1-cusped case, and have further results for more cusps. In addition, we study pseudo-Anosov …
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.
The virtual braid groups are generalizations of the classical braid groups. This paper gives an elementary proof that the classical braid group injects into the virtual braid group over the same number of strands.
We consider the group of unrestricted virtual braids, describe its structure and explore its relations with fused links. Also, we define the groups of flat virtual braids and virtual Gauss braids and study some of their properties, in particular their linearity.
In [V.O. Manturov, Non-reidemeister knot theory and its applications in dynamical systems, geometry, and topology, arxiv:1501.05208] the first named author gave the definition of $k$-free braid groups $G_n^k$. Here we establish connections between free braid groups, classical braid groups and free groups: we describe explicitly the homomorphism from (pure) braid group to $k$-free braid groups for important cases $k=3,4$. On the other hand, we construct a homomorphism from (a subgroup of) free braid groups to free groups. The relations established would allow one to construct new invariants of …
Combining the results by Birman and Goldberg, it was proved the normal closure of the pure braid group of the disk $P_n(D)$ in the pure braid group of the torus $P_n(T)$ is the commutator subgroup $[P_n(T),P_n(T)]$. In this paper we are going to study the case for full braid groups: i.e. the normal closure of $B_n(D)$ in $B_n(T)$, which turns out to have an interesting geometric description.
An infinitary version of braid groups has been considered as a direct limit of n-braid groups. However, we can imagine more complicated braids with infinitely many strings. We invetisgate basic properties especially when the number of strings is countable.
In this paper we introduce the framed pure braid group on $n$ strands of an oriented surface, a topological generalisation of the pure braid group $P_n$. We give different equivalents definitions for framed pure braid groups and we study exact sequences relating these groups with other generalisations of $P_n$, usually called surface pure braid groups. The notion of surface framed braid groups is also introduced.
In this paper we introduce distinct approaches to loop braid groups, a generalisation of braid groups, and unify all the definitions that have appeared so far in literature, with a complete proof of the equivalence of these definitions. These groups have in fact been an object of interest in different domains of mathematics and mathematical physics, and have been called, in addition to loop braid groups, with several names such as of motion groups, groups of permutation-conjugacy automorphisms, braid-permutation groups, welded braid groups and untwisted ring groups. In parallel to this, we int…
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…
In this article, we give a numerical algorithm to compute braid groups of curves, hyperplane arrangements, and parameterized system of polynomial equations. Our main result is an algorithm that determines the cross-locus and the generators of the braid group.
This paper gives a new interpretation of the virtual braid group in terms of a strict monoidal category SC that is freely generated by one object and three morphisms, two of the morphisms corresponding to basic pure virtual braids and one morphism corresponding to a transposition in the symmetric group. The key to this approach is to take pure virtual braids as primary. The generators of the pure virtual braid group are abstract solutions to the algebraic Yang-Baxter equation. This point of view illuminates representations of the virtual braid groups and pure virtual braid groups via solutions…
We construct a group $Γ_{n}^{4}$ corresponding to the motion of points in $\mathbb{R}^{3}$ from the point of view of Delaunay triangulations. We study homomorphisms from pure braids on $n$ strands to the product of copies of $Γ_{n}^{4}$. We will also study the group of pure braids in $\mathbb{R}^{3}$, which is described by a fundamental group of the restricted configuration space of $\mathbb{R}^{3}$, and define the group homomorphism from the group of pure braids in $\mathbb{R}^{3}$ to $Γ_{n}^{4}$. In the end of this paper we give some comments about relations between the restricted configurat…
In this paper we define a monoid of pseudo braids and prove that this monoid is isomorphic to a singular braid monoid. We also prove an analogue of Markov's theorem for pseudo braids.
The $d$-fold ($d \geq 3$) branched coverings on a disk give an infinite family of nongeometric embeddings of braid groups into mapping class groups. We, in this paper, give new explicit expressions of these braid group representations into automorphism groups of free groups in terms of the actions on the generators of free groups. We also give a systematic way of constructing and expressing these braid group representations in terms of a new gadget, called covering groupoid. We prove that each generator $\widetildeβ_i$ of braid group inside mapping class group induced by $d$-fold covering is t…
In 1987 Bieri, Neumann and Strebel introduced a geometric invariant for discrete groups. In this article we compute and explicitly describe the BNS-invariant for the pure braid groups.
It is proved that the braid monodromy group $Γ_{P(z)}$ of a polynomial $P(z)\in\mathbb C[z]$, $°P(z)=n$, is the braid group $\text{Br}_n$ if the polynomial $P(z)$ has $n-1$ distinct critical values.
In this note we show that any homomorphism from a pure surface braid group to a torsion-free hyperbolic group either has a cyclic image or factors through a forgetful map. This extends and gives a new proof of an earlier result of the author which works only when the target is a free group or a surface group. We also prove a similar rigidity result for the pure braid group of the disk.
By evaluating the Burau representation at t=-1, we obtain a symplectic representation of the braid group. We define the congruence subgroups of the braid group to be the preimages of the principal congruence subgroups of the symplectic group. Our main result is that the level four congruence subgroup of the braid group is equal to the group generated by squares of Dehn twists and is also equal to the group generated by squares of pure braids. We also compute the image of the point pushing subgroup under the symplectic representation.
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…
Finite type invariants (also known as Vassiliev invariants) of pure braids are considered from a group-theoretic point of view. New results include a construction of a universal invariant with integer coefficients based on the Magnus expansion of a free group and a calculation of numbers of independent invariants of each type for all pure braid groups.
Long and Moody gave a method of constructing representations of the braid group B_n. We discuss some ways to generalize their construction. One of these gives representations of subgroups of B_n, including the Gassner representation of the pure braid group as a special case. Another gives representations of the Hecke algebra.
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.
This paper proposes for every $n$, linear time reductions of the word and conjugacy problems on the braid groups $B_n$ to the corresponding problems on the braid monoids $B_n^+$ and moreover only using positive words representations.
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.
Drinfel'd used associators to construct families of universal representations of braid groups. We consider semi-associators (i.e., we drop the pentagonal axiom and impose a normalization in degree one). We show that the process may be reversed, to obtain semi-associators from universal representations of 3-braids. We view braid groups as subgroups of braid-permutation groups. We construct a family of universal representations of braid-permutation groups, without using associators. All representations in the family are faithful, defined over $\bbQ$ by simple explicit formulae. We show that they…
Let M be a compact, connected surface, possibly with a finite set of points removed from its interior. Let d,n be positive integers, and let N be a d-fold covering space of M. We show that the covering map induces an embedding of the n-th braid group B_n(M) of M in the (dn)-th braid group B_{dn}(N) of N, and give several applications of this result. First, we classify the finite subgroups of the n-th braid group of the real projective plane, from which we deduce an alternative proof of the classification of the finite subgroups of the mapping class group of the n-punctured real projective plan…
We give formulae for the first homology of the $n$-braid group and the pure 2-braid group over a finite graph in terms of graph theoretic invariants. As immediate consequences, a graph is planar if and only if the first homology of the $n$-braid group over the graph is torsion-free and the conjectures about the first homology of the pure 2-braid groups over graphs in \cite{FH} can be verified. We discover more characteristics of graph braid groups: the $n$-braid group over a planar graph and the pure 2-braid group over any graph have a presentation whose relators are words of commutators, and …
In this paper we determine the automorphism groups of the profinite braid groups with four or more strings in terms of the profinite Grothendieck-Teichmüller 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…
We define Dynnikov coordinates on virtual braid groups. We prove that they are faithful invariants of virtual 2-braids, and present evidence that they are also very powerful invariants for general virtual braids.
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.
For every group genetic code with finite number of generating and at most with one defining relation we introduce the braid group of this genetic code. This construction includes the braid group of Euclidean plane, the braid groups of closed orientable surfaces, B type groups of Artin-Brieskorn, and allow us to study all these groups with common point of view. We present some results on the structure of the braid groups of genetic codes, describe normal form of words, torsion, and some results on widths of the verbal subgroups. Also we prove that Scott's system of defining relations for the br…
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.
We give a necessary and sufficient condition for a graph to have a right-angled Artin group as its braid group for braid index $\ge 5$. In order to have the necessity part, graphs are organized into small classes so that one of homological or cohomological characteristics of right-angled Artin groups can be applied. Finally we show that a given graph is planar iff the first homology of its 2-braid group is torsion-free and leave the corresponding statement for $n$-braid groups as a conjecture along with few other conjectures about graphs whose braid groups of index $\le 4$ are right-angled Art…
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.
Homotopy braid group is the subject of the paper. First, linearity of homotopy braid group over the integers is proved. Then we prove that the group homotopy braid group on three strands is torsion free.
In this article, we give a necessary and sufficient condition for embedding a finite index subgroup of Artin's braid group into the mapping class group of a connected orientable surface.
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.
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 the Artin pure braid group on at least four strands is not residually free. Our results also show that the pure braid group on at least three strands has corank two.
We give a complete classification of homomorphisms from the commutator subgroup of the braid group on $n$ strands to the braid group on $n$ strands when $n$ is at least 7. In particular, we show that each nontrivial homomorphism extends to an automorphism of the braid group on $n$ strands. This answers four questions of Vladimir Lin. Our main new tool is the theory of totally symmetric sets.
The braid group $B_{n}$, endowed with Artin's presentation, admits two distinguished involutions. One is the anti-automorphism ${\rm{rev}}: B_{n} \to B_{n}$, $v \mapsto \bar{v}$, defined by reading braids in the reverse order (from right to left instead of left to right). Another one is the conjugation $τ:x \mapsto Δ^{-1}x Δ$ by the generalized half-twist (Garside element). More generally, the involution ${\rm{rev}}$ is defined for all Artin groups (equipped with Artin's presentation) and the involution $τ$ is defined for all Artin groups of finite type. A palindrome is an element invariant un…
In this paper we study the kernel of the homomorphism $B_{g,n} \to B_n$ of the braid group $B_{g,n}$ in the handlebody $\mathcal{H}_g$ to the braid group $B_n$. We prove that this kernel is a semi-direct product of free groups. Also, we introduce an algebra $H_{g,n}(q)$, which is some analog of the Hecke algebra $H_n(q)$, constructed by the braid group $B_n$.
We define virtual braid groups of type B and construct a morphism from such a group to the group of isomorphism classes of some invertible complexes of bimodules up to homotopy.
Motivated by the work of Birman about the relationship between mapping class groups and braid groups, we discuss the relationship between the orbit braid group and the equivariant mapping class group on the closed surface $M$ with a free and proper group action in this article. Our construction is based on the exact sequence given by the fibration $\mathcal{F}_{0}^{G}M \rightarrow F(M/G,n)$. The conclusion is closely connected with the braid group of the quotient space. Comparing with the situation without the group action, there is a big difference when the quotient space is $\mathbb{T}^{2}$.
