mapping-class-group

This paper proves that the Burau representation of the braid group B_4 is faithful, settling the final unknown case in a long-standing problem in low-dimensional topology.