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

TL;DR

This paper develops a combinatorial framework to analyze the Burau representation of the 4-braid group, providing strong constraints on its kernel and showing faithfulness in almost all cases.

Contribution

It introduces a novel combinatorial interpretation of Burau matrices for B_4 and proves the representation is faithful almost everywhere, advancing understanding of braid group representations.

Findings

Explicit determination of Burau matrix entries for B_4

Non-zero leading coefficients modulo primes for generic positive braids

Faithfulness of the Burau representation of B_4 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\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.