Email Record: Global Riemannian geometry :