Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Let M be a simply connected Riemannian manifold whose sectional curvatures
are all nonpositive and let G be a group. Suppose that G acts in M properly discontinuous and
cocompactly by isometries. Is G a CAT(0) group?
