In the spring of 1985, A. Casson announced an interesting invariant of homology 3-spheres via constructions on representation spaces. This invariant generalizes the Rohlin invariant and gives surprising corollaries in low-dimensional...