Unneccessarily sophisticated proofs that the trefoil is non-trivial

-
Ryan Budney, University of Victoria

I will describe a sequence of closely-related but increasingly-sophisticated proofs of the non-triviality of the trefoil knot.  In the end we conclude the mapping-class group of a 4-manifold is non-trivial.