must be asymptotically almost constant. These considerations have been taken further by other authors, such as Michel Talagrand. Since the seminal 1964 publication of James Eells and Joseph Sampson on harmonic maps, various rigidity phenomena had been deduced from the combination of an existence theorem for harmonic mappings together with a vanishing theorem asserting that (certain) harmonic mappings must be totally geodesic or holomorphic. Gromov had the insight that the extension of this program to the setting of mappings into metric spaces would imply new results on discrete groups, following Margulis superrigidity. Richard Schoen carried out the analytical work to extend the harmonic map theory to the metric space setting; this was subsequently done more systematically by Nicholas Korevaar and Schoen, establishing extensions of most of the standard Sobolev space theory. A sample application of Gromov and Schoen's methods is the fact that lattices in the isometry group of the quaternionic hyperbolic space are arithmetic. Riemannian geometry In 1978, Gromov introduced the notion of almost flat manifolds. The famous quarter-pinched sphere theorem in Riemannian geometry says that if a complete Riemannian manifold has sectional curvatures which are all sufficiently close to a given positive constant, then must be finitely covered by a sphere. In contrast, it can be seen by scaling that every closed Riemannian manifold has Riemannian metrics whose sectional curvatures are arbitrarily close to zero. Gromov showed that if the scaling possibility is broken by only considering Riemannian manifolds of a fixed diameter, then a closed manifold admitting such a Riemannian metric, with sectional curvatures sufficiently close to zero, must be finitely covered by a nilmanifold. The proof works by replaying the proofs of the Bieberbach theorem and Margulis lemma. Gromov's proof was given a careful exposition by Peter Buser and Hermann Karcher. In 1979, Richard Schoen and Shing-Tung Yau showed that the class of smooth manifolds which admit Riemannian metrics of positive scalar curvature is topologically rich. In particular, they showed that this class is closed under the operation of connected sum and of surgery in codimension at least three. Their proof used elementary methods of partial differential equations, in particular to do with the Green's function. Gromov and Blaine Lawson gave another proof of Schoen and Yau's results, making use of elementary geometric constructions. They also showed how purely topological results such as Stephen Smale's h-cobordism theorem could then be applied to draw conclusions such as