A free subgroup in the image of the 4-strand Burau representation
arXiv:1304.7923 · doi:10.1142/S0218216515500650
Abstract
It is known that the Burau representation of the 4-strand braid group is faithful if and only if certain matrices f and k generate a (non-abelian) free group. Regarding f and k as isometries of a euclidean building we show that f^3 and k^3 generate a free group. We give two proofs, one utilizing the metric geometry of the building, and the other using simplicial retractions.
14 pages, 6 figures