The Final Strand: Proving Burau is Faithful for Four Braids
This lightning talk resolves a decades-old problem in low-dimensional topology by proving that the Burau representation of the 4-strand braid group is faithful. We explore how the authors combined topological invariants, combinatorial parity arguments, and clever embedding techniques to close the last open case of the classical Burau representation, with immediate implications for the Jones representation and the study of mapping class groups.Script
For decades, mathematicians knew the Burau representation was faithful for three strands and broken for five or more, but the four strand case remained stubbornly open. This paper finally closes that gap.
The proof hinges on a surprising idea: translate faithfulness into a question about how arcs wind around punctures in a disk. If a braid is in the kernel of Burau, there must exist an arc whose Moody polynomial vanishes despite having nontrivial geometric intersection, and the authors show this configuration is impossible.
The key technical weapon is the parity condition. For three strands, it guarantees that terms in the Moody polynomial never cancel. For four strands, parity can fail when a disk encloses all four punctures, threatening the entire argument.
The authors solve this with an elegant trick: embed the problematic four strand configuration into a five strand group. A carefully chosen push map in the larger space replaces the troublesome disk with one that satisfies parity, eliminating all polynomial cancellations.
The appendix demonstrates this concretely. An arc whose Moody polynomial admits cancellation is transformed by the embedding and push operation, destroying the cancellation and preserving faithfulness.
With all cases now resolved, the classical Burau representation stands faithful only for three and four strands. To explore how topological invariants decide algebraic faithfulness, visit EmergentMind.com and create your own video from the latest research.
