In arXiv:0910.1727 we find certain finite homomorphic images of Artin braid group into appropriate symmetric groups, which a posteriori are extensions of the symmetric group on n letters by an abelian group. The main theorem of this paper characterizes completely the extensions of this type that are split.
This paper is devoted to the proof of a structural theorem, concerning certain homomorphic images of Artin braid group on $n$ strands in finite symmetric groups. It is shown that any one of these permutation groups is an extension of the symmetric group on $n$ letters by an appropriate abelian group, and in "half" of the cases this extension splits.
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…
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.
Let VB$_n$ be the virtual braid group on $n$ strands and let $\mathfrak{S}_n$ be the symmetric group on $n$ letters. Let $n,m \in \mathbb{N}$ such that $n \ge 5$, $m \ge 2$ and $n \ge m$. We determine all possible homomorphisms from VB$_n$ to $\mathfrak{S}_m$, from $\mathfrak{S}_n$ to VB$_m$ and from VB$_n$ to VB$_m$. As corollaries we get that Out(VB$_n$) is isomorphic to $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ and that VB$_n$ is both Hopfian and co-Hofpian.
We give a new infinite family of group homomorphisms from the braid group B_k to the symmetric group S_{mk} for all k and m \geq 2. Most known permutation representations of braids are included in this family. We prove that the homomorphisms in this family are non-cyclic and transitive. For any divisor l of m, 1\leq l < m, we prove in particular that if \frac{m}{l} is odd then there are 1 + \frac{m}{l} non-conjugate homomorphisms included in our family. We define a certain natural restriction on homomorphisms B_k to S_n, common to all homomorphisms in our family, which we term 'good', and of w…
We show how the categorial approach to inverse monoids can be described as a certain endofunctor (which we call the partialization functor) of some category. In this paper we show that this functor can be used to obtain several recently defined inverse monoids, and use it to define a new object, which we call the inverse braid-permutation monoid. A presentation for this monoid is obtained. Finally, we study some abstract properties of the partialization functor and its iterations. This leads to a categorification of a monoid of all order preserving maps, and series of orthodox generalizations …
E. Artin described all irreducible representations of the braid group B_k to the symmetric group S(k). We strengthen some of his results and, moreover, exhibit a complete picture of homomorphisms of B_k to S(n) for n<2k+1. We show that the image of such ahomomorphism f is cyclic whenever either (*) n<k\ne 4 or (**) f is irreducible and 6<k<n<2k. For k>6 there exist, up to conjugation, exactly 3 irreducible representations of B_k into S(2k) with non-cyclic images but they all are imprimitive. We use these results to prove that for n<k\ne 4 the image of any homomorphism from B_k to B_n is cyclic…
We study the rational permutation braids, that is the elements of an Artin-Tits group of spherical type which can be written $x^{-1} y$ where $x$ and $y$ are prefixes of the Garside element of the braid monoid. We give a geometric characterization of these braids in type $A_n$ and $B_n$ and then show that in spherical types different from $D_n$ the simple elements of the dual braid monoid (for arbitrary choice of Coxeter element) embedded in the braid group are rational permutation braids (we conjecture this to hold also in type $D_n$).This property implies positivity properties of the polynom…
Random braids that are formed by multiplying randomly chosen permutation braids are studied by analyzing their behavior under Garside's weighted decomposition and cycling. Using this analysis, we propose a polynomial-time algorithm to the conjugacy problem that is successful for random braids in overwhelming probability. As either the braid index or the number of permutation-braid factors increases, the success probability converges to 1 and so, contrary to the common belief, the distribution of hard instances for the conjugacy problem is getting sparser. We also prove a conjecture by Birman a…
For a finite group $G$, the Hurwitz space $\mathcal{H}^{in}_{r,g}(G)$ is the space of genus $g$ covers of the Riemann sphere with $r$ branch points and the monodromy group $G$. In this paper, we give a complete list of primitive genus one systems of affine type. That is, we assume that $G$ is a primitive group of affine type. Under this assumption we determine the braid orbits on the suitable Nielsen classes, which is equivalent to finding connected components in $\mathcal{H}^{in}_{r,1}(G)$. Furthermore, we give a new algorithm for computing large braid orbits on Nielsen classes. This algorith…
Let $SB_n$ be the singular braid group generated by braid generators $σ_i$ and singular braid generators $τ_i$, $1 \leq i \leq n-1$. Let $ST_n$ denote the group that is the kernel of the homomorphism that maps, for each $i$, $σ_i$ to the cyclic permutation $(i, i+1)$ and $τ_i$ to $1$. In this paper we investigate the group $ST_3$. We obtain a presentation for $ST_3$. We prove that $ST_3$ is isomorphic to the singular pure braid group $SP_3$ on $3$ strands. We also prove that the group $ST_3$ is semi-direct product of a subgroup $H$ and an infinite cyclic group, where the subgroup $H$ is an HNN…
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…
We study a certain type of braid closure which resembles the plat closure but has certain advantages; for example, it maps pure braids to knots. The main results of this note are a Markov-type theorem and a description of how Vassiliev invariants behave under this braid closure.
Using the diagrammatic approach to integrals over Gaussian random matrices, we find a representation for polynomial Lie group integrals as infinite sums over certain maps on surfaces. The maps involved satisfy a specific condition: they have some marked vertices, and no closed walks that avoid these vertices. We also formulate our results in terms of permutations, arriving at new kinds of factorization problems.
By studying braid group actions on Milnor's construction of the 1-sphere, we show that the general higher homotopy group of the 3-sphere is the fixed set of the pure braid group action on certain combinatorially described group. We also give certain representation of higher differentials in the Adams spectral sequence for the homotopy groups of the 2-sphere.
In this paper we first show that many braid groups of low genus surfaces have their centers as direct factors. We then give a description of centralizers and normalizers of prime order elements in pure mapping class groups of surfaces with spherical quotients using automorphism groups of fundamental groups of the quotient surfaces. As an application, we use these to show that the $p$-primary part of the Farrell cohomology groups of certain mapping class groups are elementary abelian groups. At the end we compute the $p$-primary part of the Farrell cohomology of a few pure mapping class groups.
In this short note we present a simple combinatorial trick which can be effectively applied to show the non--existence of sharply transitive sets of permutations in certain finite permutation groups.
We state a conjecture about centralizers of certain roots of central elements in braid groups, and check it for Artin braid groups and some other cases. Our proof makes use of results by Birman-Ko-Lee; we give a new intrinsic account of these results.
In the present paper we study structural aspects of certain quotients of braid groups and virtual braid groups. In particular, we construct and study linear representations $B_n\to {\rm GL}_{n(n-1)/2}\left(\mathbb{Z}[t^{\pm1}]\right)$, $VB_n\to {\rm GL}_{n(n-1)/2}\left(\mathbb{Z}[t^{\pm1}, t_1^{\pm1},t_2^{\pm1},\ldots, t_{n-1}^{\pm1}]\right)$ which are connected with the famous Lawrence-Bigelow-Krammer representation. It turns out that these representations are faithful representations of crystallographic groups $B_n/P_n'$, $VB_n/VP_n'$, respectively. Using these representations we study certa…
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 show that the span of the variable $q$ in the Lawrence-Krammer-Bigelow representation matrix of a braid is equal to the twice of the dual Garside length of the braid, as was conjectured by Krammer. Our proof is close in spirit to Bigelow's geometric approach. The key observation is that the dual Garside length of a braid can be read off a certain labeling of its curve diagram.
The braid groups B_n can be defined as the mapping class group of the n-punctured disc. The Lawrence-Krammer representation of the braid group B_n is the induced action on a certain twisted second homology of the space of unordered pairs of points in the n-punctured disc. Recently, Daan Krammer showed that this is a faithful representation in the case n=4. In this paper, we show that it is faithful for all n.
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…
The question of whether a representation of Artin's pure braid group is faithful is translated to certain properties of the Lie algebra arising from the descending central series of the pure braid group, and thus the Vassiliev invariants of pure braids via work of T. Kohno \cite{kohno1,kohno2}. The main result is a Lie algebraic condition which guarantees that a homomorphism out of the classical pure braid group is faithful. However, it is unclear whether the methods here can be applied to any open cases such as the Gassner representation.
In this paper, we investigate some applications of commutator subgroups to homotopy groups and geometric groups. In particular, we show that the intersection subgroups of some canonical subgroups in certain link groups modulo their symmetric commutator subgroups are isomorphic to the (higher) homotopy groups. This gives a connection between links and homotopy groups. Similar results hold for braid and surface groups.
We show that Lawrence's representation and linear representations from quantum sl_2 called generic highest weight vectors detect the dual Garside length of braids in a simple and natural way. That is, by expressing a representation as a matrix over a Laurent polynomial ring using certain natural basis, the span of the variable is equal to the constant multiples of the dual Garside length.
We give a classification of Wada-type representations of the braid groups, and solutions of a variant of the set-theoretical Yang-Baxter equation adapted to the free-product group structure. As a consequence, we prove Wada's conjecture: There are only seven types of Wada-type representations up to certain symmetries.
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 use some Lie group theory and Budney's unitarization of the Lawrence-Krammer representation, to prove that for generic parameters of definite form the image of the representation (also on certain types of subgroups) is dense in the unitary group. This implies that, except possibly for closures of full-twist braids, all links have infinitely many conjugacy classes of braid representations on any non-minimal number of (and at least 4) strands.
S. Bigelow proved that the braid groups are linear. That is, there is a faithful representation of the braid group into the general linear group of some field. Using this, we deduce from previously known results that the mapping class group of a sphere with punctures and hyperelliptic mapping class groups are linear. In particular, the mapping class group of a closed orientable surface of genus 2 is linear.
The braided Ptolemy-Thompson group $T^*$ is an extension of the Thompson group $T$ by the full braid group $B_{\infty}$ on infinitely many strands. This group is a simplified version of the acyclic extension considered by Greenberg and Sergiescu, and can be viewed as a mapping class group of a certain infinite planar surface. In a previous paper we showed that $T^*$ is finitely presented. Our main result here is that $T^*$ (and $T$) is asynchronously combable. The method of proof is inspired by Lee Mosher's proof of automaticity of mapping class groups.
We describe an algebraic proof of the well-known topological fact that $π_1(SO(n)) \cong Z/2Z$. The fundamental group of $SO(n)$ appears in our approach as the center of a certain finite group defined by generators and relations. The latter is a factor group of the braid group $B_n$, obtained by imposing one additional relation and turns out to be a nontrivial central extension by $Z/2Z$ of the corresponding group of rotational symmetries of the hyperoctahedron in dimension $n$.
In this paper we prove certain Hurwitz equivalence properties in the braid group. Our main result is that every two factorizations of $Δ_n ^2$ where the elements of the factorization are semi-frame are Hurwitz equivalent. The results of this paper are generalization of the results in \cite{B4}. We use a new presentation of the braid group, called the Birman-Ko-Lee presentation, to define the semi-frame structure. The main result of this paper can be applied to compute the BMT invariant of surfaces. The BMT is the class of Hurwitz equivalent factorizations of the central element of the braid gr…
We define a family of representations $\{ρ_n\}_{n\geq 0}$ of a pure braid group $P_{2k}$. These representations are obtained from an action of $P_{2k}$ on a certain type of $A_2$ web space with color $n$. The $A_2$ web space is a generalization of the Kauffman bracket skein module of a disk with marked points on its boundary. We also introduce a triangle-free basis of such an $A_2$ web space and calculate matrix representations of $ρ_n$ about the standard generators of $P_{2k}$.