burau-representation

本文证明了辫子群B_4的Burau表示是忠实的，解决了低维拓扑中一个长期存在的最后一个未知情况。