The Lawrence-Krammer representation of the braid groups recently came to prominence when it was shown to be faithful by myself and Krammer. It is an action of the braid group on a certain homology module $H_2(\tilde{C})$ over the ring of Laurent polynomials in $q$ and $t$. In this paper we describe some surfaces in $\tilde{C}$ representing elements of homology. We use these to give a new proof that $H_2(\tilde{C})$ is a free module. We also show that the $(n-2,2)$ representation of the Temperley-Lieb algebra is the image of a map to relative homology at $t=-q^{-1}$, clarifying work of Lawrence.
A non-singular sesquilinear form is constructed that is preserved by the Lawrence-Krammer representation. It is shown that if the polynomial variables q and t of the Lawrence-Krammer representation are chosen to be appropriate algebraically independant unit complex numbers, then the form is negative-definite Hermitian. Since unitary matrices diagonalize, the conjugacy class of a matrix in the unitary group is determined by its eigenvalues. It is shown that the eigenvalues of a Lawrence-Krammer matrix satisfy some symmetry relations. Using the fact that non-invertible knots exist, the symmetry …
We show that the Lawrence--Krammer representation is unitary. We explicitly present the non-singular matrix representing the sesquilinear pairing invariant under the action. We show that reversing the orientation of a braid is equivalent to the transposition of its Lawrence--Krammer matrix followed by a certain conjugation. As corollaries it is shown that the characteristic polynomial of the Lawrence--Krammer matrix is invariant under substitution of its variables with their inverses up to multiplication by units, and is not a complete conjugacy invariant for braids.
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.
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.
A very popular problem on braid groups has recently been solved by Bigelow and Krammer, namely, they have found a faithful linear representation for the braid group B_n. In their papers, Bigelow and Krammer suggested that their representation is the monodromy representation of a certain fibration. Our goal in this paper is to understand this monodromy representation using standard tools from the theory of hyperplane arrangements. In particular, we prove that the representation of Bigelow and Krammer is a sub-representation of the monodromy representation which we consider, but that it cannot b…
We construct representations of the braid groups B_n on n strands on free Z[q,q^-1,s,s^-1]-modules W_{n,l} using generic Verma modules for an integral version of quantum sl_2. We prove that the W_{n,2} are isomorphic to the faithful Lawrence Krammer Bigelow representations of B_n after appropriate identification of parameters of Laurent polynomial rings by constructing explicit integral bases and isomorphism. We also prove that the B_n-representations W_{n,l} are irreducible over the fractional field Q (q,s).
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$.
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.
When Daan Krammer and Stephen Bigelow independently proved that braid groups are linear, they used the Lawrence-Krammer-Bigelow representation for generic values of its variables q and t. The t variable is closely connected to the traditional Garside structure of the braid group and plays a major role in Krammer's algebraic proof. The q variable, associated with the dual Garside structure of the braid group, has received less attention. In this article we give a geometric interpretation of the q portion of the LKB representation in terms of an action of the braid group on the space of non-dege…
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 recent proof by Bigelow and Krammer that the braid groups are linear opens the possibility of applications to the study of knots and links. It was proved by the first author and Menasco that any closed braid representative of the unknot can be systematically simplified to a round planar circle by a sequence of exchange moves and reducing moves. In this paper we establish connections between the faithfulness of the Krammer-Lawrence representation and the problem of recognizing when the conjugacy class of a closed braid admits an exchange move or a reducing move.
A connection is made between the Krammer representation and the Birman-Murakami-Wenzl algebra. Inspired by a dimension argument, a basis is found for a certain irrep of the algebra, and relations which generate the matrices are found. Following a rescaling and change of parameters, the matrices are found to be identical to those of the Krammer representation. The two representations are thus the same, proving the irreducibility of one and the faithfulness of the other.
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 …
In this paper we construct a faithful representation of the mapping class group of the genus two surface into a group of matrices over the complex numbers. Our starting point is the Lawrence-Krammer representation of the braid group B_n, which was shown to be faithful by Bigelow and Krammer. We obtain a faithful representation of the mapping class group of the n-punctured sphere by using the close relationship between this group and B_{n-1}. We then extend this to a faithful representation of the mapping class group of the genus two surface, using Birman and Hilden's result that this group is …
We give an explicit isomorphism between the Gassner representation and the first weight level of a representation of quantum sl(2). Then we construct and provide matrices for colored versions of the BKL representation and higher Lawrence's representations.
We study homological representations of mapping class groups, including the braid groups. These arise from the twisted homology of certain configuration spaces, and come in many different flavours. Our goal is to give a unified general account of the fundamental relationships (non-degenerate pairings, embeddings, isomorphisms) between the many different flavours of homological representations. Our motivating examples are the Lawrence-Bigelow representations of the braid groups, which are of central importance in the study of the braid groups themselves, as well as their connections with quantu…
The ADO invariants are a sequence of non-semisimple quantum invariants coming from the representation theory of the quantum group $U_q(sl(2))$ at roots of unity. Ito showed that these invariants are sums of traces of quotients of homological representations of braid groups (truncated Lawrence representations). In this paper we show a direct homological formula for the ADO invariants, as sums of partial traces of Lawrence type representations, without further truncations.
For any tangle $T$ (up to isotopy) and integer $k\geq 1$ we construct a group $F(T)$ (up to isomorphism). It is the fundamental group of the configuration space of $k$ points in a horizontal plane avoiding the tangle, provided the tangle is in what we call Heegaard position. This is analogous to the first half of Lawrence's homology construction of braid group representations. We briefly discuss the second half: homology groups of $F(T)$.
We extend Lawrence's representations of the braid groups to relative homology modules, and we show that they are free modules over a Laurent polynomials ring. We define homological operators and we show that they actually provide a representation for an integral version for $U_q \mathfrak{sl}(2)$. We suggest an isomorphism between a given basis of homological modules and the standard basis of tensor products of Verma modules, and we show it to preserve the integral ring of coefficients, the action of $U_q \mathfrak{sl}(2)$, the braid group representations and their grading. This recovers an in…
We define a family of the braid group representations via the action of the $R$-matrix (of the quasitriangular extension) of the restricted quantum $\mathfrak{sl}(2)$ on a tensor power of a simple projective module. This family is an extension of the Lawrence representation specialized at roots of unity. Although the center of the braid group has finite order on the specialized Laurence representations, this action is faithful for our extension.
