[Math] Example of a free group action that is not proper.

group-actionslie-groupssmooth-manifolds

I have been trying to think about Lie group actions on smooth manifolds and what the quotient spaces look like. I have a proof that compact Lie groups produce proper actions on manifolds, as well as some examples of actions that are not proper, but none of them are free. What I am seeking is an example of a Lie group action on a smooth manifold that is free but not proper.

I will need a Lie group that is not compact. My first thought was to use $\mathbb{R}$ (or perhaps, $GL(n,\mathbb{F})$), but I haven't had any luck.

Help would be appreciated. If you could give an idea of what the orbit space is, that would be extra useful, but it is not necessary.

Best Answer

A nice instructive example is to take the group $\mathbb{Z}$ and let it act on $S^1$ by an irrational rotation. That is, let $\alpha\in[0,1]$ be some irrational number and define $n\cdot e^{i\theta}=e^{i(\theta+2\pi n\alpha)}$ for $n\in\mathbb{Z}$. The action is free since $\alpha$ is irrational, so $e^{2\pi i n\alpha}\neq 1$ for any nonzero integer $n$. It is not proper because $S^1$ is compact but $\mathbb{Z}$ is not.

Note that since the fractional parts of integer multiples of $\theta$ are dense in $[0,1]$, every orbit of this action is dense in $S^1$. So the orbit space is quite horrible: it has the indiscrete topology!