The Burau representation is a natural action of the braid group B_n on the free Z[t,t^{-1}]-module of rank n-1. It is a longstanding open problem to determine for which values of n this representation is faithful. It is known to be faithful for n=3. Moody has shown that it is not faithful for n>8 and Long and Paton improved on Moody's techniques to bring this down to n>5. Their construction uses a simple closed curve on the 6-punctured disc with certain homological properties. In this paper we give such a curve on the 5-punctured disc, thus proving that the Burau representation is not faithful for n>4.
We establish strong constraints on the kernel of the (reduced) Burau representation $β_4:B_4\to \text{GL}_3\left(\mathbb{Z}\left[q^{\pm 1}\right]\right)$ of the braid group $B_4$. We develop a theory to explicitly determine the entries of the Burau matrices of braids in $B_4$, and this is an important step toward demonstrating that $β_4$ is faithful (a longstanding question posed in the 1930s). The theory is based on a novel combinatorial interpretation of $β_4\left(g\right)$, in terms of the Garside normal form of $g\in B_4$ and a new product decomposition of positive braids. We develop cance…
We study the kernel of the evaluated Burau representation through the braid element $σ_i σ_{i+1} σ_i$. The element is significant as a part of the standard braid relation. We establish the form of this element's image raised to the $n^{th}$ power. Interestingly, the cyclotomic polynomials arise and can be used to define the expression. The main result of this paper is that the Burau representation of the braid group of $n$ strands for $n \geq 3$ is unfaithful at any primitive root of unity, excepting the first three.
A long-standing open problem is to determine for which values of n the Burau representation Psi_n of the braid group B_n is faithful. Following work of Moody, Long-Paton, and Bigelow, the remaining open case is n = 4. One criterion states that Psi_n is unfaithful if and only if there exists a pair of arcs in the n-punctured disk D_n such that a certain associated polynomial is zero. In this paper, we use a computer search to show that there is no such arc-pair in D_4 with 2000 or fewer intersections, thus certifying the faithfulness of Psi_4 up to this point. We also investigate the structure …
\begin{abstract} The reduced Burau representation is a natural action of the braid group $B_n$ on the first homology group $H_1({\tilde{D}}_n;\mathbb{Z})$ of a suitable infinite cyclic covering space ${\tilde{D}}_n$ of the $n$--punctured disc $D_n$. It is known that the Burau representation is faithful for $n\le 3$ and that it is not faithful for $n\ge 5$. We use forks and noodles homological techniques and Bokut--Vesnin generators to analyze the problem for $n=4$. We present a Conjecture implying faithfulness and a Lemma explaining the implication. We give some arguments suggesting why we exp…
We categorify the coefficients of the Burau representation matrix using elementary geometrical methods. We show the faithfulness of this categorification in the sense that it detects the trivial braid.
The Burau representation is a fundamental bridge between the braid group and diverse other topics in mathematics. A 1974 question of Birman asks for a description of the image; in this paper we give a "strong approximation" to the answer. Since a 1984 paper of Squier it has been known that the Burau representation preserves a certain Hermitian form. We show that the Burau image is dense in this unitary group relative to a topology induced by a naturally-occurring filtration. We expect that the methods of the paper should extend to many other representations of the braid group and perhaps ultim…
This classification is found by analyzing the action of a normal subgroup of $B_3$ as hyperbolic isometries. This paper gives an example of an unfaithful specialization of the Burau representation on $B_4$ that is faithful when restricted to $B_3$, as well as examples of unfaithful specializations of $B_3$.
For Poincare series of binary polyhedral groups and Coxeter polynomials there are obtained statements close to the Euclid algorithm and orthogonal polynomials theory: generalized Ebeling formula, decompositions into ramified continued fractions, Christoffel-Darboux identity, combinatorial formula. Known results about the factorization of the Alexander-Conway polynomial permit to connect Poincare series and Coxeter polynomials with the Burau representation and Milnor invariants of string links. One uses reconstractions of A'Campo links and Coxeter links. There is formulated a conjecture connect…
Consider the kernel Mag_g of the Magnus representation of the Torelli group and the kernel Bur_n of the Burau representation of the braid group. We prove that for g >= 2 and for n >= 6 the groups Mag_g and Bur_n have infinite rank first homology. As a consequence we conclude that neither group has any finite generating set. The method of proof in each case consists of producing a kind of "Johnson-type" homomorphism to an infinite rank abelian group, and proving the image has infinite rank. For the case of Bur_n, we do this with the assistance of a computer calculation.
The problem of faithfulness of the (reduced) Burau representation for $n =4$ is known to be equivalent to the problem of whether certain two matrices $A$ and $B$ generate a free group of rank two. It is known that $A^3$ and $B^3$ generate a free group of rank two \cite{9}, \cite{10}, \cite{4}. We prove that they also generate a free group when considered as matrices over the $\mathbb{Z}_p[t,t^{-1}]$ for any integer $p > 1$.
It is well known that the Burau representation of the braid group can be used to recover the Alexander polynomial of the closure of a braid. We define $L^2$-Burau maps and use them to compute some $L^2$-Alexander torsions of links. As an application, we prove that the $L^2$-Burau maps distinguish more braids than the Burau representation.
We classify right-veering homeomorphisms of the once-punctured torus using the Burau representation of the 3-strand braid group. We show that reducible and periodic mapping classes in B_3 can be identified as right-veering by consideration of the reduced version of the Burau representation. Given any element beta in B_3, we give a method to quickly determine its action on the generators of the fundamental group of the 3-times punctured disk. This action which determines whether beta is right-veering, left-veering, or neither.
We discuss techniques for analysing the structure of the group obtained by reducing the image of the Burau representation of the braid group modulo a prime. The main tools are a certain sesquilinear form first introduced by Squier and consideration of the action of the group on a Euclidean building.
We prove that the hyperelliptic Torelli group is generated by Dehn twists about separating curves that are preserved by the hyperelliptic involution. This verifies a conjecture of Hain. The hyperelliptic Torelli group can be identified with the kernel of the Burau representation evaluated at t=-1 and also the fundamental group of the branch locus of the period mapping, and so we obtain analogous generating sets for those. One application is that each component in Torelli space of the locus of hyperelliptic curves becomes simply connected when curves of compact type are added.
In this paper we give a criterion for pairs of isometries of a nonpositively curved metric space to generate a free group. This criterion holds only in singular spaces, for example in Euclidean buildings. The original motivation for our criterion was to prove that the four dimensional Burau representation is faithful. Although we do not settle this question, we do exhibit a related 2-parameter family of faithful representations of the free group F_2.
We show that the kernel of $Burau(4) \otimes Z_p$, the reduced Burau representation with coefficients in $Z_p$ of the 4-braid group $B_4$, consists only of pseudo-Anosov braids.
The Burau representation of the braid group can be used to recover the Alexander polynomial of the closure of a braid. We define twisted Burau maps and use them to compute twisted Alexander polynomials.
The reduced Burau representation $V_n$ of the braid group $B_n$ is obtained from the action of $B_n$ on the homology of an infinite cyclic cover of the disc with $n$ punctures. The group homology $H_*(B_n;V_n)$ of braid groups with coefficients in the complexified reduced Burau representation is calculated. Our topological calculation has the following arithmetic interpretation (which also has different algebraic proofs): the expected number of points on a random superelliptic curve of a fixed genus over $\mathbb{F}_q$ is exactly $q$.
The reduced Burau representation $V_n$ of the braid group $B_n$ is obtained from the action of $B_n$ on the homology of an infinite cyclic cover of the $n$-punctured disc. In this note, we calculate $H_*(B_n;V_n)$ as a module over the Laurent polynomial ring $\mathbb{Q}[t,t^{-1}]$.
We give a simple topological construction of the Burau representations of the loop braid groups. There are four versions: defined either on the non-extended or extended loop braid groups, and in each case there is an unreduced and a reduced version. Three are not surprising, and one could easily guess the correct matrices to assign to generators. The fourth is more subtle, and does not seem combinatorially obvious, although it is topologically very natural.
Virtual knots arise in the study of Gauss diagrams and Vassiliev invariants of usual knots. Virtual braids correspond naturally to virtual knots. We consider the group of virtual braids on n strings VB_n and its Burau representation, in particular we study their homological properties. We prove that the plus-construction of the classifying space of the virtual braid group on the infinite number of strings is an infinite loop space which is equivalent to a product of Q(S^0), S^1 and an infinite loop space Y. Connections with the K-functor of the integers are discussed.
In 1996, Tong, Yang and Ma defined a family of representations of the braid group which have the same dimensions as the (unreduced) Burau representations but are not equivalent. The Burau representation was defined homologically and extended to the string links in several ways. In this paper, using the method of Silver and Williams, we extend the family of the Tong-Yang-Ma representations to the string links and welded string links. Moreover, we show that the kernels of these representations may be described using some linking numbers. Finally, we apply the Long-Moody construction to the Tong-…
We consider subgroups of the braid groups which are generated by $k$-th powers of the standard generators and prove that any infinite intersection (with even $k$) is trivial. This is motivated by some conjectures of Squier concerning the kernels of Burau's representations of the braid groups at roots of unity. Furthermore, we show that the image of the braid group on 3 strands by these representations is either a finite group, for a few roots of unity, or a finite extension of a triangle group, by using geometric methods.
We study some aspects of the geometric representation theory of the Thompson and Neretin groups, suggested by their analogies with the diffeomorphism groups of the circle. We prove that the Burau representation of the Artin braid groups extends to a mapping class group $A_T$ related to Thompson's group $T$ by a short exact sequence $B_{\infty}\hookrightarrow A_T\to T$, where $B_{\infty}$ is the infinite braid group. This {\it non-commutative} extension abelianises to a central extension $0\to \Z\to A_T/[B_{\infty},B_{\infty}]\to T\to 1$ detecting the {\it discrete} version $\bar{gv}$ of the Bo…
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.
Burau representation of the Artin braid group remains as one of the very important representations for the braid group. Partly, because of its connections to the Alexander polynomial which is one of the first and most useful invariants for knots and links. In the present work, we show that interesting representations of braid group could be achieved using a simple and intuitive approach, where we simply analyse the path of strands in a braid and encode the over-crossings, under-crossings or no-crossings into some parameters. More precisely, at each crossing, where, for example, the strand $i$ …
In this paper we survey some work on representations of $B_n$ given by the induced action on a homology module of some space. One of these, called the Lawrence-Krammer representation, recently came to prominence when it was shown to be faithful for all $n$. We will outline the methods used, applying them to a closely related representation for which the proof is slightly easier. The main tool is the Blanchfield pairing, a sesquilinear pairing between elements of relative homology. We discuss two other applications of the Blanchfield pairing, namely a proof that the Burau representation is not …
We show that the reduced $\mathrm{SL}_2(\mathbb{C})$-twisted Burau representation can be obtained from the quantum group $\mathcal{U}_q(\mathfrak{sl}_2)$ for $q = i$ a fourth root of unity and that representations of $\mathcal{U}_q(\mathfrak{sl}_2)$ satisfy a type of Schur-Weyl duality with the Burau representation. As a consequence, the $\operatorname{SL}_2(\mathbb{C})$-twisted Reidemeister torsion of links can be obtained as a quantum invariant. Our construction is closely related to the quantum holonomy invariant of Blanchet, Geer, Patureau-Mirand, and Reshetikhin, and we interpret their in…
We present a reduced Burau-like representation for the mixed braid group on one strand representing links in lens spaces and show how to calculate the Alexander polynomial of a link directly from the mixed braid.
We give counterexamples to a version of the simple loop conjecture in which the target group is PSL(2,C). These examples answer a question of Minsky in the negative.
In this paper, we study the monodromy of the Hitchin fibration for rank 2 vector bundles over hyperelliptic curves. We reduce the problem to studying a surface braid group generalization of the classical Burau representation, and give a combinatorial method for computing this representation.
We show that a certain linear representation of the singular braid monoid on three strands is faithful. Furthermore we will give a second - group theoretically motivated - solution to the word problem in this monoid.
We prove that the hyperelliptic mapping class group of a nonorientable surface of genus $g\geq 4$ has a faithful linear representation of dimension $g^2-1$ over $\mathbb{R}$.
We show the set of faithful representations of a closed orientable hyperbolic surface group is dense in both irreducible components of the PSL(2,K) representation variety, where K is the field of real or complex numbers, answering a question of W. Goldman. We also prove the existence of faithful representations into PU(2,1) with certain nonintegral Toledo invariants.
The Jones-Witten theory gives rise to representations of the (extended) mapping class group of any closed surface Y indexed by a semi-simple Lie group G and a level k. In the case G=SU(2) these representations (denoted V_A(Y)) have a particularly simple description in terms of the Kauffman skein modules with parameter A a primitive 4r-th root of unity (r=k+2). In each of these representations (as well as the general G case), Dehn twists act as transformations of finite order, so none represents the mapping class group M(Y) faithfully. However, taken together, the quantum SU(2) representations …
