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.
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.
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}]$.
It is shown how Fiedler's `small state-sum' invariant for a braid can be calculated from the 2-variable Alexander polynomial of the link which consists of the closed braid together with the braid axis.
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 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.
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…
A previous work of A. Conway and the author introduced $L^2$-Burau maps of braids, which are generalizations of the Burau representation whose coefficients live in a more general group ring than the one of Laurent polynomials. This same work established that the $L^2$-Burau map of a braid at the group of the braid closure yields the $L^2$-Alexander torsion of the braid closure in question, as a variant of the well-known Burau-Alexander formula. In the present paper, we generalize the previous result to $L^2$-Burau maps defined over all quotients of the group of the braid closure. The link inva…
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$.
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.
The topological entropy of a braid is the infimum of the entropies of all homeomorphisms of the disc which have a finite invariant set represented by the braid. When the isotopy class represented by the braid is pseudo-Anosov or is reducible with a pseudo-Anosov component, this entropy is positive. Fried and Kolev proved that the entropy is bounded below by the logarithm of the spectral radius of the braid's Burau matrix, $B(t)$, after substituting a complex number of modulus~1 in place of $t$. In this paper we show that for a pseudo-Anosov braid the estimate is sharp for the substitution of a…
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…
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.
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.
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$ …
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 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 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 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…
A simple multivariable version of the reduced Burau matrix is constructed for any braid. It is shown how the multivariable Alexander polynomial for the closure of the braid can be found directly from this matrix.
The Lawrence representation $L_{n,m}$ is a family of homological representation of the braid group $B_n$, which specializes to the reduced Burau and the Lawrence-Krammer representation when $m$ is 1 and 2. In this article we show that the Lawrence representation is faithful for $m \geq 2$.
In a remark in his seminal 1987 paper, Jones describes a way to define the Burau matrix of a positive braid using a metaphor of bowling a ball down a bowling alley with braided lanes. We extend this definition to allow multiple bowling balls to be bowled simultaneously. We obtain the Iwahori-Hecke algebra and a cabled version of the Temperley-Lieb representation.
\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 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.
This paper establishes that sutured annular Khovanov homology is not invariant for braid closures under axis-preserving mutations. This follows from an explicit relationship between sutured annular Khovanov homology and the classical Burau representation for braid closures.
We construct several families of embeddings of braid groups into mapping class groups of orientable and non-orientable surfaces and prove that they induce the trivial map in stable homology in the orientable case, but not so in the non-orientable case. We show that these embeddings are non-geometric in the sense that the standard generators of the braid group are not mapped to Dehn twists.
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 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…
We show that the second homology of the configuration spaces of a planar graph is generated under the operations of embedding, disjoint union, and edge stabilization by three atomic graphs: the cycle graph with one edge, the star graph with three edges, and the theta graph with four edges. We give an example of a non-planar graph for which this statement is false.
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.
We address the question: Does there exist a non-trivial knot with a trivial Jones polynomial? To find such a knot, it is almost certainly sufficient to find a non-trivial braid on four strands in the kernel of the Burau representation. I will describe a computer algorithm to search for such a braid.
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 …
We introduce a novel type of stabilization map on the configuration spaces of a graph, which increases the number of particles occupying an edge. There is an induced action on homology by the polynomial ring generated by the set of edges, and we show that this homology module is finitely generated. An analogue of classical homological and representation stability for manifolds, this result implies eventual polynomial growth of Betti numbers. We calculate the exact degree of this polynomial, in particular verifying an upper bound conjectured by Ramos. Because the action arises from a family of …
We prove the existence of a knot whose braid index the Morton-Franks-Williams inequality fails to detect but a related inequality (KR-MFW inequality), which uses new information of Khovanov-Rozansky homology, detects. We also prove, by examples, that there exists infinitely many knots for which the KR-MFW inequality fails to detect the braid indices.
We show that the limiting Khovanov chain complex of any infinite positive braid categorifies the Jones-Wenzl projector. This result extends Lev Rozansky's categorification of the Jones-Wenzl projectors using the limiting complex of infinite torus braids. We also show a similar result for the limiting Lipshitz-Sarkar-Khovanov homotopy types of the closures of such braids. Extensions to more general infinite braids are also considered.
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 consider the universal family $E_n^d$ of superelliptic curves: each curve $Σ_n^d$ in the family is a $d$-fold covering of the unit disk, totally ramified over a set $P$ of $n$ distinct points; $Σ_n^d\hookrightarrow E_n^d\to C_n$ is a fibre bundle, where $C_n$ is the configuration space of $n$ distinct points. We find that $E_n^d$ is the classifying space for the complex braid group of type $B(d,d,n)$ and we compute a big part of the integral homology of $E_n^d,$ including a complete calculation of the stable groups over finite fields by means of Poincarè series. The computation of the main …
We give some new link detection results for link Floer homology, Khovanov homology and annular Khovanov homology. The links we detect arise via different closure operations on $3$-braids. Examples of our results include that link Floer homology detects the Mazur link, that annular Khovanov homology detects the Mazur pattern, and that Khovanov homology detects L6a2 and L9n15. The Mazur pattern detection result depends on a new bound on the rank of the annular Khovanov homology of certain links.
We describe a new method for combinatorially computing the transverse invariant in knot Floer homology. Previous work of the authors and Stone used braid diagrams to combinatorially compute knot Floer homology of braid closures. However, that approach was unable to explicitly identify the invariant of transverse links that naturally appears in braid diagrams. In this paper, we improve the previous approach in order to compute the transverse invariant. We define a new combinatorial complex that computes knot Floer homology and identify the BRAID invariant of transverse knots and links in the ho…
