This the seventh lecture in a series of 12 given by Rob Kirby (Berkeley) for the Topology seminar at the University of Edinburgh in November 2012. Links to the videos of these lectures and other references can be found on http://www.maths.ed.ac.uk/~aar/kirby .