We investigate a group $B\_\bullet$ that includes Artin's braid group $B\_\infty$ and Thompson's group $F$. The elements of $B\_\bullet$ are represented by braids diagrams in which the distances between the strands are not uniform and, besides the usual crossing generators, new rescaling operators shrink or strech the distances between the strands. We prove that $B\_\bullet$ is a group of fractions, that it is orderable, admits a non-trivial self-distributive structure, i.e., one involving the law $x(yz)=(xy)(xz)$, embeds in the mapping class group of a sphere with a Cantor set of punctures, and that Artin's representation of $B\_\infty$ into the automorphisms of a free group extends to $B\_\bullet$.
We show that the crystallographic braid group $B_n/[P_n,P_n]$ embeds naturally in the group of unrestricted virtual braids $UVB_n$, we give new proofs of known results about the torsion elements of $B_n/[P_n,P_n]$, and we characterise the torsion elements of $UVB_n$.
We describe pure braided versions of Thompson's group F. These groups, $BF$ and $\hat{BF}$, are subgroups of the braided versions of Thompson's group V, introduced by Brin and Dehornoy. Unlike V, elements of F are order-preserving self-maps of the interval and we use pure braids together with elements of F thus preserving order. We define these groups and give normal forms for elements and describe infinite and finite presentations of these groups.
We prove by explicit construction that graph braid groups and most surface groups can be embedded in a natural way in right-angled Artin groups, and we point out some consequences of these embedding results. We also show that every right-angled Artin group can be embedded in a pure surface braid group. On the other hand, by generalising to right-angled Artin groups a result of Lyndon for free groups, we show that the Euler characteristic -1 surface group (given by the relation x^2y^2=z^2) never embeds in a right-angled Artin group.
We construct a universal Vassiliev invariant for braid groups of the sphere and the mapping class groups of the sphere with $n$ punctures. The case of a sphere is different from the classical braid groups or braids of oriented surfaces of genus strictly greater than zero, since Vassiliev invariants in a group without 2-torsion do not distinguish elements of braid group of a sphere.
We define and study extensions of Artin's representation and braid monodromy representation to the case of topological and algebraical generalisations of braid groups. In particular we provide faithful representations of braid groups of oriented surfaces with boundary components as (outer) automorphisms of free groups. We give also similar representations for braid groups of non oriented surfaces with boundary components and we show a representation of braid groups of closed surfaces as outer automorphisms of free groups. Finally, we provide faithful representations of Artin-Tits groups of typ…
We present an algorithm for solving the conjugacy search problem in the four strand braid group. The computational complexity is cubic with respect to the braid length.
Braided Thompson's groups are finitely presented groups introduced by Brin and Dehornoy which contain the ordinary braid groups $B_n$, the finitary braid group $B_{\infty}$ and Thompson's group $F$ as subgroups. We describe some of the metric properties of braided Thompson's groups and give upper and lower bounds for word length in terms of the number of strands and the number of crossings in the diagrams used to represent elements.
We show several geometric and algebraic aspects of a necklace: a link composed with a core circle and a series of circles linked to this core. We first prove that the fundamental group of the configuration space of necklaces (that we will call braid group of a necklace) is isomorphic to the braid group over an annulus quotiented by the square of the center. We then define braid groups of necklaces and affine braid groups of type A in terms of automorphisms of free groups and characterize these automorphisms among all automorphisms of free groups. In the case of affine braid groups of type A su…
In this paper we give a description of the generators of the prime level congruence subgroups of braid groups. Also, we give a new presentation of the symplectic group over a finite field, and we calculate symmetric quotients of the prime level congruence subgroups of braid groups. Finally, we find a finite generating set for the level-3 congruence subgroup of the braid group on 3 strands.
We prove that pure braid groups of closed surface are almost-direct products of residually torsion free nilpotent groups and hence residually torsion free nilpotent. As a Corollary, we prove also that braid groups on 2 strands of closed surfaces are residually nilpotent.
We provide new group presentations for surface braid groups which are positive. We study some properties of such presentations and we solve the conjugacy problem in a particular case.
Broué, Malle and Rouquier conjectured in that the center of the pure braid group of an irreducible finite complex reflection group is cyclic. We prove this conjecture, for the remaining exceptional types, using the analogous result for the full braid group due to Bessis, and we actually prove the stronger statement that any finite index subgroup of such braid group has cyclic center.
In this short note we provide an alternative proof of a theorem of Kapovich and Millson about the Malcev completion of an arbitrary Artin group, and determine the Malcev completion of the braid group of an irreducible finite complex reflection group.
We prove that if a right-angled Artin group $A_Γ$ is abstractly commensurable to a group splitting non-trivially as an amalgam or HNN-extension over $\mathbb{Z}^n$, then $A_Γ$ must itself split non-trivially over $\mathbb{Z}^k$ for some $k\le n$. Consequently, if two right-angled Artin groups $A_Γ$ and $A_Δ$ are commensurable and $Γ$ has no separating $k$-cliques for any $k\le n$ then neither does $Δ$, so "smallest size of separating clique" is a commensurability invariant. We also discuss some implications for issues of quasi-isometry. Using similar methods we also prove that for $n\ge 4$ the…
We construct a quasi-Garside monoid structure for the free group. This monoid should be thought of as a dual braid monoid for the free group, generalising the constructions by Birman-Ko-Lee and by the author of new Garside monoids for Artin groups of spherical type. Conjecturally, an analog construction should be available for arbitrary Artin groups and for braid groups of well-generated complex reflection groups.
In this article, we initiate a geometric study of graph braid groups. More precisely, by applying the formalism of special colorings introduced in a previous article, we determine precisely when a graph braid group is Gromov-hyperbolic, toral relatively hyperbolic, and acylindrically hyperbolic.
In this note we solve the twisted conjugacy problem for braid groups, i.e. we propose an algorithm which, given two braids $u,v\in B_n$ and an automorphism $ϕ\in Aut (B_n)$, decides whether $v=(ϕ(x))^{-1}ux$ for some $x\in B_n$. As a corollary, we deduce that each group of the form $B_n \rtimes H$, a semidirect product of the braid group $B_n$ by a torsion-free hyperbolic group $H$, has solvable conjugacy problem.
In this paper, we obtain Groebner-Shirshov (non-commutative Gröbner) bases for the braid groups in the Birman-Ko-Lee generators enriched by new ``Garside word" $δ$. It gives a new algorithm for getting the Birman-Ko-Lee Normal Form in the braid groups, and thus a new algorithm for solving the word problem in these groups.
In this paper, we give a Gröbner-Shirshov basis of the braid group $B_{n+1}$ in Adyan-Thurston generators. We also deal with the braid group of type $\bf{B}_{n}$. As results, we obtain a new algorithm for getting the Adyan-Thurston normal form, and a new proof that the braid semigroup $B^+_{n+1}$ is the subsemigroup in $B_{n+1}$.
Let G be a graph. The (unlabeled) configuration space of n points on G is the space of all n-element subsets of G. The fundamental group of such a configuration space is called a graph braid group. We use a version of discrete Morse theory to compute presentations of all graph braid groups, for all finite connected graphs G and all natural numbers n.
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 introduce the notion of a braid group parametrized by a ring, which is defined by generators and relations and based on the geometric idea of painted braids. We show that the parametrized braid group is isomorphic to the semi-direct product of the Steinberg group (of the ring) with the classical braid group. The technical heart of the proof is the Pure Braid Lemma, which asserts that certain elements of the parametrized braid group commute with the pure braid group. More generally, we define, for any crystallographic root system, a braid group and a parametrized braid group with parameters …
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.
This is an introduction to the braid groups, as presented in the summer school and workshop on braid groups at the National University of Singapore in June 2007.
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.
This article is an exposition of certain connections between the braid groups, classical homotopy groups of the 2-sphere, as well as Lie algebras attached to the descending central series of pure braid groups arising as Vassiliev invariants of pure braids. Natural related questions are posed at the end of this article.
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.
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 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 prove that, for $n\geq 3$, the minimal dimension of a model of the classifying space of the full braid group $B_n$, and of the pure braid group $P_n$, with respect to the family of virtually cyclic groups is $n$.
We ask if any finite type generalized braid group is a subgroup of some classical Artin braid group. We define a natural map from a given finite type generalized braid group to a classical braid group and ask if this map is an injective homomorphism. We prove that this map is a homomorphism for the braid groups of type A_n, B_n, I_2(k). The injectivity question of this homomorphism (in these particular cases) is not yet settled. If this map is an injective homomorphism then several results will follow. For example it will follow that the Whitehead group, projective class group and the lower K-…
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.
Complex braid groups are the natural generalizations of braid groups associated to arbitrary (finite) complex reflection groups. We investigate several methods for computing the homology of these groups. In particular, we get the Poincaré polynomial with coefficients in a finite field for one large series of such groups, and compute the second integral cohomology group for all of them. As a consequence we get non-isomorphism results for these groups.
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.
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 propose a family of new representations of the braid groups on surfaces that extend linear representations of the braid groups on a disc such as the Burau representation and the Lawrence-Krammer-Bigelow representation.
The n-string braid group of a graph X is defined as the fundamental group of the n-point configuration space of the space X. This configuration space is a finite dimensional aspherical space. A. Abrams and R. Ghrist have conjectured that this braid group is a right angled Artin group if X is planar. We prove their conjecture if X is a tree whose nodes all lie in a single interval of X.
The singular braids with $n$ strands, $n \geq 3$, were introduced independently by Baez and Birman. It is known that the monoid formed by the singular braids is embedded in a group that is known as singular braid group, denoted by $SG_n$. There has been another generalization of braid groups, denoted by $GVB_n$, $n \geq 3$, which was introduced by Fang as a group of symmetries behind quantum quasi-shuffle structures. The group $GVB_n$ simultaneously generalizes the classical braid group, as well as the virtual braid group on $n$ strands. We investigate the commutator subgroups $SG_n'$ and $GVB…
We study the representations of the commutator subgroup of the braid group with n strands in the symmetric group of degree r. Motivated by some experimental results, we conjecture that for n>r, every such representation is trivial.
A toric braid is a braid whose closure is a torus link in $\mathbb{R}^3$. Manturov generalized toric braids that is called quasitoric braids and showed that the subset of quasitoric braids in the classical braid group is a subgroup of the braid group. We call this subgroup the quasitoric braid group. In this paper, we give two minimal generating sets for the quasitoric braid group and determine its abelianization. The minimalities of these two generating sets are obtained from a lower bound by the number of generators for the abelianization.
