Consider the variety \Hom(\Gamma,G) where \Gamma is a finitely generated nilpotent group, and G a semisimple Lie group. I will discuss joint work with Juan Souto on homotopy retractions from this variety to the representation variety in K, a maximal compact subgroup of G.