Strength of convergence in the orbit space of a transformation group (Q2491594)

Let \(G\) be a locally compact Hausdorff group acting continuously on a locally compact Hausdorff space \(X\), so that \((G, X)\) is a transformation group. A sequence \((x_n)_{n\geq 1}\) in \(X\) is said to converge \(k\)-times in \(X/G\) to \(z\in X\) if there exist \(k\) sequences \((t_n^{(1)})_n, (t_n^{(2)})_n, \dots, (t_n^{(k)})_n \) in \(G\) such that (1) \( t^{(i)}_n\cdot x_n\to z\) as \(n\to\infty\) for \(1\leq i\leq k\), and (2) if \(1\leq i<j\leq k\) then \(t_n^{(j)}(t_n^{(i)})^{-1}\to\infty\) as \(n\to\infty\). For the case when \((G, X)\) is a second-countable transformation group with \(G\) acting freely on \(X\) the authors discuss some equivalent conditions for \(k\)-times convergence. It is shown that measure-theoretic accumulation of the action and topological strength of convergence in the orbit space \(X/G\) provide equivalent ways of quantifying the extent of nonproperness of the action. These notions are linked via the representation theory of the transformation-group \(C^*\)-algebra \(C_0(X)\rtimes G\).