Assume $\Gamma$ acts by isometries on a separable Hilbert space $H$, and $$\operatorname{diam} H/\Gamma\le 1.$$ Is it true that $H/\Gamma$ is compact?
Cobounded => cocompact?
Anton Petrunin
- 45k
- 14
- 135
- 299