My question is the following:
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?
My question is the following:
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?