我们问，如果任何有限型广义辫群是一些经典的Artin辫群的子群。我们定义了一个从有限型广义辫群到经典辫群的自然映射，并问这个映射是否是单同态。证明了该映射是A_n，B_n，I_2（k）型辫群的同态.这个同态的内射性问题（在这些特殊情况下）尚未解决。如果这个映射是一个单同态，那么几个结果将遵循。例如，它将遵循Whitehead群，投射类群和任何有限型广义辫群的任何子群的下K-群消失。(For在经典的辫群情形下，作者和F. T. Farrell在论文“The Whitehead groups of辫群vanish”中写道。此外，它将遵循有限型广义辫群满足Tits替代（最近这是由M。Besthood）。
英文摘要：
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-group of any subgroup of any finite type generalized braid group vanish. (For the classical braid group case this vanishing result is proved by the author and F.T. Farrell in the paper "The Whitehead groups of braid groups vanish".) Also it will follow that a finite type generalized braid group satisfies Tits alternative (recently this was asked by M. Bestvina).
In the present paper, we construct a variant of the Burau representation of two generalizations of the classical braid group. For the Gassner representation, we propose an iterative procedure to find and generalize the extension of this representation.
For every finite Coxeter group $Γ$, each positive braids in the corresponding braid group admits a unique decomposition as a finite sequence of elements of $Γ$, the so-called Garside-normal form.The study of the associated adjacency matrix $Adj(Γ)$ allows to count the number of Garside-normal form of a given length.In this paper we prove that the characteristic polynomial of $Adj(B_n)$ divides the one of $Adj(B_{n+1})$. The key point is the use of a Hopf algebra based on signed permutations. A similar result was already known for the type $A$. We observe that this does not hold for type $D$. T…
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.
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.
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.
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…
In this work we present a natural surjective map from rigid braids in B_3 (in Garside sense) to SL_2(N). This map provides an upper and a lower bound for the dilatation factor of a pseudo-Anosov 3-strand braid. These bounds only depend on the canonical length of the classical Garside structure of B_3.
Following an idea of Gonçalvez, Guaschi and Ocampo on the usual braid group we construct crystallographic and Bieberbach groups as (sub)quotients of the generalized braid group associated to an arbitrary complex reflection group.
We establish relations between both the classical and the dual Garside structures of the braid group and the Burau representation. Using the classical structure, we formulate a non-vanishing criterion for the Burau representation of the 4-strand braid group. In the dual context, it is shown that the Burau representation for arbitrary braid index is injective when restricted to the set of \emph{simply-nested braids}.
We complete the computation of the integral homology of the generalized braid group $B$ associated to an arbitrary irreducible complex reflection group $W$ of exceptional type. In order to do this we explicitely computed the recursively-defined differential of a resolution of $\mathbf{Z}$ as a $\mathbf{Z} B$-module, using parallel computing. We also deduce from this general computation the rational homology of the Milnor fiber of the singularity attached to most of these reflection groups.
These are Lecture Notes of a course given by the author at the French-Spanish School "Tresses in Pau", held in Pau (France) in October 2009. It is basically an introduction to distinct approaches and techniques that can be used to show results in braid groups. Using these techniques we provide several proofs of well known results in braid groups, namely the correctness of Artin's presentation, that the braid group is torsion free, or that its center is generated by the full twist. We also recall some solutions of the word and conjugacy problems, and that roots of a braid are always conjugate. …
Boyer, Gordon, and Watson have conjectured that an irreducible rational homology 3-sphere is an L-space if and only if its fundamental group is not left-orderable. Since Dehn surgeries on knots in $S^3$ can produce large families of L-spaces, it is natural to examine the conjecture on these 3-manifolds. Greene, Lewallen, and Vafaee have proved that all 1-bridge braids are L-space knots. In this paper, we consider three families of 1-bridge braids. First we calculate the knot groups and peripheral subgroups. We then verify the conjecture on the three cases by applying the criterion developed by…
We describe a procedure for constructing a generalized Thompson group out of a family of groups that is equipped with what we call a cloning system. The previously known Thompson groups F, V, Vbr and Fbr arise from this procedure using, respectively, the systems of trivial groups, symmetric groups, braid groups and pure braid groups. We give new examples of families of groups that admit a cloning system and study how the finiteness properties of the resulting generalized Thompson group depend on those of the original groups. The main new examples here include upper triangular matrix groups, mo…
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.
This article extends the works of Gonçalves, Guaschi, Ocampo [GGO] and Marin [MAR2] on finite subgroups of the quotients of generalized braid groups by the derived subgroup of their pure braid group. We get explicit criteria for subgroups of the (complex) reflection group to lift to subgroups of this quotient. In the specific case of the classical braid group, this enables us to describe all its finite subgroups : we show that every odd-order finite group can be embedded in it, when the number of strands goes to infinity. We also determine a complete list of the irreducible reflection groups f…
Several key agreement protocols are based on the following "Generalized Conjugacy Search Problem": Find, given elements b_1,...,b_n and xb_1x^{-1},...,xb_nx^{-1} in a nonabelian group G, the conjugator x. In the case of subgroups of the braid group B_N, Hughes and Tannenbaum suggested a length-based approach to finding x. Since the introduction of this approach, its effectiveness and successfulness were debated. We introduce several effective realizations of this approach. In particular, a new length function is defined on B_N which possesses significantly better properties than the natural le…
Important developments in fault-tolerant quantum computation using the braiding of anyons have placed the theory of braid groups at the very foundation of topological quantum computing. Furthermore, the realization by Kauffman and Lomonaco that a specific braiding operator from the solution of the Yang-Baxter equation, namely the Bell matrix, is universal implies that in principle all quantum gates can be constructed from braiding operators together with single qubit gates. In this paper we present a new class of braiding operators from the Temperley-Lieb algebra that generalizes the Bell matr…
The main purpose of this article is to give the integral cohomology of classical principal congruence subgroups in SL(2,Z) as well as their analogues in the third braid group with local coefficients in symmetric powers of the natural symplectic representation. The resulting answers (1) correspond to certain modular forms in characteristic zero, and (2) the cohomology of certain spaces in homotopy theory in characteristic p. The torsion is given in terms of the structure of a "p-divided power algebra". The work is an extension of the work in arXiv:1204.5390v1 as well as extensions of a classica…
We solve the simultaneous conjugacy problem in Artin's braid groups and, more generally, in Garside groups, by means of a complete, effectively computable, finite invariant. This invariant generalizes the one-dimensional notion of super summit set to arbitrary dimensions. One key ingredient in our solution is the introduction of a provable high-dimensional version of the Birman--Ko--Lee cycling theorem. The complexity of this solution is a small degree polynomial in the cardinalities of our generalized super summit sets and the input parameters. Computer experiments suggest that the cardinalit…
In this paper, we establish a bijection between the infinite reduced words of an affine Weyl group and certain biclosed sets of its positive system and determine all finitely generated biclosed sets in the positive system of an affine Weyl group. Using these results, we show first that the biclosed sets in the standard positive system of rank 3 affine Weyl groups when ordered by inclusion form a complete algebraic ortholattice and secondly that the (generalized) braid graphs of those Coxeter groups are connected, which can be thought of as an infinite version of Tit's solution to the word prob…
The purpose of this article is to describe the integral cohomology of the braid group B_3 and SL_2(Z) with local coefficients in a classical geometric representation given by symmetric powers of the natural symplectic representation. These groups have a description in terms of the so called "divided polynomial algebra". The results show a strong relation between torsion part of the computed cohomology and fibrations related to loop spaces of spheres.
In this note we first consider a ternary matrix group related to the von Neumann regular semigroups and to the Artin braid group (in an algebraic way). The product of a special kind of ternary matrices (idempotent and of finite order) reproduces the regular semigroups and braid groups with their binary multiplication of components. We then generalize the construction to the higher arity case, which allows us to obtain some higher degree versions (in our sense) of the regular semigroups and braid groups. The latter are connected with the generalized polyadic braid equation and $R$-matrix introd…
