Abstract:We establish strong constraints on the kernel of the (reduced) Burau representation $\beta_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 $\beta_4$ is faithful (a longstanding question posed in the 1930s). The theory is based on a novel combinatorial interpretation of $\beta_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 cancellation results for words in matrix groups to show that if $\sigma$ is a generic positive braid in $B_4$ and if $t\neq 2$ is a prime number, then the leading coefficients in at least one row of the matrix $\beta_4\left(\sigma\right)$ are non-zero modulo $t$. We exploit these cancellation results to deduce that the Burau representation of $B_4$ is faithful almost everywhere.

Cartan matrices and Brauer's k(B)-Conjecture III

A strong characterization of the entries of the Burau matrices of $4$-braids: The Burau representation of the braid group $B_4$ is faithful almost everywhere

Exterior Algebras and Two Conjectures on Finite Abelian Groups

Brauer's problem 21 for principal blocks

On Brauer’s Problem 21

Bounding p-Brauer characters in finite groups with two conjugacy classes of p-elements

Some remarks on Brauer Classes of K3-type

Transcendental Brauer groups of products of CM elliptic curves

On p-torsions of geometric Brauer groups

Comparison of arithmetic Brauer groups with geometric Brauer groups

On the Brauer groups of fibrations II

On the subgroup of $B_4$ that contains the kernel of Burau representation

The blocks with five irreducible characters

Boundedness of the p-primary torsion of the Brauer groups of K3 surfaces

A Brauer--Galois height zero conjecture

C*-algebras of higher-rank graphs from groups acting on buildings, and explicit computation of their K-theory

Landau's Theorem for pi-blocks of pi-separable groups

The ring of perfect $p$-permutation bimodules for blocks with cyclic defect groups

Minimal heights and defect groups with two character degrees

Two improvements in Brauer's theorem on forms

Blocks with abelian defect groups of rank 2 and one simple module