Let us define a properly discontinuous action of a group G on a topological space X as an action such that every x∈X has a neighborhood U such that gU∩U≠∅ implies g=e. I would like to prove that this property is equivalent to, having given G the discrete topology and in the X locally compact Hausdorff case, the map G×X→X×X given by (g,x)↦(x,gx) being proper (i.e. closed and preimage of compact sets is compact) plus the action being free.

I have managed to prove one direction, that is, if the action is proper and free with G having the discrete topology then it is properly discontinuous. I’m having trouble though with the other direction. Here is an attempt: let’s denote by ρ:G×X→X×X the map ρ(g,x)=(x,gx). Suppose K⊂X×X is compact. We wish to show ρ−1(K) is compact. Let (gi,xi) be a net in ρ−1(K). Then ρ(gi,xi)=(xi,gixi) admits a convergent subnet, so passing to it we may assume xi→x and gixi→y. Essentially we must now find a way to prove gi converges, but I can’t seem to do this. Any hints?

**Answer**

These properties are not equivalent. Here’s a counterexample: Let X=R2∖{(0,0)}, and define an action of Z on X by n⋅(x,y)=(2nx,2−ny). This is properly discontinuous by your definition, but it’s not a proper action. The subset K×K⊆X×X is compact, where K={(x,y):max, but \rho^{-1}(K\times K) contains the sequence (n, (2^{-n},1)), which has no convergent subsequence.

I think one reason for your confusion is that different authors give different definitions of “properly discontinuous.” Topologists concerned primarily with actions that determine covering maps often give the definition you gave:

(i) Every x \in X has a neighborhood U such that gU \cap U \neq \emptyset implies g = e.

This is necessary and sufficient for the quotient map X\to X/G to be a covering map. However, in order for the action to be proper (and thus for the quotient space to be Hausdorff), an additional condition is needed:

(ii) If x,x’\in X are not in the same G-orbit, then there exist neighborhoods U of x and U’ of x’ such that gU\cap U’ = \emptyset for all g\in G.

When X is a locally compact Hausdorff space and G is a discrete group acting freely on X, the action is proper if and only if both conditions (i) and (ii) are satisfied. Differential geometers, who are typically concerned with forming quotient spaces that are manifolds, are more apt to define “properly discontinuous” to mean both (i) and (ii) are satisfied.

Because of this ambiguity (and because the term “properly discontinuous” leads to oxymoronic phrases such as “a continuous properly discontinuous action”), Allen Hatcher in his *Algebraic Topology* coined the term ** covering space action** for an action satisfying condition (i). I’ve adopted that terminology, and I use

**for an action satisfying (i) and (ii) (at least for locally compact Hausdorff spaces). I sincerely hope the term**

*free and proper action**properly discontinuous*will eventually die out.

You can find more about these issues in the second editions of my books *Introduction to Topological Manifolds* (Chapter 12) and *Introduction to Smooth Manifolds* (Chapter 21).

**Attribution***Source : Link , Question Author : Pedro , Answer Author : Jack Lee*