Prefer a chat interface with context about you and your work?
A note on properly discontinuous actions
Abstract We compare various notions of proper discontinuity for group actions. We also discuss fundamental domains and criteria for cocompactness.