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

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\ne 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.

121 pages, 9 figures, comments very welcome!