User:Mathwu/sandbox

Alekseevskii's conjecture: Any connected Einstein homogeneous Riemannian manifold of negative scalar curvature (i.e. c < 0) is diffeomorphic to a euclidean space.